# Examples of $F$-algebra which has no proper two-sided ideals but has one-sided ideal(s)

Let $F$ be a field and $A$ an $F$-algebra. (And assume that $A$ is finite dimension over $F$ if necessary.) A textbook says that $A$ is simple if it has no proper two-sided ideals.

To understand this definition well, I'm looking for an example of $F$-algebra which has no proper two-sided ideals but has one-sided ideal(s). But I cannot find out such one. Is there such example?

Thank you.

Consider the algebra of $n\times n$ matrices over $F$. This clearly has one-sided ideals (since the left or right ideal generated by an element is the entire ring iff that element is left or right invertible).
• Thank you for your answer. I got it. I leave two lemmas for who read this answer: (1) $E_{ij}XE_{kl} = x_{jk}E_{il}$, (2) For a ideal $\mathcal{I}$ of $n \times n$ matrices over $R$, there is the ideal $I$ of $R$ such that $\mathcal{I} = \{\, a_{ij} \mid a_{ij} \in I \,\}$. – Orat Apr 19 '13 at 17:29
There exists a simple domain which is not a division ring: Let $F$ be a field of characteristic zero, and let $F(x)$ be the ring of rational functions with indeterminate $x$, and take $F[t,x]$ to be the ring of differential polynomials in $t$ over $F(x)$, that is, the $y\in F(x)$ such that $yt=ty+\frac{dy}{dx}$.