Ring $R_{ 214 }$

ACCP ring with non-ACCP polynomial ring

Description:

Let $K$ be a field and $X_1, X_2, \ldots$ be indeterminates over $K$. Let $R_0 = K[X_1, X_2, \ldots] / (\{X_n(X_{n-1} - X_n) \mid n \geq 2\})$. Let $x_n$ denote the image of $X_n$ in $R_0$. Let $R$ be the localization of $R_0$ at the ideal $(x_1, x_2, \ldots)$.

Keywords localization polynomial ring quotient ring

Reference(s):

  • W. J. Heinzer and D. C. Lantz. ACCP in polynomial rings: a counterexample. (1994) @ main example


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