Minimal Overrings of an Integrally Closed Domain

Abstract

The main purpose of this paper is to characterize minimal overrings of an integrally closed domain R. We show that there exists a strong relationship between minimal overrings and the notion of ideal transforms. In particular, we prove that if T(M) = S(M) for each maximal ideal M, then there is a bijective correspondence between the set of invertible maximal ideals of R and the set of minimal overrings of R. This study enables us to produce several interesting applications concerning semi-local, Dedekind, Prüferian and Krull domains. Moreover, we investigate the spectrum of a minimal overring in comparison with the spectrum of R, and we determine whether the polynomial ring R[X ₁, X ₂,…, X _n ] has a minimal overring.     

A Note on Multiplicative Ideal Theory

We state a semigroup version of (19.15)THEOREM and (36.2)THEOREM, and disprove (30.9)THEOREM of Gilmers book [3] for commutative semigroups. We give a condition for the Kronecker function ring D* with respect to a star-operation * on an integral domain D to be well-defined.2000 Mathematics Subject Classification: Primary 13A15 Secondary 20M14.     

The number of overrings of an integrally closed domain

We establish in this work a result that gives the number of overrings for any integrally closed domain that has only finitely many overrings; then we provide an algorithm to compute this number. We end this paper with an open problem for integral domains that are not necessarily integrally closed.     

Counting intermediate rings in normal pairs

Let RS be an extension of integral domains. If each intermediate ring in this extension is integrally closed in S, then (R,S) is called a normal pair. We investigate in this work the set of intermediate rings in such ring extensions. We establish several results and equations concerning the cardinality of the set of intermediate rings. In particular, we give a way to compute the number of intermediate rings in normal pairs with only finitely many intermediate rings.     

The subring generated by the units in a compact ring

ABSTRACT

In this paper, the authors introduce the concept of integrally closed modules and characterize Dedekind modules and Dedekind domains. They also show that a given domain R is integrally closed if and only if a finitely generated torsion-free projective R-module is integrally closed. In addition, it is proved that any invertible submodule of a finitely generated projective module over a domain is finitely generated and projective. Also they give the equivalent conditions for Dedekind modules and Dedekind domains.

     

Almost Integrally Closed Domains

Abstract

A domain R is called almost integrally closed if R is integrally closed in R _P for each nonzero P ∈ Spec(R). Arbitrary quasilocal domains of (Krull) dimension 1 and arbitrary integrally closed domains are examples of almost integrally closed domains. There are no other examples in the contexts of Noetherian, one-dimensional or pseudo-valuation domains, as a consequence of the fact that any almost integrally closed domain that is not integrally closed has at most one height 1 prime ideal. However, a pullback example shows that a non-integrally closed domain that is almost integrally closed need not be semiquasilocal or of dimension at most 1. By analyzing the behavior of the almost integrally closed property for CPI-extensions, we obtain a characterization of the almost integrally closed locally divided domains. Applications are given to the case of G-domains. It also follows that if a divided domain R is not a field, then R is almost integrally closed if and only if some (resp., each) nonzero P ∈ Spec(R) is such that R _P is almost integrally closed and R is integrally closed in R _P .     

Cohen-Macaulayness of Special Fiber Rings

Abstract

Let (R, 𝔪) be a Noetherian local ring and let Ibe an R-ideal. Inspired by the work of Hübl and Huneke, we look for conditions that guarantee the Cohen-Macaulayness of the special fiber ring ? = ?/𝔪? of I, where ? denotes the Rees algebra of I. Our key idea is to require ‘good’ intersection properties as well as ‘few’ homogeneous generating relations in low degrees. In particular, if Iis a strongly Cohen-Macaulay R-ideal with G _?and the expected reduction number, we conclude that ? is always Cohen-Macaulay. We also obtain a characterization of the Cohen-Macaulayness of ?/K? for any 𝔪-primary ideal K. This result recovers a well-known criterion of Valabrega and Valla whenever K = I. Furthermore, we study the relationship between the Cohen-Macaulay property of the special fiber ring ? and the Cohen-Macaulay property of the Rees algebra ? and the associated graded ring 𝒢 of I. Finally, we focus on the integral closedness of 𝔪I. The latter question is motivated by the theory of evolutions.     

The prime at infinity and the rank of the class group in global function fields

In this paper we construct, for any integers m and n, and 2?g?m-1, infinitely many function fields K of degree m over F(T) such that the prime at infinity splits into exactly g primes in K and the ideal class group of K contains a subgroup isomorphic to (Z/nZ)^m-g. This extends previous results of the author and Lee for the cases g=1 and g=m.     

Abelian subgroups of any order in class groups of global function fields

Let be a finite field with q elements, and T a transcendental element over . In this paper, we construct infinitely many real function fields of any fixed degree over with ideal class numbers divisible by any given positive integer greater than 1. For imaginary function fields, we obtain a stronger result which shows that for any relatively prime integers m and n with m,n>1 and relatively prime to the characteristic of , there are infinitely many imaginary fields of fixed degree m such that the class group contains a subgroup isomorphic to .     

Integrally Closed Domains,Minimal Polynomials,and Null Ideals of Matrices

Abstract

We show that every element of the integral closure D′ of a domain D occurs as a coefficient of the minimal polynomial of a matrix with entries in D. This answers affirmatively a question of Brewer and Richman, namely, if integrally closed domains are characterized by the property that the minimal polynomial of every square matrix with entries in D is in D[x]. It follows that a domain D is integrally closed if and only if for every matrix A with entries in D the null ideal of A, N _D (A)?=?{f?∈?D[x]?∣?f(A)?=?0} is a principal ideal of D[x].     

Notions of Discrimination

As an outgrowth of the study of algebraic geometry over groups, discriminating groups were introduced. Many important universal type groups such as Higman's universal group and Thompson's group F were shown to be discriminating. Squarelike groups were then introduced to better capture axiomatic properties of discrimination. In the present article squarelike groups are reinterpreted in terms of discrimination of quasi varieties, and the relationship with an older version of discrimination, termed varietal discrimination here, is studied.