Definición axiomática de enteros

Question

Los números reales se pueden definir axiomáticamente (hasta isomorfismo) como un campo ordenado completo de Dedekind.

¿Cuál es una definición axiomática estándar similar de los números enteros?

¿Un anillo conmutativo ordenado con inducción positiva?

Preguntado el 1 de Mayo, 2010 por nbolton

Answer 1

2 Respuestas

Answer 2

29voto

Rizwan Kassim Puntos 106

Es el único anillo conmutativo ordenado cuyos elementos positivos están bien ordenados.

Respondido el 2 de Mayo, 2010 por Rizwan Kassim (106 Puntos )

Answer 3

0voto

nbolton Puntos 1351

Los enteros también pueden ser caracterizados como un grupo abeliano bien ordenado (Teorema 20.14 en "Álgebra Moderna" por Seth Warner).

Respondido el 29 de Enero, 2014 por nbolton (1351 Puntos )

Respuestas