Assertion: commutator | /r/HasProperty | the algebra
Facets:
Source sentences:
text: Let H be a semisimple Hopf algebra then the commutator subalgebra H' of H is the algebra generated by Com.