Ring $R_{ 144 }$

Osofsky's Type I ring

Description:

Start with the ring of power series of the form $\sum a_\alpha x^\alpha$ where $a_\alpha\in \mathbb C$ and $\alpha$ ranges over a well-founded set of nonnegative rationals. Within the field of fractions of this ring, it can be shown there are $n$-pairwise independent maximal valuation rings $D_i$. The ring is $R=\cap_{i=1}^n D_i$. For this ring we use $n=2$.

Notes: This construction produces a ring with $n$ maximal ideals

Keywords power series ring valuations

Reference(s):

  • T. S. Shores and R. Wiegand. Rings whose finitely generated modules are direct sums of cyclics. (1974) @ Example 4.4 p 166


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