Having subgroups of all orders dividing the group order is not quotient-closed
This article gives the statement, and possibly proof, of a group property (i.e., group having subgroups of all orders dividing the group order) not satisfying a group metaproperty (i.e., quotient-closed group property).
View all group metaproperty dissatisfactions | View all group metaproperty satisfactions|Get help on looking up metaproperty (dis)satisfactions for group properties
Get more facts about group having subgroups of all orders dividing the group order|Get more facts about quotient-closed group property|
- satisfies the property that it has subgroups of every order dividing the order of .
- The quotient group does not have this property, i.e., there exists a positive divisor of the order of such that has no subgroup of that order.
- Every finite solvable group is a subgroup of a finite group having subgroups of all orders dividing the group order: The proof of this uses an external direct product construction that can be used to construct an infinitude of examples, for any isomorphism class of quotient group that is finite and solvable and fails to have the property.