Esercizi svolti sui gruppi

Alcuni esercizi svolti sulla teoria dei gruppi

Esercizio 1

L'insieme finito A={-3,-2,-1,0,1,2,3} è un gruppo rispetto all'operazione di addizione (+) dei numeri interi (Z)?

Per rispondere a questa domanda verifico se l'insieme A rispetto all'operazione di addizione soddisfa tutte le proprietà dei gruppi.

  1. Nell'insieme A l'operazione + soddisfa la proprietà associativa. $$ (a+b)+c = a+(b+c) \ \ \ \ \forall \ a,b,c \in A $$
  2. Nell'insieme A esiste l'elemento neutro (o elemento identità). E' l'elemento a=0. Qualsiasi elemento a di A sommato a zero dà come risultato l'elemento stesso $$ a+0=0+a=a $$
  3. Ogni elemento dell'insieme A ha un elemento inverso in A rispetto all'addizione. Ad esempio $$ 1+(-1)=0, 2+(-2)=0, 3+(-3)=0, 0+0=0 $$
  4. L'insieme A non è chiuso rispetto all'operazione di addizione + dei numeri interi. Per essere un gruppo in A, il risultato dell'addizione dovrebbe essere sempre incluso nell'insieme A. Questo però non accade. Ad esempio $$ 3+1=4 \notin A $$

Pur soddisfacendo le prime tre proprietà, il testo dell'esercizio chiedeva esplicitamente se l'insieme A formava un gruppo con l'addizione + dei numeri interi (Z).

Nota. L'addizione dei numeri interi (Z) non è l'addizione dell'aritmetica modulare.

Soluzione

Pertanto, l'insieme A non forma un gruppo rispetto all'addizione + dei numeri interi.

Esercizio 2

L'insieme dei numeri interi Z è un gruppo rispetto alla moltiplicazione?

Verifico se le proprietà dei gruppi è soddisfatta.

  1. Operazione binaria chiusa
    L'insieme Z è chiuso rispetto all'operazione di moltiplicazione. Il prodotto di due numeri interi qualsiasi è ancora un numero intero. $$ \forall a,b \in Z \ \Rightarrow \ a \cdot b \in Z$$
  2. Proprietà associativa
    Nell'insieme dei numeri interi Z l'operazione della moltiplicazione soddisfa la proprietà associativa. $$ (a \cdot b) \cdot c = a \cdot (b \cdot c) \ \ \ \ \forall \ a,b,c \in A $$
  3. Elemento neutro
    Nell'insieme Z esiste l'elemento neutro della moltiplicazione. E' l'elemento e=1. Qualsiasi elemento a di Z moltiplicato per 1 dà come risultato il numero stesso. $$ a \cdot 1=1 \cdot a=a $$
  4. Elemento opposto
    Non esiste un elemento moltiplicativo inverso per tutti i numeri interi. Ad esempio, l'inverso moltiplicativo di 3 è 1/3 che non appartiene all'insieme dei numeri interi. $$ 3 \cdot \frac{1}{3} = 1 $$ Pertanto, in questo caso l'elemento opposto non esiste.

Soluzione

In conclusione, l'insieme dei numeri interi Z non forma un gruppo con l'operazione di moltiplicazione.

Esercizio 3

L'insieme dei numeri interi Z è un gruppo rispetto all'addizione?

Per rispondere alla domanda verifico se le proprietà dei gruppi è soddisfatta.

  1. Operazione binaria chiusa
    L'insieme Z è chiuso rispetto all'operazione di addizione. La somma di due numeri interi qualsiasi è ancora un numero intero. $$ \forall a,b \in Z \ \Rightarrow \ a + b \in Z$$
  2. Proprietà associativa
    Nell'insieme dei numeri interi Z l'operazione dell'addizione soddisfa la proprietà associativa. $$ (a + b) + c = a + (b + c) \ \ \ \ \forall \ a,b,c \in A $$
  3. Elemento neutro
    Nell'insieme Z esiste l'elemento neutro dell'addizione. E' l'elemento e=0. Qualsiasi elemento a∈Z sommato a zero dà come risultato il numero stesso. $$ a + 0 =0 + a=a $$
  4. Elemento opposto
    Ogni numero intero (a) ha l'elemento opposto (-a) rispetto all'addizione nell'insieme dei numeri interi. $$ a + (-a) = (-a) +a = 0 $$

Tutte le proprietà dei gruppi sono soddisfatte.

Soluzione

In conclusione, l'insieme dei numeri interi Z è un gruppo (Z,+) rispetto all'addizione.

