Talk:Order of Galois Group Equals Degree of Extension

I moved the proof to Equivalence of Definitions of Galois Extension. I think it's useful to keep this page as a redirect to somewhere, though. Probably also Equivalence of Definitions of Galois Extension. --barto (talk) 04:04, 13 July 2017 (EDT)

D'accord. Lots more to be done here, of course. -- for a start, the notation $\operatorname{Gal}$ has been used here but not defined, either in the definition or the proof. This is an area of $\mathsf{Pr} \infty \mathsf{fWiki}$ that I haven't really addressed (there's too much complicated and fiddly background detail to clean up first, like the appalling mess that Polynomial Theory is in) so I have never been able to make much headway with this area's structure. --prime mover (talk) 08:17, 13 July 2017 (EDT)