renato betti – politecnico di milano galois e il concetto di gruppo Évariste galois (1811-1832)...
TRANSCRIPT
![Page 1: Renato Betti – Politecnico di Milano Galois e il concetto di gruppo Évariste Galois (1811-1832) Pristem, Padova 12 aprile 2013](https://reader035.vdocumenti.com/reader035/viewer/2022062307/5542eb65497959361e8d0dff/html5/thumbnails/1.jpg)
Renato Betti – Politecnico di Milano
Galois e il concetto di gruppo
Évariste Galois (1811-1832)
Pristem, Padova 12 aprile 2013
![Page 2: Renato Betti – Politecnico di Milano Galois e il concetto di gruppo Évariste Galois (1811-1832) Pristem, Padova 12 aprile 2013](https://reader035.vdocumenti.com/reader035/viewer/2022062307/5542eb65497959361e8d0dff/html5/thumbnails/2.jpg)
Renato Betti – Politecnico di Milano
Pregherai pubblicamente Jacobi o Gauss di dare il loro parere, non sulla verità ma sull’importanza dei teoremi.Dopo questo ci sarà, spero, qualcuno che troverà il suo profitto a decifrare tutto questo guazzabuglio.
011
nnn axax
Risolubilità per radicali delle equazioni algebriche:
![Page 3: Renato Betti – Politecnico di Milano Galois e il concetto di gruppo Évariste Galois (1811-1832) Pristem, Padova 12 aprile 2013](https://reader035.vdocumenti.com/reader035/viewer/2022062307/5542eb65497959361e8d0dff/html5/thumbnails/3.jpg)
Renato Betti – Politecnico di Milano
… le frecce intere rappresentano generalizzazioni di varie costruzioni o risultati, mentre quelle tratteggiate rappresentano “ispirazioni”…
![Page 4: Renato Betti – Politecnico di Milano Galois e il concetto di gruppo Évariste Galois (1811-1832) Pristem, Padova 12 aprile 2013](https://reader035.vdocumenti.com/reader035/viewer/2022062307/5542eb65497959361e8d0dff/html5/thumbnails/4.jpg)
Renato Betti – Politecnico di Milano
0)( 11
nnn axaxxF
Q,...,, 21 naaa
……………………………………………………………………………………………………...
024 rxqxpx ……………………………………
XVI secolo: Tartaglia, Cardano, Ferrari
02 bxax2
42 baax
03 qpxx 3
23
3
23
42724272
qpqqpqx
![Page 5: Renato Betti – Politecnico di Milano Galois e il concetto di gruppo Évariste Galois (1811-1832) Pristem, Padova 12 aprile 2013](https://reader035.vdocumenti.com/reader035/viewer/2022062307/5542eb65497959361e8d0dff/html5/thumbnails/5.jpg)
Renato Betti – Politecnico di Milano
XVI - XVII secolo: Viète, Girard, …
nn
n
nn
n
rrra
rrrrrra
rrra
21
131212
211
)1(
)(
)())(( 211
1 nnnn rxrxrxaxax
02 cbxx
crr
brr
21
21
![Page 6: Renato Betti – Politecnico di Milano Galois e il concetto di gruppo Évariste Galois (1811-1832) Pristem, Padova 12 aprile 2013](https://reader035.vdocumenti.com/reader035/viewer/2022062307/5542eb65497959361e8d0dff/html5/thumbnails/6.jpg)
Renato Betti – Politecnico di Milano
Newton: Arithmetica Universalis (1707)
kn
kkk rrrs ....21
kk
kkk kaasass
aasass
aass
as
)1(
3
2
2211
321123
2112
11
![Page 7: Renato Betti – Politecnico di Milano Galois e il concetto di gruppo Évariste Galois (1811-1832) Pristem, Padova 12 aprile 2013](https://reader035.vdocumenti.com/reader035/viewer/2022062307/5542eb65497959361e8d0dff/html5/thumbnails/7.jpg)
cbrrrrrr 44)()( 221
221
221
23
3213
3231212
322
312
21
274
27)(4)()()(
qp
rrrrrrrrrrrrrrr
Renato Betti – Politecnico di Milano
nn
nn
n
xxx
xxxxxx
xxx
21
131212
211
.................
Ogni polinomio simmetrico si può esprimere univocamente come un polinomio nei polinomi simmetrici elementari.
Teorema fondamentale delle funzioni simmetriche
![Page 8: Renato Betti – Politecnico di Milano Galois e il concetto di gruppo Évariste Galois (1811-1832) Pristem, Padova 12 aprile 2013](https://reader035.vdocumenti.com/reader035/viewer/2022062307/5542eb65497959361e8d0dff/html5/thumbnails/8.jpg)
Renato Betti – Politecnico di Milano
t = r1 + α r2 + α2 r3
)()()(3
132
213
2213211 rrrrrrrrrr
21t rr
)()(2
121211 rrrrr
Réflexions sur la résolution algébrique des équations (1770-1772)Joseph Louis Lagrange
01 2
t
t 3=¿u3=¿
𝑡 𝑢
![Page 9: Renato Betti – Politecnico di Milano Galois e il concetto di gruppo Évariste Galois (1811-1832) Pristem, Padova 12 aprile 2013](https://reader035.vdocumenti.com/reader035/viewer/2022062307/5542eb65497959361e8d0dff/html5/thumbnails/9.jpg)
Renato Betti – Politecnico di Milano
Réflexions sur la résolution algébrique des équations (1770-1772)Joseph Louis Lagrange
t=𝒓 𝟏−𝒓 𝟐+𝒓 𝟑−𝒓 𝟒 t𝟐=¿¿u𝟐=¿¿¿v𝟐=¿¿
tuv
t=𝒓 𝟏+𝜶𝒓𝟐+𝜶𝟐𝒓 𝟑+𝜶
𝟑𝒓 𝟒+𝜶𝟒𝒓𝟓
![Page 10: Renato Betti – Politecnico di Milano Galois e il concetto di gruppo Évariste Galois (1811-1832) Pristem, Padova 12 aprile 2013](https://reader035.vdocumenti.com/reader035/viewer/2022062307/5542eb65497959361e8d0dff/html5/thumbnails/10.jpg)
Renato Betti – Politecnico di Milano
Teorema. Se è una funzione razionale in n indeterminate, a coefficienti noti, l’ordine del gruppo di isotropia I( ) di è un divisore di n! Inoltre è radice di un’equazione di grado n!/ |I( )| a coefficienti noti. Teorema (di Lagrange). In un gruppo finito, l'ordine di un sottogruppo è un divisore dell'ordine del gruppo.
Réflexions sur la résolution algébrique des équations (1770-1772)Joseph Louis Lagrange
Esempio: 4321 rrrr (𝟏𝟐𝟑𝟒 )(𝟑𝟒𝟏𝟐)(𝟐𝟏𝟑𝟒 )(𝟒𝟑𝟏𝟐)(𝟏𝟐𝟒𝟑 )(𝟑𝟒𝟐𝟏)(𝟐𝟏𝟒𝟑 )(𝟒𝟑𝟐𝟏)
![Page 11: Renato Betti – Politecnico di Milano Galois e il concetto di gruppo Évariste Galois (1811-1832) Pristem, Padova 12 aprile 2013](https://reader035.vdocumenti.com/reader035/viewer/2022062307/5542eb65497959361e8d0dff/html5/thumbnails/11.jpg)
Renato Betti – Politecnico di Milano
Teorema. Se e ψ sono espressioni razionali in m indeterminate, e ψ assume n valori distinti sotto l'azione delle permutazioni di , allora ψ è radice di un'equazione di grado n, i cui coefficienti si esprimono razionalmente mediante .
)(I
𝝍=(𝒓 𝟏+𝒓 𝟐 )−(𝒓 𝟑+𝒓 𝟒)
Réflexions sur la résolution algébrique des équations (1770-1772)Joseph Louis Lagrange
4321 rrrr (𝟏𝟐𝟑𝟒 )(𝟑𝟒𝟏𝟐)(𝟐𝟏𝟑𝟒 )(𝟒𝟑𝟏𝟐)(𝟏𝟐𝟒𝟑 )(𝟑𝟒𝟐𝟏)(𝟐𝟏𝟒𝟑 )(𝟒𝟑𝟐𝟏)
![Page 12: Renato Betti – Politecnico di Milano Galois e il concetto di gruppo Évariste Galois (1811-1832) Pristem, Padova 12 aprile 2013](https://reader035.vdocumenti.com/reader035/viewer/2022062307/5542eb65497959361e8d0dff/html5/thumbnails/12.jpg)
Renato Betti – Politecnico di Milano
Esempio: 0433 xx
L’idea di Galois
𝒙𝟑−𝟑 𝒙−𝟒=(𝒙−𝒓 )(𝒙𝟐+𝒓𝒙+𝒓𝟐)
33 3232 r
Teorema (Ruffini, 1799, Abel, 1826)
L’equazione generale di grado superiore al quarto non è risolubile per radicali.
![Page 13: Renato Betti – Politecnico di Milano Galois e il concetto di gruppo Évariste Galois (1811-1832) Pristem, Padova 12 aprile 2013](https://reader035.vdocumenti.com/reader035/viewer/2022062307/5542eb65497959361e8d0dff/html5/thumbnails/13.jpg)
Renato Betti – Politecnico di Milano
{ id }
id,,, 221
id,1
id,,,,,,, 3214321
Il gruppo di Galois
![Page 14: Renato Betti – Politecnico di Milano Galois e il concetto di gruppo Évariste Galois (1811-1832) Pristem, Padova 12 aprile 2013](https://reader035.vdocumenti.com/reader035/viewer/2022062307/5542eb65497959361e8d0dff/html5/thumbnails/14.jpg)
Renato Betti – Politecnico di Milano
43211 rrrr
43212 rrrr
)()( 43213 rrrr
434 rr
24|| 4S
45 r
Mémoire sur le conditions de résolubilité des équations par radicaux (1832-46)
Évariste Galois
KrrrKrrr
PG
nn
K
),,,(),,,(
)(
)()2()1(21
![Page 15: Renato Betti – Politecnico di Milano Galois e il concetto di gruppo Évariste Galois (1811-1832) Pristem, Padova 12 aprile 2013](https://reader035.vdocumenti.com/reader035/viewer/2022062307/5542eb65497959361e8d0dff/html5/thumbnails/15.jpg)
Renato Betti – Politecnico di Milano
)()(
)(
)( PGalPGal
vQQ
vQQ
id
PGal
PGal
PGal
K
vvQ
vQ
Q
vvQ
vQ
Q
)(
)(
)(
),(
)(
),(
)(
21
1
21
1
La connessione di GaloisMémoire sur le conditions de résolubilité des équations par radicaux
(1832-46)
![Page 16: Renato Betti – Politecnico di Milano Galois e il concetto di gruppo Évariste Galois (1811-1832) Pristem, Padova 12 aprile 2013](https://reader035.vdocumenti.com/reader035/viewer/2022062307/5542eb65497959361e8d0dff/html5/thumbnails/16.jpg)
Renato Betti – Politecnico di Milano
Teorema. è risolubile per radicali se e solo se, ampliando progressivamente il campo dei coefficienti con termini ausiliari v tali v p (con p primo) appartenga al precedente campo dei coefficienti, il gruppo si riduce all’identità.
0)( XP
)(PGalK
DefinizioneUn gruppo finito G si dice risolubile se esiste una catena di sottogruppi tale che:
Évariste GaloisMémoire sur le conditions de résolubilité des équations par radicaux (1832-46)
![Page 17: Renato Betti – Politecnico di Milano Galois e il concetto di gruppo Évariste Galois (1811-1832) Pristem, Padova 12 aprile 2013](https://reader035.vdocumenti.com/reader035/viewer/2022062307/5542eb65497959361e8d0dff/html5/thumbnails/17.jpg)
Renato Betti – Politecnico di Milano
Évariste Galois
… {id}
𝒙 2+𝑎𝒙+𝑏=0
+ q = 0)
Teorema (Ruffini, Abel)Il gruppo simmetrico S5 non è risolubile. Quindi l’equazione generale di quinto grado non è risolubile per radicali.
![Page 18: Renato Betti – Politecnico di Milano Galois e il concetto di gruppo Évariste Galois (1811-1832) Pristem, Padova 12 aprile 2013](https://reader035.vdocumenti.com/reader035/viewer/2022062307/5542eb65497959361e8d0dff/html5/thumbnails/18.jpg)
Renato Betti – Politecnico di Milano
… Jordan, Kronecker, Dedekind …
Esistenza dei “campi di spezzamento” delle equazioni: ),,,( 21 nrrrK
GalK(P) = AutK),,,( 21 nrrrK
KK
rrrKrrrK
id
nn
),,,(),,,( 2121
![Page 19: Renato Betti – Politecnico di Milano Galois e il concetto di gruppo Évariste Galois (1811-1832) Pristem, Padova 12 aprile 2013](https://reader035.vdocumenti.com/reader035/viewer/2022062307/5542eb65497959361e8d0dff/html5/thumbnails/19.jpg)
Renato Betti – Politecnico di Milano
Teoria di Galois di Artin
estensione finita di Galois:KQ
)()(
)(
QGalHKMQ K
K
GalK
MaaaKKMGalKMQ K ,)(|:)(|
HHKK H |,)(|
![Page 20: Renato Betti – Politecnico di Milano Galois e il concetto di gruppo Évariste Galois (1811-1832) Pristem, Padova 12 aprile 2013](https://reader035.vdocumenti.com/reader035/viewer/2022062307/5542eb65497959361e8d0dff/html5/thumbnails/20.jpg)
Renato Betti – Politecnico di Milano
Se è un’estensione finita di campi, la connessione di Galois
stabilisce una corrispondenza biunivoca, che inverte l’ordine, fra il preordine dei campi intermedi e il preordine dei sottogruppi di .
KQ
)()(
)(
QGalHKMQ K
K
GalK
KMQ )(QGalK
Teorema fondamentale della teoria di Galois
![Page 21: Renato Betti – Politecnico di Milano Galois e il concetto di gruppo Évariste Galois (1811-1832) Pristem, Padova 12 aprile 2013](https://reader035.vdocumenti.com/reader035/viewer/2022062307/5542eb65497959361e8d0dff/html5/thumbnails/21.jpg)
Renato Betti – Politecnico di Milano
YU p ricoprimento di X
UU~ ricoprimento universale di X
KQ UU~
____________________________________________________________
)(QGalK)(U
KMQ Y
UU
~
____________________________________________________________
Il gruppo fondamentale