scholarly journals Integral Domains in Which Every Nonzero w-Flat Ideal Is w-Invertible

Mathematics ◽  
2020 ◽  
Vol 8 (2) ◽  
pp. 247
Author(s):  
Hwankoo Kim ◽  
Jung Wook Lim
Keyword(s):  
Finite Type ◽  
Integral Domain ◽  
Integral Domains ◽  
Polynomial Extension ◽  
Nagata Ring ◽  
Flat Ideal

Let D be an integral domain and w be the so-called w-operation on D. We define D to be a w-FF domain if every w-flat w-ideal of D is of w-finite type. This paper presents some properties of w-FF domains and related domains. Among other things, we study the w-FF property in the polynomial extension, the t-Nagata ring and the pullback construction.

scholarly journals Decomposition and classification of length functions

2020 ◽  
Vol 32 (5) ◽  
pp. 1109-1129
Author(s):  
Dario Spirito
Keyword(s):  
Integral Domain ◽  
Integral Domains ◽  
Bijective Correspondence ◽  
Length Functions ◽  
Standard Representation ◽  
Prufer Domains ◽  
Prüfer Domains

AbstractWe study decompositions of length functions on integral domains as sums of length functions constructed from overrings. We find a standard representation when the integral domain admits a Jaffard family, when it is Noetherian and when it is a Prüfer domains such that every ideal has only finitely many minimal primes. We also show that there is a natural bijective correspondence between singular length functions and localizing systems.

Graded integral domains in which each nonzero homogeneous t-ideal is divisorial

2019 ◽  
Vol 18 (01) ◽  
pp. 1950018 ◽  
Author(s):  
Gyu Whan Chang ◽  
Haleh Hamdi ◽  
Parviz Sahandi
Keyword(s):  
Integral Domain ◽  
Nonzero Ideal ◽  
Integral Domains ◽  
Cancellative Monoid ◽  
Integrally Closed ◽  
Graded Integral Domain

Let [Formula: see text] be a nonzero commutative cancellative monoid (written additively), [Formula: see text] be a [Formula: see text]-graded integral domain with [Formula: see text] for all [Formula: see text], and [Formula: see text]. In this paper, we study graded integral domains in which each nonzero homogeneous [Formula: see text]-ideal (respectively, homogeneous [Formula: see text]-ideal) is divisorial. Among other things, we show that if [Formula: see text] is integrally closed, then [Formula: see text] is a P[Formula: see text]MD in which each nonzero homogeneous [Formula: see text]-ideal is divisorial if and only if each nonzero ideal of [Formula: see text] is divisorial, if and only if each nonzero homogeneous [Formula: see text]-ideal of [Formula: see text] is divisorial.

scholarly journals On the Graph of Divisibility of an Integral Domain

2015 ◽  
Vol 58 (3) ◽  
pp. 449-458 ◽  
Author(s):  
Jason Greene Boynton ◽  
Jim Coykendall
Keyword(s):  
Topological Space ◽  
Integral Domain ◽  
Point Of View ◽  
Current Understanding ◽  
Main Theme ◽  
Topological Graph ◽  
Integral Domains ◽  
Graph Theoretic ◽  
Theoretic Point ◽  
Group Of Divisibility

AbstractIt is well known that the factorization properties of a domain are reflected in the structure of its group of divisibility. The main theme of this paper is to introduce a topological/graph-theoretic point of view to the current understanding of factorization in integral domains. We also show that connectedness properties in the graph and topological space give rise to a generalization of atomicity.

Recursive elements and constructive extensions of computable local integral domains

1973 ◽  
Vol 38 (2) ◽  
pp. 272-290 ◽  
Author(s):  
Glen H. Suter
Keyword(s):  
Prime Ideal ◽  
Local Ring ◽  
Integral Domain ◽  
Rational Numbers ◽  
Algebraic Structures ◽  
Computable Structures ◽  
Integral Domains ◽  
Local Integral ◽  
Algebraic Operations ◽  
Axiom Systems

