algebra Definition Abelian Group An Abelian Group (G,+) is a group that is commutative: ∀x,y∈G:x+y=y+x