To be honest, I can't really check that, since I haven't done any abstract algebra in 6 or 7 years. :) But it does *sound* right. (If it's clear to the reader that when you say "smallest", you mean "any other such field contains this one".) I can't think of a counterexample, anyway; although I am really rusty.
(Oh, and sorry about the anonymity. I don't use my LJ account any more, and I always forget that LJ accepts OpenID now. Old habits die hard. :) ) (Oh, and also sorry about that first badly formatted comment. I thought links were preserved properly.)
Re: More proofs
Date: 2009-02-23 06:41 pm (UTC)(Oh, and sorry about the anonymity. I don't use my LJ account any more, and I always forget that LJ accepts OpenID now. Old habits die hard. :) )
(Oh, and also sorry about that first badly formatted comment. I thought links were preserved properly.)