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

• Finite normal implies amalgam-characteristic  + (14:42:11, 18 August 2021)
• Central implies amalgam-characteristic  + (14:55:49, 18 August 2021)
• Fully invariant subgroup  + (15:35:01, 18 August 2021)
• Nilpotent group  + (02:11:46, 27 December 2021)
• At most n elements of order dividing n implies every finite subgroup is cyclic  + (05:06:03, 27 December 2021)
• Intersection of subgroups is subgroup  + (19:39:33, 31 March 2022)
• Inverse map is involutive  + (19:39:59, 31 March 2022)
• Left coset of a subgroup  + (19:40:11, 31 March 2022)
• Subgroup  + (19:43:10, 31 March 2022)
• Union of two subgroups is not a subgroup unless they are comparable  + (19:44:26, 31 March 2022)
• Characteristicity is quotient-transitive  + (04:40:10, 1 May 2022)
• Isomorphism of groups  + (12:46:55, 14 October 2023)
• Classification of groups of order four times a prime congruent to 3 modulo 4  + (11:33:03, 22 October 2023)
• Classification of groups of order four times a prime congruent to 1 modulo 4  + (11:40:21, 22 October 2023)
• Linearly primitive implies cyclic-center  + (19:58:25, 23 October 2023)
• FZ implies finite derived subgroup  + (22:55:11, 25 October 2023)
• Retract implies derived subgroup equals intersection with whole derived subgroup  + (22:55:40, 25 October 2023)
• Conjugacy class  + (00:29:38, 3 November 2023)
• Standard representation of the symmetric group  + (15:41:05, 4 November 2023)
• Orbit under group action  + (15:57:31, 4 November 2023)
• Group  + (00:52:18, 8 November 2023)
• Center of dihedral group:D8  + (18:39:14, 8 November 2023)
• Groups of order 2^m.3^n  + (13:46:19, 10 November 2023)
• Omega subgroups of a p-group  + (14:12:06, 19 November 2023)
• Groups of order 159  + (21:10:17, 22 November 2023)

• Category:Subgroup properties  + (20:28:01, 7 December 2023)

• Groups of order 14880  + (15:59:36, 9 December 2023)
• Cyclic group:Z11  + (14:47:39, 10 December 2023)
• Cyclic group:Z17  + (14:48:14, 10 December 2023)
• Cyclic group:Z19  + (14:48:27, 10 December 2023)
• Cyclic group:Z21  + (14:48:39, 10 December 2023)
• Cyclic group:Z47  + (14:50:47, 10 December 2023)
• Cyclic group:Z13  + (14:52:13, 10 December 2023)
• Cyclic group:Z23  + (14:52:43, 10 December 2023)
• Cyclic group:Z29  + (14:53:07, 10 December 2023)
• Cyclic group:Z31  + (14:53:44, 10 December 2023)
• Cyclic group:Z37  + (14:54:16, 10 December 2023)
• Cyclic group:Z41  + (14:58:36, 10 December 2023)
• Cyclic group:Z59  + (14:59:09, 10 December 2023)
• Classification of groups of order 24  + (20:44:46, 10 December 2023)
• General affine group:GA(1,11)  + (22:27:53, 12 December 2023)
• Cyclic group:Z43  + (13:01:44, 14 December 2023)
• Simple group  + (21:12:57, 15 December 2023)
• Cyclic group:Z2  + (21:23:53, 15 December 2023)
• Dicyclic group:Dic28  + (18:37:36, 19 December 2023)
• Groups of order 132  + (17:56:56, 24 December 2023)
• Groups of order 155  + (18:07:03, 24 December 2023)
• Groups of order 154  + (19:20:19, 24 December 2023)
• Cyclic group:Z15  + (12:02:44, 26 December 2023)
• Property:Simple count  + (12:20:11, 26 December 2023)
• Derived subgroup  + (21:04:16, 26 December 2023)