Commutative Non-Singular Semigroups

1977 ◽  
Vol 20 (2) ◽  
pp. 263-265 ◽  
Author(s):  
C. S. Johnson ◽  
F. R. McMorris

It is well known (see [5]) that the maximal right quotient ring of a ring R is (von Neumann) regular if and only if R is (right) non-singular (every large right ideal is dense). In [8] it was shown that for a semigroup S, the regularity of Q(S), the maximal right quotient semigroup [7], is independent of the non-singularity of S. Nevertheless, right non-singular semigroups form an important class of semigroups.

1972 ◽  
Vol 15 (2) ◽  
pp. 301-303 ◽  
Author(s):  
F. R. McMorris

It is a well known result (see [4, p. 108]) that if R is a ring and Q(R) its maximal right quotient ring, then Q(R) is (von Neumann) regular if and only if every large right ideal of R is dense. This condition is equivalent to saying that the singular ideal of R is zero. In this note we show that the condition loses its magic in the theory of semigroups.


1972 ◽  
Vol 24 (5) ◽  
pp. 835-850 ◽  
Author(s):  
E. P. Armendariz ◽  
Gary R. McDonald

Throughout, we assume all rings are associative with identity and all modules are unitary. See [7] for undefined terms and [3] for all homological concepts.Let R be a ring, E(R) the injective envelope of RR, and H =HomR(E(R),E(R)). Then we obtain a bimodule RE(R)H. Let Q = HomH(E(R), E(R)). Q is called the maximal left quotient ring of R. Q has the property that if p, q ∈ Q, p ≠ 0, then there exists r ∈ R such that rp ≠ 0, rq ∈ R, i.e., Q is a ring of left quotients of R.A left ideal I of R is dense if for every x,y ∈ R,x ≠ 0, there exists r ∈ R such that rx ≠ 0, ry ∈ I. An alternate description of Q is Q = {x ∈ E(RR) : (R : x) is a dense left ideal of R{, where (R : x) = {r ∈ R : rx ∈ R}.The left singular ideal of R is Zl(R) = {r ∈ R : lR(r) is an essential left ideal of R}, where lR(r) = {x ∈ R : xr = 0}. If Zl(R) = (0), then Q is a left self-injective von Neumann regular ring [7, § 4.5]. Most of the previous work on maximal left quotient rings has been done in this case.


2000 ◽  
Vol 31 (2) ◽  
pp. 137-144
Author(s):  
Ryuki Matsuda

Let $S$ be a subsemigroup which contains 0 of a torsion-free abelian (additive) group. Then $S$ is called a grading monoid (or a $g$-monoid). The group $ \{s-s'|s,s'\in S\}$ is called the quotient group of $S$, and is denored by $q(S)$. Let $R$ be a commutative ring. The total quotient ring of $R$ is denoted by $q(R)$. Throught the paper, we assume that a $g$-monoid properly contains $ \{0\}$. A commutative ring is called a ring, and a non-zero-divisor of a ring is called a regular element of the ring. We consider integral elements over the semigroup ring $ R[X;S]$ of $S$ over $R$. Let $S$ be a $g$-monoid with quotient group $G$. If $ n\alpha\in S$ for an element $ \alpha$ of $G$ and a natural number $n$ implies $ \alpha\in S$, then $S$ is called an integrally closed semigroup. We know the following fact: ${\bf Theorem~1}$ ([G2, Corollary 12.11]). Let $D$ be an integral domain and $S$ a $g$-monoid. Then $D[X;S]$ is integrally closed if and only if $D$ is an integrally closed domain and $S$ is an integrally closed semigroup. Let $R$ be a ring. In this paper, we show that conditions for $R[X;S]$ to be integrally closed reduce to conditions for the polynomial ring of an indeterminate over a reduced total quotient ring to be integrally closed (Theorem 15). Clearly the quotient field of an integral domain is a von Neumann regular ring. Assume that $q(R)$ is a von Neumann regular ring. We show that $R[X;S]$ is integrally closed if and only if $R$ is integrally closed and $S$ is integrally closed (Theorem 20). Let $G$ be a $g$-monoid which is a group. If $R$ is a subring of the ring $T$ which is integrally closed in $T$, we show that $R[X;G]$ is integrally closed in $T[X;S]$ (Theorem 13). Finally, let $S$ be sub-$g$-monoid of a totally ordered abelian group. Let $R$ be a subring of the ring $T$ which is integrally closed in $T$. If $g$ and $h$ are elements of $T[X;S]$ with $h$ monic and $gh\in R[X;S]$, we show that $g\in R[X;S]$ (Theorem 24).


2011 ◽  
Vol 10 (06) ◽  
pp. 1351-1362 ◽  
Author(s):  
DAVID E. DOBBS ◽  
JAY SHAPIRO

Let R ⊆ T be a (unital) extension of (commutative) rings, such that the total quotient ring of R is a von Neumann regular ring and T is torsion-free as an R-module. Let T ⊆ B be a ring extension such that B is a reduced ring that is torsion-free as a T-module. Let R* (respectively, A) be the integral closure of R in T (respectively, in B). Then (R*, T) is a normal pair (i.e. S is integrally closed in T for each ring S such that R* ⊆ S ⊆ T) if and only if (A, AT) is a normal pair. This generalizes results of Prüfer and Heinzer on Prüfer domains to normal pairs of complemented rings.


1973 ◽  
Vol 25 (4) ◽  
pp. 829-839 ◽  
Author(s):  
K. R. Goodearl

Although the notion of the maximal quotient ring of a nonsingular ring has been around for some time, not much is known about its structure in general beyond the important theorems of Johnson and Utumi [4; 11] that it is von Neumann regular and self-injective. The purpose of this paper is to study the structure of such a regular, self-injective ring R by looking at its prime ideals. Initially, we show that the primes of R separate into two types, called ‘'essential” and ‘“closed”, and that for any prime P, the two-sided ideals in the ring R/P are linearly ordered.


2009 ◽  
Vol 08 (05) ◽  
pp. 601-615
Author(s):  
JOHN D. LAGRANGE

If {Ri}i ∈ I is a family of rings, then it is well-known that Q(Ri) = Q(Q(Ri)) and Q(∏i∈I Ri) = ∏i∈I Q(Ri), where Q(R) denotes the maximal ring of quotients of R. This paper contains an investigation of how these results generalize to the rings of quotients Qα(R) defined by ideals generated by dense subsets of cardinality less than ℵα. The special case of von Neumann regular rings is studied. Furthermore, a generalization of a theorem regarding orthogonal completions is established. Illustrative example are presented.


2011 ◽  
Vol 39 (9) ◽  
pp. 3242-3252 ◽  
Author(s):  
Najib Mahdou ◽  
Mohammed Tamekkante ◽  
Siamak Yassemi

1988 ◽  
Vol 53 (4) ◽  
pp. 1177-1187
Author(s):  
W. A. MacCaull

Using formally intuitionistic logic coupled with infinitary logic and the completeness theorem for coherent logic, we establish the validity, in Grothendieck toposes, of a number of well-known, classically valid theorems about fields and ordered fields. Classically, these theorems have proofs by contradiction and most involve higher order notions. Here, the theorems are each given a first-order formulation, and this form of the theorem is then deduced using coherent or formally intuitionistic logic. This immediately implies their validity in arbitrary Grothendieck toposes. The main idea throughout is to use coherent theories and, whenever possible, find coherent formulations of formulas which then allow us to call upon the completeness theorem of coherent logic. In one place, the positive model-completeness of the relevant theory is used to find the necessary coherent formulas.The theorems here deal with polynomials or rational functions (in s indeterminates) over fields. A polynomial over a field can, of course, be represented by a finite string of field elements, and a rational function can be represented by a pair of strings of field elements. We chose the approach whereby results on polynomial rings are reduced to results about the base field, because the theory of polynomial rings in s indeterminates over fields, although coherent, is less desirable from a model-theoretic point of view. Ultimately we are interested in the models.This research was originally motivated by the works of Saracino and Weispfenning [SW], van den Dries [Dr], and Bunge [Bu], each of whom generalized some theorems from algebraic geometry or ordered fields to (commutative, von Neumann) regular rings (with unity).


2007 ◽  
Vol 06 (05) ◽  
pp. 779-787 ◽  
Author(s):  
SONIA L'INNOCENTE ◽  
MIKE PREST

Let M be a Verma module over the Lie algebra, sl 2(k), of trace zero 2 × 2 matrices over the algebraically closed field k. We show that the ring, RM, of definable scalars of M is a von Neumann regular ring and that the canonical map from U( sl 2(k)) to RM is an epimorphism of rings. We also describe the Ziegler closure of M. The proofs make use of ideas from the model theory of modules.


Sign in / Sign up

Export Citation Format

Share Document