Polycyclic group
This article defines a group property: a property that can be evaluated to true/false for any given group, invariant under isomorphism
View a complete list of group properties
VIEW RELATED: Group property implications | Group property non-implications |Group metaproperty satisfactions | Group metaproperty dissatisfactions | Group property satisfactions | Group property dissatisfactions
This is a variation of solvability|Find other variations of solvability |
This article is about a standard (though not very rudimentary) definition in group theory. The article text may, however, contain more than just the basic definition
VIEW: Definitions built on this | Facts about this: (facts closely related to Polycyclic group, all facts related to Polycyclic group) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
View a complete list of semi-basic definitions on this wiki
History
Origin of the concept
Hirsch, in the years 1938-1954, obtained results on polycylic groups, but he used the term S-group for them.
Origin of the term
The term polycyclic group was first used by Hall in 1954. It is now the commonly accepted term.
Definition
A group is said to be polycyclic if it has a subnormal series (wherein each member is normal in its successor) of finite length, starting from the trivial group and ending at the whole group, such that all the successive quotients are cyclic.
Definition with symbols
A group is said to be polycyclic if there exists a series of subgroups:
where each is cyclic.
Relation with other properties
Stronger properties
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
|---|---|---|---|---|
| Cyclic group | |FULL LIST, MORE INFO | |||
| Metacyclic group | |FULL LIST, MORE INFO | |||
| Supersolvable group | |FULL LIST, MORE INFO | |||
| Finite solvable group | |FULL LIST, MORE INFO |
Weaker properties
| Property | Meaning | Proof of implication | Proof of strictness (reverse implication failure) | Intermediate notions |
|---|---|---|---|---|
| Solvable group | |FULL LIST, MORE INFO | |||
| Finitely generated group | |FULL LIST, MORE INFO | |||
| Slender group | |FULL LIST, MORE INFO | |||
| Finitely generated solvable group | |FULL LIST, MORE INFO |
Metaproperties
Subgroups
This group property is subgroup-closed, viz., any subgroup of a group satisfying the property also satisfies the property
View a complete list of subgroup-closed group properties
Any subgroup of a polycyclic group is polycyclic. The subnormal serise for the subgroup is obtained by intersecting with it the subnormal series of the whole group.
Quotients
This group property is quotient-closed, viz., any quotient of a group satisfying the property also has the property
View a complete list of quotient-closed group properties
Any quotient of a polycyclic group is polycyclic. The subnormal series for the quotient is obtained by taking the image of the subnormal series for the whole group, via the quotient map.
Direct products
This group property is finite direct product-closed, viz the direct product of a finite collection of groups each having the property, also has the property
View other finite direct product-closed group properties
A finite direct product of polycyclic groups is polycyclic.