Namespaces
Variants
Actions

Difference between revisions of "Primary ring"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
Line 1: Line 1:
A [[Ring|ring]] with a unit whose quotient ring with respect to the [[Jacobson radical|Jacobson radical]] is isomorphic to a matrix ring over a skew field, or, which is the same, is an Artinian simple ring. If the idempotents of a primary ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p074/p074480/p0744801.png" /> with Jacobson radical <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p074/p074480/p0744802.png" /> can be lifted modulo <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p074/p074480/p0744803.png" /> (i.e. for every idempotent of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p074/p074480/p0744804.png" /> there is an idempotent pre-image in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p074/p074480/p0744805.png" />), then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p074/p074480/p0744806.png" /> is isomorphic to the full matrix ring of a local ring. This holds, in particular, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p074/p074480/p0744807.png" /> is a nil ideal.
+
{{TEX|done}}
 +
A [[Ring|ring]] with a unit whose quotient ring with respect to the [[Jacobson radical|Jacobson radical]] is isomorphic to a matrix ring over a skew field, or, which is the same, is an Artinian simple ring. If the idempotents of a primary ring $R$ with Jacobson radical $J$ can be lifted modulo $J$ (i.e. for every idempotent of $R/J$ there is an idempotent pre-image in $R$), then $R$ is isomorphic to the full matrix ring of a local ring. This holds, in particular, if $J$ is a nil ideal.
  
 
====References====
 
====References====

Revision as of 15:16, 10 August 2014

A ring with a unit whose quotient ring with respect to the Jacobson radical is isomorphic to a matrix ring over a skew field, or, which is the same, is an Artinian simple ring. If the idempotents of a primary ring $R$ with Jacobson radical $J$ can be lifted modulo $J$ (i.e. for every idempotent of $R/J$ there is an idempotent pre-image in $R$), then $R$ is isomorphic to the full matrix ring of a local ring. This holds, in particular, if $J$ is a nil ideal.

References

[1] N. Jacobson, "Structure of rings" , Amer. Math. Soc. (1956)
[2] C. Faith, "Algebra" , 1–2 , Springer (1973–1976)


Comments

See also Nil ideal.

How to Cite This Entry:
Primary ring. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Primary_ring&oldid=17882
This article was adapted from an original article by L.A. Skornyakov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article