Esercizio 4

L'insieme A={1,-1,i,-i} composto da quattro numeri complessi forma un gruppo rispetto alla moltiplicazione?

Verifico se le proprietà dei gruppi sono soddisfatte.

  • Operazione binaria chiusa
    La moltiplicazione è un'operazione binaria chiusa nell'insieme A={1,-1,i,-i} $$ \forall a,b \in Z \ \Rightarrow \ a \cdot b \in Z$$

    Verifica. Ricordando che nei numeri complessi il quadrato dell'unità immaginaria i2=-1. $$ 1 \cdot 1 = 1 \in A $$ $$ 1 \cdot (-1) = -1 \in A $$ $$ -1 \cdot (-1) =-1 \in A $$ $$ i \cdot i = i^2 = -1 \in A $$ $$ i \cdot (-i) = -i^2 = - (-1) = 1 \in A $$ $$ -i \cdot (-i) = i^2 = -1 \in A $$ $$ 1 \cdot (i) = i \in A $$ $$ -1 \cdot (i) = -i \in A $$

  • Proprietà associativa
    Nell'insieme A l'operazione della moltiplicazione soddisfa la proprietà associativa. $$ (a \cdot b) \cdot c = a \cdot (b \cdot c) \ \ \ \ \forall \ a,b,c \in A $$
  • Elemento neutro
    Nell'insieme A esiste un elemento neutro rispetto alla moltiplicazione. E' l'elemento a=1 $$ a \cdot 1 =1 \cdot a=a \ \ \ \forall \ a \in A $$
  • Elemento opposto
    Ogni elemento dell'insieme A={1,-1,i,-i} ha un elemento opposto rispetto alla moltiplicazione. $$ a \cdot a^{-1} =1 \ \ \ \forall \ a \in A $$ Dove a-1 non è il reciproco di a bensì l'inverso moltiplicativo dell'elemento nel gruppo, ossia un elemento del gruppo tale che a·a-1 sia uguale all'elemento neutro (1).

    Verifica. L'inverso moltiplicativo di 1 è 1 $$ 1 \cdot 1 = 1 $$ L'inverso moltiplicativo di -1 è -1 $$ -1 \cdot -1 = 1 $$ L'inverso moltiplicativo di i è -i $$ i \cdot (-i) = -i^2 = -(-1) = 1 $$ L'inverso moltiplicativo di -i è i $$ -i \cdot i = -i^2 = -(-1) = 1 $$

Tutte le proprietà sono soddisfatte.

Soluzione

In conclusione, l'insieme A forma un gruppo (A,·) rispetto alla moltiplicazione.

Esercizio 5

Verificare se l'insieme finito dei numeri interi Z8={0,1,2,3,4,5,6,7} forma un gruppo rispetto all'operazione di addizione modulo 8 (+8).

  • Operazione binaria chiusa
    L'operazione di addizione modulo 8 (+8) è chiusa nell'insieme Z8. Se considero due elementi qualsiasi Z8 e li sommo con l'operazione +8, la somma appartiene all'insieme Z8. La tavola di composizione del gruppo (S,+8) è la seguente

    a +8 b 0 1 2 3 4 5 6 7
    0 0 1 2 3 4 5 6 7
    1 1 2 3 4 5 6 7 0
    2 2 3 4 5 6 7 0 1
    3 3 4 5 6 7 0 1 2
    4 4 5 6 7 0 1 2 3
    5 5 6 7 0 1 2 3 4
    6 6 7 0 1 2 3 4 5
    7 7 0 1 2 3 4 5 6
  • Proprietà associativa
    Nell'insieme Z8 l'operazione di addizione modulo 8 soddisfa la proprietà associativa. $$ (a + b) + c = a + (b + c) \ \ \ \ \forall \ a,b,c \in A $$
  • Elemento neutro
    Nell'insieme Z8 esiste l'elemento neutro dell'operazione di addizione modulo 8. E' l'elemento e=0. $$ a + 0 =0 + a=a $$
  • Elemento opposto
    Ogni elemento (a) dell'insieme Z8 ha un elemento opposto a-1 nell'insieme Z8 tale che $$ a + a^{-1} = a^{-1} +a = 0 $$

    Esempio. L'elemento opposto di a=7 e l'elemento a-1=1 perché 7 +8 1 = 0. L'elemento opposto di a=6 e l'elemento a-1=2 perché 6 +8 2 = 0. E via dicendo.

Tutte le proprietà dei gruppi sono soddisfatte

