Ring $R_{ 124 }$

Cohn's Schreier domain that isn't GCD

Description:

Let $S$ be the semigroup of positive pairs of rationals under addition, along with $(0,0)$, and $k$ be a field (for concreteness we suppose the field of two elements, but any field works.) The semigroup algebra $R=k[S]$ is the required ring.

Keywords semigroup ring

Reference(s):

  • P. M. Cohn. Bezout rings and their subrings. (1968) @ Example after Theorem 2.4 on p 256


Known Properties
Name
$h$-local domain
$I_0$
almost maximal domain
almost maximal ring
analytically normal
analytically unramified
catenary
clean
coherent
complete local
countable
exchange
finitely pseudo-Frobenius
Goldman domain
Henselian local
J-0
J-1
J-2
Jacobson
lift/rad
linearly compact
local
max ring
maximal ring
N-2
nil radical
nilpotent radical
potent
rad-nil
semi-Noetherian
semilocal
semiperfect
semiprimitive
semiregular
stable range 1
T-nilpotent radical
top regular
top simple
top simple Artinian
UGP ring
universally catenary
universally Japanese
weakly clean
Zorn
$\pi$-regular
?-ring
ACC principal
algebraically closed field
almost Dedekind domain
almost maximal valuation ring
Archimedean field
arithmetical
Artinian
atomic domain
Bezout
Bezout domain
Boolean
characteristic 0 field
cogenerator ring
Cohen-Macaulay
cohopfian
complete discrete valuation ring
continuous
Dedekind domain
discrete valuation ring
distributive
division ring
dual
essential socle
Euclidean domain
Euclidean field
excellent
FGC
FI-injective
field
finite
finitely cogenerated
free ideal ring
Frobenius
fully prime
fully semiprime
GCD domain
Gorenstein
Grothendieck
hereditary
Kasch
Krull domain
local complete intersection
maximal valuation ring
Mori domain
Nagata
Noetherian
nonzero socle
ordered field
PCI ring
perfect
perfect field
periodic
primary
primitive
principal ideal domain
principal ideal ring
principally injective
Prufer domain
pseudo-Frobenius
Pythagorean field
quadratically closed field
quasi-excellent
quasi-Frobenius
regular
regular local
self-injective
semi free ideal ring
semi-Artinian
semihereditary
semiprimary
semisimple
serial
simple
simple Artinian
simple socle
strongly $\pi$-regular
strongly regular
torch
unique factorization domain
uniserial domain
uniserial ring
unit regular
V ring
valuation domain
valuation ring
von Neumann regular
2-primal
Abelian
ACC annihilator
anti-automorphic
Armendariz
Baer
commutative
compressible
CS
DCC annihilator
Dedekind finite
directly irreducible
domain
duo
finite uniform dimension
finitely generated socle
Goldie
IBN
IC ring
Ikeda-Nakayama
involutive
McCoy
N-1
NI ring
nonsingular
normal
normal domain
Ore domain
Ore ring
orthogonally finite
polynomial identity
prime
quasi-continuous
quasi-duo
reduced
reversible
Rickart
Schreier domain
semicommutative
semiprime
simple-injective
stably finite
strongly connected
symmetric
uniform
Legend
  • = has the property
  • = does not have the property
  • = information not in database

(Nothing was retrieved.)

Name Description
Idempotents $\{0,1\}$
Left singular ideal $\{0\}$
Left socle $\{0\}$
Nilpotents $\{0\}$
Right singular ideal $\{0\}$
Right socle $\{0\}$
Zero divisors $\{0\}$