Forum by laureateci.it
[ Home | REGOLE FORUM | Tutti i blog | Profilo | Registrati | CHAT | Discussioni Attive | Discussioni Recenti | Segnalibro | Msg privati | Sondaggi Attivi | Utenti | Download Informatica | Download ICD | Download TPS | Download Magistrale | Download Specialistica | Giochi | Cerca nel web | cerca | faq | RSS ]
Nome Utente:
Password:
Salva Password
Password Dimenticata?

 Tutti i Forum
 INFORMATICA - Primo Anno
 Matematica discreta
 Serie 6 n° 8 (Falcitelli)
 Nuova Discussione  Rispondi
 Versione Stampabile Bookmark this Topic Aggiungi Segnalibro
I seguenti utenti stanno leggendo questo Forum Qui c'è:
Autore Discussione Precedente Discussione Discussione Successiva  

ekkekkazz
Utente innocuo



Inserito il - 25/08/2006 : 00:23:51  Mostra Profilo  Visita l'Homepage di ekkekkazz Invia a ekkekkazz un Messaggio Privato  Rispondi Quotando
Ciao.
Questo esercizio lo iniziai a dicembre scorso e lo lasciai a metà.
Stavolta voglio finirlo tutto, però le cose non tornano.
Riesco a dimostrare che (G,*) è un sottogruppo di (S5,*), però mi blocco alla ricerca degli isomorfismi da (Z5*,*)->(G,*)...
non è che la traccia è sbagliata? Perchè se considero (Z5*,+)->(G,*) riesco a trovare i seguenti omomorfismi:
f(2^0)=f(1)=1 (identità di G)
f(2)=f(2)=(12)(45)
f(2^2)=f(4)=(1524)=(1425)
f(2^3)=f(6)=f(1)=1 (identità di G)
con la funzione che prende in input x e restituisce l'elemento di G con periodo uguale a x.
Però ugualmente non ci sono isomorfismi, perchè non è iniettiva la f.
Qualcuno l'ha risolto?

Posto tutta la traccia per chi vuole avventurarsi:
Si provi che G={(1425),(12)(45),(1524),1 (identità)} è sottogruppo ciclico di (S5,*) (qui * sta per la composizione delle permutazioni ovviamente). Si calcoli il periodo di ogni elemento di G, si trovino gli isomorfismi f:(Z5*,*)->(G,*).

Grazie.

ekkekkazz
Utente innocuo



Inserito il - 25/08/2006 : 11:16:00  Mostra Profilo  Visita l'Homepage di ekkekkazz Invia a ekkekkazz un Messaggio Privato  Rispondi Quotando
forse ci sono, chiedo conferma...
sappiamo che |(1425)|=4=|(1524)|,|(12)(45)|=2,|1|=1.
La f:(Z5*,*)->(G,*) è determinata da 2 e 3. Consideriamo il 2.

sia |f(2)|=1 ==> f(2)=1 identità di G; (omomorfismo banale)
sia |f(2)|=4 ==> f(2)=(1425)=(1524);
f(2^2)=f(2)^2=(1425)^2=(1524)^2=(12)(45);
f(2^3)=f(2)^3=(1425)^3=(1524)^3=(1425)=(1524);
f(2^4)=f(2)^4=(1425)^4=(1524)^4=1 identità di G;
quindi si potrebbe fare anche la stessa cosa considerando f(3) invece di f(2).

Questi sarebbero(?) gli omomorfismi, manca l'ingettività, quindi così com'è non è un isomorfismo... devo eliminare degli elementi(?), così mi rimangono...
f(2^2)=f(2)^2=(1425)^2=(1524)^2=(12)(45);
f(2^4)=f(2)^4=(1425)^4=(1524)^4=1 identità di G;
che sono isomorfismi(?).
Qualcuno li ha risolti o conosce qualcuno che li ha risolti?
Torna all'inizio della Pagina

ekkekkazz
Utente innocuo



Inserito il - 27/08/2006 : 01:30:40  Mostra Profilo  Visita l'Homepage di ekkekkazz Invia a ekkekkazz un Messaggio Privato  Rispondi Quotando
l'esercizio l'ho risolto... se a qualcuno serve la soluzione o qualche info sulla ricerca degli omomorfismi, mi mandi un mex prv... è lunga la storia...

mi ricordo che le serie di esercizi della falci erano 8 o sbaglio?
me ne ritrovo 7...

Modificato da - ekkekkazz in data
Torna all'inizio della Pagina
  Discussione Precedente Discussione Discussione Successiva  
 Nuova Discussione  Rispondi
 Versione Stampabile Bookmark this Topic Aggiungi Segnalibro
Vai a:
Forum by laureateci.it © 2002 - 2012 Laureateci Communications Torna all'inizio della Pagina
Il DB ha risposto in 0,17 secondi.

TargatoNA.it | SuperDeejay.Net | Antidoto.org | Brutto.it | Equiweb.it | Snitz Forum 2000