|
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.
|