Finite abelian group
A finite group is abelian when its complete Cayley table satisfies commutativity for every pair of elements.
atlas-finite-abelian-group · canonical_mko
Finite abelian group
This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.
Catalogue presentation and source-binding data