ideali destri e sinistri

Definizione

Un sottoinsieme $I\subset A$ si dice ideale sinistro di $A$ se:

$i)$ $I$ è un sottogruppo di $(A,+)$
$i{i}_s)$ $\forall x\in I,\forall a\in A$ si ha che $x\cdot a\in I$

Analogamente si definisce un ideale destro sostituendo $i{i}_s$ con:
$i{i}_d)$ $\forall x\in I,\forall a\in A$ si ha che $a\cdot x\in I$

Le proprietà $i{i}_s$ e $i{i}_d$ si dicono proprietà di assorbimento.

Risorse