Soluzione

In conclusione, l'insieme finito di numeri interi Z8 forma un gruppo rispetto all'addizione modulo 8.

Esercizio 6

Trovare i sottogruppi propri e impropri del gruppo moltiplicativo (S,·) dove S={1,-1,i,-i} è composto da quattro numeri complessi

Il gruppo moltiplicativo (S,·) è composto un insieme di quattro numeri complessi S={1,-1,i,-i}

$$ S = \{1,-1,i,-i\} $$

Dove il simbolo i è l'unità immaginaria dei numeri complessi.

Elenco tutte le combinazioni possibili degli elementi dell'insieme S ossia il suo insieme delle parti.

Per prima cosa elimino tutti i sottoinsiemi S'⊆S che non includono l'elemento neutro u=1 perché sicuramente non sono sottogruppi di (S,·)

1 -1 i -i S' ⊆ S Nota
* * * * S'={1,-1,i,-i}  
* * *   S'={1,-1,i}  
* *   * S'={1,-1,-i}  
* *

 

  S'={1,-1}  
*   * * S'={1,i,-i}  
*   *   S'={1,i}  
*     * S'={1,-i}  
*       S'={1}  
  * * * S'={-1,i,-i} non c'è l'elemento neutro u=1
  * *   S'={-1,i} non c'è l'elemento neutro u=1
  *   * S'={-1,-i} non c'è l'elemento neutro u=1
  *     S'={-1} non c'è l'elemento neutro u=1
    * * S'={i,-i} non c'è l'elemento neutro u=1
    *   S'={i} non c'è l'elemento neutro u=1
      * S'={-i} non c'è l'elemento neutro u=1
        S'={} non c'è l'elemento neutro u=1

Poi individuo i sottogruppi impropri, ossi quelli in cui S'=S e S'={u}={1}

1 -1 i -i S' ⊆ S Nota
* * * * S'={1,-1,i,-i} sottogruppo improprio S'=S
* * *   S'={1,-1,i}  
* *   * S'={1,-1,-i}  
* *

 

  S'={1,-1}  
*   * * S'={1,i,-i}  
*   *   S'={1,i}  
*     * S'={1,-i}  
*       S'={1} sottogruppo improprio S'={u}={1}

Nei sottoinsiemi restanti S' verifico quali non sono chiusi rispetto alla moltiplicazione.

Sapendo che il quadrato dell'unità immaginaria è i2=-1

1 -1 i -i S' ⊆ S Nota
* * * * S'={1,-1,i,-i} sottogruppo improprio S'=S
* * *   S'={1,-1, i} -1·i = -i ∉ {1,-1,i}
* *   * S'={1,-1,-i} -1·(-i) = i ∉ {1,-1,-i}
* *

 

  S'={1,-1}  
*   * * S'={1,i,-i} i·i = i2=-1 ∉ {1,i,.i}
*   *   S'={1,i} i·i = i2=-1 ∉ {1,i}
*     * S'={1,-i} (-i)·(-i) = i2=-1 ∉ {1,-i}
*       S'={1} sottogruppo improprio S'={u}={1}

Ora devo capire se l'ultimo sottoinsieme in gioco S'={1,-1} è un sottogruppo oppure no.

Sapendo che

  1. S'={1,-1} include l'elemento neutro u=1
  2. S'={1,-1} è chiuso rispetto alla moltiplicazione

Verifico se soddisfa le restanti proprietà dei gruppi.

  • S'={1,-1} include l'elemento opposto di ogni suo elemento $$ 1 \cdot 1 = 1 = u $$ $$ -1 \cdot -1 = 1 = u $$
  • S'={1,-1} soddisfa la proprietà associativa della moltiplicazione $$ (a \cdot b) \cdot c = a \cdot (b \cdot c) \ \ \ \ \ \forall \ a,b,c \in {1,-1} $$

Tutte le proprietà dei gruppi sono soddisfatte.

Pertanto il sottoinsieme S'={1,-1} è un sottogruppo proprio di (S,·).

1 -1 i -i S' ⊆ S Nota
* * * * S'={1,-1,i,-i} sottogruppo improprio S'=S di (S,·)
* *

 

  S'={1,-1} sottogruppo proprio di (S,·)
*       S'={1} sottogruppo improprio S'={u}={1} di (S,·)

In conclusione, il gruppo moltiplicativo (S,·) ha tre sottogruppi di cui due sono impropri.

Esercizio 6bis

