Definition
A ring R is said to be a left primitive ring if and only 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.
Read more about this topic: Primitive Ring
Famous quotes containing the word definition:
“No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.”
—Florence Nightingale (1820–1910)
“The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.”
—Ralph Waldo Emerson (1803–1882)
“... we all know the wag’s definition of a philanthropist: a man whose charity increases directly as the square of the distance.”
—George Eliot [Mary Ann (or Marian)