7. PROPOSIZIONE
1.
infatti da
ASS.2
da cui la tesi (si è usato il fatto che
è un gruppo).
2.
infatti da
ASS.2
, da cui, utilizzando punto 1, otteniamo
da cui la tesi.
3.
l'applicazione
è una biezione.
Questo è infatti esattamente il contenuto di
ASS.1
.
8. ESERCIZI
Negli esercizi si esaminano altre semplici conseguenze degli assiomi.
______
_______________
__
________________________