Compressed subgroup

This article defines a subgroup property: a property that can be evaluated to true/false given a group and a subgroup thereof, invariant under subgroup equivalence. View a complete list of subgroup properties[SHOW MORE]

|Get subgroup property lookup help |Get exploration suggestions
VIEW RELATED: Subgroup property implications | Subgroup property non-implications | Subgroup metaproperty satisfactions | Subgroup metaproperty dissatisfactions | Subgroup property satisfactions |Subgroup property dissatisfactions
VIEW FACTS THAT:use, or start with, a subgroup satisfying the property|prove, or show that, a subgroup satisfies the property

This article defines a term that has been used or referenced in a journal article or standard publication, but may not be generally accepted by the mathematical community as a standard term.[SHOW MORE]

VIEW: Definitions built on this | Facts about this: (facts closely related to Compressed subgroup, all facts related to Compressed subgroup) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
View other semistandard definitions in group theory

Definition

Definition with symbols

A subgroup $H$ of a group $G$ is termed compressed if for any subgroup $K$ of $G$ containing $H$, the rank of $H$ is not more than the rank of $K$.

We typically study compressed subgroups inside a free group.

In terms of the intermediately operator

The subgroup property of being compressed is obtained by applying the intermediately operator to the subgroup property of being a rank-dominated subgroup. A subgroup is said to be rank-dominated in a group if the rank of the subgroup is not more than the rank of the group.

Relation with other properties

Stronger properties

• Inert subgroup

Weaker properties

• Finite-index-maximal subgroup in case we are working within a free group

Metaproperties

Transitivity

It is not clear whether any compressed subgroup of a compressed subgroup is compressed. The problem lies with the fact that intermediate subgroups containing the smaller subgroup may not be comparable either way with the bigger subgroup.

Intermediate subgroup condition

YES: This subgroup property satisfies the intermediate subgroup condition: if a subgroup has the property in the whole group, it has the property in every intermediate subgroup.
ABOUT THIS PROPERTY: View variations of this property satisfying intermediate subgroup condition | View variations of this property not satisfying intermediate subgroup condition
ABOUT INTERMEDIATE SUBROUP CONDITION:View all properties satisfying intermediate subgroup condition | View facts about intermediate subgroup condition

If a subgroup is compressed in terms of the whole group, it is clearly compressed in every intermediate subgroup.

Trimness

This subgroup property is trim -- it is both trivially true (true for the trivial subgroup) and identity-true (true for a group as a subgroup of itself).
View other trim subgroup properties | View other trivially true subgroup properties | View other identity-true subgroup properties

Clearly, the trivial subgroup is compressed in any group, because it is generated by zero elements. Also, every group is compressed as a subgroup of itself.