scholarly journals Primary decompositions over domains

1996 ◽  
Vol 38 (3) ◽  
pp. 321-326 ◽  
Author(s):  
Laszlo Fuchs ◽  
Sang Bum Lee
Keyword(s):  
Commutative Domain ◽  
Multiplicative Monoid

Throughout, R denotes a commutative domain with 1, and Q (≠R) its field of quotients, which is viewed here as an R-module. The symbol K will stand for the R-module Q/R, while R denotes the multiplicative monoid R/0.

A GENERALIZATION OF BAER'S LOWER NILRADICAL FOR MODULES

2007 ◽  
Vol 06 (02) ◽  
pp. 337-353 ◽  
Author(s):  
MAHMOOD BEHBOODI
Keyword(s):  
Prime Ring ◽  
Artinian Ring ◽  
Prime Radical ◽  
Nilpotent Elements ◽  
Noetherian Domain ◽  
Prime Submodules ◽  
Strongly Nilpotent ◽  
Commutative Domain ◽  
Torsion Modules

Let M be a left R-module. A proper submodule P of M is called classical prime if for all ideals [Formula: see text] and for all submodules N ⊆ M, [Formula: see text] implies that [Formula: see text] or [Formula: see text]. We generalize the Baer–McCoy radical (or classical prime radical) for a module [denoted by cl.rad R(M)] and Baer's lower nilradical for a module [denoted by Nil *(RM)]. For a module RM, cl.rad R(M) is defined to be the intersection of all classical prime submodules of M and Nil *(RM) is defined to be the set of all strongly nilpotent elements of M (defined later). It is shown that, for any projective R-module M, cl.rad R(M) = Nil *(RM) and, for any module M over a left Artinian ring R, cl.rad R(M) = Nil *(RM) = Rad (M) = Jac (R)M. In particular, if R is a commutative Noetherian domain with dim (R) ≤ 1, then for any module M, we have cl.rad R(M) = Nil *(RM). We show that over a left bounded prime left Goldie ring, the study of Baer–McCoy radicals of general modules reduces to that of torsion modules. Moreover, over an FBN prime ring R with dim (R) ≤ 1 (or over a commutative domain R with dim (R) ≤ 1), every semiprime submodule of any module is an intersection of classical prime submodules.

scholarly journals Effective results for unit points on curves over finitely generated domains

2015 ◽  
Vol 158 (2) ◽  
pp. 331-353
Author(s):  
ATTILA BÉRCZES
Keyword(s):  
Algebraic Closure ◽  
Unit Group ◽  
Number Fields ◽  
Finitely Generated ◽  
Quotient Field ◽  
Effective Version ◽  
Formula Group ◽  
Commutative Domain ◽  
Image Position ◽  
Unit Equations

AbstractLet A be a commutative domain of characteristic 0 which is finitely generated over ℤ as a ℤ-algebra. Denote by A* the unit group of A and by K the algebraic closure of the quotient field K of A. We shall prove effective finiteness results for the elements of the set \begin{equation*} \mathcal{C}:=\{ (x,y)\in (A^*)^2 | F(x,y)=0 \} \end{equation*} where F(X, Y) is a non-constant polynomial with coefficients in A which is not divisible over K by any polynomial of the form XmYn - α or Xm - α Yn, with m, n ∈ ℤ⩾0, max(m, n) > 0, α ∈ K*. This result is a common generalisation of effective results of Evertse and Győry [12] on S-unit equations over finitely generated domains, of Bombieri and Gubler [5] on the equation F(x, y) = 0 over S-units of number fields, and it is an effective version of Lang's general but ineffective theorem [20] on this equation over finitely generated domains. The conditions that A is finitely generated and F is not divisible by any polynomial of the above type are essentially necessary.

Simplicity of iterated Ore extensions

2021 ◽  
pp. 2250052
Author(s):  
Mamta Balodi ◽  
Sumit Kumar Upadhyay
Keyword(s):  
Polynomial Ring ◽  
Necessary Conditions ◽  
Sufficient Conditions ◽  
Differential Polynomial ◽  
Ore Extension ◽  
Differential Polynomial Ring ◽  
Ore Extensions ◽  
Commutative Domain ◽  
Necessary And Sufficient ◽  
Commutative Subring

Here we study the simplicity of an iterated Ore extension of a unital ring [Formula: see text]. We give necessary conditions for the simplicity of an iterated Ore extension when [Formula: see text] is a commutative domain. A class of iterated Ore extensions, namely the differential polynomial ring [Formula: see text] in [Formula: see text]-variables is considered. The conditions for a commutative domain [Formula: see text] of characteristic zero to be a maximal commutative subring of its differential polynomial ring [Formula: see text] are given, and the necessary and sufficient conditions for [Formula: see text] to be simple are also found.

