Teorema di isomorfismo: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 34:
== 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 <math>\varphi \colon A \to A'</math> tale che:
* <math>\varphi</math> è biiettiva;
|