To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Added in 24 Hours
Languages
Recent
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

Primitive ring

From Wikipedia, the free encyclopedia

In the branch of abstract algebra known as ring theory, a left primitive ring is a ring which has a faithful simple left module. Well known examples include endomorphism rings of vector spaces and Weyl algebras over fields of characteristic zero.

YouTube Encyclopedic

  • 1/3
    Views:
    723
    1 594
    85 547
  • Perfectoid spaces (Lecture 1) by Kiran Kedlaya
  • 27. Beyond Homology: Classifying Lens Spaces - Pierre Albin
  • Units in a Ring (Abstract Algebra)

Transcription

Definition

A ring R is said to be a left primitive ring if it has a faithful simple left R-module. A right primitive ring is defined similarly with right R-modules. There are rings which are primitive on one side but not on the other. The first example was constructed by George M. Bergman in (Bergman 1964). Another example found by Jategaonkar showing the distinction can be found in Rowen (1988, p. 159).

An internal characterization of left primitive rings is as follows: a ring is left primitive if and only if there is a maximal left ideal containing no nonzero two-sided ideals. The analogous definition for right primitive rings is also valid.

The structure of left primitive rings is completely determined by the Jacobson density theorem: A ring is left primitive if and only if it is isomorphic to a dense subring of the ring of endomorphisms of a left vector space over a division ring.

Another equivalent definition states that a ring is left primitive if and only if it is a prime ring with a faithful left module of finite length (Lam 2001, Ex. 11.19, p. 191).

Properties

One-sided primitive rings are both semiprimitive rings and prime rings. Since the product ring of two or more nonzero rings is not prime, it is clear that the product of primitive rings is never primitive.

For a left Artinian ring, it is known that the conditions "left primitive", "right primitive", "prime", and "simple" are all equivalent, and in this case it is a semisimple ring isomorphic to a square matrix ring over a division ring. More generally, in any ring with a minimal one sided ideal, "left primitive" = "right primitive" = "prime".

A commutative ring is left primitive if and only if it is a field.

Being left primitive is a Morita invariant property.

Examples

Every simple ring R with unity is both left and right primitive. (However, a simple non-unital ring may not be primitive.) This follows from the fact that R has a maximal left ideal M, and the fact that the quotient module R/M is a simple left R-module, and that its annihilator is a proper two-sided ideal in R. Since R is a simple ring, this annihilator is {0} and therefore R/M is a faithful left R-module.

Weyl algebras over fields of characteristic zero are primitive, and since they are domains, they are examples without minimal one-sided ideals.

Full linear rings

A special case of primitive rings is that of full linear rings. A left full linear ring is the ring of all linear transformations of an infinite-dimensional left vector space over a division ring. (A right full linear ring differs by using a right vector space instead.) In symbols, where V is a vector space over a division ring D. It is known that R is a left full linear ring if and only if R is von Neumann regular, left self-injective with socle soc(RR) ≠ {0}.[1] Through linear algebra arguments, it can be shown that is isomorphic to the ring of row finite matrices , where I is an index set whose size is the dimension of V over D. Likewise right full linear rings can be realized as column finite matrices over D.

Using this we can see that there are non-simple left primitive rings. By the Jacobson Density characterization, a left full linear ring R is always left primitive. When dimDV is finite R is a square matrix ring over D, but when dimDV is infinite, the set of finite rank linear transformations is a proper two-sided ideal of R, and hence R is not simple.

See also

References

  1. ^ Goodearl 1991, p. 100.
  • Bergman, G. M. (1964), "A ring primitive on the right but not on the left", Proceedings of the American Mathematical Society, American Mathematical Society, 15 (3): 473–475, doi:10.1090/S0002-9939-1964-0167497-4, ISSN 0002-9939, JSTOR 2034527, MR 0167497 p. 1000 errata
  • Goodearl, K. R. (1991), von Neumann regular rings (2 ed.), Malabar, FL: Robert E. Krieger Publishing Co. Inc., pp. xviii+412, ISBN 0-89464-632-X, MR 1150975
  • Lam, Tsi-Yuen (2001), A First Course in Noncommutative Rings, Graduate Texts in Mathematics, vol. 131 (2nd ed.), Springer, ISBN 9781441986160, MR 1838439
  • Rowen, Louis H. (1988), Ring theory. Vol. I, Pure and Applied Mathematics, vol. 127, Boston, MA: Academic Press Inc., pp. xxiv+538, ISBN 0-12-599841-4, MR 0940245
This page was last edited on 1 July 2022, at 23:27
Basis of this page is in Wikipedia. Text is available under the CC BY-SA 3.0 Unported License. Non-text media are available under their specified licenses. Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc. WIKI 2 is an independent company and has no affiliation with Wikimedia Foundation.