Category:Subset of Abelian Group Generated by Product of Element with Inverse Element is Subgroup