Aritmética de módulos y aplicación a criterios de divisibilidad

[argentinator]

si entonces

Esa propiedad andaba buscando en mi cabecita, y no me acordaba cuál era.
Gracias.

La agregaré.

[pepito]

Exacto (a ambos mensajes). Y otra de divisibilidad: . Estas salen todas de la factorización en primos... pero buen, no me parece que esté de más listar las más importantes.

[argentinator]

No, no está de más.
Pero en todo caso estaría bueno respetar el orden en que se suelen demostrar estas propiedades.

Yo me puse a escribir como loco, poniendo cosas "ciertas", pero el orden de los resultados... mmm

Por ejemplo, el teorema que dice que hay infinitos primos. ¿Necesita que esté demostrado previamente que un número compuesto, es divisible por algún primo?

[pepito]

Una más mientras que pienso lo que dijiste:

es primo o 1 o -1 si y sólo si vale la implicación

(y hay quien define así los números primos, y da el nombre de "irreducibles" a los que cumplen la definición más convencional (para mantener la nomenclatura de los anillos)).

[argentinator]

En Z, primos e irreducibles es lo mismo.
No sé si complicar en este hilo las cosas por ese lado.

Pero el resultado ese se puede agregar, sin hablar demasiado de "irreducibilidad".
Aunque la sutileza apareció cuando puse el Lema que dice que todo número tiene un divisor primo.

 

Lo que sí tengo claro es que este hilo tiene que quedar como un "recetario" completo de teoría de números en Z.

Pero no quiero ir demasiado más allá en la terminología o las ideas, para no confundir innecesariamente a quien no le interese más que la cuestión de "dividir en Z".

[pepito]

En cuanto a lo anterior, si vos querés usar esa demostración me parece que necesitás el lema que vos pusiste justo antes de ese teorema. No que todo número compuesto es divisible por un primo, sino que todo entero distinto de 1, 0 y -1 es divisible por algún primo. Probás que no es 0, 1 ni -1, y que entonces es para algún k, . Como también es , entonces *, entonces es una unidad, lo que no puede ser porque es primo.

Pero, podría haber otra demostración que no use este hecho, no sé.

*Es otra propiedad que se podría agregar,

[pepito]

En Z, primos e irreducibles es lo mismo.
No sé si complicar en este hilo las cosas por ese lado.

Nah, definirlo así es innecesario, seguro. Digo, para agregarlo como propiedad.

[argentinator]

Bien.
Iré haciendo los nuevos cambios cuando tenga los párpados más arriba, jeje.

Después habrá que agregar propiedades de prrmos, teoremas de Wilson, Fermat, las funciones que cuentan coprimos, y un largo etc... jeje

Hay mucho que decir, aún en las cuestiones básicos de teoría de números.
Pero va a quedar bueno, mejor que la Wikipedia espero.

Y si podemos de a poco ir agregando algunas demostraciones y ejercicios...

Buenas noches

[cuberomeli23]

Sería interesante un espacio para raices primitivas o logartimos discretos