Trovare i generatori del gruppo ciclico (Z8,+8) dove Z8={0,1,2,3,4,5,6,7} rispetto all'addizione modulo 8

Verifico quali sono i sottogruppi generati da ogni singolo elemento.

elemento x sottogruppo generato da x ordine elemento
<0> {0} 1
<1> {0,1,2,3,4,5,6,7} 8
<2> {0,2,4,6} 4
<3> {3,6,1,4,7,2,5,0} 8
<4> {0,4} 2
<5> {5,2,7,4,1,6,3,0} 8
<6> {6,4,2,0} 4
<7> {7,6,5,4,3,2,1,0} 8

Gli elementi 1, 3, 5, 7 generano ogni elemento dell'insieme Z8. Pertanto, sono dei generatori del gruppo ciclico (Z8,+8) dove Z8={0,1,2,3,4,5,6,7} rispetto all'addizione modulo 8.

  • <1>= {0,1,2,3,4,5,6,7}=Z8
  • <3>= {3,6,1,4,7,2,5,0}=Z8
  • <5>= {5,2,7,4,1,6,3,0}=Z8
  • <7>= {7,6,5,4,3,2,1,0}=Z8

Esercizio 7

Verificare se il gruppo simmetrico dell'insieme S={1,2,3,4} è un gruppo abeliano oppure no.

L'insieme S={1,2,3,4} è composto da n=4 elementi

$$ S = \{ 1,2,3,4 \} $$

Un gruppo simmetrico è un gruppo formato dall'insieme Sn delle permutazioni degli elementi dell'insieme S rispetto all'operazione di composizione.

L'insieme delle permutazioni S4 è composto da n!=24 elementi.

σ Permutazione Notazione alternativa
σ1 1,2,3,4 (1)
σ2 2,1,3,4 (1,2)
σ3 3,2,1,4 (1,3)
σ4 4,2,3,1 (1,4)
σ5 1,3,2,4 (2,3)
σ6 1,4,3,2 (2,4)
σ7 1,2,4,3 (3,4)
σ8 2,3,1,4 (1,2,3)
σ9 3,1,2,4 (1,3,2)
σ10 2,4,3,1 (1,2,4)
σ11 4,1,3,2 (1,4,2)
σ12 3,2,4,1 (1,3,4)
σ13 4,2,1,3 (1,4,3)
σ14 1,3,4,2 (2,3,4)
σ15 1,4,2,3 (2,4,3)
σ16 2,3,4,1 (1,2,3,4)
σ17 2,4,1,3 (1,2,4,3)
σ18 4,1,2,3 (1,4,3,2)
σ19 3,1,4,2 (1,3,4,2)
σ20 3,4,2,1 (1,3,2,4)
σ21 4,3,1,2 (1,4,2,3)
σ22 3,4,1,2 (1,3)(2,4)
σ23 4,3,2,1 (1,4)(2,3)
σ24 2,1,4,3 (1,2)(3,4)

Esempio 1. La permutazione σ8 = 2,3,1,4 può essere scritta anche in forma tabellare come $$ \sigma_8 = \begin{pmatrix} 1 & 2 & 3 & 4 \\ 2 & 3 & 1 & 4 \end{pmatrix} $$ che equivale a dire $$ \sigma_8: S \rightarrow S \\ 1 \rightarrow 2 \\ 2 \rightarrow 3 \\ 3 \rightarrow 1 \\ 4 \rightarrow 4 $$ Essendoci un ciclo 1→2→3→1 e un'identità 4→4 posso scrivere la permutazione anche nella notazione alternativa come prodotto tra cicli disgiunti (senza elementi in comune) $$ ( 1,2,3) $$ che equivale a dire un ciclo 1→2→3→1 per un ciclo identità 4→4. Il ciclo identità non si scrive nella notazione perché è da ritenersi implicito.
Esempio 2. La permutazione σ22 = 3,4,1,2 posso scriverla anche in forma tabellare come $$ \sigma_8 = \begin{pmatrix} 1 & 2 & 3 & 4 \\ 3 & 4 & 1 & 2 \end{pmatrix} $$ che equivale a dire $$ \sigma_{22}: S \rightarrow S \\ 1 \rightarrow 3 \\ 2 \rightarrow 4 \\ 3 \rightarrow 1 \\ 4 \rightarrow 2 $$ Essendoci due cicli disgiunti 1→3→1 e 2→4→2 posso scrivere la permutazione anche nella notazione alternativa come prodotto tra cicli disgiunti $$ ( 1,3)(2,4) $$

