# Semantic search

2-Engel and 3-torsion-free implies class two for groups, 2-Engel and Lazard Lie group implies class two, 2-Engel not implies class two for groups, 2-Sylow subgroup of rational group is rational if its class is at most two, Abelian automorphism group implies class two, Centralizer of derived subgroup has class at most two, Class two implies generated by abelian normal subgroups, Class two not implies abelian automorphism group, Dedekind implies class two, Group of prime power order having a larger abelianization than any proper subgroup has class two, Proof of Baer construction of Lie ring for Baer Lie group, Proof of generalized Baer construction of Lie ring for class two 2-group with a suitable cocycle, Socle not is fully invariant in class two p-group