Ring $R_{ 56 }$

Description:

Let $D$ be a countable, existentially closed division ring over a field $F$. Let $S=D\otimes_F F(x)$. Let $R$ be the trivial extension $T(S,D)$ of $S$ by the $S$-module $D$

Keywords rational polynomial ring tensor product trivial extension