Description: Let $D=F[[x]]$ and let $Q$ be the field of fractions of $D$. Set $V=Q/D$. The ring is the trivial extension $(D, V)$

Notes: Krull dimension 2

Keywords trivial extension power series ring

Reference(s):

- Nicholson, W. Keith; Mohamed F. Yousif., Quasi-Frobenius Rings., Vol. 158. Cambridge University Press, (2003). P 133-134 Ex 6.6

This ring has the following properties:

2-primal
Abelian
Bezout (left)
Bezout (right)
clean
cohopfian (left)
cohopfian (right)
commutative
connected
Dedekind finite
distributive (left)
distributive (right)
dual (left)
dual (right)
duo (left)
duo (right)
essential socle (left)
essential socle (right)
exchange
FI-injective (left)
FI-injective (right)
finite uniform dimension (left)
finite uniform dimension (right)
finitely cogenerated (left)
finitely cogenerated (right)
finitely generated socle (left)
finitely generated socle (right)
I_0
IBN
Kasch (left)
Kasch (right)
lift/rad
local
nonzero socle (left)
nonzero socle (right)
Ore ring (left)
Ore ring (right)
orthogonally finite
polynomial identity
principally injective (left)
principally injective (right)
quasi-duo (left)
quasi-duo (right)
reversible
semilocal
semiperfect
semiregular
serial (left)
serial (right)
simple socle (left)
simple socle (right)
simple-injective (left)
simple-injective (right)
stable range 1
stably finite
symmetric
top regular
top simple
top simple Artinian
uniform (left)
uniform (right)
valuation ring (left)
valuation ring (right)

The ring lacks the following properties:

ACC principal (left)
ACC principal (right)
Artinian (left)
Artinian (right)
Baer
Bezout domain (left)
Bezout domain (right)
cogenerator ring (left)
cogenerator ring (right)
division ring
domain
finite
free ideal ring (left)
free ideal ring (right)
Frobenius
fully prime
fully semiprime
hereditary (left)
hereditary (right)
nil radical
nilpotent radical
Noetherian (left)
Noetherian (right)
nonsingular (left)
nonsingular (right)
Ore domain (left)
Ore domain (right)
perfect (left)
perfect (right)
primary
prime
primitive (left)
primitive (right)
principal ideal domain (left)
principal ideal domain (right)
principal ideal ring (left)
principal ideal ring (right)
pseudo-Frobenius (left)
pseudo-Frobenius (right)
quasi-Frobenius
reduced
Rickart (left)
Rickart (right)
self-injective (left)
self-injective (right)
semi free ideal ring
semihereditary (left)
semihereditary (right)
semiprimary
semiprime
semiprimitive
semisimple
simple
simple Artinian
strongly regular
T-nilpotent radical (left)
T-nilpotent radical (right)
unit regular
V ring (left)
V ring (right)
von Neumann regular

We don't know if the ring has or lacks the following properties:

$\pi$-regular
ACC annihilator (left)
ACC annihilator (right)
coherent (left)
coherent (right)
continuous (left)
continuous (right)
DCC annihilator (left)
DCC annihilator (right)
finitely pseudo-Frobenius (left)
finitely pseudo-Frobenius (right)
Goldie (left)
Goldie (right)
Ikeda-Nakayama (left)
Ikeda-Nakayama (right)
strongly $\pi$-regular
Zorn