Right residual operator for composition
BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]
Suppose are two subgroup properties. The right residual of by is the unique subgroup property such that:
Here, denotes the composition operator.
Statement with symbols
Suppose are two subgroup properties. The right residual of by is defined as the subgroup property as follows:
has property in if whenever is a subgroup of with property in , has property in .
Relation with right transiter
Further information: Right transiter
The right transiter of a subgroup property is defined as the right residual of by itself.