Finite Local PIR: Structure & Classification

• Finite local PIRs are finite commutative rings with a unique maximal ideal and all ideals principal, characterized by a nilpotency index and a ramification index.
• The classification relies on key invariants (p, q, e, n, f) and can be explicitly constructed via quotients of discrete valuation rings using Eisenstein polynomial orbits.
• Graph-theoretic and module-theoretic approaches provide practical insights, offering categorical invariants and decomposing the ring structure into staircase graphs and additive components.

A finite commutative local principal ring, abbreviated here as "finite local PIR," is a finite commutative ring with unity that is both local (possessing a unique maximal ideal) and a principal ideal ring (every ideal is generated by a single element). Such rings are fundamental in commutative and algebraic ring theory, serving as a key class of Artinian rings, and presenting a structure that is explicitly computable yet richly connected to local field theory, valuation theory, and module classification.

1. Structural Definition and Fundamental Properties

Let $R$ be a finite commutative ring with unity. $R$ is local if it contains a unique maximal ideal $\mathfrak{m}$. $R$ is a principal ideal ring if every ideal is principal. In a finite local PIR, the ideals form a strictly descending chain: $$0 = \mathfrak{m}^n \subset \mathfrak{m}^{n-1} \subset \cdots \subset \mathfrak{m} \subset R$$ with each $\mathfrak{m}^i$ principal. Two principal invariants arise from this chain: the nilpotency index $n$, defined by $\mathfrak{m}^n = 0$ and $\mathfrak{m}^{n-1} \ne 0$, and the ramification index $e = v_R(p)$, corresponding to the valuation of the characteristic prime $R$0.

Letting $R$1 (the residue field), the following hold:

• The characteristic of $R$2 is a prime $R$3, and $R$4.
• For any uniformizer $R$5, $R$6 for some unit $R$7.
• The characteristic of $R$8 is $R$9, with $\mathfrak{m}$0.

The five invariants determining $\mathfrak{m}$1 up to a finer classification are: $\mathfrak{m}$2 A single additional invariant—the orbit of a suitable Eisenstein polynomial under a group action—is required for complete isomorphism classification (Lee, 2023, Wu et al., 2011).

2. Classification and Construction

Every finite local PIR arises as a quotient of a discrete valuation ring (DVR) associated to a totally ramified extension over a number field. Explicitly, given invariants $\mathfrak{m}$3, one can construct:

• A number field $\mathfrak{m}$4 of degree $\mathfrak{m}$5 over $\mathfrak{m}$6 in which $\mathfrak{m}$7 is inert.
• A totally ramified extension $\mathfrak{m}$8 of degree $\mathfrak{m}$9, with rings of integers $R$0.
• The complete DVR $R$1 at the unique prime $R$2 above $R$3.

The local PIR is then

$R$4

where $R$5 is a uniformizer of $R$6. The isomorphism type of $R$7 is determined by the five invariants and a Galois-cohomological datum: the $R$8-orbit of an Eisenstein polynomial of degree $R$9 over the unramified coefficient ring (Lee, 2023).

In equal characteristic ($$0 = \mathfrak{m}^n \subset \mathfrak{m}^{n-1} \subset \cdots \subset \mathfrak{m} \subset R$$0), every such $$0 = \mathfrak{m}^n \subset \mathfrak{m}^{n-1} \subset \cdots \subset \mathfrak{m} \subset R$$1 is isomorphic to a truncated polynomial ring: $$0 = \mathfrak{m}^n \subset \mathfrak{m}^{n-1} \subset \cdots \subset \mathfrak{m} \subset R$$2 with $$0 = \mathfrak{m}^n \subset \mathfrak{m}^{n-1} \subset \cdots \subset \mathfrak{m} \subset R$$3 a generator of the maximal ideal. In the mixed-characteristic case ($$0 = \mathfrak{m}^n \subset \mathfrak{m}^{n-1} \subset \cdots \subset \mathfrak{m} \subset R$$4, $$0 = \mathfrak{m}^n \subset \mathfrak{m}^{n-1} \subset \cdots \subset \mathfrak{m} \subset R$$5), the structure is of the form

$$0 = \mathfrak{m}^n \subset \mathfrak{m}^{n-1} \subset \cdots \subset \mathfrak{m} \subset R$$6

where $$0 = \mathfrak{m}^n \subset \mathfrak{m}^{n-1} \subset \cdots \subset \mathfrak{m} \subset R$$7 is the unramified extension $$0 = \mathfrak{m}^n \subset \mathfrak{m}^{n-1} \subset \cdots \subset \mathfrak{m} \subset R$$8 and $$0 = \mathfrak{m}^n \subset \mathfrak{m}^{n-1} \subset \cdots \subset \mathfrak{m} \subset R$$9, $\mathfrak{m}^i$0 (Wu et al., 2011).

