Ring detail


Name: $k[[x]]$

Description: Ring of formal power series over a field $k$

Keywords power series ring

Reference(s):

  • H. C. Hutchins. Examples of commutative rings. (1981) @ Example 171 p 143
  • H. C. Hutchins. Examples of commutative rings. (1981) @ Example 170 p 142



Known Properties
Name
$I_0$
$\pi$-regular
2-primal
ACC annihilator
ACC principal
Abelian
Archimedean field
Artinian
Baer
Bezout
Bezout domain
CS
Cohen-Macaulay
DCC annihilator
Dedekind domain
Dedekind finite
Euclidean domain
Euclidean field
FI-injective
Frobenius
GCD domain
Goldie
Goldman domain
Gorenstein
Grothendieck
IBN
Ikeda-Nakayama
J-0
J-1
J-2
Jacobson (Hilbert)
Japanese (N-2)
Kasch
Krull domain
Mori domain
N-1
NI (nilpotents form an ideal)
Nagata
Noetherian
Ore domain
Ore ring
PCI ring
Prufer domain
Pythagorean field
Rickart
Schreier domain
T-nilpotent radical
V ring
Zorn
algebraically closed field
analytically normal
analytically unramified
atomic domain
catenary
characteristic 0 field
clean
cogenerator ring
coherent
cohopfian
commutative
complete local
compressible
connected
continuous
countable
distributive
division ring
domain
dual
duo
essential socle
excellent
exchange
field
finite
finite uniform dimension
finitely cogenerated
finitely generated socle
finitely pseudo-Frobenius
free ideal ring
fully prime
fully semiprime
hereditary
lift/rad
local
local complete intersection
max ring
nil radical
nilpotent radical
nonsingular
nonzero socle
normal
normal domain
ordered field
orthogonally finite
perfect
perfect field
polynomial identity
potent
primary
prime
primitive
principal ideal domain
principal ideal ring
principally injective
pseudo-Frobenius
quadratically closed field
quasi-Frobenius
quasi-continuous
quasi-duo
quasi-excellent
rad-nil
reduced
regular
regular local
reversible
self-injective
semi free ideal ring
semicommutative (SI condition, zero-insertive)
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
top regular
top simple
top simple Artinian
uniform
unique factorization domain
unit regular
universally Japanese
universally catenary
valuation ring
von Neumann regular
weakly clean
Legend
  • = has the property
  • = does not have the property
  • = information not in database
Name Measure
Krull dimension (classical) 0
Name Description
Idempotents $\{0,1\}$
Nilpotents $\{0\}$
Units Elements with nonzero constant term.
Zero divisors $\{0\}$