The aim of these notes is to study some of the structural aspects of the ring of arithmetical functions. We prove that this ring is neither Noetherian nor Artinian. Furthermore, we construct various types of prime ideals. We show arithmetic ring has infinite Krull dimension and its associated prime ideal set is nonempty.
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 Foundation (project no. 16-11-10013).
We look at value functions of primes in simple Artinian rings and associate arithmetical pseudo-valuations to Dubrovin valuation rings which, in the Noetherian case, are $\mathbb{Z}$-valued. This allows a divisor theory for bounded Krull domains.
It is proved that localizations of injective $R$-modules of finite Goldie dimension are injective if $R$ is an arithmetical ring satisfying the following condition: for every maximal ideal $P$, $R_P$ is either coherent or not semicoherent. If, in addition, each finitely generated $R$-module has finite Goldie dimension, then localizations of finitely injective $R$-modules are finitely injective too. Moreover, if $R$ is a Prüfer domain of finite character, localizations of injective $R$-modules are injective.
It is proved that localizations of injective $R$-modules of finite Goldie dimension are injective if $R$ is an arithmetical ring satisfying the following condition: for every maximal ideal $P$, $R_P$ is either coherent or not semicoherent. If, in addition, each finitely generated $R$-module has finite Goldie dimension, then localizations of finitely injective $R$-modules are finitely injective too. Moreover, if $R$ is a Prüfer domain of finite character, localizations of injective $R$-modules are injective.
It is shown that a commutative Bézout ring $R$ with compact minimal prime spectrum is an elementary divisor ring if and only if so is $R/L$ for each minimal prime ideal $L$. This result is obtained by using the quotient space $\mathrm{pSpec} R$ of the prime spectrum of the ring $R$ modulo the equivalence generated by the inclusion. When every prime ideal contains only one minimal prime, for instance if $R$ is arithmetical, $\mathrm{pSpec} R$ is Hausdorff and there is a bijection between this quotient space and the minimal prime spectrum $\mathrm{Min} R$, which is a homeomorphism if and only if…
We survey results on factorizations of non zero-divisors into atoms (irreducible elements) in noncommutative rings. The point of view in this survey is motivated by the commutative theory of non-unique factorizations. Topics covered include unique factorization up to order and similarity, 2-firs, and modular LCM domains, as well as UFRs and UFDs in the sense of Chatters and Jordan and generalizations thereof. We recall arithmetical invariants for the study of non-unique factorizations, and give transfer results for arithmetical invariants in matrix rings, rings of triangular matrices, and clas…
In the first section of the paper, we will give some basic definitions and properties about Crystalline Graded Rings. In the following section we will provide a general description of the center. Afterwards, the case where the grading group is Abelian finite will be handled. The center will have some properties of a crystalline graded ring, but not all. We will call this Arithmetically Crystalline Graded. The center is crystalline graded if the part of degree zero is a principal ideal domain. The last section deals with the case where the grading group is non-Abelian finite. Since this situati…
Let R be a commutative ring. If P is a maximal ideal of R whose a power is finitely generated then we prove that P is finitely generated if R is either locally coherent or arithmetical or a polynomial ring over a ring of global dimension $\le$ 2. And if P is a prime ideal of R whose a power is finitely generated then we show that P is finitely generated if R is either a reduced coherent ring or a polynomial ring over a reduced arithmetical ring. These results extend a theorem of Roitman, published in 2001, on prime ideals of coherent integral domains.
This paper studies the multiplicative ideal structure of commutative rings in which every finitely generated ideal is quasi-projective. Section 2 provides some preliminaries on quasi-projective modules over commutative rings. Section 3 investigates the correlation with well-known Prufer conditions; namely, we prove that this class of rings stands strictly between the two classes of arithmetical rings and Gaussian rings. Thereby, we generalize Osofsky's theorem on the weak global dimension of arithmetical rings and partially resolve Bazzoni-Glaz's related conjecture on Gaussian rings. We also e…
A definition of quasi-flat left module is proposed and it is shown that any left module which is either quasi-projective or flat is quasi-flat. A characterization of local commutative rings for which each ideal is quasi-flat (resp. quasi-projective) is given. It is also proven that each commutative ring R whose finitely generated ideals are quasi-flat is of $λ$-dimension $\le$ 3, and this dimension $\le$ 2 if R is local. This extends a former result about the class of arithmetical rings. Moreover, if R has a unique minimal prime ideal then its finitely generated ideals are quasi-projective if …
Separative von Neumann regular rings exist in abundance. For example, all regular self-injective rings, unit regular rings, regular rings with a polynomial identity are separative. It remains open whether there exists a non-separative regular ring. In this note, we study a variety of conditions under which a von Neumann regular ring is separative. We show that a von Neumann regular ring $R$ is separative under anyone of the following cases: {\it (1)} $R$ is CS; {\it (2)} $R$ is pseudo injective (auto-injective); {\it (3)} $R$ satisfies the closure extension property: the essential closures in …
Let D be a division ring with centre F. Let T(D) be the vector space over F generated by all multiplicative commutators in D. In [1], authors have conjectured that every division ring is generated as a vector space over its centre by all of its multiplicative commutators. In this note it is shown that if D is centrally finite, then the conjecture holds.
We introduce in this work, the class of commutative rings whose lattice of ideals forms an MTL-algebra which is not necessary a BL-algebra. The so-called class of rings will be named MTL-rings. We prove that a local commutative ring with identity is an MTL-ring if and only if it is an arithmetical ring. It is shown that a noetherian commutative ring R with an identity is an MTL-ring if and only if ideals of the localization RM at a maximal ideal M are totally ordered by the set inclusion. Remarking that noetherian MTL-rings are again BL-rings, we work outside of the noetherian case by consider…
If $H$ is a monoid and $a=u_1 \cdots u_k \in H$ with atoms (irreducible elements) $u_1, \ldots, u_k$, then $k$ is a length of $a$, the set of lengths of $a$ is denoted by $\mathsf L(a)$, and $\mathcal L(H)=\{\,\mathsf L (a) \mid a \in H \,\}$ is the system of sets of lengths of $H$. Let $R$ be a hereditary Noetherian prime (HNP) ring. Then every element of the monoid of non-zero-divisors $R^\bullet$ can be written as a product of atoms. We show that, if $R$ is bounded and every stably free right $R$-ideal is free, then there exists a transfer homomorphism from $R^{\bullet}$ to the monoid $B$ o…
Associating to each pre-order on the indices 1,...,n the corresponding structural matrix ring, or incidence algebra, embeds the lattice of n-element pre-orders into the lattice of n x n matrix rings. Rings within the order-convex hull of the embedding, i.e. matrix rings that contain the ring of diagonal matrices, can be viewed as incidence algebras of ideal-valued, generalized pre-order relations. Certain conjugates of the upper or lower triangular matrix rings correspond to the various linear orderings of the indices, and the incidence algebras of partial orderings arise as intersections of s…
Let C be a commutative ring with unity. In this article, we show that every Jordan derivation over an upper triangular matrix algebra T_n(C) is an inner derivation. Further, we extend the result for Jordan derivation on full matrix algebra M_n(C).
We prove some algebraic results on the ring of matrix differential operators over a differential field in the generality of non-commutative principal ideal rings. These results are used in the theory of non-local Poisson structures.
We give intrinsic characterizations of neural rings and homomorphisms between them. Also we introduce the notion of a basic monomial code map and characterize monomial code maps as compositions of basic monomial code maps. Finally, we characterize monomial isomorphisms between neural codes. Our work is based on the 2015 paper by C.~Curto and N.~Youngs about neural ring homomorphisms and maps between neural codes and on the 2018 paper by R.~Amzi Jeffs about morphisms of neural rings.
With a small suitable modification, dropping the projectivity condition, we extend the notion of a Frobenius algebra to grant that a Frobenius algebra over a Frobenius commutative ring is itself a Frobenius ring. The modification introduced here also allows Frobenius finite rings to be precisely those rings which are Frobenius finite algebras over their characteristic subrings. From the perspective of linear codes, our work expands one's options to construct new finite Frobenius rings from old ones. We close with a discussion of generalized versions of the MacWilliams identities that may be ob…
In this paper, we give semiring version of some classical results in commutative algebra related to Euclidean rings, PIDs, UFDs, G-domains, and GCD and integrally closed domains.
Chalmers University of Technology（查尔姆斯理工大学）；INFN, Sezione di Padova（意大利国家核物理研究所帕多瓦分部）；The University of Western Australia（西澳大学）；Dipartimento di Fisica e Astronomia “Galileo Galilei”, Università degli Studi di Padova（帕多瓦大学伽利略·伽利雷物理学与天文学系）
