Abelian subgroup (source code)

= Abelian subgroup

An abelian subgroup is a <subgroup> that is an <abelian group> under the restricted operation.