A simple and constructive proof to a generalization of Lüroth's theorem

01/25/2022
by   François Ollivier, et al.
0

A generalization of Lüroth's theorem expresses that every transcendence degree 1 subfield of the rational function field is a simple extension. In this note we show that a classical proof of this theorem also holds to prove this generalization.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/02/2020

Zone Theorem for Arrangements in three dimensions

In this note, a simple description of zone theorem in three dimensions i...
research
12/18/2021

A Machine-Checked Direct Proof of the Steiner-Lehmus Theorem

A direct proof of the Steiner-Lehmus theorem has eluded geometers for ov...
research
08/21/2023

Dimension Independent Helly Theorem for Lines and Flats

We give a generalization of dimension independent Helly Theorem of Adipr...
research
12/01/2021

A Note on the Borel-Cantelli Lemma

In this short note, we discuss the Barndorff-Nielsen lemma, which is a g...
research
05/17/2023

A constructive proof of Skolem theorem for constructive logic

If the sequent (Gamma entails forall x exists y A) is provable in first ...
research
02/01/2023

A formalisation of Gallagher's ergodic theorem

Gallagher's ergodic theorem is a result in metric number theory. It stat...
research
12/13/2017

Recognizing Linked Domain in Polynomial Time

The celebrated Gibbard-Satterthwaite Theorem states that any surjective ...

Please sign up or login with your details

Forgot password? Click here to reset