abstract_algebra.md: partly rewritten.