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

• Abelian automorphism group not implies abelian  + (19:26:28, 20 June 2013)
• Abelian automorphism group implies class two  + (19:28:22, 20 June 2013)
• Class two not implies abelian automorphism group  + (19:44:28, 20 June 2013)
• Cyclic group  + (23:25:49, 20 June 2013)
• Abelian automorphism group not implies cyclic  + (23:32:47, 20 June 2013)
• Cyclic automorphism group not implies cyclic  + (16:53:08, 25 June 2013)
• Characteristic subgroup of abelian group implies intermediately powering-invariant  + (21:14:08, 26 June 2013)
• Characteristic subgroup of abelian group implies powering-invariant  + (21:14:52, 26 June 2013)
• Finitely generated implies countable  + (02:23:16, 28 June 2013)
• Finitely generated and parafree not implies free  + (02:34:50, 28 June 2013)
• Characteristic not implies derivation-invariant  + (15:12:19, 30 June 2013)
• Nilpotent-quotient implies subgroup-to-quotient powering-invariance implication  + (19:47:22, 1 July 2013)
• 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)