Residually 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

This article is about a definition in group theory that is standard among the group theory community (or sub-community that dabbles in such things) but is not very basic or common for people outside.
VIEW: Definitions built on this | Facts about this: (facts closely related to Residually operator, all facts related to Residually operator) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
View a list of other standard non-basic definitions

This property modifier is idempotent and a property is a fixed-point, or equivalently, an image of this if and only if it is a:residual group property

Definition

Symbol-free definition

The residually operator is a map from the group property space to itself that takes as input a group property $p$ and outputs the property of being a group such that:

For any nonidentity element of the group, there exists a normal subgroup not containing that element such that the quotient group has property $p$.

Definition with symbols

PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]

One of the people editing this page intended to fill in this information at a later stage, but hasn't gotten around to doing it yet. If you see this placeholder for a long time, file an error report at the error reporting page.

Application

• residually nilpotent group: obtained from nilpotent group
• residually finite group: obtained from finite group