Related papers: Unique representation domains, II

This paper studies the notions of star and semistar operations over a polynomial ring. It aims at characterizing when every upper to zero in $R[X]$ is a $*$-maximal ideal and when a $*$-maximal ideal $Q$ of $R[X]$ is extended from $R$, that…

Let $(R, \mathfrak{m})$ be a regular local ring of dimension $d \geq 2$. A local monoidal transform of $R$ is a ring of the form $R_1= R[\frac{\mathfrak{p}}{x}]_{\mathfrak{m}_1}$ where $x \in \mathfrak{p}$ is a regular parameter,…

In this paper, we advance an ideal-theoretic analogue of a "finite factorization domain" (FFD), giving such a domain the moniker "finite molecularization domain" (FMD). We characterize FMD's as those factorable domains (termed "molecular…

Let $A$ be a commutative arithmetical ring. The ring $A$ has Krull dimension if and only if every factor ring of $A$ is finite-dimensional and does not have idempotent proper essential ideals. The study is supported by Russian Science…

Let $R$ be an integral domain. For elements $a,b \in R$, let $[a,b]$ denote their greatest common divisor, if it exists. We say that $R$ has the Z-property if whenever $a,b,c,d$ and $e$ are nonzero nonunits of $R$ such that $abc=de$, then…

We introduce the notion of Krull super-dimension of a super-commutative super-ring. This notion is used to describe regular super-rings and calculate Krull super-dimensions of completions of super-rings. Moreover, we use this notion to…

Let T be a complete local (Noetherian) equidimensional ring with maximal ideal m such that the Krull dimension of T is at least two and the depth of T is at least two. Suppose that no integer of T is a zerodivisor and that |T|=|T/m|. Let d…

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…

It is proved that if $D$ is a $UFD$ and $R$ is a $D$-algebra, such that $U(R)\cap D\neq U(D)$, then $R$ has a maximal subring. In particular, if $R$ is a ring which either contains a unit $x$ which is not algebraic over the prime subring of…

The aim of this article is to establish the specialization method on characteristic ideals for finitely generated torsion modules over a complete local normal domain R that is module-finite over $O[[x_1, ..., x_d]]$, where $O$ is the ring…

Let $D$ be an integral domain and $X$ an indeterminate over $D$. It is well known that (a) $D$ is quasi-Pr\"ufer (i.e, its integral closure is a Pr\"ufer domain) if and only if each upper to zero $Q$ in $D[X] $ contains a polynomial $g \in…

Let $R$ be a commutative ring with identity. A unit $u$ of $R$ is called exceptional if $1-u$ is also a unit. When $R$ is a finite commutative ring, we determine the additive and multiplicative structures of its exceptional units; and then…

Let $D$ be an integral domain with quotient field $K$ and $E$ a subset of $K$. The \textit{ring of integer-valued rational functions on} $E$ is defined as $$\mathrm{int}_R(E,D):=\lbrace \varphi \in K(X);\; \varphi(E)\subseteq D\rbrace.$$…

Let $\ast$ be a star operation on an integral domain $D$. Let $\f(D)$ be the set of all nonzero finitely generated fractional ideals of $D$. Call $D$ a $\ast$--Pr\"ufer (respectively, $(\ast, v)$--Pr\"ufer) domain if $(FF^{-1})^{\ast}=D$…

We give several criteria for a ring to be a UFD including generalizations of some criteria due to P. Samuel. These criteria are applied to construct, for any field k, (1) a Z-graded non-noetherian rational UFD of dimension three over k, and…

Let $D$ be a Krull domain admitting a prime element with finite residue field and let $K$ be its quotient field. We show that for all positive integers $k$ and $1 < n_1 \leq \ldots \leq n_k$ there exists an integer-valued polynomial on $D$,…

Let $\ast $ be a finite character star operation defined on an integral domain $D.$ Call a nonzero $\ast $-ideal $I$ of finite type a $\ast $ -homogeneous ($\ast $-homog) ideal, if $I\subsetneq D$ and $(J+K)^{\ast }\neq D$ for every pair…

Given a stable semistar operation of finite type $\star$ on an integral domain $D$, we show that it is possible to define in a canonical way a stable semistar operation of finite type $\star[X]$ on the polynomial ring $D[X]$, such that, if…

We provide an irreducibility test and factoring algorithm (with some qualifications) for formal power series in the unique factorization domain $R[[X]]$, where $R$ is any principal ideal domain. We also classify all integral domains arising…

Let $F$ be an algebraically closed field of positive characteristic and let $R$ be a finitely generated $F$-algebra with a filtration with the property that the associated graded ring of $R$ is an integral domain of Krull dimension two. We…