A question about a maximal ideal $M$ in a non-commutative ring $R$ having identity but without zero divisors and its quotient ring $R/M$.

465 Views Asked by At

Does every maximal ideal $M$ in a non-commutative ring $R$ having identity but without zero divisors make $R/M$ a division ring?

The question is equivalent to "Does there exist a non-commutative and simple domain?".

It is a little difficult to construct the example. Thank rschwieb.

1

There are 1 best solutions below

1
On BEST ANSWER

No.

There exist noncommutative domains which are simple but which are also not division rings. The most famous is probably the first Weyl algebra.

In any such ring, the zero ideal is maximal, but the quotient is not a division ring.