Quesito "semplice" su ordini omomorfismo/isomorfismo

Fai una domanda Tutte le categorie
algibro
algibro
12 gen 2018, 23:16
Ho un omomorfismo $f:(G,*) \rightarrow (\bar{G}, \star)$.
Se $a$ è un elemento di $G$, siano $o \langle a \rangle =n$ e $o \langle f(a) \rangle =m$.
Voglio provare che l'ordine di $f(a)$ divide l'ordine di $a$.
Per l'omomorfismo posso scrivere $(f(a))^m= \underbrace{f(a) \star f(a) \star ... \star f(a) }_{m \ \mbox{volte}} = f( \ \underbrace{a \cdot a \cdot ... \cdot a}_{m \ \mbox{volte}} \ )=f(a^m)=1_{\bar{G}}$.
Così ho $f(a^n)=f(1_G)=1_{\bar{G}}=f(a^m)$ e per il teorema della divisione euclidea $m=nq+r$ per opportuni $q,r \in ZZ$, con $0<=r Applicando a ritroso il procedimento di prima $f(a^r)=f(a)^r=1_{\bar{G}}$ con $r
Sono insicuro su due punti. Sono abituato a vedere contraddetto l'intero che denota l'ordine su $n$, mentre qui "mi trovo costretto" a contraddirla su $m$. E qui si collega il secondo dubbio, se $f$ fosse un isomorfismo avrei che se $f(a^n)=f(a^m) \ Rightarrow a^n=a^m$ e così potrei concludere che $n|m$ (anzi di più, credo, $n=m$ !) ma in questo caso di sopra mi chiedo se sto abusando dell'ipotesi per cui $n
Risposte
algibro
algibro
17 gen 2018, 22:25
In attesa di conferme o meno sposto lo stesso quesito sul gruppo $(Aut(G), \circ)$.
Sia $f \in Aut(G)$ e sia $a \in G$.
Supponiamo sia $o \langle a \rangle = n$ e $o \langle f(a) \rangle = m$.
Ho $f(a^n)=1_G=(f(a))^m=f(a^m)$, ma $Aut(G)$ è un sottogruppo di $Sym(G)$ e dunque $f$ è certamente iniettiva.
Allora da $f(a^n)=f(a^m)$ deve seguire che $a^n=a^m$ e quindi $o \langle a \rangle = o \langle f(a) \rangle$.
Può andare ?
killing_buddha
killing_buddha
17 gen 2018, 23:02
Non capisco la tua perplessità, la dimostrazione si fa così. Se $a^n=1$, allora $f(a)^n=f(1)=1$. Questo implica che $n = qm$.
algibro
algibro
18 gen 2018, 22:55
"killing_buddha":
Non capisco la tua perplessità...


nemmeno io, ora :D . Mi ero perso in un bicchier d'acqua. Grazie mille.
Rispondi
Per rispondere a questa discussione devi prima effettuare il login.