Levitzky's theorem¶

In a right Noetherian ring, every nil left or right ideal has one power that vanishes as an ideal.

Version: v1 · 2026-10-07 · History
Domain-specific #: 13928
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomains: Ring Theory, Noncommutative Algebra → Mathematics
Aliases: Levitzki's theorem, Levitsky's theorem

Core Idea¶

Levitzky's theorem says that if a ring is right Noetherian, every nil left or right ideal in it is nilpotent. Nil means each element of the ideal has some vanishing power, and the exponent may depend on the element. Nilpotent means there is a single positive integer n for which the ideal power I^n is zero: every product of n members of I vanishes. The theorem therefore strengthens separate elementwise facts into one ideal-wide conclusion under a ring-level chain condition.^[1]

The wording matters. The right Noetherian hypothesis is on the ambient ring, while the conclusion covers nil ideals on either side. A left Noetherian formulation appears in an independent ring-theory account, with the orientation reversed.^[1]^[2]

Structural Signature¶

Right Noetherian ambient ring. Its ascending-chain condition on right ideals is the theorem's stated ring hypothesis. Remove the relevant chain condition and a nil ideal need not have any one vanishing ideal power.^[1]
Nil one-sided ideal. The governed object is a left or right ideal I, each of whose elements is individually nilpotent. An arbitrary set of nilpotent elements is not enough.^[1]
Uniform ideal-power conclusion. The theorem supplies some common n with I^n=0. Repeating that each x has its own x^m=0 only restates the premise.^[1]
Side convention. The cited right Noetherian theorem explicitly covers left and right ideals. The left Noetherian mirror is separately stated and must not be silently substituted for the right-sided hypothesis.^[1]^[2]

What It Is Not¶

Elementwise nilpotence alone does not imply ideal nilpotence in an arbitrary ring. The theorem does not give a universal numerical exponent or a procedure for finding the smallest one. It is also not the statement that an ideal is nil merely because a single chosen generator is nilpotent.^[1]

The nilradical is an ideal object, and maximal-nilpotent-ideal arguments can help prove related results; neither is the identity of this named implication. The Hopkins–Levitzki theorem begins with an Artinian chain condition and is a distinct result, even though the topics and names are close.^[1]^[2]

Scope of Application¶

The statement applies in ring theory when an ambient ring satisfies the specified Noetherian side condition and a candidate left or right ideal is nil. It includes commutative examples, where left and right coincide, and noncommutative examples, where sidedness must be kept explicit. It does not require the chosen ideal to be the whole nilradical or to be two-sided.^[1]

Our two worked examples below happen to use full nilradicals in rings that are Artinian as well as Noetherian. They illustrate the implication and its uniform-power conclusion, but by themselves do not establish the theorem's broader Noetherian scope or exhibit a proper one-sided ideal.^[2]

Clarity¶

The diagnostic distinction is between for every x in I, there exists m(x) with x^m(x)=0 and there exists n such that I^n=0. The latter quantifies over mixed products of ideal members, not just repeated powers of one chosen element. In a noncommutative ring, that distinction is especially easy to miss when examples feature a convenient matrix basis.^[1]

The word “Noetherian” also needs its side attached. The UCSD statement is right Noetherian and covers either one-sided ideal; the Manchester notes phrase the mirrored theorem with left Noetherian. These are sourced formulations, not permission to drop the chain condition.^[1]^[2]

Manages Complexity¶

For a proposed application, track three facts: the ambient ring and its Noetherian orientation, the particular nil left or right ideal, and the claim that a single ideal power vanishes. This small checklist prevents an elementwise computation, a radical calculation, or a different chain-condition theorem from being mistaken for the result.^[1]

The two examples show how the conclusion can be checked concretely. In Z/200Z, products in the ideal (10) become multiples of 1000, hence zero modulo 200, at the third power. In the strictly upper-triangular 3×3 matrix ideal, a product of two can occupy the (1,3) position but a product of three is zero. Those exponents belong to these particular ideals; they are not a bound printed in the theorem.^[2]

Abstract Reasoning¶

To use the theorem, first establish that R is right Noetherian. Next show that the chosen one-sided ideal I is nil, meaning each member has a vanishing personal power. Then infer existence of an n with I^n=0, without claiming a value unless a separate calculation provides one. If the ring lacks the chain condition, the inference is unavailable; if one only knows a selected element is nilpotent, the ideal premise is unavailable.^[1]

The converse direction is easier and does not need Noetherianity: if I^n=0, then each x in I has x^n=0. Levitzky's content lies in the opposite direction under its stated hypothesis.^[1]

Knowledge Transfer¶

Within ring theory, the same theorem can be applied to a commutative finite quotient or to an ideal in a noncommutative triangular matrix ring, provided the premise is checked in each. The calculation of the vanishing exponent does not transfer unchanged. A different noncommutative ring may have another exponent, and the theorem itself promises only existence.^[1]^[2]

The phrase “individual-to-uniform” also appears in other fields, but this named theorem requires literal ring multiplication, nil one-sided ideals, and a Noetherian chain condition. Similar phrasing elsewhere is an analogy, not a literal application or evidence that Levitzky's theorem is a cross-domain Prime.

Examples¶

