Maximal operator

From Groupprops
Jump to: navigation, search
This article defines a subgroup property modifier (a unary subgroup property operator) -- viz an operator that takes as input a subgroup property and outputs a subgroup property


View a complete list of subgroup property modifiers OR View a list of all subgroup property operators (possibly with multiple inputs)


BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]

Definition

The maximal operator is a subgroup property modifier that takes as input a subgroup property p and outputs a subgroup property q defined as follows: H has property q in G if the following three hold:

  • H has property p in G
  • There is no subgroup K of G, containing H, such that K satisfies p.

In other words, H is a maximal element (in the containment partial order) among those proper subgroups of G that satisfy p.

Application

Some important instances of application of the maximal operator:

For a complete list, refer:

Category:Subgroup properties obtained by applying the maximal operator

Properties

Monotonicity

The maximal operator is not monotone. In other words, if p \le q are subgroup properties, then a maximal p-subgroup need not be a maximal q-subgroup. The reason is that there may be bigger intermediate subgroups that satisfy property q but not property p.

Descendance

This subgroup property modifier is descendant, viz the image of any subgroup property under this modifier is stronger than that property. In symbols, if f denotes the modifier and p and property, f(p) \le p

For any subgroup property p, the property of being a maximal p-subgroup, is stronger than the property of being a p-subgroup.

Idempotence

This subgroup property modifier is idempotent, viz applying it twice to a subgroup property has the same effect as applying it once

Clearly, applying the maximal operator twice has the same effect as applying it once. Those subgroup properties that are obtained by applying this operator are termed maximal subgroup properties.