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

• Cube map is endomorphism iff abelian (if order is not a multiple of 3)  +
• Dedekind implies ACIC  +
• Glauberman's theorem on intersection with the ZJ-subgroup  +
• P-constrained and p-stable implies abelian normal subgroup of Sylow subgroup is contained in (p',p)-core  +
• Characteristically metacyclic and commutator-realizable implies abelian  +
• Third isomorphism theorem  +
• Characteristic of normal implies normal  +
• Normality is strongly intersection-closed  +
• Characteristic Lie subring not implies ideal  +
• Characteristic implies normal  +
• Fully invariant not implies normal in loops  +
• Cyclic automorphism group not implies cyclic  +
• Intersection of subgroups is subgroup  +
• Characteristic not implies powering-invariant in nilpotent group  +
• Jordan-Holder theorem  +
• Every finite group has a finite composition series  +
• Lagrange's theorem  +
• P-Frattini-realizable implies not non-abelian cyclic-center  +
• Fourth isomorphism theorem  +
• Left cosets partition a group  +
• Associative implies generalized associative  +
• Characteristicity is transitive  +
• Burnside's theorem on coprime automorphisms and Frattini subgroup  +
• Normal Sylow satisfies transfer condition  +
• Second isomorphism theorem  +
• Maximal subgroup has prime power index in finite solvable group  +
• Hall subgroups exist in finite solvable group  +
• Normality is strongly join-closed  +
• Normality satisfies transfer condition  +
• Left and right coset spaces are naturally isomorphic  +
• Fixed-point-free involution on finite group is inverse map  +
• Inverse map is involutive  +
• Frattini subgroup is normal-monotone  +
• Normal not implies characteristic  +
• First isomorphism theorem  +
• Normal subgroup equals kernel of homomorphism  +
• Union of two subgroups is not a subgroup unless they are comparable  +
• Conjugacy class of prime power size implies not simple  +
• Normality is not transitive  +
• Burnside's basis theorem  +
• Frattini subgroup is nilpotent in finite  +
• Order has only two prime factors implies solvable  +
• Dihedral implies solvable  +
• Every group is a quotient of a free group  +
• Inverse map is automorphism iff abelian  +
• N-abelian iff abelian (if order is relatively prime to n(n-1))  +
• Square map is endomorphism iff abelian  +
• Classification of finite p-groups of rank one  +
• Classification of finite p-groups with cyclic maximal subgroup  +
• Classification of finite p-groups of characteristic rank one  +