Skip to main content
2 of 4
Streamlined the proof. ; edited body
Ralph
  • 16.2k
  • 40
  • 78

A "natural" example is given by the group ring $\mathbb{F}_2[Q]$ of the Quaternion group of order 8.

For, we have to show that each left ideal is also a right ideal, and conversely, each right ideal is also a left ideal. The first half (i.e. left is right) is shown in this paper.

Let $i:\mathbb{F}_2[Q] \to \mathbb{F}_2[Q],\;g \mapsto g^{-1}$ be the antipode. It's a general fact that for a left (right) ideal $I$, $i(I)$ is a right (left) ideal.

Now suppose $I$ is a right ideal. Hence $i(I)$ is a left ideal and by the above, it's also a right ideal. Consequently, $I=i(i(I))$ is a left ideal and we are done.

Ralph
  • 16.2k
  • 40
  • 78