Related papers: Factorization in the self-idealization of a PID

In classical factorization theory, an integral domain is called \emph{atomic} if every nonzero nonunit element can be written as a finite product of irreducible elements. Here, we introduce and study a weaker notion of atomicity, which…

Let $M$ be a finitely generated module over a Noetherian ring $R$ and $N$ a submodule. The index of reducibility ir$_M(N)$ is the number of irreducible submodules that appear in an irredundant irreducible decomposition of $N$ (this number…

Let $R\ $be an integral domain and $R^{\#}$ the set of all nonzero nonunits of $R.\ $For every elements $a,b\in R^{\#},$ we define $a\sim b$ if and only if $aR=bR,$ that is, $a$ and $b$ are associated elements. Suppose that $EC(R^{\#})$ is…

We show that in certain Pr\"ufer domains, each nonzero ideal $I$ can be factored as $I=I^v \Pi$, where $I^v$ is the divisorial closure of $I$ and $\Pi$ is a product of maximal ideals. This is always possible when the Pr\"ufer domain is…

It was proved independently by both Wolfson [An ideal theoretic characterization of the ring of all linear transformations, Amer. J. Math. 75 (1953), 358-386] and Zelinsky [Every Linear Transformation is Sum of Nonsingular Ones, Proc. Amer.…

In algebra, atomicity is the study of divisibility by and factorizations into atoms (also called irreducibles). In one side of the spectrum of atomicity we find the antimatter algebraic structures, inside which there are no atoms and,…

Brewer and Heinzer studied the (integral) domains D having the property that each proper ideal A of D has a comaximal ideal factorization with some additional property. They proved that for a domain D, the following are equivalent: (1) Each…

Let $R$ be an integral domain with $qf(R)=K$ and let $F(R)$ be the set of nonzero fractional ideals of $R.$ Call $R$ a dually compact domain (DCD) if for each $I\in F(R)$ the ideal $I_{v}=(I^{-1})^{-1}$ is a finite intersection of principal…

A classical tool in the study of real closed fields are the fields $K((G))$ of generalised power series (i.e., formal sums with well-ordered support) with coefficients in a field $K$ of characteristic 0 and exponents in an ordered abelian…

A classical problem, that goes back to the 1960's, is to characterize the integral domains R satisfying the property (IDn): "every singular nxn matrix over R is a product of idempotent matrices". Significant results, which describe this…

The purpose of the present paper is to prove some properties of the strongly irreducible submodules in the arithmetical and Noetherian modules over a commutative ring. The relationship among the families of strongly irreducible submodules,…

In this paper, we obtain some factorization results on formal power series over principle ideal domains with sharp bounds on number of irreducible factors. These factorization results correspondingly lead to irreducibility criteria for…

Let $R$ be a ring and $P$ a prime ideal of $R.$ In this paper, we establish some commutativity criteria for the factor ring $R/P$ in terms of derivations of $R$ satisfying some algebraic identities involving a new kind of involution in…

This paper discusses the extension of the Prototype Verification System (PVS) sub-theory for rings, part of the PVS algebra theory, with theorems related to the division algorithm for Euclidean rings and Unique Factorization Domains that…

A Puiseux monoid is an additive submonoid of the real line consisting of rationals. We say that a Puiseux monoid is reciprocal if it can be generated by the reciprocals of the terms of a strictly increasing sequence of pairwise relatively…

Let $R$ be a commutative ring with identity. The structure theorem says that $R$ is a PIR (resp., UFR, general ZPI-ring, $\pi$-ring) if and only if $R$ is a finite direct product of PIDs (resp., UFDs, Dedekind domains, $\pi$-domains) and…

Let $R$ be a commutative ring of dimension $d$, $S = R[X]$ or $R[X, 1/X]$ and $P$ a finitely generated projective $S$ module of rank $r$. Then $P$ is cancellative if $P$ has a unimodular element and $r \geq d + 1$. Moreover if $r \geq \dim…

Given a commutative Noetherian graded domain $R = \bigoplus_{i\ge 0} R_i$ of dimension $d\geq 2$ with $\dim(R_0) \geq 1$, we prove that any unimodular row of length $d+1$ in $R$ can be completed to the first row of an invertible matrix…

Let $T$ be a complete local (Noetherian) ring. For each $i \in \mathbb{N}$, let $C_i$ be a nonempty countable set of nonmaximal pairwise incomparable prime ideals of $T$, and suppose that if $i \neq j$, then either $C_i = C_j$ or no element…

Let $K$ be a number field with ring of integers $\mathbb{Z}_K$. We prove two asymptotic formulas connected with the distribution of irreducible elements in $\mathbb{Z}_K$. First, we estimate the maximum number of nonassociated irreducibles…