Commutative Z/200Z. The Manchester notes identify (10)=10Z/200Z as its nilradical. The ring is finite, hence Noetherian, and (10) is a two-sided ideal, so it meets either one-sided premise. Direct multiplication gives (10)^2=(100)≠0 and (10)^3=(1000)=(0) modulo 200. Mapped back: the finite ring supplies the chain condition; (10) is the nil ideal; the third power is one uniform zero power. This is a calculation for this Artinian example, not a general exponent bound.^[2]

Noncommutative upper-triangular U_3(C). The same notes identify the strictly upper-triangular matrices as its nilradical. The ambient complex algebra is finite dimensional and hence Noetherian. The matrix units satisfy E12 E23=E13≠0, so the ideal's square need not vanish, but every product of three strictly upper-triangular 3×3 matrices does. Mapped back: the upper-triangular algebra is the ambient ring; its strict upper-triangular ideal is nil; I^3=0 is the uniform conclusion. This example confirms that commutativity is unnecessary, while still using a two-sided Artinian nilradical.^[2]

Structural Tensions¶

Local vanishing versus one shared power. Checking each element separately is the weaker and often easier task; it permits different exponents. Requiring one power for all mixed ideal products is stronger. The Noetherian hypothesis makes that stronger conclusion available, while dropping it broadens the rings under discussion and loses the implication. Diagnostic: Are the known facts about powers of individual elements, or about one power of the entire ideal?^[1]

General theorem versus tractable calculation. A worked finite ring or small matrix algebra can display I^3=0 explicitly, but that numerical clarity can hide the theorem's wider scope. Applying the theorem to an arbitrary eligible ideal preserves the general implication but need not reveal a minimal exponent. Diagnostic: Is an exponent being proved for this case, or incorrectly attributed to the theorem itself?^[1]^[2]

Structural–Framed Character¶

Evaluative weight: “nil” and “nilpotent” are mathematical predicates, not assessments of a ring's merit. Human-practice dependence: mathematicians choose sidedness conventions and proofs; once a ring and ideal are specified, the multiplication and chain condition determine whether the implication applies. Institutional origin: the theorem is a mathematical result, not a rule created by a regulator or organization. Vocabulary travel: “uniform” can describe many arguments, but “nil one-sided ideal” and “right Noetherian ring” retain their algebraic meanings here. Import versus recognition: recognize the theorem by the exact hypothesis, premise, and ideal-power conclusion; do not import it because a different field has a similar local-to-global story.^[1]^[2]

Its character: structural within a ring-theoretic frame. The quantified implication is reusable across eligible rings and ideals. Its specific multiplication, sidedness, and chain condition keep the named theorem domain-specific.

Structural Core vs. Domain Accent¶

The structural relation is a conditional move from elementwise nilpotence of an ideal to uniform nilpotence of that ideal, enabled by a Noetherian ambient ring. The ring and ideal are not decorative examples: their multiplication defines I^n, and sidedness fixes the scope of the premise. Removing those features leaves a broad analogy about local and global properties, not this theorem.^[1]

The accepted DAG parent is Ring Ideal through strict composition/presupposition. Every instance of the statement must refer to an ideal, but an ideal is not a theorem and does not need this theorem to exist. No cross-domain Prime is established by the generic local-to-uniform wording; any portable principle would require an independent identity and evidence beyond these ring-theory sources.

This entry presupposes Ring Ideal.

The only asserted strict edge is composition/presupposes to Ring Ideal, the necessary object of the premise and conclusion. A subsumption edge to Ring Ideal would confuse a proposition with the object it governs. Nilradical of a ring is a nearby object and can appear in examples or proofs, but the theorem speaks of any eligible nil one-sided ideal; it does not presuppose that the chosen ideal is the full nilradical. The similarly named Prime Noether's Theorem concerns symmetry and conservation, so the common surname sound is no structural relation.^[1]^[2]

Relationships to Other Abstractions¶

Current abstraction Levitzky's theorem Domain-specific

Parents (1) — more general patterns this builds on

Levitzky's theorem presupposes Ring Ideal Domain-specific

The theorem's nil premise and nilpotent conclusion both concern a one-sided ring ideal.

Neighborhood in Abstraction Space¶

Levitzky's theorem sits in a sparse region of the domain-specific corpus (84^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Algebraic Substructures & Closures (12 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

A nil ideal has elementwise nilpotent members; a nilpotent ideal has a vanishing common ideal power. A nilradical is an ideal object, not the conditional implication. Hopkins–Levitzki concerns an Artinian starting condition and must not be merged with the cited right-Noetherian statement. Finally, the side-reversed left-Noetherian wording is a valid separately sourced mirror, not a license to omit “left” or “right” from a claim.^[1]^[2]

References¶

[1] L. W. Small, Noncommutative Ring Theory Notes, Definition 3.1 and Theorems 4.2, 4.9–4.10, especially Theorem 4.10 on PDF p. 16 (zero-index p. 15). University of California, San Diego course notes. https://mathweb.ucsd.edu/~lwsmall/MATH207A/ringtheorynotes.pdf registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m ↩n ↩o ↩p ↩q ↩r ↩s ↩t ↩u

[2] T. Stafford, notes modified by M. Prest, Noncommutative Algebra (2019), Example 4.9 on PDF p. 52 (zero-index p. 51) and Theorem 4.10 on PDF p. 53 (zero-index p. 52). University of Manchester course notes. https://personalpages.manchester.ac.uk/staff/mike.prest/NCAlgCrseNotes2019.pdf registry ↩a ↩b ↩c ↩d ↩e ↩f ↩g ↩h ↩i ↩j ↩k ↩l ↩m