With reservations, one can think of abstract algebra as the study of what consequences can be drawn from the axioms associated with certain concrete algebraic structures. Two important examples of such concrete algebraic structures are the integers and the rational numbers. The integers and the rational numbers have two properties which are not in general mirrored in the abstract axiom systems associated with them. That is, the integers and the rational numbers both have effectively computable metrics and their algebraic operations are effectively computable. The study of abstract algebraic systems which possess effectively computable algebraic operations has produced many interesting results. One can think of a computable algebraic structure as one whose elements have been labeled by the set of positive integers and whose operations are effectively computable. The formal definition of computable local integral domain will be given in §3. Some specific computable structures which have been studied are the integers, the rational numbers, and the rational numbers with p-adic valuation. Computable structures were studied in general by Rabin [12]. This paper concerns computable local integral domains as exemplified by the local integral domain Zp. Zp is the localization of the integers with respect to the maximal prime ideal generated by the positive prime p. We should note that the concept of local integral domain is not first order.Let the ordered pair (Q, M) stand for a local ring, where Q is the local ring and M is the unique maximal prime ideal of Q. Since most of my results are proving the existence of certain effective procedures, the assumption that Q has a principal maximal ideal M (rather than M has n generators) greatly simplifies many of the proofs.

ON LCM-STABLE MODULES

2014 ◽  
Vol 13 (04) ◽  
pp. 1350133 ◽  
Author(s):  
HWANKOO KIM ◽  
FANGGUI WANG
Keyword(s):  
Finite Type ◽  
Integral Domain ◽  
Free Module ◽  
Torsion Free Module ◽  
Polynomial Module ◽  
Torsion Free ◽  
Krull Domains

A torsion-free module M over a commutative integral domain R is said to be LCM-stable over R if (Ra ∩ Rb)M = Ma ∩ Mb for all a, b ∈ R. We show that if the module M is LCM-stable over a GCD-domain R, then the polynomial module M[X] is LCM-stable over R[X]; if R is a w-coherent locally GCD-domain, then LCM-stability and reflexivity are equivalent for w-finite type torsion-free R-modules. Finally, we introduce the concept of w-LCM-stability for modules over a domain. Then we characterize when the module M is w-LCM-stable over the domain in terms of localizations and t-Nagata modules, respectively. Also we characterize Prüfer v-multiplication domains and Krull domains in terms of w-LCM-stability.

WHEN IS THE INTEGRAL CLOSURE COMPARABLE TO ALL INTERMEDIATE RINGS

2016 ◽  
Vol 95 (1) ◽  
pp. 14-21 ◽  
Author(s):  
MABROUK BEN NASR ◽  
NABIL ZEIDI
Keyword(s):  
Integral Domain ◽  
Sufficient Conditions ◽  
Integral Closure ◽  
Necessary And Sufficient Conditions ◽  
Integral Domains ◽  
Necessary And Sufficient ◽  
Quotient Rings

Let $R\subset S$ be an extension of integral domains, with $R^{\ast }$ the integral closure of $R$ in $S$. We study the set of intermediate rings between $R$ and $S$. We establish several necessary and sufficient conditions for which every ring contained between $R$ and $S$ compares with $R^{\ast }$ under inclusion. This answers a key question that figured in the work of Gilmer and Heinzer [‘Intersections of quotient rings of an integral domain’, J. Math. Kyoto Univ.7 (1967), 133–150].

WHEN ARE GRADED INTEGRAL DOMAINS ALMOST GCD-DOMAINS

2013 ◽  
Vol 23 (08) ◽  
pp. 1909-1923 ◽  
Author(s):  
JUNG WOOK LIM
Keyword(s):  
Integral Domain ◽  
Integral Domains ◽  
Closed Set ◽  
Integrally Closed ◽  
Graded Integral Domain

