English

Factorization in the self-idealization of a PID

Commutative Algebra 2013-11-21 v1

Abstract

Let DD be a principal ideal domain and R(D)={(ab0a)a,bD}R(D) = \{\begin{pmatrix} a & b 0 & a \end{pmatrix} \mid a, b \in D\} be its self-idealization. It is known that R(D)R(D) is a commutative noetherian ring with identity, and hence R(D)R(D) is atomic (i.e., every nonzero nonunit can be written as a finite product of irreducible elements). In this paper, we completely characterize the irreducible elements of R(D)R(D). We then use this result to show how to factorize each nonzero nonunit of R(D)R(D) into irreducible elements. We show that every irreducible element of R(D)R(D) is a primary element, and we determine the system of sets of lengths of R(D)R(D).

Keywords

Cite

@article{arxiv.1311.5107,
  title  = {Factorization in the self-idealization of a PID},
  author = {Gyu Whan Chang and Daniel Smertnig},
  journal= {arXiv preprint arXiv:1311.5107},
  year   = {2013}
}

Comments

13 pages

R2 v1 2026-06-22T02:11:21.924Z