= Solution
A proper two-sided ideal $P$ is <prime ideal of a noncommutative ring>[prime] when $AB\subseteq P$ for two-sided ideals implies $A\subseteq P$ or $B\subseteq P$. The nilpotent ideal $ke_{21}$ lies in every prime of $T_2(k)$, and the quotient is $k\times k$. Hence the two primes are
$$
P_a=\{(a,c,d):a=0\},\qquad
P_d=\{(a,c,d):d=0\}.
$$
Here $\mathcal C(P_a)=\{a\ne0\}$ and $\mathcal C(P_d)=\{d\ne0\}$.
Direct multiplication of triples
$$
(a,c,d)(a',c',d')=(aa',ca'+dc',dd')
$$
shows that all of $\mathcal C(P_a)$ satisfies the left Ore equations. For $P_d$, the largest left Ore subset is
$$
\{(a,c,d):a\ne0,\ d\ne0\}=T_2(k)^*.
$$
Indeed units always form an Ore set. If $d\ne0$ but $a=0$, applying the Ore equation successively to $e_{21}$ and $e_{22}$ gives incompatible equations, so no left Ore subset can contain that element.
Back to article page
