Package abstract_algebra