Definizione di corpo.
Buongiorno, ho la seguente definizione di corpo :
Definizione:
$(A, +, times)$ anello non nullo.
$A$ corpo se e solo per definizione risulta: $A\\{0}$ stabile per $times$, e $(A\\{0},times)$ gruppo.
Vi chiedo, la definzione di essere $(A\\{0},times)$ gruppo, non implica la stabilità della stessa?
Saluti
Definizione:
$(A, +, times)$ anello non nullo.
$A$ corpo se e solo per definizione risulta: $A\\{0}$ stabile per $times$, e $(A\\{0},times)$ gruppo.
Vi chiedo, la definzione di essere $(A\\{0},times)$ gruppo, non implica la stabilità della stessa?
Saluti
Risposte
Infatti questa definizione di corpo sembra fatta apposta per fare schifo; viene data così per non dire "$A$ è un anello integro", che presupporrebbe $A$ commutativo. Per definire un corpo, è sufficiente chiedere che \(A\setminus\{0\} = A^\times\) (il gruppo delle unità -moltiplicative- di $A$).
"fulcanelli":
\(A\setminus\{0\} = A^\times\) (il gruppo delle unità -moltiplicative- di $A$).
intenti il gruppo degli elementi invertibili di $A$ ?