Determinare se un gruppo è abeliano

Messaggioda antoxo » 16/04/2018, 11:02

Salve a tutti,
sto svolgendo il seguente esercizio:
Sia $∗:$ $ZZ_10$$× ZZ_10 → ZZ_10$ l’operazione definita da
$a ∗ b = a + b + 3.$
(1) Stabilire se l’operazione $∗$ è commutativa ed associativa.
(2) Determinare l’elemento neutro e stabilire se ($ZZ_10, ∗$) è un gruppo abeliano.
(3) Calcolare l’elemento $(3,5)^-2$


Ho svolto l'esercizio nella maniera che riporto qui:
(1) $a ∗ b = b ∗ a$
$a + b + 3 = b + a + 3 $
Ed è commutativa.

$(a ∗ b) ∗ c = a ∗ (b ∗ c)$
$a + b + c + 5 = a + b + c + 5$
Ed è associativa.

(2) $a ∗ e = ?$
$a + e + 3$
$e = a - a -3$
$e = -3$
L'elemento neutro è $-3$.

(3) $(3 ∗ 5)^-2$
$3 + 5 + 3 = 11$
$11 ≡ x (mod 10)$
Il resto della divisione tra 11 e 10 è 1, quindi $x = 1$
$1^-2 = 1$

A questo punto (sempre se sono riuscito a svolgere correttamente l'esercizio :| ) il mio dubbio è :
Come faccio a stabilire se $(ZZ_10, ∗)$ è un gruppo abeliano (come richiesto nel punto 2?)
antoxo
Starting Member
Starting Member
 
Messaggio: 12 di 26
Iscritto il: 04/04/2018, 18:30

Re: Determinare se un gruppo è abeliano

Messaggioda marco.ve » 17/04/2018, 14:22

Prova a leggerti la definizione di gruppo abeliano...
marco.ve
Junior Member
Junior Member
 
Messaggio: 141 di 374
Iscritto il: 09/08/2016, 18:11

Re: Determinare se un gruppo è abeliano

Messaggioda antoxo » 17/04/2018, 17:51

Un gruppo abeliano, o gruppo commutativo, è un gruppo la cui operazione binaria gode della proprietà commutativa: il gruppo $(G,∗)$ è abeliano se
$a ∗ b = b ∗ a$ $∀a,b ∈ G.$


Quindi devo semplicemente dimostrare che $∗$ è commutativa per poter affermare che $(ZZ_10, ∗)$ è un gruppo abeliano?
antoxo
Starting Member
Starting Member
 
Messaggio: 13 di 26
Iscritto il: 04/04/2018, 18:30

Re: Determinare se un gruppo è abeliano

Messaggioda @melia » 17/04/2018, 18:23

Sara Gobbato

732 chilometri senza neppure un autogrill
Avatar utente
@melia
Moderatore globale
Moderatore globale
 
Messaggio: 10661 di 21979
Iscritto il: 16/06/2008, 18:02
Località: Padova

Re: Determinare se un gruppo è abeliano

Messaggioda killing_buddha » 17/04/2018, 18:40

Per curiosità, cosa pensavi che fosse un gruppo abeliano?
- "Everything in Mathematics that can be categorized, is trivial" (P. J. Freyd), which should be understood as: "category theory is good ideas rather than complicated techniques".
- "I always disliked Analysis" (P. J. Freyd)
Avatar utente
killing_buddha
Cannot live without
Cannot live without
 
Messaggio: 2334 di 5766
Iscritto il: 03/05/2008, 17:33


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

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite