Automorfismo: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
→‎Esempi: rimossa l'affermazione che "l'unico autormorfismo di R è quello banale" perchè è falsa a meno che non si imponga la condizione aggiuntiva che rispetti l'ordine, chiarificato che il coniugio è l'unico automorfismo non banale di C che fissi gli elementi di R, e non R come insieme
Annullata la modifica 111181457 di 151.62.136.123 (discussione) Teorema 3 della referenza citata dice proprio il contrario....
Etichetta: Annulla
Riga 26:
*In [[algebra lineare]], un endomorfismo di uno [[spazio vettoriale]] ''V'' è un [[trasformazione lineare|operatore lineare]] ''V'' → ''V''. Un automorfismo è un operatore lineare invertibile su ''V''. Il gruppo di automorfismi di ''V'' è proprio il [[gruppo lineare generale]], GL(''V'').
 
*Un automorfismo di campi è un [[omomorfismo di anelli]] [[biiezione|biiettivo]] di un [[campo (matematica)|campo]] su sé stesso. Nel caso dei [[numero razionale|numeri razionali]], '''Q''', o dei [[numero reale|numeri reali]], '''R''', non esiste nessun automorfismo di campi non banale (diversoquesto dall'identità).segue dal Questofatto perchéche 0tali eautomorfismi 1[[funzione sono fissati per definizione emonotona|preservano l'immagine di tutti gli altri razionali ne rimane fissataordinamento]]). Nel caso dei [[numero complesso|numeri complessi]], '''C''', esiste un unico automorfismo non banale che mandimanda ogni numero reale'''R''' in se stesso'''R''': la [[complesso coniugato|coniugazione complessa]], ma esiste un numero infinito di automorfismi "selvaggi" (vedi la pubblicazione di Yale incitata più bibliografiaavanti). Gli automorfismi di campi sono importanti per la teoria delle [[estensione di campi|estensioni di campi]], in particolare per le [[estensione di Galois|estensioni di Galois]]. Nel caso di una estensione di Galois ''L''/''K'' il [[sottogruppo]] di tutti gli automorfismi di ''L'' che mandano ogni elemento di ''K'' in sé stesso è detto [[gruppo di Galois]] dell'estensione.
 
*L'insieme degli [[intero|interi]], '''Z''', considerato come un gruppo additivo, ha un unico automorfismo non banale: la negazione. Considerato come un [[anello (algebra)|anello]], invece, ha solo l'automorfismo banale. Parlando in generale, la negazione è un automorfismo per ogni [[gruppo abeliano]], ma non per un anello o per un campo.