Omomorfismi di Anelli

Messaggioda jinsang » 18/04/2019, 22:29

Salve,

Prendiamo $K$ campo,
$\phi:K->K$ omomorfismo di anelli (con omomorfismo di anelli intendo anche $\phi(1)=1$). Vorrei dire che $\phi$ è automorfismo ma non mi riesce mostrare la surgettività.
Il fatto che sia iniettivo segue dal fatto che gli unici ideali di un campo sono quelli banali e quindi deve essere che $Ker(\phi)={0}$.
Nel caso in cui il campo si possa vedere come spazio vettoriale di dimensione finita su $\mathbb{Q}$ o su $\mathbb{F_p}$ direi che posso risolvere la cosa dicendo che l'omomorfismo di anelli induce un'applicazione lineare $K->K$ come spazi vettoriali, ed essendo questo un endomorfismo iniettivo di uno spazio vettoriale di dimensione finita deve essere anche surgettivo.
Però non so se si può generalizzare questo discorso perché non so lavorare con spazi vettoriali di dimensione infinita.
Avatar utente
jinsang
Junior Member
Junior Member
 
Messaggio: 37 di 346
Iscritto il: 03/01/2017, 19:41

Re: Omomorfismi di Anelli

Messaggioda Stickelberger » 19/04/2019, 16:26

In generale, $\phi$ non e' un'automorfismo. Per esempio,
se $ZZ_p$ e' un campo di $p$ elementi, $F=ZZ_p(X)$
e $\phi$ e' dato da $\phi(g(X))=g(X^p)$.
Avatar utente
Stickelberger
Average Member
Average Member
 
Messaggio: 353 di 868
Iscritto il: 12/12/2010, 16:24

Re: Omomorfismi di Anelli

Messaggioda jinsang » 19/04/2019, 17:21

Grazie Stickelberger,
Bell'esempio, peccato però, speravo fosse una cosa vera...
Avatar utente
jinsang
Junior Member
Junior Member
 
Messaggio: 39 di 346
Iscritto il: 03/01/2017, 19:41

Re: Omomorfismi di Anelli

Messaggioda jinsang » 19/04/2019, 18:12

Una domanda:
Anche cose del tipo
$\phi : \mathbb{Q}(X)->\mathbb{Q}(X)$
$\phi(f(X))=f(X^2)$
Sono omomorfismi di anelli ma non automorfismi, giusto?
Cioè non è necessario che il "campo base" sia finito
Avatar utente
jinsang
Junior Member
Junior Member
 
Messaggio: 40 di 346
Iscritto il: 03/01/2017, 19:41

Re: Omomorfismi di Anelli

Messaggioda Stickelberger » 19/04/2019, 18:33

Si, hai ragione
Avatar utente
Stickelberger
Average Member
Average Member
 
Messaggio: 354 di 868
Iscritto il: 12/12/2010, 16:24


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: megas_archon e 1 ospite