Template:Group property satisfaction

This article gives the statement, and possibly proof, of a particular group or type of group (namely, ) satisfying a particular group property (namely, ).