Haran's diamond theorem

In mathematics, the Haran diamond theorem gives a general sufficient condition for a separable extension of a Hilbertian field to be Hilbertian.

Statement of the diamond theorem

field diagram of the diamond theorem

Let K be a Hilbertian field and L a separable extension of K. Assume there exist two Galois extensions N and M of K such that L is contained in the compositum NM, but is contained in neither N nor M. Then L is Hilbertian.

The name of the theorem comes from the pictured diagram of fields, and was coined by Jarden.

Some corollaries

Weissauer's theorem

This theorem was firstly proved using non-standard methods by Weissauer. It was reproved by Fried using standard methods. The latter proof led Haran to his diamond theorem.

Weissauer's theorem

Let K be a Hilbertian field, N a Galois extension of K, and L a finite proper extension of N. Then L is Hilbertian.

Proof using the diamond theorem

If L is finite over K, it is Hilbertian; hence we assume that L/K is infinite. Let x be a primitive element for L/N, i.e., L = N(x).

Let M be the Galois closure of K(x). Then all the assumptions of the diamond theorem are satisfied, hence L is Hilbertian.

Haran–Jarden condition

Another, preceding to the diamond theorem, sufficient permanence condition was given by Haran–Jarden: Theorem. Let K be a Hilbertian field and N, M two Galois extensions of K. Assume that neither contains the other. Then their compositum NM is Hilbertian.

This theorem has a very nice consequence: Since the field of rational numbers, Q is Hilbertian (Hilbert's irreducibility theorem), we get that the algebraic closure of Q is not the compositum of two proper Galois extensions.

gollark: It's ridiculous to complain that he doesn't know much about rocketry and stuff himself and (THE HORROR) hired competent people who do, and managed to improve the state of space travel a lot.

gollark: I'm not sure what you mean by "apartheid profiting", but generally that seems pretty stupid.

gollark: Unless they have a warrant, you can apparently just tell them to go away and they can't do anything except try and get one based on seeing TV through your windows or something.

gollark: But the enforcement of it is even weirder than that:- there are "TV detector vans". The BBC refuses to explain how they actually work in much detail. With modern TVs I don't think this is actually possible, and they probably can't detect iPlayer use, unless you're stupid enough to sign up with your postcode (they started requiring accounts some years ago).- enforcement is apparently done by some organization with almost no actual legal power (they can visit you and complain, but not *do* anything without a search warrant, which is hard to get)- so they make up for it by sending threatening and misleading letters to try and get people to pay money

gollark: - it funds the BBC, but you have to pay it if you watch *any* live TV, or watch BBC content online- it's per property, not per person, so if you have a license, and go somewhere without a license, and watch TV on some of your stuff, you are breaking the law (unless your thing is running entirely on battery power and not mains-connected?)- it costs about twice as much as online subscription service things- there are still black and white licenses which cost a third of the price

References

Haran, Dan (1999), "Hilbertian fields under separable algebraic extensions", Inventiones Mathematicae, 137 (1): 113–126, doi:10.1007/s002220050325, MR 1702139, Zbl 0933.12003.
Fried, Michael D.; Jarden, Moshe (2008), Field Arithmetic, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3 Folge, 11 (3rd revised ed.), Berlin: Springer-Verlag, ISBN 978-3-540-77269-9, MR 2445111, Zbl 1145.12001.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.