Left residual operator for composition

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

For its use outside the wiki, please define the term when using it. If you are aware of an equivalent standard term, please leave a comment on the talk page
VIEW: Definitions built on this | Facts about this: (facts closely related to Left residual operator for composition, all facts related to Left residual operator for composition) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
Learn more about terminology local to the wiki | view a complete list of such terminology

This is a binary subgroup property operator, viz an operator that takes as input two subgroup properties, and outputs one subgroup property

Definition

Property-theoretic statement

Suppose $p,q$ are two subgroup properties. The left residual of $p$ by $q$ is the unique subgroup property $r$ such that:

$s*q\leq p\iff s\leq r$.

Here, $*$ denotes the composition operator.

Statement with symbols

Suppose $p,q$ are two subgroup properties. The left residual of $p$ by $q$ is defined as the subgroup property $r$ as follows:

$H$ has property $r$ in $G$ if whenever $G$ is embedded as a subgroup with property $q$ in a group $K$, $H$ has property $p$ in $K$.

Facts

Relation with left transiter

Further information: Left transiter

The left transiter of a subgroup property $p$ is defined as the left residual of $p$ by itself.