User:Leigh.Samphier/Todo

Sort out Maximal Ideal iff Quotient Ring is Division Ring

 * 1. Propose Maximal Ideal iff Quotient Ring is Division Ring for deletion
 * [| prove-r-m-is-a-division-ring-for-a-non-commutative-ring-r-with-max-ideal-m]


 * 2. Propose Basis of Free Module is No Greater than Generator be changed to Commutative Ring.
 * OK, since Bases of Free Module have Equal Cardinality assumes Commutativity.

Create second proof to P-adic Norm not Complete on Rational Numbers

 * $\quad \Q_p$ is uncountable, $\Q$ is countable.