Category:Power Structure of Group is Semigroup