2-Engel implies class three for Lie rings + | HigginsEngel (?, ?, ?) + |

2-Sylow subgroup is TI implies it is normal or there is exactly one conjugacy class of involutions + | Gorenstein (302, Chapter 9 (''Groups of even order''), Theorem 1.4, Chapter 9 (''Groups of even order''), Theorem 1.4) + |

3-Engel and (2,5)-torsion-free implies class six for Lie rings + | HigginsEngel (?, ?, ?) +, TraustasonEngel (?, ?, ?) + |

3-step group for a prime + | Gorenstein (401, Section 14.1 (''Basic Properties of CN-Groups''), Section 14.1 (''Basic Properties of CN-Groups'')) + |

3-step group implies solvable CN-group + | Gorenstein (401, Lemma 14.1.4, Lemma 14.1.4) + |

Abelian automorphism group not implies abelian + | Millerabelianautomorphisms (?, ?, ?) +, JonahKonvisserabelianautomorphisms (?, ?, ?) +, Struikabelianautomorphisms (?, ?, ?) +, … |

Abelian group + | DummitFoote (17, Formal definition (definition as point (2) in general definition of group), Formal definition (definition as point (2) in general definition of group)) +, AlperinBell (2, 1.1 (Rudiments of Group Theory/Review), 1.1 (Rudiments of Group Theory/Review)) +, Artin (42, definition introduced in paragraph (immediately after definition of group), definition introduced in paragraph (immediately after definition of group)) +, … |

Abelian normal subgroup of core-free maximal subgroup is contranormal implies derived subgroup of whole group is monolith + | Cohn (120, ?, ?) + |

Abelian p-group with indecomposable coprime automorphism group is homocyclic + | Gorenstein (?, ?, ?) + |

Abelian-to-normal replacement fails for prime-cube index for prime equal to two + | AlperinLargeAbelian (?, ?, ?) + |

Abelian-to-normal replacement fails for prime-sixth order for prime equal to two + | AlperinLargeAbelian (?, ?, ?) + |

Abelian-to-normal replacement theorem for prime exponent + | AG98 (?, ?, ?) + |

Abelian-to-normal replacement theorem for prime-cube index for odd prime + | AlperinLargeAbelian (?, ?, ?) +, JonahKonvisser75 (?, ?, ?) + |

Abelian-to-normal replacement theorem for prime-square index + | AlperinLargeAbelian (?, ?, ?) +, JonahKonvisser75 (?, ?, ?) + |

Abhyankar's conjecture + | Resource:Wikipedia (?, ?, ?) +, Resource:Mathworld (?, ?, ?) + |

Abnormal subgroup + | Carteronselfnormalizingsubgroups1 (?, ?, ?) +, Carteronselfnormalizingsubgroups2 (?, ?, ?) +, Rose-nilpotent (?, ?, ?) +, … |

Absolute center + | Hegarty94 (?, ?, ?) + |

Algebra group + | Isaacsalgebragroups95 (?, ?, ?) +, DiaconisIsaacs (?, ?, ?) +, RobinsonUnitriangular98 (?, ?, ?) + |

All minimal CL-subgroups have the same derived subgroup + | GlaubermanCL (?, ?, ?) + |

Alperin's conjecture on abelian-to-normal replacement for small index + | AlperinLargeAbelian (?, ?, ?) + |

Alperin's fusion theorem in terms of conjugation families + | Transferandfusion (?, ?, ?) +, GL (?, ?, ?) + |

Alperin's fusion theorem in terms of well-placed tame intersections + | Gorenstein (284, Theorem 4.5, Chapter 8 (''p-constrained and p-stable groups''), Section 4 (''Groups with subgroups of glauberman type''), Theorem 4.5, Chapter 8 (''p-constrained and p-stable groups''), Section 4 (''Groups with subgroups of glauberman type'')) + |

Alperin's theorem on non-existence of abelian subgroups of large prime power order for odd prime + | AlperinLargeAbelian (?, ?, ?) + |

Alperin's theorem on non-existence of abelian subgroups of large prime power order for prime equal to two + | AlperinLargeAbelian (?, ?, ?) + |

Alperin-Glauberman replacement operation from arbitrary submodule to invariant submodule + | AG98 (?, ?, ?) + |