gruppo ad elementi in $ZZ//p$

Messaggioda deserto » 25/12/2008, 21:10

Sia $G$ il gruppo delle matrici $2x2$ $((a,b),(c,d))$ dove $a,b,c,d$ sono interi modulo $p$ con $p$ numero primo e tali che $ad-bc!=0$. $G$ è un gruppo rispetto al prodotto di matrici. Qual'è l'ordine di $G$?
Sia poi $H$ il sottogruppo di $G$ definito da:
$H={((a,b),(c,d))inG | ad-bc=1}$.
Qual'è l'ordine di $H$?
(L'esercizio è tratto dallo Hernstein)


Nel caso $p=2$ si ha $a,b,c,d in {0,1}$ e tenendo conto della relazione $ad-bc!=0$ si ottiene:
$G={((1,1),(1,0)), ((1,1),(0,1)), ((1,0),(0,1)), ((0,1),(1,0)), ((0,1),(1,1)), ((1,0),(1,1)) }$ da cui segue che l'ordine di $G$ è $6$; mentre $H={ ((1,0),(0,1)) }$ con $|H|=1$.
Nel caso $p=3$ lo Hernstein afferma che si ha $|G|=48$ e questo lo potrei facilmente provare calcolandomi tutte le varie combinazioni con $a,b,c,d in {0,1,2}$.
Ma nel caso generale come posso procedere? ossia c'è un procedimento che mi faccia stabilire qual'è l'ordine di $G$ e di $H$ senza fare esplicitamente tutti i conti?
deserto
Junior Member
Junior Member
 
Messaggio: 27 di 324
Iscritto il: 31/10/2008, 17:31

Messaggioda alvinlee88 » 26/12/2008, 01:21

Prima o poi da questo problema ci passano tutti! Quando lo risolsi io l'anno scorso (e 2 minuti fa dato che non trovavo il quaderno ) ho usato praticamente solo combinatoria, e il fatto che $Z// pZ$ è un campo.
Come indizio, ti posso dire che può essere utile suddividere i casi
1)c'è almeno uno zero su una diagonale (su entrambe ovviamente non può esserci...) e
2) in entrambe le diagonali non compare alcuno zero.
Sicuramente ci saranno metodi più eleganti, senza fare molti conti, ma quello che ho usato ha il pregio di non richiedere particolari conoscenze. Buon lavoro!
Uno dei tanti motivi per cui odio l'Italia
http://www.youtube.com/watch?v=mbkQYskrf3w&hl=it
Avatar utente
alvinlee88
Senior Member
Senior Member
 
Messaggio: 899 di 1197
Iscritto il: 15/07/2007, 22:28

Messaggioda Thomas » 26/12/2008, 11:39

alvinlee88 ha scritto:Prima o poi da questo problema ci passano tutti! Quando lo risolsi io l'anno scorso (e 2 minuti fa dato che non trovavo il quaderno ) ho usato praticamente solo combinatoria, e il fatto che $Z// pZ$ è un campo.
Come indizio, ti posso dire che può essere utile suddividere i casi
1)c'è almeno uno zero su una diagonale (su entrambe ovviamente non può esserci...) e
2) in entrambe le diagonali non compare alcuno zero.
Sicuramente ci saranno metodi più eleganti, senza fare molti conti, ma quello che ho usato ha il pregio di non richiedere particolari conoscenze. Buon lavoro!


eheh... in pratica è l'ordine di $GL_n(F_p)$ con $n=2$, no?... si alvinlee88, ci passano tutti... e se non ci passano te lo mostrano i prof ai corsi di strutture :-D
Thomas
Advanced Member
Advanced Member
 
Messaggio: 1310 di 2223
Iscritto il: 28/09/2002, 21:44

Messaggioda killing_buddha » 26/12/2008, 12:20

Molto più semplice leggere qui (click).
Avatar utente
killing_buddha
Cannot live without
Cannot live without
 
Messaggio: 20 di 5766
Iscritto il: 03/05/2008, 17:33

Messaggioda alvinlee88 » 26/12/2008, 18:21

Thomas ha scritto:eheh... in pratica è l'ordine di $GL_n(F_p)$ con $n=2$, no?... si alvinlee88, ci passano tutti... e se non ci passano te lo mostrano i prof ai corsi di strutture :-D

proca ******* thomas è vero!!! ti giuro che non avevo notato questa cosa...che vergogna....la mia soluzione non sa nemmeno cosa siano i vettori linearmente indipendenti, nè altro di algebra lineare...è solo combinatoria...certo che però dovevo accorgermi che si trattava di quel gruppo...saranno stati i troppi pandori!! :-D
Uno dei tanti motivi per cui odio l'Italia
http://www.youtube.com/watch?v=mbkQYskrf3w&hl=it
Avatar utente
alvinlee88
Senior Member
Senior Member
 
Messaggio: 900 di 1197
Iscritto il: 15/07/2007, 22:28

Messaggioda Thomas » 26/12/2008, 18:30

alvinlee88 ha scritto:
Thomas ha scritto:eheh... in pratica è l'ordine di $GL_n(F_p)$ con $n=2$, no?... si alvinlee88, ci passano tutti... e se non ci passano te lo mostrano i prof ai corsi di strutture :-D

proca ******* thomas è vero!!! ti giuro che non avevo notato questa cosa...che vergogna....la mia soluzione non sa nemmeno cosa siano i vettori linearmente indipendenti, nè altro di algebra lineare...è solo combinatoria...certo che però dovevo accorgermi che si trattava di quel gruppo...saranno stati i troppi pandori!! :-D


va bè io lo dicevo tanto per dire... :-D...
del resto mi pare che quell'esercizio sull'Hernstein è ben prima degli spazi vettoriali, che probabilmente non conoscevi quando hai risolto l'esercizio... immagino che deserto sia nella stessa situazione e richiederà una soluzione tipo la tua...

ps: la digestione è un problema comune di questi tempi! :-D
Thomas
Advanced Member
Advanced Member
 
Messaggio: 1311 di 2223
Iscritto il: 28/09/2002, 21:44


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

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite