Renato Betti – Politecnico di Milano Galois e il concetto di gruppo Évariste Galois (1811-1832)...
22
Renato Betti – Politecnico di Milano Galois e il concetto di gruppo Évariste Galois (1811-1832) Pristem, Padova 12 aprile 2013
-
Upload
santo-marinelli -
Category
Documents
-
view
229 -
download
5
Transcript of Renato Betti – Politecnico di Milano Galois e il concetto di gruppo Évariste Galois (1811-1832)...
Renato Betti – Politecnico di Milano
Galois e il concetto di gruppo
Évariste Galois (1811-1832)
Pristem, Padova 12 aprile 2013
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:
Renato Betti – Politecnico di Milano
… le frecce intere rappresentano generalizzazioni di varie costruzioni o risultati, mentre quelle tratteggiate rappresentano “ispirazioni”…
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
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
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
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
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=¿
𝑡 𝑢
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=𝒓 𝟏+𝜶𝒓𝟐+𝜶𝟐𝒓 𝟑+𝜶
𝟑𝒓 𝟒+𝜶𝟒𝒓𝟓
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 (𝟏𝟐𝟑𝟒 )(𝟑𝟒𝟏𝟐)(𝟐𝟏𝟑𝟒 )(𝟒𝟑𝟏𝟐)(𝟏𝟐𝟒𝟑 )(𝟑𝟒𝟐𝟏)(𝟐𝟏𝟒𝟑 )(𝟒𝟑𝟐𝟏)
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 (𝟏𝟐𝟑𝟒 )(𝟑𝟒𝟏𝟐)(𝟐𝟏𝟑𝟒 )(𝟒𝟑𝟏𝟐)(𝟏𝟐𝟒𝟑 )(𝟑𝟒𝟐𝟏)(𝟐𝟏𝟒𝟑 )(𝟒𝟑𝟐𝟏)
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.
Renato Betti – Politecnico di Milano
{ id }
id,,, 221
id,1
id,,,,,,, 3214321
Il gruppo di Galois
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
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)
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)
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.
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
Renato Betti – Politecnico di Milano
Teoria di Galois di Artin
estensione finita di Galois:KQ
)()(
)(
QGalHKMQ K
K
GalK
MaaaKKMGalKMQ K ,)(|:)(|
HHKK H |,)(|
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
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
