Primitive ring

Key takeaways

Primitive ring belongs to mathematics; place it in that map before memorising details.
Learn the definition first, then one example that makes the definition concrete.
Connect Primitive ring to a quantity you can measure, compute or draw — that is where exam questions come from.
Reproduce the core statement of Primitive ring from memory before moving on to harder problems.

Reference excerpt

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.

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, R = E n d ( D V ) {\displaystyle R=\mathrm {End} (_{D}V)} 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}. Through linear algebra arguments, it can be shown that E n d ( D V ) {\displaystyle \mathrm {End} (_{D}V)\,} is isomorphic to the ring of row finite matrices R F M I ( D ) {\displaystyle \mathbb {RFM} _{I}(D)\,} , 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.

Worked examples

Example 1 — a first encounter with Primitive ring

Start with the simplest possible case. Write down what Primitive ring claims or describes in one sentence, then invent the smallest concrete situation in which that sentence is true. In mathematics, the smallest case is usually a single object, a single equation or a single measurement. Check that every symbol or term in your sentence has a meaning in that case.

Example 2 — changing one variable

Take the situation from Example 1 and change exactly one quantity: double it, halve it, or set it to zero. Predict what should happen to Primitive ring before you calculate. Comparing your prediction with the result is the fastest way to find out whether you understand the idea or only the words.

Example 3 — an exam-style question

Typical questions about Primitive ring ask you to (a) state it precisely, (b) apply it to given data, and (c) explain a limitation. Practise writing all three answers in under five minutes; the third part is what separates a full-mark answer from an average one.

Applications of Primitive ring

In research: Primitive ring appears in mathematics research whenever the underlying quantities have to be modelled precisely. Papers usually cite it as a starting assumption and then explore where it breaks down.
In technology and industry: Engineering practice reuses Primitive ring in design rules, simulations and safety margins. Knowing the idea lets you read a specification sheet and understand why the numbers look the way they do.
In the classroom: Primitive ring is common in secondary-school and first-year university syllabi. It links to neighbouring topics Algebraic structures, Ring theory, so understanding it makes those chapters shorter.
In everyday life: Look for Primitive ring outside the textbook — in sport, cooking, traffic, electronics or the sky above you. An example you found yourself is remembered far longer than one you were given.

How to study Primitive ring in 20 minutes

Read the reference excerpt below once, without taking notes.
Close the page and write down what Primitive ring means in your own words.
Compare your version with the excerpt and mark what you missed.
Work through the three examples above with pen and paper.
Explain Primitive ring out loud to somebody else — or to Teacher Smith in the lgStudy chat.

Frequently asked questions

What is Primitive ring in simple terms?

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.

Why does Primitive ring matter?

Because it connects several mathematics ideas at once: it gives you a definition you can apply, a quantity you can calculate, and a way to check whether a result is plausible.

How should I study Primitive ring?

Read the excerpt, restate it from memory, then work through the examples and applications listed on this page. The five-step study plan above takes about twenty minutes.

What does this page cover?

It gives you a compact reference excerpt plus original lgStudy explanations, examples, applications and study material on Primitive ring.