Related papers: Almost Dedekind domains without radical factorizat…
Let A be an integral domain with field of fractions K. We investigate the structure of the overrings B of A (contained in K) that are well-centered on A in the sense that each principal ideal of B is generated by an element of A. We…
We introduce the notion of strongly Lech-independent ideals as a generalization of Lech-independent ideals defined by Lech and Hanes, and use this notion to derive inequalities on multiplicities of ideals. In particular we prove that if…
We analyze properties of various square-free factorizations in greatest common divisor domains and domains satisfying the ascending chain condition for principal ideals.
This work investigates an elliptic optimal control problem defined on uncertain domains and discretized by a fictitious domain finite element method and cut elements. Key ingredients of the study are to manage cases considering the usually…
The homological property of the associated graded ring of an ideal is an important problem in commutative algebra and algebraic geometry. In this paper we explore the almost Cohen-Macaulayness of the associated graded ring of stretched…
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…
Semi-free ideal rings, or semifirs, were introduced by Paul M. Cohn to study universal localizations in the non-commutative setting. We provide new examples of semifirs consisting of analytic functions in several non-commuting variables.…
This paper investigates the absolute values on $\mathbb{Z}$ valued in the upper reals (i.e. reals for which only a right Dedekind section is given). These necessarily include multiplicative seminorms corresponding to the finite prime fields…
The book is devoted to investigation of arithmetic of the matrix rings over certain classes of commutative finitely generated principal ideals domains. We mainly concentrate on constructing of the matrix factorization theory. We reveal a…
It is proved that the ring $R$ with center $Z(R)$, such that the module $R_{Z(R)}$ is an essential extension of the module $Z(R)_{Z(R)}$, is not necessarily right quasi-invariant, i.e., maximal right ideals of the ring $R$ are not…
Let I be a complete m-primary ideal of a regular local ring (R,m). In the case where R has dimension two, the beautiful theory developed by Zariski implies that I factors uniquely as a product of powers of simple complete ideals and each of…
Let $R$ be a commutative ring with unity $(1\not=0)$ and let $\mathfrak{J}(R)$ be the set of all ideals of $R$. Let $\phi:\mathfrak{J}(R)\rightarrow\mathfrak{J}(R)\cup\{\emptyset\}$ be a reduction function of ideals of $R$ and let…
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…
Let $ M (X)$ be the ring of all real measurable functions on a measurable space $(X, \mathscr{A})$. In this article, we show that every ideal of $M(X)$ is a $Z^{\circ}$-ideal. Also, we give several characterizations of maximal ideals of…
We develop almost ring theory, which is a domain of mathematics somewhere halfway between ring theory and category theory (whence the difficulty of finding appropriate MSC-class numbers). We apply this theory to valuation theory and to…
We demonstrate a class of local (Noetherian) unique factorization domains (UFDs) that are noncatenary at infinitely many places. In particular, if $A$ is in our class of UFDs, then the prime spectrum of $A$ contains infinitely many disjoint…
For a Dedekind domain $R$ with field of fractions $K$ a classical $R$-order in a semisimple $K$-algebra $A$ is an $R$-projective $R$-subalgebra $\Lambda$ of $A$ such that $K\Lambda=A$. We study differential graded $K$-algebras which are…
We characterize the commutative rings whose ideals (resp. regular ideals) are products of radical ideals.
Let R be a countable, principal ideal domain which is not a field and A be a countable R-algebra which is free as an R-module. Then we will construct an aleph_1-free R-module G of rank aleph_1 with endomorphism algebra End_RG=A . Clearly…
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…