Namespaces
Variants
Actions

User:Richard Pinch/sandbox-WP

From Encyclopedia of Mathematics
< User:Richard Pinch
Revision as of 18:13, 25 August 2013 by Richard Pinch (talk | contribs) (Start article: Residual property)
Jump to: navigation, search

Residual property

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 \(h(g)\neq e\).

More categorically, a group is residually X if it embeds into its pro-X completion (see profinite group, pro-p group), that is, the inverse limit of \(\phi\colon G \to H\) where H is a group with property X.

Examples

Important examples include:

References

Stably free module

A module which is close to being free.

Definition

A module M over a ring R is stably free if there exist free modules F and G over R such that

\[ M \oplus F = G . \, \]

Properties

  • A projective module is stably free if and only if it possesses a finite free resolution.

See also

References

How to Cite This Entry:
Richard Pinch/sandbox-WP. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Richard_Pinch/sandbox-WP&oldid=30232