Abelian group
Set
| context | ⟨X,∗⟩∈Group(X) |
| definiendum | ⟨X,∗⟩∈it |
| for all | a,b∈X |
| postulate | a∗b=b∗a |
Discussion
One generally calls X the group, i.e. the set where the operation “+” is defined on.
An abelian group is also a module over the ring of integers.
Reference
Wikipedia: group
Parents
Subset of
