Teoria dei Gruppi

Gruppoide (A, ○) ○ = una operazione a caso

associativa

Semigruppo abeliano (A, ○)

semigruppo (A, ○)
Commutativa Associativa
Associativa
Commutativa

elemento neutro elemento neutro

monoide (A, ○) Monoide abeliano (A, ○)

Associativa Commutativa Associativa
Elemento Neutro Elemento Neutro
Commutativa

Inverso Inverso

GRUPPO (A, ○)
Associativa GRUPPO abeliano (A, ○)
Elemento Neutro Commutativa Associativa
Inverso Elemento Neutro
Inverso
Commutativa

∀a, b, c ∈ ℤ
Commutativa:
𝑎○𝑏○𝑐 = 𝑏○𝑎○𝑐 = 𝑏○𝑐○𝑎
Associativa:
𝑎 ○ 𝑏 ○ 𝑐 = 𝑎 ○ 𝑏 ○ 𝑐 = 𝑎 ○ (𝑏 ○ 𝑐)
Elemento Neutro:
∃! 𝑒 ∈ 𝐴 | ∀a ∈ A, 𝑎○𝑒 =𝑎
Inverso Not all heroes wear capes
∀ 𝑎 ∈ A, ∃ 𝑏 ∈ 𝐴| 𝑎○𝑏 =𝑒 Some wear pigeon masks
Enf
 Anelloide (A, +, •) Teoria dei Gruppi
(+) distribuitiva Parte 2

(+) associativa, commutativa, N.B: Puoi usare qualsiasi operazione

elem. neutro Qui uso addizione + e moltiplicazione •
(•) 0 annulla •

SEMIAnello (A, +, •) PSEUDOANELLO (A, +, •)

(A,+) Monoide abeliano (A,+) Gruppo abeliano
(A,•) Semigruppo (+) Inverso (A,•) Semigruppo
(+) distribuitiva (+) distribuitiva
(•) 0 annulla • (•) 0 annulla •

(•) Elemento neutro (•) Elemento neutro

SEMIAnello unitario (A, +, •) aNELLO (unitario) (A, +, •)

(A,+) Monoide abeliano (A,+) Gruppo abeliano
(A,•) Monoide (+) Inverso (A,•) Monoide
(+) distribuitiva (+) distribuitiva
(•) 0 annulla • (•) 0 annulla •
(•) Commutativa (•) Inverso (non in 0)

aNELLO (unitario) COMMUTATIVO (A, +, •) CORPO (A, +, •)

(A,+) Gruppo abeliano (A,+) Gruppo abeliano
(A,•) Monoide abeliano (A- {0},•) Gruppo
(+) distribuitiva (+) distribuitiva
(•) 0 annulla • (•) 0 annulla •

(•) Inverso Campo (A, +, •)

(non in 0) (A,+) Gruppo abeliano
(A- {0},•) Gruppo abeliano
(+) distribuitiva (•) Commutativa
(•) 0 annulla •