Teorema di isomorfismo: differenze tra le versioni
Vai alla navigazione
Vai alla ricerca
Contenuto cancellato Contenuto aggiunto
Teorema di isomorfismo |
m +{{wik}}+{{da aiutare}} |
||
Riga 1: | Riga 1: | ||
{{da aiutare|motivo=WND|data=dicembre 2005}} |
|||
⚫ | |||
⚫ | |||
Se (A,S,z) e (A',S',z') sono terne di Peano, |
Se (A,S,z) e (A',S',z') sono terne di Peano, |
Versione delle 17:51, 20 dic 2005
Teorema di isomorfismo
Se (A,S,z) e (A',S',z') sono terne di Peano, allora esiste una mappa f:A ----> A t.c. 1. f è biiettiva 2. f(z)=z' 3. f(S(a))=S'(f(a)