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

• Isomorphic to inner automorphism group not implies centerless  + (14:52:25, 11 January 2010)
• Ascendant not implies subnormal  + (14:53:10, 11 January 2010)
• Normalizer of a subgroup  + (00:07:31, 12 January 2010)
• Endo-invariance implies strongly join-closed  + (01:01:35, 16 January 2010)
• Direct factor implies transitively normal  + (20:44:41, 16 January 2010)
• Central factor implies transitively normal  + (21:18:49, 16 January 2010)
• Transitively normal not implies central factor  + (21:21:56, 16 January 2010)
• Cyclic-quotient characteristic implies upward-closed characteristic  + (00:44:14, 22 January 2010)
• Cyclic characteristic implies hereditarily characteristic  + (00:46:12, 22 January 2010)
• Commutative implies flexible  + (21:53:21, 3 March 2010)
• Jordan implies power-associative  + (01:22:41, 4 March 2010)
• Jordan implies powers up to the fifth are well-defined  + (01:35:07, 4 March 2010)
• Left Bol implies left-inverse property  + (22:59:00, 5 March 2010)
• Left Bol implies left alternative  + (16:02:25, 6 March 2010)
• Left Bol implies flexible  + (16:47:32, 6 March 2010)
• LC implies left alternative  + (18:18:30, 6 March 2010)
• LC implies left nuclear square  + (18:23:43, 6 March 2010)
• LC implies middle nuclear square  + (18:29:22, 6 March 2010)
• Group implies G-loop  + (15:02:47, 9 March 2010)
• Alternative implies powers up to the fifth are well-defined  + (18:57:43, 10 April 2010)
• Skew-commutative implies flexible  + (16:37:05, 14 April 2010)
• Lie implies flexible  + (16:38:40, 14 April 2010)
• Alternating implies flexible  + (16:39:12, 14 April 2010)
• Conjugacy-closed not implies weak subset-conjugacy-closed  + (17:19:53, 14 April 2010)
• Deficiency of a presentation  + (22:23:28, 14 April 2010)

• Deficiency of a group  + (22:24:59, 14 April 2010)

• Subgroup of finite index has a left transversal that is also a right transversal  + (20:52:58, 29 April 2010)
• 1-closed transversal not implies permutably complemented  + (16:53:09, 3 May 2010)
• Residually finite not implies Hopfian  + (23:58:41, 4 May 2010)
• Base of a wreath product not implies elliptic  + (16:37:02, 13 May 2010)
• Property:Defined in  + (23:09:19, 17 May 2010)
• Property:Referenced in  + (23:12:34, 17 May 2010)
• Property:Stated in  + (23:18:43, 17 May 2010)
• Property:Proved in  + (23:19:36, 17 May 2010)
• Locally free not implies free  + (19:22:05, 19 May 2010)
• Finitely generated abelian implies residually finite  + (19:50:38, 19 May 2010)
• Finitely generated and free implies Hopfian  + (20:21:13, 19 May 2010)
• Finitely generated abelian implies Hopfian  + (21:53:23, 19 May 2010)
• Finitely generated not implies residually finite  + (22:03:54, 19 May 2010)
• Residually finite not implies finitely generated  + (22:09:24, 19 May 2010)
• Noetherian implies Hopfian  + (13:56:56, 26 May 2010)
• Finitely generated abelian is subgroup-closed  + (14:00:26, 26 May 2010)
• Noetherian implies subnormal join property  + (17:15:00, 26 May 2010)
• There exist abelian groups whose isomorphism classes of direct powers have any given period  + (19:17:02, 26 May 2010)
• Property:Arithmetic function value  + (00:09:01, 27 May 2010)
• Property:Subgroup-defining function value  + (00:10:49, 27 May 2010)
• Property:Subgroup-defining function value as embedding  + (00:12:42, 27 May 2010)
• Property:Quotient-defining function value  + (00:17:07, 27 May 2010)
• Finitely generated and solvable not implies finitely presented  + (17:59:17, 27 May 2010)
• Noetherian not implies finitely presented  + (18:00:20, 27 May 2010)
• Property:Associated construct value  + (23:15:05, 4 July 2010)