Residual property
From Wikipedia, the free encyclopedia
In the mathematical field of group theory, a group is residually X (where X is some property of groups) if it "can be recovered from groups with property X".
Formally, a group G is residually X if for every non-trivial element g there is a homomorphism h from G to a group with property X such that 
.
More categorically, a group is residually X if it embeds into its pro-X completion,[1] the inverse limit of 
where H is a group with property X.
[edit] Examples
Important examples include:
- residually finite
- residually nilpotent
[edit] References
- ^ See profinite group, pro-p group
