Utilicemos wiki para definir que entendemos por congruencia:<\/p>\n
\nun t\u00e9rmino usado en la teor\u00eda de n\u00fameros, para designar que dos n\u00fameros enteros $a$ y $b$ tienen el mismo resto al dividirlos por un n\u00famero natural $m\\neq 0$, llamado el m\u00f3dulo; esto se expresa utilizando la notaci\u00f3n $$a \\equiv b (m).$$<\/em><\/p>\n<\/blockquote>\n
Esta definici\u00f3n nos permit\u00eda construir clases de equivalencia de n\u00fameros enteros, tambi\u00e9n llamadas clases de congruencia, que puede ser dotadas de un sistema aritm\u00e9tico. Los conjuntos de estas clases son los conocidos $\\mathbb{Z}_n$, que poseen estructura de anillo.<\/p>\n
Recordemos que estos conjuntos tambi\u00e9n puede ser cuerpos, pero solo si $n$ es primo.<\/p>\n
\n$\\mathbb{Z}_p$ es un cuerpo si, y solo si, $p$ es primo<\/em><\/p>\n<\/blockquote>\n
En la clase de hoy hemos recordados estos conjuntos y establecido alguna de sus propiedades. Como ejemplo os dejo estos enlaces:<\/p>\n
\n
- Congruencia<\/a><\/li>\n
- Aritm\u00e9tica modular<\/a><\/li>\n<\/ul>\n