new here, and not very experienced with mathjax, so i don't want to interfere, but think i have noticed two typos which need correction. the first is that there seems to be no notational distinction between the division ring D and its multiplicative group (whose class equation is introduced in the proof). the second is even more minor - the line
Then |ND(u)|=(pn)m for r<m
Then |ND(u)|=(pn)r for r<m.
- As you may have guessed, this page is still under development, and so has plenty of work needed.
- The good news is that most of the time, MathJax is simple enough that just putting dollar signs round text formatted as the above is enough to render it in mathematical font.
- The corrections you mention will be addressed in due course, unless you yourself want to contribute directly. The proof itself was written here by someone who has not returned to this page since 2010, and (apart from tidying up the source code) has not had much done to it since. --prime mover (talk) 21:20, 8 November 2013 (UTC)