Campi

[luca96]

Volendo avere un approccio più assiomatico con i quaternioni avevo deciso di rivedere meglio le definizioni di campi, spazi vettoriali, ecc... Mi è venuto un dubbio sui campi. In base alla definizione come si può dimostrare (se non è un ipotesi aggiuntiva di particolari strutture) che a*0=0?

[maurer]

[tex]a \cdot 0 = a \cdot (0 + 0) = a \cdot 0 + a \cdot 0 \Rightarrow a \cdot 0 = 0[/tex].

[luca96]

Ottimo, non ci avevo pensato Mi serviva anche per dimostrare che -1*a=-a