A THEOREM ON MATRIX GROUPS

2008 ◽  
Vol 18 (01) ◽  
pp. 165-180
Author(s):  
A. I. PAPISTAS
Keyword(s):  
Abelian Group ◽  
Finite Subset ◽  
Free Abelian Group ◽  
Principal Ideal Domain ◽  
Matrix Groups ◽  
Generating Set ◽  
Torsion Free Abelian Group ◽  
Group Of Units ◽  
Multiplicative Monoid ◽  
Torsion Free

Let K be a principal ideal domain, and An, with n ≥ 3, be a finitely generated torsion-free abelian group of rank n. Let Ω be a finite subset of KAn\{0} and U(KAn) the group of units of KAn. For a multiplicative monoid P generated by U(KAn) and Ω, we prove that any generating set for [Formula: see text] contains infinitely many elements not in [Formula: see text]. Furthermore, we present a way of constructing elements of [Formula: see text] not in [Formula: see text] for n ≥ 3. In the case where K is not a field the aforementioned results hold for n ≥ 2.

Elimination of quantifiers for ordered valuation rings

1987 ◽  
Vol 52 (1) ◽  
pp. 116-128 ◽  
Author(s):  
M. A. Dickmann
Keyword(s):  
Model Theory ◽  
Maximal Ideal ◽  
Valuation Ring ◽  
Quantifier Elimination ◽  
Point Of View ◽  
List Type ◽  
Divisibility Property ◽  
Valuation Rings ◽  
Commutative Domain ◽  
Image Position

Cherlin and Dickmann [2] proved that the theory RCVR of real closed (valuation) rings admits quantifier-elimination (q.e.) in the language ℒ = {+, −, ·, 0, 1, <, ∣} for ordered rings augmented by the divisibility relation “∣”. The purpose of this paper is to prove a form of converse of this result:Theorem. Let T be a theory of ordered commutative domains (which are not fields), formulated in the language ℒ. In addition we assume that:(1) The symbol “∣” is interpreted as the honest divisibility relation: (2) The following divisibility property holds in T:If T admits q.e. in ℒ, then T = RCVR.We do not know at present whether the restriction imposed by condition (2) can be weakened.The divisibility property (DP) has been considered in the context of ordered valued fields; see [4] for example. It also appears in [2], and has been further studied in Becker [1] from the point of view of model theory. Ordered domains in which (DP) holds are called in [1] convexly ordered valuation rings, for reasons which the proposition below makes clear. The following summarizes the basic properties of these rings:Proposition I [2, Lemma 4]. (1) Let A be a linearly ordered commutative domain. The following are equivalent:(a) A is a convexly ordered valuation ring.(b) Every ideal (or, equivalently, principal ideal) is convex in A.(c) A is a valuation ring convex in its field of fractions quot(A).(d) A is a valuation ring and its maximal ideal MA is convex (in A or, equivalently, in quot (A)).(e) A is a valuation ring and its maximal ideal is bounded by ± 1.

scholarly journals On the multiplicative monoid of n×n matrices over Zpm

2007 ◽  
Vol 307 (24) ◽  
pp. 3081-3096 ◽  
Author(s):  
Yonglin Cao
Keyword(s):  
Multiplicative Monoid

scholarly journals Commutative rings whose quotients are Goldie

1975 ◽  
Vol 16 (1) ◽  
pp. 32-33 ◽  
Author(s):  
Victor P. Camillo
Keyword(s):  
Commutative Ring ◽  
Noetherian Ring ◽  
Quotient Ring ◽  
Chain Condition ◽  
Commutative Rings ◽  
The Other ◽  
Direct Sums ◽  
Other Hand ◽  
Commutative Domain ◽  
Ascending Chain Condition

All rings considered here have units. A (non-commutative) ring is right Goldieif it has no infinite direct sums of right ideals and has the ascending chain condition on annihilator right ideals. A right ideal A is an annihilator if it is of the form {a ∈ R/xa = 0 for all x ∈ X}, where X is some subset of R. Naturally, any noetherian ring is Goldie, but so is any commutative domain, so that the converse is not true. On the other hand, since any quotient ring of a noetherian ring is noetherian, it is true that every quotient is Goldie. A reasonable question therefore is the following: must a ring, such that every quotient ring is Goldie, be noetherian? We prove the following theorem:Theorem. A commutative ring is noetherian if and only if every quotient is Goldie.

Sign in / Sign up

Export Citation Format

Share Document