Ring extension

In algebra, a ring extension of a ring R by an abelian group I is a pair (E, φ) consisting of a ring E and a ring homomorphism φ that fits into the exact sequence of abelian groups:

0\to I\to E{\overset {\phi }{\to }}R\to 0.

Note I is then an ideal of E. Given a commutative ring A, an A-extension is defined in the same way by replacing "ring" with "algebra over A" and "abelian groups" with "A-modules".

An extension is said to be trivial if φ splits; i.e., φ admits a section that is an algebra homomorphism.

A morphism between extensions of R by I, over say A, is an algebra homorphism E → E' that induces the identities on I and R. By the five lemma, such a morphism needs to be an isomorphism and two extensions are equivalent if there is a morphism between them.

Example: Let R be a commutative ring and M an R-module. Let E = R ⊕ M be the direct sum of abelian groups. Define the multiplication on E by

(a,x)\cdot (b,y)=(ab,ay+bx),

Note identifying (a, x) with a + εx, where ε squares to zero, and expanding (a + εx)(b + εy) out yield the above formula; in particular, we see E is a ring. We then have the exact sequence

0\to M\to E{\overset {p}{\to }}R\to 0

where p is the projection. Hence, E is an extension of R by M. One interesting feature of this construction is that the module M becomes an ideal of some new ring. In his "local rings", Nagata calls this process the principle of idealization.

References

E. Sernesi: Deformations of algebraic schemes

This article is issued from Wikipedia - version of the 7/30/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.