3. Invariant Data and Eisenstein Orbits

Besides the elementary ring invariants, the complete classification up to isomorphism is given by the action of the group $\mathfrak{m}^i$1 on Eisenstein polynomials of degree $\mathfrak{m}^i$2 over the Cohen/Witt ring $\mathfrak{m}^i$3. The essential set is

$\mathfrak{m}^i$4

with the group action defined by $\mathfrak{m}^i$5, interpreted modulo $\mathfrak{m}^i$6 and resulting in a new Eisenstein polynomial. Isomorphism classes of finite local PIRs of a given type $\mathfrak{m}^i$7 correspond bijectively to the orbits in $\mathfrak{m}^i$8 (Lee, 2023).

4. Graph-Theoretic Characterization

Compressed zero-divisor graphs provide a categorical invariant distinguishing finite local PIRs. Define the compressed zero-divisor graph $\mathfrak{m}^i$9 for a finite commutative unital ring $n$0:

• Vertices are associatedness classes $n$1, where $n$2 if $n$3 for a unit $n$4.
• Edges connect $n$5, $n$6 if $n$7.

A ring $n$8 is a local PIR if and only if $n$9 is isomorphic to a staircase graph $\mathfrak{m}^n = 0$0 (for some $\mathfrak{m}^n = 0$1), characterized by a unique vertex for each degree $\mathfrak{m}^n = 0$2 and a strictly increasing degree sequence. The nilpotency index of the maximal ideal equals the length $\mathfrak{m}^n = 0$3 of the staircase (Đurić et al., 2018). The graph-theoretic approach is functorial and detects locality as indecomposability of the graph.

Class of Ring	Graph Structure	Key Invariant
Local PIR ($\mathfrak{m}^n = 0$4)	$\mathfrak{m}^n = 0$5	Nilpotency index $\mathfrak{m}^n = 0$6
General PIR	Product of $\mathfrak{m}^n = 0$7	Factors $\mathfrak{m}^n = 0$8

5. Numerical and Module-Theoretic Invariants

For a finite local PIR $\mathfrak{m}^n = 0$9 with residue field $\mathfrak{m}^{n-1} \ne 0$0, maximal ideal of nilpotency index $\mathfrak{m}^{n-1} \ne 0$1, and characteristic $\mathfrak{m}^{n-1} \ne 0$2:

• $\mathfrak{m}^{n-1} \ne 0$3 (if $\mathfrak{m}^{n-1} \ne 0$4); more generally, $\mathfrak{m}^{n-1} \ne 0$5 for $\mathfrak{m}^{n-1} \ne 0$6.
• The additive group of $\mathfrak{m}^{n-1} \ne 0$7 decomposes as $\mathfrak{m}^{n-1} \ne 0$8, for $\mathfrak{m}^{n-1} \ne 0$9 a uniformizer.
• Nonzero ideals are exactly $e = v_R(p)$0.
• The characteristic is constrained by $e = v_R(p)$1 (Wu et al., 2011).

In all cases, the remaining “shape” of the ring—distinguishing non-isomorphic rings with identical invariants—traces to the orbit structure of Eisenstein polynomials or, graph-theoretically, to the unique structure of the staircase graph.

6. Illustrative Examples

Equal characteristic ($e = v_R(p)$2):

$e = v_R(p)$3

is uniquely determined by $e = v_R(p)$4.

Mixed characteristic ($e = v_R(p)$5):

$e = v_R(p)$6

Admissible parameter choices for $e = v_R(p)$7 and $e = v_R(p)$8 distinguish isomorphism types.

Graph characterization:

For $e = v_R(p)$9, $R$00 and the ring is a local PIR with nilpotency index $R$01. For more general rings, the shape and multiplicity of staircases in $R$02 reflect the decomposition and principal structure (Đurić et al., 2018).

Eisenstein polynomial orbit:

For quadratic $R$03, $R$04, over $R$05, two orbits appear, yielding two non-isomorphic local PIRs of type $R$06, distinguished by the shape of the Eisenstein relation (Lee, 2023).

7. Broader Context and Generalizations

Finite commutative local PIRs are precisely the finite local Artinian rings with principal maximal ideal (Wu et al., 2011). They provide local building blocks in the primary decomposition of finite commutative PIRs and appear as homomorphic images of DVRs truncated at a power of a uniformizer. Their explicit construction bridges the structure theory of commutative rings, valuation theory, and Galois theory via the subtle classification using Eisenstein polynomial orbits. Extensions to infinite residue field or artinian cases, and links to tamely and wildly ramified extensions, naturalize in the language of complete local rings and Cohen structure theory—a plausible implication is that much of the combinatorial and structural apparatus developed for the finite case extends, with modifications, to a broader (possibly infinite) context (Lee, 2023, Wu et al., 2011).