Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• Fixed-point subgroup of a subgroup of the automorphism group implies local powering-invariant  + (Fact)
• Quasiautomorphism-invariant not implies 1-automorphism-invariant  + (Fact)
• Centerless and maximal in automorphism group implies every automorphism is normal-extensible  + (Fact)
• Finitely generated implies every subgroup of finite index has finitely many automorphic subgroups  + (Fact)
• Preserves conjugacy classes for a generating set implies IA  + (Fact)
• Finitely generated not implies residually finite  + (Fact)
• Transitively normal not implies conjugacy-closed normal  + (Fact)
• Inner implies IA  + (Fact)
• FC not implies BFC  + (Fact)
• Simple not implies co-Hopfian  + (Fact)
• Normalizer condition not implies nilpotent  + (Fact)
• Intermediately characteristic not implies isomorph-containing in group of prime power order  + (Fact)
• Preserves conjugacy classes for a generating set not implies class-preserving  + (Fact)
• Complemented normal not implies local powering-invariant  + (Fact)
• Finite not implies composition factor-permutable  + (Fact)
• 4-subnormal not implies finite-conjugate-join-closed subnormal  + (Fact)
• Sylow implies order-dominated  + (Fact)
• Subgroup of index two is normal  + (Fact)
• Abelian-quotient not implies cocentral  + (Fact)
• Modular not implies permutable  + (Fact)
• Fully invariant implies finite direct power-closed characteristic  + (Fact)
• Pronormal not implies join with any distinct conjugate is the whole group  + (Fact)
• Periodic not implies locally finite  + (Fact)
• Automorph-conjugacy is transitive  + (Fact)
• Sylow subgroups exist  + (Fact)
• Constant-abelian-quotient not implies finitely displaced  + (Fact)
• Eventually constant-abelian-quotient implies contrasaturated  + (Fact)
• Every finite division ring is a field  + (Fact)
• Characteristic not implies powering-invariant in solvable group  + (Fact)
• 2-subnormality is strongly intersection-closed  + (Fact)
• Normal not implies normal-extensible automorphism-invariant in finite group  + (Fact)
• Thompson's critical subgroup theorem  + (Fact)

• Fusion systems for Klein four-group  + (Specific information)
• Classification of groups of order 12  + (Specific information)
• Classification of groups of order 24  + (Specific information)
• Classification of groups of order 56  + (Specific information)
• Endomorphism structure of quaternion group  + (Specific information)
• Element structure of alternating group:A4  + (Specific information)
• Subgroup structure of dihedral group:D8  + (Specific information)
• Subgroup structure of groups of order 24  + (Specific information)
• Element structure of dihedral group:D8  + (Specific information)
• Subgroup structure of alternating group:A6  + (Specific information)
• Element structure of symmetric group:S4  + (Specific information)
• Element structure of symmetric groups  + (Specific information)
• Element structure of symmetric group:S3  + (Specific information)
• Endomorphism structure of symmetric group:S3  + (Specific information)

• Ubiquity of normality  + (Survey article)
• Constructing dihedral group:D8 from its presentation  + (Survey article)
• Proving transitivity  + (Survey article)
• Understanding the cycle decomposition  + (Survey article)
• Destroying outer automorphisms  + (Survey article)
• Help:Using textbook references  + (Term)
• Coxeter group  + (Term)
• Critical subgroup  + (Term)
• Cutting subgroup  + (Term)
• Cyclic-center group  + (Term)
• Cyclic group  + (Term)
• Cyclic group:Z2  + (Term)
• Cyclic group:Z3  + (Term)
• Cyclonormal subgroup  + (Term)
• Cyclotomic group  + (Term)
• Direct factor of characteristic subgroup  + (Term)
• DRC-subgroup  + (Term)
• Dedekind group  + (Term)