# Semantic search

Any class two normal subgroup whose derived subgroup is in the ZJ-subgroup normalizes an abelian subgroup of maximum order, Baer correspondence, Class-preserving automorphism group of finite p-group is p-group, Congruence condition on number of elementary abelian subgroups of prime-square order for odd prime, Cyclic group of prime-square order is not an algebra group for odd prime, Elementary abelian-to-2-subnormal replacement theorem, Equivalence of definitions of group of prime power order, Every group of prime power order is a subgroup of a group of unipotent upper-triangular matrices, Every group of prime power order is a subgroup of an iterated wreath product of groups of order p, Extraspecial and critical implies whole group, Frattini-in-center odd-order p-group implies (mp plus 1)-power map is automorphism, Frattini-in-center odd-order p-group implies p-power map is endomorphism, Glauberman's replacement theorem, Intermediately characteristic not implies isomorph-containing in group of prime power order, Isomorph-normal coprime automorphism-invariant of Sylow implies weakly closed, Jonah-Konvisser congruence condition on number of abelian subgroups of small prime power order for odd prime, Jonah-Konvisser congruence condition on number of elementary abelian subgroups of small prime power order for odd prime, Maximal among abelian characteristic not implies abelian of maximum order, Maximal elementary abelian subgroup of prime-square order implies rank at most the prime for odd prime, Odd-order elementary abelian group is fully invariant in holomorph, Odd-order p-group implies every irreducible representation has Schur index one, Omega-1 of maximal among Abelian normal subgroups with maximum rank in odd-order p-group equals omega-1 of centralizer, Omega-1 of odd-order class two p-group has prime exponent, Omega-1 of odd-order p-group is coprime automorphism-faithful, Outer automorphism group of finite p-group that is not elementary abelian or extraspecial has a nontrivial normal p-subgroup, P-group with derived subgroup of prime-square index not implies maximal class for odd p, Prime power order implies center is normality-large, Prime power order implies nilpotent, Prime power order implies subgroups of all orders dividing the group order, Proof of Baer construction of Lie ring for Baer Lie group, Structure lemma for p-group with coprime automorphism group having automorphism trivial on invariant subgroups, There exists an abelian group of prime power order that is lattice-isomorphic to a non-abelian group not of prime power order, Thompson's replacement theorem for elementary abelian subgroups