Teorema di isomorfismo: differenze tra le versioni

(→‎Primo teorema d'isomorfismo: Resa più chiara la distinzione tra ipotesi e tesi)
 
== Teoria dei numeri ==
In [[teoria dei numeri]], esiste il seguente '''teorema d'isomorfismo di Ax-Kochen'''. Il teorema afferma che se <math>(A,S,z)</math> e <math>(A',S',z')</math> sono [[terna di Peano|terne di Peano]] allora esiste una mappa φ:A→A<math>\varphi \colon A \to A</math> tale che:
 
* φ<math>\varphi</math> è biiettiva;
* φ<math>\varphi(z)=z'</math>;
* φ<math>\varphi(S(a))=S'(φ\varphi(a))</math>.
 
{{Portale|matematica}}
Utente anonimo