Gruppo ciclico

Messaggioda milos144 » 12/09/2017, 15:10

Nel gruppo $(Z^*7,x)$
posto $a=2$
Non capisco come $a^-1=4$
milos144
Junior Member
Junior Member
 
Messaggio: 48 di 487
Iscritto il: 27/09/2014, 16:55

Re: Gruppo ciclico

Messaggioda Pierlu11 » 13/09/2017, 12:31

Con $ a^(-1) $ si intende quell'elemento $ [n] $ che moltiplicato per $ [2] $ da l'unità che è $ [1] $, cioè tale che $ 2n-= _7 1 $ ovvero $ 2n-1=7h $ . Il primo che si ottiene, per $ h=1 $ , è proprio $ 4 $ .
Pierlu11
Average Member
Average Member
 
Messaggio: 355 di 936
Iscritto il: 27/01/2013, 22:49

Re: Gruppo ciclico

Messaggioda milos144 » 13/09/2017, 17:27

Tutto chiaro. All'inizio pensavo altra cosa. Grazie :smt023
milos144
Junior Member
Junior Member
 
Messaggio: 49 di 487
Iscritto il: 27/09/2014, 16:55

Re: Gruppo ciclico

Messaggioda Filottete09 » 18/09/2017, 15:12

Posto qui perché mi pare una buona occasione per avere qualche chiarimento.
Ho un quesito su un gruppo ciclico che mi lascia perplesso perché credo manchi qualche dato, oppure che mi stia sfuggendo qualcosa, vi spiego subito.

Dato un gruppo ciclico \(\displaystyle (G, \cdot) \) di ordine 14:
a) determinare i generatori e i sottogruppi;
b) Provare che l'applicazione \(\displaystyle f:G\rightarrow G \) definita da \(\displaystyle f(x)=x^2 \) è un endomorfismo di \(\displaystyle G \) e determinare \(\displaystyle Kerf \).

Dato che nel gruppo ciclico è definita l'operazione binaria del prodotto immagino che, dato un elemento generatore contenuto nel gruppo, tutti gli altri elementi non siano altro che delle potenze del generatore. In altre parole \(\displaystyle G=\{g^0, g^1, g^2, g^3...g^{13}\} \), o almeno credo, non sono sicuro che arrivi a 13 l'esponente.

Detto ciò non so se per risolvere i due punti del quesito io abbia bisogno di sapere esattamente quali sono questi elementi contenuti nel gruppo ciclico. Credo di aver bisogno di conoscerli per evincere quali numeri potrebbero generarli e quali numeri potrebbero avere come immagine l'elemento 0 (per determinare il nucleo).

Per quanto riguarda i sottogruppi non banali so che dovrebbero essere 2, in quanto i divisori di 14 sono 2 e 7; quindi i sottogruppi dovrebbero essere: \(\displaystyle H_1 \) di ordine 2; \(\displaystyle H_2 \) di ordine 7. Tuttavia non conoscendo i numeri contenuti in \(\displaystyle G \) non so come determinare questi sottogruppi.

Fatemi capire che strada imboccare che mi sono bloccato in maniera terribile.
Filottete09
Starting Member
Starting Member
 
Messaggio: 6 di 30
Iscritto il: 04/09/2017, 15:10

Re: Gruppo ciclico

Messaggioda Ernesto01 » 18/09/2017, 15:46

I gruppi ciclici di ordine uguale sono tutti isomorfi fra di loro, quindi per esempio il tuo $G$ è isomorfo a $ZZ_14:=ZZ/(14ZZ)$.
Ti consiglio inoltre di denotare gli elementi di $G$, per comodità, in questo modo $G={g^1,..,g^14}$ dove $g$ è un generatore di $G$.
$g^14$ è l'elemento neutro, per definizione di gruppo ciclico di ordine $14$ generato da $g$.
$H_2={g^7,g^14}$ è il tuo sottogruppo di ordine 2
$H_7={g^2,g^4,g^6,g^8,g^10,g^12,g^14}$ è quello di ordine 7

I generatori di $G$, sono tutti gli elementi che non appartengono nè ad $H_2$ nè ad $H_7$.
Quindi $g^1,g^3,g^5,g^9,g^11,g^13$

Per l'ultimo esercizio, dopo aver dimostrato che $x^2$ è un omomorfismo, puoi utilizzare il fatto che $kerf$ e $Imf$ è un sottogruppo
Ernesto01
Average Member
Average Member
 
Messaggio: 257 di 884
Iscritto il: 14/03/2015, 14:35

Re: Gruppo ciclico

Messaggioda Filottete09 » 19/09/2017, 00:52

Vediamo se ho fatto bene:
- l'applicazione \(\displaystyle f:G\rightarrow G \) è un endomorfismo in quanto dominio e codominio sono entrambi il gruppo ciclico \(\displaystyle G \). Ciò è provato dal fatto che vale la legge secondo cui \(\displaystyle f(g^n * g^m)=f(g^n)*f(g^m) \);
- per definizione il nucleo di un'applicazione lineare tra gruppi è costituito da tutti gli elementi che hanno come immagine l'elemento neutro del gruppo di arrivo, in questo caso 1 essendo \(\displaystyle * \) l'operazione definita nel gruppo \(\displaystyle G \), dunque \(\displaystyle Kerf=\{g^7\} \) in quanto \(\displaystyle f(g^7)=g^{14} \) che è l'elemento neutro.
Filottete09
Starting Member
Starting Member
 
Messaggio: 7 di 30
Iscritto il: 04/09/2017, 15:10

Re: Gruppo ciclico

Messaggioda Ernesto01 » 19/09/2017, 06:20

Devi dimostrare quella relazione che hai scritto, per il resto va beme
Ernesto01
Average Member
Average Member
 
Messaggio: 258 di 884
Iscritto il: 14/03/2015, 14:35


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

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite