hasNormalSubgroup

URI: https://gptkb.org/prop/hasNormalSubgroup

114 triples

GPTKB property

has normal subgroup • is a normal subgroup of • isNormalSubgroupOf • minimalNormalSubgroup

Subject	Object
gptkb:symmetric_group_S_{n-1}	gptkb:alternating_group_A_{n-1}
gptkb:dihedral_group_D3	order 1 subgroup
gptkb:C2_×_C2	S4
gptkb:S_4	gptkb:V_4
gptkb:Weyl_group_of_type_D_7	Weyl group of type B_7
gptkb:A_4_×_A_4	{e} × A_4
gptkb:symmetric_group_S_n	gptkb:alternating_group_A_n_(for_n_>_2)
gptkb:special_linear_group_of_degree_n_over_the_finite_field_with_q_elements	gptkb:center
gptkb:A_3	gptkb:S_3
gptkb:symmetric_group_S_{2^n}	gptkb:alternating_group_A_{2^n}
gptkb:SL(2,3)	gptkb:center
gptkb:dihedral_group_D_3	cyclic group of order 3
gptkb:dihedral_group_D3	order 6 subgroup
gptkb:dihedral_group_of_order_18	cyclic group of order 2
gptkb:symmetric_group_S_n_(n_≥_3)	gptkb:alternating_group_A_n
gptkb:symmetric_group_S3	gptkb:A3
gptkb:S_5	gptkb:A_5
gptkb:symmetric_group_S5	gptkb:A5
gptkb:proper_orthochronous_Lorentz_group	gptkb:Lorentz_group
gptkb:dihedral_group_of_order_6	whole group