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

• WNSCDIN implies every normalizer-relatively normal conjugation-invariantly relatively normal subgroup is weakly closed  + (17:54:25, 6 July 2013)
• Finite-relative-intersection-closed implies transitive  + (01:26:27, 7 July 2013)
• CA not implies nilpotent  + (16:03:05, 7 July 2013)
• 3-step group implies solvable CN-group  + (01:58:06, 8 July 2013)
• Conjugacy class of prime power size implies not simple  + (17:39:01, 8 July 2013)
• Pronormal implies WNSCDIN  + (18:55:42, 8 July 2013)
• Pronormal implies MWNSCDIN  + (18:58:33, 8 July 2013)
• Marginal implies direct power-closed characteristic  + (19:37:42, 17 July 2013)
• Characteristic Lie subring not implies ideal  + (05:21:39, 27 July 2013)
• Marginal implies unconditionally closed  + (19:06:12, 27 July 2013)
• Fixed-point subgroup of a subgroup of the automorphism group implies local powering-invariant  + (18:09:54, 30 July 2013)
• Property:Difficulty level  + (18:44:43, 30 July 2013)
• Classification of finite 2-groups of maximal class  + (23:12:40, 10 August 2013)
• Abelian normal subgroup  + (20:40:54, 12 August 2013)
• Second cohomology group for trivial group action of D8 on Z2  + (21:19:19, 16 August 2013)
• Second cohomology group for trivial group action of V4 on V4  + (21:44:51, 16 August 2013)
• Second cohomology group for trivial group action of UT(3,3) on Z3  + (21:47:51, 16 August 2013)
• Second cohomology group for trivial group action of E8 on Z4  + (21:59:33, 16 August 2013)
• Odd-order implies solvable  + (05:34:35, 15 October 2013)
• Normality is not transitive  + (05:52:21, 15 October 2013)
• Property:Information type  + (02:04:35, 30 November 2013)
• Groupprops, The Group Properties Wiki (beta)  + (22:40:46, 17 December 2013)
• Locally inner not implies inner  + (22:31:37, 12 January 2014)
• Locally inner automorphism-balanced not implies central factor  + (17:19:40, 13 January 2014)
• Finitely generated inner automorphism group implies every locally inner automorphism is inner  + (17:29:11, 13 January 2014)

• Inner automorphism  + (18:49:14, 14 January 2014)

• Self-homeomorphism group  + (23:57:09, 4 February 2014)
• Second isomorphism theorem  + (04:40:51, 10 November 2014)
• Powering-invariance does not satisfy lower central series condition in nilpotent group  + (16:05:29, 19 December 2014)
• Characteristicity is transitive  + (16:10:28, 19 December 2014)
• Balanced implies transitive  + (16:12:45, 19 December 2014)
• Frattini-embedded normal-realizable implies every automorph-conjugate subgroup is characteristic  + (18:22:03, 20 December 2014)
• Endomorph-dominating not implies automorph-conjugate  + (17:23:05, 21 December 2014)
• Nilpotent implies center is normality-large  + (23:01:37, 20 January 2015)
• Minimal normal subgroup  + (05:30:48, 24 January 2015)
• Hall subgroups exist in finite solvable group  + (05:39:22, 24 January 2015)
• Cyclic quotient of automorphism group by class-preserving automorphism group implies same orbit sizes of conjugacy classes and irreducible representations under automorphism group  + (17:09:02, 3 May 2015)
• Coxeter group  + (07:22:33, 15 May 2015)
• IA not implies class-preserving  + (05:44:30, 19 May 2015)
• Class-preserving not implies inner  + (05:47:03, 19 May 2015)
• Preserves conjugacy classes for a generating set implies IA  + (19:00:38, 19 May 2015)
• Preserves conjugacy classes for a generating set not implies class-preserving  + (19:01:59, 19 May 2015)
• Kernel of a bihomomorphism implies completely divisibility-closed  + (13:40:55, 5 June 2015)
• Intersection of kernels of bihomomorphisms implies completely divisibility-closed  + (13:54:29, 5 June 2015)
• Sylow-relatively weakly closed subgroup  + (03:10:38, 6 June 2015)
• Kernel of a bihomomorphism implies abelian-quotient  + (06:39:55, 6 June 2015)
• Abelian-quotient not implies kernel of a bihomomorphism  + (06:50:28, 6 June 2015)
• Nilpotent automorphism group implies nilpotent of class at most one more  + (17:32:18, 6 September 2015)
• Finite supersolvable implies subgroups of all orders dividing the group order  + (01:37:50, 26 December 2015)
• Finite solvable not implies subgroups of all orders dividing the group order  + (02:16:46, 26 December 2015)
• Cofactorial automorphism-invariant implies left-transitively 2-subnormal  + (00:35:24, 28 March 2016)