Prove that is a division ring if and only if the only left ideals in are and .(I am NOT assuming that is commutative)
I can prove that if is a division ring then every left ideal is trivial.
I cannot prove it in the other direction. Help needed on this.