Sia $K$ un insieme e siano $+$ e $*$ due operazioni interne in $K$. Sia $0_{K}$ l'elemento neutro di $K$ rispetto a $+$ (i.e. $0_K + a = a = a + 0_K, forall a in K$) e sia $1_K$ l'elemento neutro di $K$ rispetto a $*$ (i.e. $1_K * a = a = a*1_K, forall a in K$).
Se $K$ è un campo si chiede che $1_K!=0_K$. Domanda: perché?
La mia risposta: perché se fosse $0_K=1_K$ allora risulterebbe $0_K=0_K * a = 1_K * a$ contro la definizione di $1_K$.
Nuova domanda: la mia risposta è sensata? Ne avete di altre?
Ultima domanda: se $K$ non fosse un campo, potrebbe essere $0_K=1_K$, oppure bisogna aggiungere qualche altra condizione oltre al non essere $(K,+,*)$ un campo? Oppure ho fatto una domanda senza senso?
Grazie.