Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedSession-authored (Fable 5 assisted)precheck passaudited 2026-08-28
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

An irreducible submodule of a Noetherian module is primary

Statement

Let R be a commutative ring, let M be a Noetherian left R-module, and let QM be irreducible, meaning that whenever

Q=AB

with submodules A,BM, then Q=A or Q=B. Then Q is primary.

Facts & Assumptions

Given: A commutative ring R, a Noetherian left R-module M, and an irreducible proper submodule QM.

[L1]

In a short exact sequence, a quotient of a Noetherian module is again Noetherian (Noetherian and Artinian conditions are each exact in short exact sequences).

[L2]

The quotient module M/Q is formed from the cosets of Q (Quotient module M/N with scalar multiplication on additive cosets).

[L3]

A proper submodule is primary exactly when the classical power condition of the previous lemma holds (Primary submodules are exactly quotients with nilpotent zero divisors).

Proof

technique · direct
1.1

Let N=M/Q. By [L1], the quotient module N is Noetherian. The submodule 0N is irreducible: if 0=AB in N, then taking inverse images in M gives Q=AB with QA,B, so the irreducibility of Q forces A=Q or B=Q, hence A=0 or B=0.

L1L2givenalgebra
2.1

Let xR be a zero divisor on N. Then (0:Nx)0. Because N is Noetherian, the ascending chain (0:Nx)(0:Nx2) stabilizes; choose n1 with (0:Nxn)=(0:Nxn+1)=(0:Nx2n). If z(0:Nxn)xnN, write z=xny. Then xnz=0, so x2ny=0 and hence y(0:Nx2n)=(0:Nxn). Therefore z=xny=0, and 0=(0:Nxn)xnN.

step 1.1choosealgebra
3.1

Since (0:Nx)(0:Nxn) is nonzero, the irreducibility of 0N and the decomposition in step 2.1 force xnN=0. Thus every zero divisor on N acts nilpotently on N. By [L3], this means Q is primary.

L3step 2.1algebra
4.1

Hence every irreducible submodule of a Noetherian module is primary.

step 1.1step 3.1

Depends on

Used by

Dependency tree · two levels

14 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources