Original title: Eliptické křivky a Fermatův nekonečný sestup
Translated title: Elliptic Curves and Fermat's Infinite Descent
Authors: Bláha, Marek ; Šťovíček, Jan (advisor) ; Roy, Ritoprovo (referee)
Document type: Bachelor's theses
Year: 2026
Language: eng
Abstract: [eng] [cze]
We illustrate Fermat's method of infinite descent on elliptic curves by proving Fer- mat's Last Theorem for exponent 4. The descent proceeds by repeatedly halving ra- tional points until a contradiction is reached. We introduce the basic theory of elliptic curves and develop the required tools by giving a fully elementary proof of a special case of the Mordell-Weil Theorem. To this end, we define a pair of maps of degree two and prove in full detail that they are homomorphisms whose composition is multiplica- tion by two. The exposition highlights the direct elementary correspondence between the classical descent argument and the arithmetic of rational points on elliptic curves. Na důkazu Velké Fermatovy věty pro exponent 4 ilustrujeme Fermatovu metodu ne- konečného sestupu na eliptických křivkách. Sestup probíhá opakovaným půlením raci- onálních bodů, dokud není dosaženo sporu. Uvedeme základní teorii eliptických křivek a vyvineme potřebné nástroje provedením zcela elementárního důkazu speciální verze Mordellovy-Weilovy věty. Za tímto účelem definujeme dvojici zobrazení stupně dva a po- drobně dokážeme, že jde o homomorfismy, jejichž složení je násobením dvěma. Tento vý- klad zvýrazňuje přímou elementární korespondenci mezi klasickým argumentem sestupu a aritmetikou racionálních bodů na eliptických křivkách.
Keywords: Fermat's infinite descent|elliptic curves|Mordell-Weil Theorem|Fermat's Last Theorem|2-isogeny|2-descent; Fermatův nekonečný sestup|eliptické křivky|Mordellova-Weilova věta|Velká Fermatova věta|2-isogenie|2-sestup

Institution: Charles University Faculties (theses) (web)
Document availability information: Available in the Charles University Digital Repository.
Original record: http://hdl.handle.net/20.500.11956/211090

Permalink: http://www.nusl.cz/ntk/nusl-779207


The record appears in these collections:
Universities and colleges > Public universities > Charles University > Charles University Faculties (theses)
Academic theses (ETDs) > Bachelor's theses