Strutture Algebriche Flashcards
Monoide
Un insieme G(*) è definito monoide se * associativa ed esiste El neutro
Gruppo
G(*) è un gruppo se * associativa, esiste El neutro e esiste anche il simmetrico
Gruppo abeliano
G(*) è un gruppo abeliano, se G è un gruppo e * associativa
Anello
A(,•) è un anello se A() è un gruppo abeliano, vale la proprietà associativa per il prodotto e vale la proprietà distributiva (ab)•c =a•cb•c
Anello commutativo
Se l’anello verifica anche la proprietà commutativa
Dominio
Se nell anello vale anche la legge di annullamento del prodotto
a•b=0==>a=0 v b=0
Corpo
A è un corpo se A è un anello unitario e ammette simmetrico per il prodotto
Campo
K è un campo se k è un corpo commutativo, ovvero:
1)k(+) è un gruppo abeliano
2)k-{0} (•) è un gruppo abeliano
3) ammette proprietà distributiva
Anello unitario
se A è un anello e ammette elemento neutro per il prodotto