Galois theory seems to be very useful; I've heard about it many times, but unfortunately, I haven't learned any of it yet. I agree that moving the definitions and proving simple properties like Thierry said is the best option, since the definitions aren't used yet.
By the way, in Milne's notes (https://www.jmilne.org/math/CourseNotes/FT.pdf) page 7, it states a definition of Integral Domains that does not seem to match with any of the theorems around https://us.metamath.org/mpeuni/mmtheorems201.html#df-idom On Tuesday, August 27, 2024 at 5:24:26 AM UTC-5 [email protected] wrote: > FWIW, Tom Leinster just shared a bunch of materials he organized from a > Galois > Theory course: https://www.maths.ed.ac.uk/~tl/galois/ . In addition to a > book, > there are quizzes, videos, and problem sets. At a first glance it looks > quite > terrific. > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/f0667024-f279-47b6-8845-05c679ed32ecn%40googlegroups.com.
