Foros de matemática
15/12/2017, 08:41:34 pm *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: ¡Atención! Hay que poner la matemática con LaTeX, y se hace así (clic aquí):
 
 
Páginas: 1 [2]   Ir Abajo
  Imprimir  
Autor Tema: Aritmética de módulos y aplicación a criterios de divisibilidad  (Leído 20138 veces)
0 Usuarios y 1 Visitante están viendo este tema.
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.154

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #20 : 06/06/2010, 01:57:02 am »

si [texx]mcd (x,y)=1[/texx] entonces [texx]x\mid z\quad\wedge\quad y\mid z \quad\Longleftrightarrow\quad xy\mid z[/texx]


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

La agregaré.
En línea

pepito
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 1.620


Ver Perfil
« Respuesta #21 : 06/06/2010, 01:59:25 am »

Exacto (a ambos mensajes). Y otra de divisibilidad: [texx]a\mid bc\quad\wedge\quad (a:b)=1\quad\Rightarrow a\mid c[/texx]. Estas salen todas de la factorización en primos... pero buen, no me parece que esté de más listar las más importantes.
En línea

"...parecido pero nada que ver"
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.154

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #22 : 06/06/2010, 02:04:39 am »

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?
En línea

pepito
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 1.620


Ver Perfil
« Respuesta #23 : 06/06/2010, 02:19:41 am »

Una más mientras que pienso lo que dijiste:

[texx]p[/texx] es primo o 1 o -1 si y sólo si vale la implicación [texx]p|ab\quad\Rightarrow\quad p|a\quad\vee\quad p|b[/texx]

(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)).
En línea

"...parecido pero nada que ver"
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.154

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #24 : 06/06/2010, 02:27:04 am »

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.

 :rodando_los_ojos:

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".

En línea

pepito
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 1.620


Ver Perfil
« Respuesta #25 : 06/06/2010, 02:31:26 am »

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 [texx]p=1-p_1...p_n[/texx] no es 0, 1 ni -1, y que entonces es para algún k, [texx]p_k|p[/texx]. Como también es [texx]p_k|p_1...p_n=p-1[/texx], entonces [texx]p_k|p-(p-1)=1[/texx]*, entonces [texx]p_k[/texx] 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, [texx]a|b\quad\wedge\quad a|c\quad\Rightarrow\quad a|nb+mc\quad\forall m,n\in\mathbb{Z}[/texx]
En línea

"...parecido pero nada que ver"
pepito
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 1.620


Ver Perfil
« Respuesta #26 : 06/06/2010, 02:32:44 am »

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.
En línea

"...parecido pero nada que ver"
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.154

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #27 : 06/06/2010, 02:38:54 am »

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
En línea

cuberomeli23
Junior
**

Karma: +0/-0
Desconectado Desconectado

Sexo: Femenino
Costa Rica Costa Rica

Mensajes: 22


Meli


Ver Perfil
« Respuesta #28 : 12/06/2010, 01:29:18 pm »

Sería interesante un espacio para raices primitivas o logartimos discretos
En línea
Virgi7
Nuevo
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Femenino
Argentina Argentina

Mensajes: 4


Ver Perfil
« Respuesta #29 : 31/07/2011, 12:35:40 am »

Más que interesante el thread.

Me surgió una duda con respecto al criterio de divisibilidad por 7. Encontré que un número es divisible por 7 si al multiplicar por 2 la cifra de las unidades y al resultado se lo restamos al número que forman las restantes cifras, se obtiene 0 o múltiplo de 7.

Sea el número [texx]m=c_0 10^0+c_1 10^1+c_2 10^2+c_3 10^3+c_4 10^4+c_5 10^5+c_6 10^6+...+c_n 10^n[/texx]  (*)

De acuerdo a las congruencias módulo 7 de las potencias de 10, resulta que

[texx]m\equiv c_0+3c_1+2c_2-c_3-3c_4-2c_5+c_6+3c_7+...\pmod{7}[/texx]

De esto m es divisible por 7 si [texx]c_0+3c_1+2c_2-c_3-3c_4-2c_5+c_6+3c_7+...[/texx] también lo es.

Ahora bien, quisiera transformar esta expresión en otra equivalente de modo que se cumpla el criterio de divisibilidad expresado más arriba.

Para ello, multiplico por 3 esta expresión. Queda:

[texx]3c_0+2c_1-c_2-3c_3-2c_4+c_5+3c_6+2c_7+...[/texx]

Y la resto de la expresión decimal de partida de m (*):

[texx]c_1+c_2 10+c_3 10^2+c_4 10^3+c_5 10^4+...+c_n 10^{n-1}-2c_0[/texx]