Let R = ⨁α∈Γ Rα be a (Γ-)graded integral domain and let H be the multiplicatively closed set of nonzero homogeneous elements of R. In this paper, we introduce the concepts of graded almost GCD-domains (graded AGCD-domain) and graded almost Prüfer v-multiplication domains (graded AP v MD ). Among other things, we show that if R is integrally closed, then (1) H is an almost lcm splitting set of R if and only if R is a graded AGCD-domain and (2) R is a graded AP v MD if and only if R is a P v MD . We also give an example of a (non-integrally closed) graded AGCD-domain (respectively, graded AP v MD ) that is not an almost GCD-domain (respectively, almost Prüfer v-multiplication domain.

On rational subgroups of reductive algebraic groups over integral domains

1995 ◽  
Vol 117 (2) ◽  
pp. 203-212 ◽  
Author(s):  
Yu Chen
Keyword(s):  
Integral Domain ◽  
Algebraic Groups ◽  
Root Systems ◽  
Chevalley Groups ◽  
Integral Domains ◽  
Irreducible Components ◽  
Simply Connected ◽  
Reductive Algebraic Groups

Let G and G′ be reductive algebraic groups defined over infinite fields k and k′ respectively. The purpose of this paper is to show that G and G′ have isomorphic root systems if their rational subgroups G(R) and G′(R′), where R and R′ are integral domains with R ⊇ k and R′ ⊇ k′, are isomorphic to each other, except in one particular case (see Theorem 3·4). This has been proved by R. Steinberg in [6, theorem 31] for simple Chevalley groups over perfect fields. In particular, when G and G′ are semisimple and adjoint, every isomorphism between G(R) and G′(R′) induces an isomorphism between their irreducible components (see Proposition 3·3). These results imply that, when G and G′ are semisimple k-groups and when both are either simply connected or adjoint, then they are isomorphic to each other as algebraic groups if and only if their rational subgroups over an integral domain that contains k are isomorphic to each other, except in one particular case (see Corollary 3·5).

scholarly journals Note on Colon-Multiplication Domains

2010 ◽  
Vol 2010 ◽  
pp. 1-4 ◽  
Author(s):  
A. Mimouni
Keyword(s):  
Maximal Ideal ◽  
Integral Domain ◽  
Nonzero Ideal ◽  
Quotient Field ◽  
Integral Domains ◽  
Fractional Ideal ◽  
Multiplication Ideal

LetRbe an integral domain with quotient fieldL.Call a nonzero (fractional) idealAofRa colon-multiplication ideal any idealA, such thatB(A:B)=Afor every nonzero (fractional) idealBofR.In this note, we characterize integral domains for which every maximal ideal (resp., every nonzero ideal) is a colon-multiplication ideal. It turns that this notion unifies Dedekind andMTPdomains.

scholarly journals Proof of the Combinatorial Nullstellensatz over Integral Domains, in the Spirit of Kouba

10.37236/463 ◽  
2010 ◽  
Vol 17 (1) ◽  
Author(s):  
Peter Heinig
Keyword(s):  
General Result ◽  
Duality Theory ◽  
Integral Domain ◽  
Present Note ◽  
Direct Proof ◽  
Vector Spaces ◽  
Combinatorial Nullstellensatz ◽  
Integral Domains ◽  
Sole Purpose ◽  
Cramer’S Rule

It is shown that by eliminating duality theory of vector spaces from a recent proof of Kouba [A duality based proof of the Combinatorial Nullstellensatz, Electron. J. Combin. 16 (2009), #N9] one obtains a direct proof of the nonvanishing-version of Alon's Combinatorial Nullstellensatz for polynomials over an arbitrary integral domain. The proof relies on Cramer's rule and Vandermonde's determinant to explicitly describe a map used by Kouba in terms of cofactors of a certain matrix. That the Combinatorial Nullstellensatz is true over integral domains is a well-known fact which is already contained in Alon's work and emphasized in recent articles of Michałek and Schauz; the sole purpose of the present note is to point out that not only is it not necessary to invoke duality of vector spaces, but by not doing so one easily obtains a more general result.

Sign in / Sign up

Export Citation Format

Share Document