Rudimenti di Algebra: relazioni binarie, di equivalenza, strutture algebriche, gruppi, campi...

Qualcuno mi può far capire per bene le relazioni tra insiemi ad esempio la relazione binaria e quella di equivalenza e soprattutto come spiegare alla prof le strutture algebriche ,anelli , campi e gruppi

C'è da scrivere una dispensina! Con un po' di pazienza vediamo tutto insieme, ci vorrà un po'...

appena puoi l'importanet è che li capisco bene per lunedì che devo fare l'esame orale o almeno se vengo promosso allo scritto devo fare l'orale

Prima di lunedì c'è tempo, ma c'è anche molto lavoro da fare!

Partiamo dalle definizioni...

RELAZIONE BINARIA

Si definisce relazione binaria su un insieme un sottoinsieme del prodotto cartesiano di con sé stesso. Dato un elemento , si dice che sono in relazione tra loro mediante e si scrive .

Commento:

niente di complicato. Una relazione binaria è un insieme di coppie ordinate di elementi di un insieme. Per ogni coppia della relazione si suole dire che gli elementi della coppia sono in relazione tra loro mediante la relazione considerata.

Nota che la relazione come sottoinsieme del cartesiano di un insieme con sé stesso definisce automaticamente la regola che lega a due a due certi elementi dell'insieme.

Esempio:

Prendiamo . Una relazione binaria su è ad esempio



che si dice relazione identica e che si può definire come

.

---

RELAZIONE DI EQUIVALENZA

Alcune cose le trovi qui qui.

Tutte le altre le trovi qui. Esempi, esercizi, definizione...

---

Per ora mi fermo qui, leggi e medita, vorrei sapere cosa hai capito e cosa no. Poi passiamo a strutture algebriche, semigruppi, monoidi, gruppi, anelli, domini di integrità, campi...

si ok mi sono chiare queste cose

Ok, ora arriva il bello...

---

Premessa: con "operazione binaria" definita su un insieme intendiamo una applicazione



definita dal prodotto cartesiano di a . Nel seguito, con "insieme munito di un'operazione binaria" sottintenderemo che l'insieme sia chiuso rispetto all'operazione stessa.

---

STRUTTURA ALGEBRICA

Definizione: Una struttura algebrica è un qualsiasi insieme non vuoto munito di un'operazione (unaria,binaria o ennaria) (eventualmente, munito di più operazioni).

Commento: poco da dire. Una struttura algebrica è un'entità algebrica generalissima, basta avere un insieme e almeno un'operazione binaria definita sull'insieme.

Esempio:

Possiamo considerare come struttura algebrica dove e è l'operazione binaria su definita da per ogni .

---

SEMIGRUPPO

Definizione: chiamiamo semigruppo una qualsiasi struttura algebrica con una operazione binaria associativa, cioè tale che per ogni risulti



Commento: per avere un semigruppo, si considera un insieme su cui sia definita un'operazione binaria che gode della proprietà associativa. Stop. Nota che un semigruppo è sempre una struttura algebrica, mentre non vale il viceversa.

Esempio: l'operazione binaria definita in precedenza è associativa, infatti



e



quindi definito in precedenza è un semigruppo.

---

MONOIDE

Definizione: un monoide è un semigruppo munito di un elemento neutro rispetto a , cioè un elemento tale che per ogni risulta



Commento: un monoide è, sostanzialmente, una struttura algebrica dotata di un'operazione binaria associativa tale da avere un particolare elemento dell'insieme che funziona da identià rispetto all'operazione considerata.

Esempio 1: il semigruppo considerato precedentemente non è un monoide, perché non esiste alcun elemento dell'insieme tale da essere elemento neutro rispetto all'operazione

Esempio 2: l'insieme dei numeri naturali, zero incluso: dotato dell'operazione di somma standard , è un monoide, in quanto la somma è associativa e l'elemento neutro rispetto alla somma è .

Esempio 3: l'insieme dei numeri naturali, zero escluso: dotato dell'operazione di somma standard , non è un monoide, in quanto la somma è associativa ma non contiene l'elemento neutro rispetto alla somma.

Importante: ciò che trae spesso in inganno è pensare all'elemento neutro come a un elemento che appartiene/non appartiene all'insieme. Non è solo questo il punto: un elemento che è elemento neutro rispetto ad un'operazione potrebbe non esserlo rispetto ad un'altra.

Esempio 4: l'insieme dei numeri naturali, zero incluso: dotato dell'operazione binaria , , definita da



non è un monoide in quanto non contiene l'elemento neutro rispetto all'operazione .

---

Ho messo molta carne al fuoco, e alcuni punti potrebbero sembrare delle sottigliezze, ma sono cruciali per la comprensione dei successivi argomenti. Fammi sapere se è tutto chiaro...

Ciao a tutti!
Qualcuno può gentilmente spiegarmi in modo semplice le definizioni di: struttura algebrica, gruppo, anello e corpo? Ho cercato negli appunti d YM ma non ho capito comunque...
Grazie!

Ciao Pepe

in generale è buona norma esporre i propri dubbi nello specifico e non dire solamente la definizione che non si è capita, ma anche cosa nello specifico non si è capito è capito e perché.

La definizione di struttura algebrica la trovi poche righe sopra. Qui comincio con la definizione di

GRUPPO

Diciamo gruppo un insieme dotato di un'operazione binaria che soddisfa le seguenti proprietà:

1) è associativa, vale a dire che comunque presi risulta che .

2) Esiste un elemento neutro rispetto a in , che chiamiamo (in notazione moltiplicativa) o (in notazione additiva), cioè un elemento tale che per ogni risulta .

3) Esistenza dell'inverso: per ogni elemento esiste un elemento che sia inverso di rispetto a , ossia tale per cui .

---

In sintesi un gruppo è un monoide in cui tutti gli elementi sono invertibili rispetto all'operazione binaria considerata.

---

C'è anche uno speciale tipo di gruppi, i cosiddetti GRUPPI ABELIANI (o GRUPPI COMMUTATIVI), in cui l'operazione soddisfa le proprietà 1), 2), 3) ed è commutativa:

4) per ogni risulta che .

---

ESEMPI DI GRUPPI:

- dotato dell'usuale operazione di somma tra interi relativi è un gruppo, e in particolare è un gruppo abeliano. Allo stesso modo sono gruppi additivi , e

- dotato dell'usuale moltiplicazione tra numeri razionali NON è un gruppo, perché l'elemento non ammette inverso moltiplicativo in .

- , dove , dotato dell'usuale moltiplicazione tra numeri razionali è un gruppo.

---

Tutto chiaro fin qui?

Ciao Omega ho letto tutta la discussione, un dubbio banalissimo, ma come va letto il simbolo ?

Ciao Chiò

Il simbolo si usa per indicare una generica operazione di un gruppo. Proprio per questo si evitano simboli tipo i quali sono i simboli "standard" utilizzati per alcune specifiche operazioni.

Generalmente il simbolo lo si legge (almeno il mio professore e di conseguenza anche io l'ho sempre letto così) "star" proprio perché la sua forma ricorda quella di una stella