Monotone subgroup-defining function

From Groupprops
Jump to: navigation, search

This article defines a property of subgroup-defining functions, viz., a property that any subgroup-defining function may either satisfy or not satisfy

Definition

Definition with symbols

A subgroup-defining function f is said to be monotone if whenever N \le G is a subgroup, then f(N) \le f(G).

Relation with other properties

Stronger properties

Weaker properties

Subgroup-defining functions satisfying this property

Commutator subgroup

The commutator subgroup of any subgroup is contained in the commutator subgroup of the whole group. This follows from the fact that any commutator of two elements in the subgroup is also a commutator of two elements in the whole group.