L'insieme delle permutazioni S4 forma un gruppo simmetrico (S4,o) rispetto all'operazione di composizione o.

$$ (S_4,\text{o}) $$

Dove l'operazione di composizione è la funzione composta fog=f(g) di due permutazioni.

Ad esempio, la composizione σ3 o σ5 = σ35)

$$ \sigma_3 \ \text{o} \ \sigma_5 = (3,2,1,4) \ \text{o} \ (1,3,2,4) $$

ossia

$$ \sigma_3 \ \text{o} \ \sigma_5 = \begin{pmatrix} 1 & 2 & 3 & 4 \\ 3 & 2 & 1 & 4 \end{pmatrix} \ \text{o} \ \begin{pmatrix} 1 & 2 & 3 & 4 \\ 1 & 3 & 2 & 4 \end{pmatrix} $$

Nota. Nella notazione alternativa delle permutazioni come cicli disgiunti la composizione si scrive $$ \sigma_3 \text{o} \sigma_5 = (1,3) \ \text{o} \ (2,3) $$

Nella composizione fog=f(g) ho g=σ5=(1,3,2,4) e f=σ3=(3,2,1,4)

Quindi, devo prima svolgere la permutazione interna g e poi quella esterna f.

$$ 1 \rightarrow_g 1 \rightarrow_f 3 $$

$$ 2 \rightarrow_g 3 \rightarrow_f 1 $$

$$ 3 \rightarrow_g 2 \rightarrow_f 2 $$

$$ 4 \rightarrow_g 4 \rightarrow_f 4 $$

Il risultato della composizione è la permutazione (3,1,2,4)

$$ \sigma_3 \ \text{o} \ \sigma_5 = \begin{pmatrix} 1 & 2 & 3 & 4 \\ 3 & 2 & 1 & 4 \end{pmatrix} \ \text{o} \ \begin{pmatrix} 1 & 2 & 3 & 4 \\ 1 & 3 & 2 & 4 \end{pmatrix} = \begin{pmatrix} 1 & 2 & 3 & 4 \\ 3 & 1 & 2 & 4 \end{pmatrix} $$

ossia

$$ \sigma_3 \ \text{o} \ \sigma_5 = (3,2,1,4) \ \text{o} \ (1,3,2,4) = (3,1,2,4) $$

Nota. Nella notazione alternativa delle permutazioni come cicli disgiunti il risultato della composizione si scrive $$ \sigma_3 \ \text{o} \ \sigma_5 = (1,3) \ \text{o} \ (1,3,2) $$

Il risultato della composizione σ3 o σ5 è la permutazione (3,1,2,4) che a sua volta appartiene all'insieme Sn

$$ (3,1,2,4) = \sigma_9 \in S_n $$

Per dimostrare che (Sn,o) è un gruppo abeliano verifico se la proprietà commutativa è soddisfatta oppure no.

Ad esempio, calcolo la composizione σ5 o σ3 = σ53)

$$ \sigma_5 \ \text{o} \ \sigma_3 = (1,3,2,4) \ \text{o} \ (3,2,1,4) $$

ossia

$$ \sigma_5 \ \text{o} \ \sigma_3 = \begin{pmatrix} 1 & 2 & 3 & 4 \\ 1 & 3 & 2 & 4 \end{pmatrix} \ \text{o} \ \begin{pmatrix} 1 & 2 & 3 & 4 \\ 3 & 2 & 1 & 4 \end{pmatrix} $$

Nella composizione fog=f(g) ho g=σ3=(3,2,1,4) e f=σ5=(1,3,2,4)

Quindi, devo prima svolgere la permutazione interna g=σ3 e poi quella esterna f=σ5.

$$ 1 \rightarrow_g 4 \rightarrow_f 2 $$

$$ 2 \rightarrow_g 2 \rightarrow_f 3 $$

$$ 3 \rightarrow_g 1 \rightarrow_f 1 $$

$$ 4 \rightarrow_g 4 \rightarrow_f 4 $$

Il risultato della composizione è la permutazione (2,3,1,4)

$$ \sigma_5 \ \text{o} \ \sigma_3 = \begin{pmatrix} 1 & 2 & 3 & 4 \\ 1 & 3 & 2 & 4 \end{pmatrix} \ \text{o} \ \begin{pmatrix} 1 & 2 & 3 & 4 \\ 3 & 2 & 1 & 4 \end{pmatrix} = \begin{pmatrix} 1 & 2 & 3 & 4 \\ 2 & 3 & 1 & 4 \end{pmatrix} $$