que es a lo que quería llegar.

Entonces puedo decir que

[texx]m\equiv c_1+c_2 10+c_3 10^2+c_4 10^3+c_5 10^4+...+c_n 10^{n-1}-2c_0\pmod{7}[/texx]


Mi pregunta: ¿es correcto lo que hice? Si no lo fuera, ¿cuál es el error? Ojalá puedan ayudarme a despejar la duda. Gracias.
En línea
argentinator
Consultar la FIRMAPEDIA __________________________________________________________________________________________________________________
Administrador
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Argentina Argentina

Mensajes: 7.154

Vean mis posts activos en mi página personal


Ver Perfil WWW
« Respuesta #30 : 31/07/2011, 12:46:13 am »

No entiendo lo que has intentado hacer.

Estás partiendo de suponer que [texx](m-c_0)/10 - 2c_0[/texx] es múltiplo de 7,
y de ahí querrías probar que m es múltiplo de 7.

¿Y entonces?
En línea

Ignacio Larrosa
Moderador Global
Pleno*
*

Karma: +0/-0
Conectado Conectado

Sexo: Masculino
España España

Mensajes: 1.723


Ver Perfil WWW
« Respuesta #31 : 30/06/2017, 06:10:35 am »

Sección 4. Criterios de Divisibilidad

Divisibilidad por 11

Aquí tenemos [texx]\alpha=0[/texx] para la fórmula (*), y que [texx]10\equiv_{11} 10[/texx], [texx]100\equiv_{11} 1[/texx], y luego estos restos se repiten cíclicamente.

[texx]m\equiv_{11} \sum_{\beta=0}^\infty \sum_{j=0}^1 c_{2\beta+j}r_j,[/texx]

donde [texx]r_0=1, r_1=10[/texx].

Esto demuestra que  [texx]m[/texx] es divisible por 11 si y sólo si la suma de sus cifras pares más 10 veces la suma de sus cifras impares [texx]m[/texx] es múltiplo de 11.
Este criterio puede simplificarse un poco usando números negativos.
En efecto, observemos que [texx]10\equiv_{11}{-1}[/texx]. En ese caso, podemos tomar [texx]r_1=-1[/texx] en la fórmula anterior, y obtenemos el conocido criterio que dice que [texx]m[/texx] es múltiplo de 11 si y sólo si lo es la suma de sus cifras pares menos la suma de sus cifras impares.

Esto mismo se puede aplicar para la divisibilidad por [texx]b + 1\textrm{ en base }b[/texx]:

[texx]m\equiv_{b+1} \sum_{\beta=0}^\infty (-1)^{\beta} c_{\beta}[/texx]

Para nuestra aritmética habitual en base [texx]10[/texx] esto es interesante cuando [texx]b = 10^k,\; k\geq{}1[/texx]. Par [texx]k = 1[/texx] es el conocido criterio de divisibilidad por [texx]11[/texx].

Para [texx]k = 2[/texx] tenemos un criterio de divisibilidad por [texx]101\textrm{ en base }100[/texx], que traducido a base [texx]10[/texx] queda en sumar y restar alternativamente las cifras del número agrupadas de dos en dos, de derecha a izquierda.

Más interesante es el caso [texx]k = 3[/texx], pues [texx]1001 = 7\cdot{}11\cdot{}13[/texx]. Para saber si un número es divisible por [texx]7, 11\textrm{ o }13,[/texx] basta agrupar sus cifras de tres en tres a partir de las unidades y sumar y restar estos grupos alternativamente. Si el resultado es divisible por [texx]7, 11\textrm{ o }13,[/texx] el número de partida también lo será. Puede pensarse que no es muy práctico, pero en ocasiones si que lo es, como por ejemplo para los años:

¿Cuál es el resto de dividir [texx]2017\textrm{ entre }7, 11\textrm{ y }13[/texx]?  Como

[texx]2017\equiv_{1001}-2 + 017 = 15[/texx]

los restos de dividirlo por [texx]7, 11,\textrm{ y }13[/texx] son respectivamente [texx]1, 4\textrm{ y }2[/texx], y no es múltiplo de ninguno de ellos.

En cambio,

[texx]2093\equiv_{1001}-2 + 093 = 91 = 7\cdot{}13[/texx]

por lo que [texx]2093[/texx] es múltiplo de [texx]7\textrm{ y }13[/texx], aunque no de [texx]11[/texx]. Quizás le resulte de utilidad a alguno en unas olimpíadas matemáticas del año [texx]2093[/texx] ...

Saludos,
En línea

Daría todo lo que se por la mitad de lo que ignoro (R. Descartes)
O incluso por mucho menos ...
Páginas: 1 [2]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.1 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!