Description: Let $s$ be a field endomorphism from $K$ to $K$ such that the image $L$ has infinite index in $K$. Define multiplication on $R=K\times K$ by $(x,y)(x',y')=(xx',s(x)y'+yx')$. $R$ is the ring

Notes:

Keywords triangular ring

Reference(s):

This ring has the following properties:

$\pi$-regular
$I_0$
2-primal
Abelian
ACC annihilator (left)
ACC annihilator (right)
ACC principal (left)
ACC principal (right)
Artinian (right)
Bezout (right)
clean
coherent (right)
cohopfian (left)
cohopfian (right)
connected
CS (right)
DCC annihilator (left)
DCC annihilator (right)
Dedekind finite
distributive (right)
duo (right)
essential socle (left)
essential socle (right)
exchange
finite uniform dimension (right)
finitely cogenerated (right)
finitely generated socle (right)
Goldie (right)
IBN
Ikeda-Nakayama (right)
Kasch (left)
Kasch (right)
lift/rad
local
NI (nilpotents form an ideal)
nil radical
nilpotent radical
Noetherian (right)
nonzero socle (left)
nonzero socle (right)
orthogonally finite
perfect (left)
perfect (right)
primary
principal ideal ring (right)
quasi-continuous (right)
quasi-duo (left)
quasi-duo (right)
semicommutative (SI condition, zero-insertive)
semilocal
semiperfect
semiprimary
semiregular
serial (right)
simple socle (right)
stable range 1
stably finite
strongly $\pi$-regular
strongly connected
T-nilpotent radical (left)
T-nilpotent radical (right)
top regular
top simple
top simple Artinian
uniform (right)
valuation ring (right)
weakly clean
Zorn

The ring lacks the following properties:

Artinian (left)
Baer
Bezout (left)
Bezout domain (left)
Bezout domain (right)
cogenerator ring (left)
cogenerator ring (right)
coherent (left)
commutative
division ring
domain
FI-injective (right)
finite
finitely pseudo-Frobenius (left)
finitely pseudo-Frobenius (right)
free ideal ring (left)
free ideal ring (right)
Frobenius
fully prime
fully semiprime
hereditary (left)
hereditary (right)
Ikeda-Nakayama (left)
Noetherian (left)
nonsingular (right)
Ore domain (left)
Ore domain (right)
prime
primitive (left)
primitive (right)
principal ideal domain (left)
principal ideal domain (right)
principal ideal ring (left)
principally injective (right)
pseudo-Frobenius (left)
pseudo-Frobenius (right)
quasi-Frobenius
reduced
Rickart (right)
self-injective (left)
self-injective (right)
semi free ideal ring
semihereditary (left)
semihereditary (right)
semiprime
semiprimitive
semisimple
serial (left)
simple
simple Artinian
strongly regular
unit regular
V ring (left)
V ring (right)
valuation ring (left)
von Neumann regular

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

continuous (left)
continuous (right)
CS (left)
distributive (left)
dual (left)
dual (right)
duo (left)
FI-injective (left)
finite uniform dimension (left)
finitely cogenerated (left)
finitely generated socle (left)
Goldie (left)
nonsingular (left)
Ore ring (left)
Ore ring (right)
polynomial identity
principally injective (left)
quasi-continuous (left)
reversible
Rickart (left)
simple socle (left)
simple-injective (left)
simple-injective (right)
symmetric
uniform (left)