Ring $R_{ 107 }$

$^\ast \mathbb R$: the field of hyperreal numbers

Description:

Let $S=\prod_{i\in \mathbb N}\mathbb R$, and let $T$ be the ideal of sequences of finite support. Select a maximal ideal $M$ of $S$ containing $T$. The hyperreals can be realized as the quotient ring $R=S/T$.

Keywords direct product equivalence relation

Reference(s):

  • H. J. Keisler. Elementary calculus: An infinitesimal approach. (2012) @ Epilogue


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