Finite characteristic series operator

This article defines a group property modifier (a unary group property operator) -- viz an operator that takes as input a group property and outputs a group property

Definition

Definition with symbols

The finite characteristic series operator is a group property modifier that takes as input a group property $p$ and outputs a group property $q$ such that a group $G$ satisfies $q$ if and only if it has a characteristic series $e=H_{0}\leq H_{1}\leq \ldots \leq H_{r}=G$ such that each quotient $H_{i}/H_{i-1}$ satisfies property $p$.

Relation with other modifiers

Weaker modifiers

• Finite normal series operator
• Poly operator

Properties

Monotonicity

This group property modifier is monotone, viz if $p\leq q$ are group properties and $f$ is the operator, then $f(p)\leq f(q)$

Ascendance

This group property modifier is ascendant, viz the image of any group property under this modifier is always weaker than the group property we started with

Idempotence

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