ossia

$$ \sigma_5 \ \text{o} \ \sigma_3 = (1,3,2,4) \ \text{o} \ (3,2,1,4) = (2,3,1,4) $$

Il risultato della composizione σ5 o σ3 è la permutazione (2,3,1,4) che a sua volta appartiene all'insieme Sn

$$ (2,3,1,4) = \sigma_8 \in S_n $$

Conclusione

Il risultato della composizione σ3 o σ5 è la permutazione (3,1,2,4)

$$ \sigma_3 \ \text{o} \ \sigma_5 = (3,2,1,4) \ \text{o} \ (1,3,2,4) = (3,1,2,4) $$

Il risultato della composizione σ5 o σ3 è la permutazione (2,3,1,4)

$$ \sigma_5 \ \text{o} \ \sigma_3 = (1,3,2,4) \ \text{o} \ (3,2,1,4) = (2,3,1,4) $$

Essendo due risultati diversi, la composizione non soddisfa la proprietà commutativa

$$ \sigma_3 \ \text{o} \ \sigma_5 \ne \sigma_5 \ \text{o} \ \sigma_3 $$

In conclusione, il gruppo (S4,o) è un gruppo non abeliano perché non soddisfa la proprietà commutativa.

Nota. In generale tutti i gruppi simmetrici Sn di insiemi S con più di due elementi (n>2) sono gruppi non abeliani ossia gruppi non commutativi.

Esercizio 8

Verificare se il gruppo additivo (R,+) è omomorfo rispetto a se stesso tramite la relazione f:x→x2

$$ f:(R,+) \rightarrow (R,+) $$

Si parla di omomorfismo di gruppi da un gruppo (G,*) a un gruppo (H,#) tramite una relazione f

$$ f:G \rightarrow H $$

se per qualsiasi coppia di elementi a,b di G è soddisfatta la condizione

$$ \forall \ a,b \in G \Rightarrow f(a*b) = f(a) \# f(b) $$

In questo caso la funzione f da verificare è x2, gli insiemi G=H sono l'insieme dei numeri reali (R) e entrambi i gruppi coincidono (R,+).

Quindi l'operazione binaria da considerare è *=+ e #=+

$$ \forall \ a,b \in R \Rightarrow (a+b)^2 = (a)^2+(b)^2 $$

Il quadrato di un binomio (a+b)2 non è uguale alla somma dei quadrati

$$ (a+b)^2 \ne a^2 + b^2 $$

perché

$$ (a+b)^2 = a^2 + b^2 + 2ab $$

Pertanto, il gruppo additivo (R,+) non è omomorfo rispetto a se stesso tramite la funzione x→x2.

Esercizio 9

Verificare se il gruppo additivo (Z,+) è omomorfo rispetto al gruppo (Z,·) la relazione f:x→ix

Dove i è l'unità immaginaria dei numeri complessi

$$ f:(R,+) \rightarrow (R, \cdot) $$

Si parla di omomorfismo di gruppi da un gruppo (G,*) a un gruppo (H,#) tramite una relazione f

$$ f:G \rightarrow H $$

se per qualsiasi coppia di elementi a,b di G è soddisfatta la condizione

$$ \forall \ a,b \in G \Rightarrow f(a*b) = f(a) \# f(b) $$

In questo caso la funzione f da verificare è ix, gli insiemi G=H sono l'insieme dei numeri interi (Z) e i gruppi sono (Z,+) e (Z,·).

Quindi l'operazione binaria da considerare è *=+ e #=·

$$ \forall \ a,b \in Z \Rightarrow i^{a+b} = i^a \cdot i^b $$

Sapendo che per le proprietà delle potenze

$$ i^{a+b} = i^a \cdot i^b $$

Ne consegue che la relazione f(a*b) = f(a)#f(b) è vera per qualsiasi a,b∈Z

Pertanto, il gruppo additivo (Z,+) è omomorfo al gruppo (Z,·) la funzione x→ix.

Esempio. Considero i numeri a=2 e b=3 del gruppo additivo (Z,+). $$ f(a+b) = f(a) \cdot f(b) $$ L'applicazione che lega i due gruppi è f:x→ix $$ i^{(2+3)} = i^2 \cdot i^3 $$ $$ i^5 = i^5 $$ L'uguaglianza è vera ed è vera per qualsiasi altro valore di a e b.

E così via.

 


 

Segnalami un errore, un refuso o un suggerimento per migliorare gli appunti

FacebookTwitterLinkedinLinkedin
knowledge base

Gruppi