Autor Tema: ¿Qué hipótesis me estoy olvidando para decir que \(x_0=a^{\varphi(n)-1}b\)?

0 Usuarios y 1 Visitante están viendo este tema.

07 Febrero, 2019, 04:56 am
Leído 4475 veces

manooooh

  • Matemático
  • Mensajes: 2,983
  • País: ar
  • Karma: +1/-0
  • Sexo: Masculino
Hola!

En mi mente tengo establecido lo siguiente, que sé que no es cierto en general:

Sea la ecuación de congruencia \( ax\equiv b\pmod n \). Entonces la solución principal es

\( x_0=a^{\varphi(n)-1}b\pmod n, \)

donde \( \varphi(n) \) es la función de Euler.


También sé que la solución general es \( x=x_0+(n/d)k \), donde \( k\in\Bbb Z \).



Sin embargo, con este ejemplo falla (*):

\( 2x\equiv2\pmod4. \)

Primero, ¿tiene solución? Sí, porque por una conocida propiedad, \( d=\gcd(2,4)=2 \) y \( 2\mid4 \), por lo que existe solución principal y son \( 2 \).

Sin embargo, cuando trato de hallar \( x_0 \) me encuentro con que vale \( 0 \):

\( \varphi(4)=2 \), entonces

\( x_0=2^{2-1}2=4\equiv0\pmod4. \)

Por tanto, la solución general es

\( x=0+(4/2)k=2k,\;k\in\Bbb Z, \)

pero esto es FALSO porque si por ejemplo \( k=1 \) tenemos \( x=2 \), donde \( 2\cdot2=4\equiv0\not\equiv4\pmod4 \).



En realidad, donde yo escribí

\( x_0=a^{\varphi(n)-1}b\pmod n \)

vi que se escribe

\( x_0=a^{\varphi(n)-1}b, \)

pero como a veces escribir esta 2da forma está mal he concluido que la correcta sería la 1ra. ¿Por qué lo hice? Consideremos este ejemplo donde yo particularmente no conozco otra forma que NO sea la mencionada más arriba:

\( 2x+5\equiv7\pmod{15}. \)

Podemos restar \( 5 \) a ambos miembros, entonces \( 2x\equiv2\pmod{15} \). Luego aplicamos la definición de solución particular:

\( x_0=a^{\varphi(n)-1}b\pmod n, \)

o sea

\( x_0=2^{\varphi(15)-1}2\pmod{15}=2^72=256\pmod{15}=1\pmod{15}. \)

Luego la solución general es \( x=x_0+(n/d)k=1+15k \), \( k\in\Bbb Z \) (esto en realidad no importa para esta pregunta que planteo).



Como ven, por un lado funciona y por el otro no... ¿qué está ocurriendo? ¿Qué condiciones me faltan para asegurar que la solución principal SIEMPRE será \( x_0=a^{\varphi(n)-1}b\pmod n \)?

¿Acaso será imponer que \( \gcd(a,n)=1=(a,n) \) (o sea que el máximo común divisor entre \( a \) y \( n \) sea \( 1 \), lo que implica que \( a \) y \( n \) son coprimos)?

Gracias!
Saludos

P.D. Otra duda. Si tenemos \( ax\equiv b\pmod x \) y queremos dividir a toda la ecuación por \( m \) (por cuestiones de simplicidad), ¿qué condiciones nos aseguran que \( ax\equiv b\pmod x \) es equivalente a \( \frac amx\equiv\frac bm\pmod x \)? ¿Que \( m\in\Bbb Z\setminus\{0\} \), \( \frac am,\frac bm\in\Bbb Z \) y que \( \gcd(a,n)=1 \) (\( a \) y \( n \) sean coprimos)?



(*) ¡Acabo de darme cuenta que también falla eliminando \( \pmod n \)! Si quitamos \( \pmod n \), llegamos a que \( x_0=4 \), lo que sería \( x=4+2k \), pero esto también es falso, porque si por ejemplo \( k=0 \) entonces \( x=4\implies 2\cdot4=8\equiv0\not\equiv2\pmod4 \). ¿También falla la fórmula que les propongo? ¿Está mal o faltan condiciones?

07 Febrero, 2019, 09:55 am
Respuesta #1

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 47,026
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino
Hola

 La fórmula funciona si \( d=mcd(a,n)=1 \). En otro caso tienes que dividir la ecuación por \( d \) y trabajar \( mod (n/d) \). Por ejemplo para

\( 2x=2 \) mod \( 4 \)

 Tienes \( mcd(2,4)=2 \). Entonces resuelves:

 \( x=1 \) mod \( 2 \)

 de donde \( x_0=2^{\varphi(2)-1}=1 \).

 La solución general es \( 1+2k. \)

Saludos.

07 Febrero, 2019, 11:58 am
Respuesta #2

manooooh

  • Matemático
  • Mensajes: 2,983
  • País: ar
  • Karma: +1/-0
  • Sexo: Masculino
Hola

¡Al final resultaba que faltaba mencionar que debían ser coprimos!

¿Qué hay de lo rojo en?:

\( x_0=a^{\varphi(n)-1}b
\color{red}\pmod n \)

¿Debe ir siempre o no? ¿En qué casos va y en cuáles no?

Gracias y saludos

07 Febrero, 2019, 12:20 pm
Respuesta #3

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 47,026
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino
Hola

\( x_0=a^{\varphi(n)-1}b
\color{red}\pmod n \)

¿Debe ir siempre o no? ¿En qué casos va y en cuáles no?

Da igual. Si \( x_0 \) es una solución de la ecuación cualquier \( x_0+kn  \)también lo es.

Saludos.

07 Febrero, 2019, 12:21 pm
Respuesta #4

manooooh

  • Matemático
  • Mensajes: 2,983
  • País: ar
  • Karma: +1/-0
  • Sexo: Masculino
¿Qué hay de?:

P.D. Otra duda. Si tenemos \( ax\equiv b\pmod x \) y queremos dividir a toda la ecuación por \( m \) (por cuestiones de simplicidad), ¿qué condiciones nos aseguran que \( ax\equiv b\pmod x \) es equivalente a \( \frac amx\equiv\frac bm\pmod x \)? ¿Que \( m\in\Bbb Z\setminus\{0\} \), \( \frac am,\frac bm\in\Bbb Z \) y que \( \gcd(a,n)=1 \) (\( a \) y \( n \) sean coprimos)?

Saludos

07 Febrero, 2019, 12:24 pm
Respuesta #5

feriva

  • Matemático
  • Mensajes: 9,065
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino
  • No soy matemático, eso es una etiqueta.


¿Acaso será imponer que \( \gcd(a,n)=1=(a,n) \) (o sea que el máximo común divisor entre \( a \) y \( n \) sea \( 1 \), lo que implica que \( a \) y \( n \) son coprimos)?



Hola, manooooh, buenos días.

Viene impuesto de fábrica, es condición del enunciado del teorema de Euler (y también del pequeño teorema de Fermat, que es un caso particular).

https://es.wikipedia.org/wiki/Teorema_de_Euler

Saludos.

07 Febrero, 2019, 12:25 pm
Respuesta #6

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 47,026
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino
Hola

¿Qué hay de?:

P.D. Otra duda. Si tenemos \( ax\equiv b\pmod x \) y queremos dividir a toda la ecuación por \( m \) (por cuestiones de simplicidad), ¿qué condiciones nos aseguran que \( ax\equiv b\pmod x \) es equivalente a \( \frac amx\equiv\frac bm\pmod x \)? ¿Que \( m\in\Bbb Z\setminus\{0\} \), \( \frac am,\frac bm\in\Bbb Z \) y que \( \gcd(a,n)=1 \) (\( a \) y \( n \) sean coprimos)?

Supongo que querías poner \( ax\equiv b\pmod n \). Si \( m \) es coprimo con \( n \) entonces equivale a:

\( am^{-1}x\equiv bm^{-1}\pmod n \)

donde \( m^{-1} \) es el inverso de \( m \) en \( Z_n \), es decir, verifica \( mm^{-1}\equiv 1 \) mod \( n \).

Saludos.

07 Febrero, 2019, 12:27 pm
Respuesta #7

manooooh

  • Matemático
  • Mensajes: 2,983
  • País: ar
  • Karma: +1/-0
  • Sexo: Masculino
Hola

Da igual. Si \( x_0 \) es una solución de la ecuación cualquier \( x_0+kn  \)también lo es.

No entiendo.

Pensé que debía ir para que la solución general tenga los coeficientes dentro de \( \Bbb Z_n \), pero si decís que \( \pmod n \) puede ir o no, entonces esto deja de cumplirse.

Ya sé que agregándole eso o no la respuesta sigue estando bien, pero ¿cuál creés que sería lo más conveniente para un estudiante? ¿Dejarlo o no? Si el enunciado del ejercicio es el que he escrito, ¿lo escribirías o te da igual?

Saludos

07 Febrero, 2019, 12:33 pm
Respuesta #8

manooooh

  • Matemático
  • Mensajes: 2,983
  • País: ar
  • Karma: +1/-0
  • Sexo: Masculino
Hola

Supongo que querías poner \( ax\equiv b\pmod n \). Si \( m \) es coprimo con \( n \) entonces equivale a:

\( am^{-1}x\equiv bm^{-1}\pmod n \)

donde \( m^{-1} \) es el inverso de \( m \) en \( Z_n \), es decir, verifica \( mm^{-1}\equiv 1 \) mod \( n \).

Sí, quería poner eso. Gracias.

Uf, qué complicado suena eso. Prefiero quedarme con:

La fórmula funciona si \( d=mcd(a,n)=1 \). En otro caso tienes que dividir la ecuación por \( d \) y trabajar \( mod (n/d) \). Por ejemplo para

ya que con esas condiciones NO puede resolverse, por ejemplo, \( 2x\equiv2\pmod4 \) (si quiero dividir por \( 2 \) no puedo ya que no es coprimo con \( 4 \)).

Saludos

07 Febrero, 2019, 12:40 pm
Respuesta #9

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 47,026
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino
Hola

Ya sé que agregándole eso o no la respuesta sigue estando bien, pero ¿cuál creés que sería lo más conveniente para un estudiante? ¿Dejarlo o no? Si el enunciado del ejercicio es el que he escrito, ¿lo escribirías o te da igual?

A mi me gustaría que el estudiante entendiese que es indiferente, dado que estamos buscando UNA solución particular. Fíjate que el poner mod \( n \) o no no tiene nada que ver con tomar un respresentante entre \( 0 \) y \( n-1 \).

Tan correcto es:

\( x\equiv 129 \) mod \( 5 \) como \( x\equiv 4 \) mod \( 5 \)

Otra cosa es que se más manejable considerar respresentantes lo más pequeños posibles.

Igualmente si pones:

\( x_0\equiv 4 \) mod \( 5 \)

me gustaría que el estudiante supiese que ahí decimos que \( x_0 \) es cualquier número de la forma \( 4+5k \), mientras que si pones \( x_0=4 \), entonces decimos que \( x_0 \) es ese número y no otro.

Uf, qué complicado suena eso. Prefiero quedarme con:

La fórmula funciona si \( d=mcd(a,n)=1 \). En otro caso tienes que dividir la ecuación por \( d \) y trabajar \( mod (n/d) \). Por ejemplo para

ya que con esas condiciones NO puede resolverse, por ejemplo, \( 2x\equiv2\pmod4 \) (si quiero dividir por \( 2 \) no puedo ya que no es coprimo con \( 4 \)).

Pero eso es diferente. Ahí lo que usamos es que si tenemos \( ax\equiv b\pmod n \) y \( d=mcd(a,n) \) divide a \( b \) (en otro caso no tiene solución la ecuación), ésta equivale a:

\( (a/d)x\equiv (b/d)\pmod (n/d) \)

Saludos.

07 Febrero, 2019, 12:44 pm
Respuesta #10

manooooh

  • Matemático
  • Mensajes: 2,983
  • País: ar
  • Karma: +1/-0
  • Sexo: Masculino
Hola feriva, buenos días :)

Viene impuesto de fábrica, es condición del enunciado del teorema de Euler (y también del pequeño teorema de Fermat, que es un caso particular).

https://es.wikipedia.org/wiki/Teorema_de_Euler

¡Qué interesante, gracias!

Todavía sigo esperando que explícita o implícitamente alguien haga alusión a la fórmula \( x_0=a^{\phi(n)-1}b \). Me parece una fórmula muy bonita, pero no la encontré por ningún lado, aunque esté lo del teorema de Euler.

¿Tienen enlaces para compartir donde aparezca esa fórmula? ¿Cómo se dedujo?

He revisado varios enlaces y nada, no aparece, lo que me extraña.

Saludos

07 Febrero, 2019, 12:55 pm
Respuesta #11

manooooh

  • Matemático
  • Mensajes: 2,983
  • País: ar
  • Karma: +1/-0
  • Sexo: Masculino
Hola

A mi me gustaría que el estudiante entendiese que es indiferente, dado que estamos buscando UNA solución particular. Fíjate que el poner mod \( n \) o no no tiene nada que ver con tomar un respresentante entre \( 0 \) y \( n-1 \).

Tan correcto es:

\( x\equiv 129 \) mod \( 5 \) como \( x\equiv 4 \) mod \( 5 \)

Otra cosa es que se más manejable considerar respresentantes lo más pequeños posibles.

Igualmente si pones:

\( x_0\equiv 4 \) mod \( 5 \)

me gustaría que el estudiante supiese que ahí decimos que \( x_0 \) es cualquier número de la forma \( 4+5k \), mientras que si pones \( x_0=4 \), entonces decimos que \( x_0 \) es ese número y no otro.

Claro. A fin de cuentas lo que se pide es la solución general. Mi pregunta es, ¿vale la pena restringirlo o no? Porque ahora me doy cuenta que restringiendo la solución principal es un trabajo más, ya que si \( x_0=295020 \) y trabajamos con los enteros módulo \( 28 \) hay que hacer un trabajo in tanto pesado.

De todas formas, creo que la respuesta debe ser hallar la solución general y no solamente la principal. Con respecto a esto el profesor escribió:

""No hay soluciones particulares y generales, sino "PRINCIPALES" son las clases de equivalencia, que cada una tiene infinitos elementos. Esas deben dar, las clases.""

Ahí estás diciendo que hay que hallar la solución general, ¿verdad?

(Igual creo que lo común es solamente hallar la principal, pero bueno, es una apreciación personal).

Pero eso es diferente. Ahí lo que usamos es que si tenemos \( ax\equi b\pmod n \) y \( d=mcd(a,n) \) divide a \( b \) (en otro caso no tiene solución la ecuación), ésta equivale a:

\( (a/d)x\equiv (b/d)\pmod (n/d) \)

Sisi, claro. Es lo que usaste para resolver la ecuación. Lo que digo es que dividir por un número a ambos miembros solamente parece más difícil que aplicar lo que aplicaste. Pensé que iba a ser incluso más fácil, pero me quedo con tu resolución.

Saludos

07 Febrero, 2019, 12:57 pm
Respuesta #12

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 47,026
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino
Hola

Todavía sigo esperando que explícita o implícitamente alguien haga alusión a la fórmula \( x_0=a^{\phi(n)-1}b \). Me parece una fórmula muy bonita, pero no la encontré por ningún lado, aunque esté lo del teorema de Euler.

¿Tienen enlaces para compartir donde aparezca esa fórmula? ¿Cómo se dedujo?

Es consecuencia directa del Teorema de Euler. Si \( a,n \) son coprimos:

\( a^{\varphi(n)}=1 \) mod \( n \)

Por tanto si  \( x_0=a^{\varphi(n)-1}b \):

\( ax_0=aa^{\varphi(n)-1}b=a^{\varphi(n)}b=b \) mod \( n \)

Saludos.

07 Febrero, 2019, 01:05 pm
Respuesta #13

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 47,026
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino
Hola

Ahí estás diciendo que hay que hallar la solución general, ¿verdad?

Depende de si nos interesa, de si nos la piden. De manera precisa para evitar equívocos el problema se puede enunciar así:

Halla todos los \( x\in \mathbb{Z} \) tales que \( ax\equiv b\pmod n \)

ó

Hallar todos los \( x\in \mathbb{Z}_n \) (o los \( x\pmod n \)) tales que \( ax\equiv b\pmod n \)

Referido a la ecuación \( 2x\equiv 2\pmod 4 \) en el primer caso las soluciones serían \( 1,3 \) y en el segundo \( \{1+3k|k\in  \mathbb{Z}\} \)

Saludos.

07 Febrero, 2019, 01:21 pm
Respuesta #14

manooooh

  • Matemático
  • Mensajes: 2,983
  • País: ar
  • Karma: +1/-0
  • Sexo: Masculino
Hola

Muchas gracias Luis, súper claro. Era tan fácil como hacer \( x=x_0 \) en \( ax\equiv b\pmod n \), pero yo como de costumbre, no lo sé razonar.

¿Cuál de las dos alternativas que presentás es la que se ajusta al enunciado? ¿La primera?

Pero entonces en vez de un "ó" debés escribir otra cosa, porque no son equivalentes (la primera nos pide hallar la solución principal y en la segunda, la solución general).

Referido a la ecuación \( 2x\equiv 2\pmod 4 \) en el primer caso las soluciones serían \( 1,3 \) y en el segundo \( \{1+3k|k\in  \mathbb{Z}\} \)

Creo que la solución principal es un subconjunto de las soluciones generales. En ese caso, deberías escribir \( \{1,3\} \), pero entiendo que no lo hiciste por razones de simplicidad (y no porque sos inconsistente).

Saludos

Editado

07 Febrero, 2019, 01:37 pm
Respuesta #15

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 47,026
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino
Hola

¿Cuál de las dos alternativas que presentás es la que se ajusta al enunciado? ¿La primera?

Si el enunciado no lo especifica.. pues depende del convenio que tengas con el que plantea el problema.

Respecto a eso en realidad ten en cuenta que las matemáticas no se usan para "resolver ejercicios". Es decir cuando uno use las matemáticas de verdad querrás resolver esa ecuación en congruencias para aplicarlo a un contexto concreto y serán las necesidades de ese contexto la que nos dictarán, si nos interesa una solución en los enteros o salvo módulo o todas las soluciones o lo que sea.

Citar
Pero entonces en vez de un "ó" debés escribir otra cosa, porque no son equivalentes (la primera nos pide hallar la solución principal y en la segunda, la solución general).

Si, son enunciados distintos.

Citar
Creo que la solución principal es un subconjunto de las soluciones generales. En ese caso, deberías escribir \( \{1,3\} \), pero entiendo que no lo hiciste por razones de simplicidad (y no porque sos inconsistente).

Si, no me fijé mucho.  :D

Sinceramente a veces si soy inconsistente...

Saludos.

07 Febrero, 2019, 01:57 pm
Respuesta #16

manooooh

  • Matemático
  • Mensajes: 2,983
  • País: ar
  • Karma: +1/-0
  • Sexo: Masculino
Hola

Si el enunciado no lo especifica.. pues depende del convenio que tengas con el que plantea el problema.

Respecto a eso en realidad ten en cuenta que las matemáticas no se usan para "resolver ejercicios". Es decir cuando uno use las matemáticas de verdad querrás resolver esa ecuación en congruencias para aplicarlo a un contexto concreto y serán las necesidades de ese contexto la que nos dictarán, si nos interesa una solución en los enteros o salvo módulo o todas las soluciones o lo que sea.

Lo tendré presente, gracias.

Con respecto al contexto sólo puedo decirte que nos debemos guiar en esto:

""No hay soluciones particulares y generales, sino "PRINCIPALES" son las clases de equivalencia, que cada una tiene infinitos elementos. Esas deben dar, las clases.""

Con esa cita el profesor dijo, en otras palabras, que busquemos la solución general, ¿verdad?

Si, son enunciados distintos.

He tenido nuevamente un lapsus, a ver si es cierto o no. Con los enunciados distintos me refiero a estos dos:

Halla todos los \( x\in \mathbb{Z} \) tales que \( ax\equiv b\pmod n \)

ó

Hallar todos los \( x\in \mathbb{Z}_n \) (o los \( x\pmod n \)) tales que \( ax\equiv b\pmod n \)

Referido a la ecuación \( 2x\equiv 2\pmod 4 \) en el primer caso las soluciones serían \( 1,3 \) y en el segundo \( \{1+3k|k\in  \mathbb{Z}\} \)

Te pregunté si la primera opción se trataba de hallar la solución principal y la segunda era la general, pero ahora tengo dudas de si los papeles deben invertirse, pero tu ejemplo dice lo contrario, así que no sé si vos, yo o ambos nos equivocamos. Incluso me atrevería a decir SÍ son enunciados equivalentes (en ambos están escribiendo hallar la solución particular, pero entonces va en contra de lo que pide nuestro enunciado).

Para evitarme confusiones, ¿podrías indicar si efectivamente son enunciados equivalentes o si son distintos, qué es lo que pide cada uno, por favor?

Sinceramente a veces si soy inconsistente...

Como todos. Lo que creo que no es correcto es que sigas la corriente del usuario que pregunta si sabés que está siendo inconsistente; al mínimo error que detectes debés avisarle inmediatamente y hacérselo entender, y hasta que no lo entienda no se sigue con la pregunta (otros usuarios querrán ayudar también, pero cada uno puede escribir y omitir lo que quiera).

Gracias.
Saludos

07 Febrero, 2019, 02:55 pm
Respuesta #17

feriva

  • Matemático
  • Mensajes: 9,065
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino
  • No soy matemático, eso es una etiqueta.
Hola feriva, buenos días :)

Viene impuesto de fábrica, es condición del enunciado del teorema de Euler (y también del pequeño teorema de Fermat, que es un caso particular).

https://es.wikipedia.org/wiki/Teorema_de_Euler

¡Qué interesante, gracias!

Todavía sigo esperando que explícita o implícitamente alguien haga alusión a la fórmula \( x_0=a^{\phi(n)-1}b \). Me parece una fórmula muy bonita, pero no la encontré por ningún lado, aunque esté lo del teorema de Euler.

¿Tienen enlaces para compartir donde aparezca esa fórmula? ¿Cómo se dedujo?

He revisado varios enlaces y nada, no aparece, lo que me extraña.

Saludos


Hola otra vez, manooooh.

Bueno, ya sabes que estas cosas me las sé (las que me śe) informalmente, a modo de curioso, pero esa fórmula te va a servir, por ejemplo, para hallar el inverso de una manera menos pesada que por el algoritmo de Euclides (en mi opinión es menos pesada, aunque para ello hay que descomponer los números en primos, y si la factorización es difićil...)

Supongo que hay muchos enlaces, no sé decirte ahora ninguno en concreto.

A la vez, el inverso sirve, entre otras utilidades, para resolver ecuaciones diofánticas mediante la identidad de Bézout; que es de lo más interesante desde el punto de vista puramente práctico, en cuanto a hacer cuentas.

Por ilustrar con un ejemplo, supón que tienes esta congruencia

\( 2x\equiv1(mod\,9)
  \).

“x” es tal que multiplicado por 2 deja resto 1; por eso se llama inverso, parecido a lo que pasa en el álgebra corriente \( a\dfrac{1}{a}=1
  \), sólo que con restos y el signo de equivalencia. Pero aquí, para que exista el inverso, el módulo y el 2 tienen que ser coprimos, que lo son en este caso. Es un ejemplo tan sencillo que casi se ve a primera vista que si x= 5, entonces 2x=10 y 10-9=1; el inverso es x=5.

Pero para hallarlo más en general podemos usar la función phi (tenemos una congruencia adecuada, con esos dos copirmos)

\( 2^{\varphi(9)}\equiv1(mod\,9)
  \).

Y phi de 9, según la fórmula para calcularla y sabiendo que sólo tenemos un primo distinto, el 3, es \( 9(1-\dfrac{1}{3})
 =6 \); entonces ya escribimos: \( 2^{6}\equiv1(mod\,9)
  \).

Como puedes ver ahora, “x” es dos a la cinco, es decir, dejamos el 2 que había y lo otro lo transformamos en otro factor \( 2\cdot2^{5}\equiv1(mod\,9)
  \) ; con lo que \( 2^{5}=32\equiv5(mod9)
  \).

Cosas teóricas y más generales... eso ya no sé decirte; pero doctores tiene la Iglesia :)

Saludos.

08 Febrero, 2019, 10:51 am
Respuesta #18

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 47,026
  • País: es
  • Karma: +1/-0
  • Sexo: Masculino
Hola

Con respecto al contexto sólo puedo decirte que nos debemos guiar en esto:

""No hay soluciones particulares y generales, sino "PRINCIPALES" son las clases de equivalencia, que cada una tiene infinitos elementos. Esas deben dar, las clases.""

Con esa cita el profesor dijo, en otras palabras, que busquemos la solución general, ¿verdad?

Pues no lo se. ¿Por qué no le preguntas a él? Sinceramente no se si hay un criterio unificado para saber a que llamamos solución principal o particular o general. Es decir algún autor podría llamar solución particular a cualquier número entero que cumpla la ecuación y general a la expresión de todas las soluciones enteras que la cumplen. Por eso insisto en enteder el fondo de las cosas más que el nombre que se le da.

Citar
Te pregunté si la primera opción se trataba de hallar la solución principal y la segunda era la general,

Es que yo en que nombre se le da no me voy a meter. Desconozco las denominaciones más usuales en estos casos.

Citar
pero ahora tengo dudas de si los papeles deben invertirse, pero tu ejemplo dice lo contrario, así que no sé si vos, yo o ambos nos equivocamos. Incluso me atrevería a decir SÍ son enunciados equivalentes (en ambos están escribiendo hallar la solución particular, pero entonces va en contra de lo que pide nuestro enunciado).

En un caso las soluciones son elementos de \( Z_n \); en el otro las soluciones son elementos de \( Z \). Es decir en el primer caso las soluciones son clases de equivalencia, en el segundo números enteros. Son cosas distintas.

Citar
Para evitarme confusiones, ¿podrías indicar si efectivamente son enunciados equivalentes o si son distintos, qué es lo que pide cada uno, por favor?

 ¿Enunciados equivalentes? Depende de a que llames equivalente. Son distintos. Pero íntimamente relacionados, de manera que si conocemos la solución de uno es inmediata la del otro.

 Por ejemplo en la ecuación \( 2x\equiv 2\pmod 4 \):

- Las soluciones en \( Z_4 \) son DOS: \( [1],[3] \).
- Las soluciones en \( \mathbb{Z} \) son infinitas: todos los enteros de la forma \( 1+2k \) con \( k\in \mathbb{Z} \).

 ¿Están relacionadas? Totalmente. Las infinitas soluciones son precisamente la unión de los elementos de las dos clases que corresponden a las dos soluciones de la primera versión del problema.

Citar
Como todos.

 Cuando dije que muchas veces era inconsistente era una broma; ¡claro qué lo soy, pero me refiría incluso más allá de las matemáticas!. Inconsistente en la vida... Era un comentario frívolo...
 
Citar
Lo que creo que no es correcto es que sigas la corriente del usuario que pregunta si sabés que está siendo inconsistente; al mínimo error que detectes debés avisarle inmediatamente y hacérselo entender, y hasta que no lo entienda no se sigue con la pregunta (otros usuarios querrán ayudar también, pero cada uno puede escribir y omitir lo que quiera).

 Con esto no se que me has querido decir. Parecería que me estuvieses indicando sobre como debo de responder y actuar en el foro. Y  casi parece que otros usuarios "pueden escribir y omitir lo que quieran".. y ¿yo puedo?.  :D  :D En fin, no tiene importancia. Yo intento ayudar dentro de mis posibilidades con la mejor de las intenciones. También tengo días mejores y peores y momentos de mayor y menor lucidez y lagunas y miserias...  ::) ¡La vida...!.

Saludos.

08 Febrero, 2019, 02:49 pm
Respuesta #19

manooooh

  • Matemático
  • Mensajes: 2,983
  • País: ar
  • Karma: +1/-0
  • Sexo: Masculino
Hola

Si \( m \) es coprimo con \( n \) entonces equivale a:

\( am^{-1}x\equiv bm^{-1}\pmod n \)

donde \( m^{-1} \) es el inverso de \( m \) en \( Z_n \), es decir, verifica \( mm^{-1}\equiv 1 \) mod \( n \).

¿La operación asociada es siempre el producto de clases de equivalencia?

Porque por ejemplo utilizando esta "división" si tenemos que \( 2x\equiv2\pmod{15} \), entonces elijo \( m=2 \), ya que \( \gcd(2,15)=1 \) y \( m^{-1}=8 \) pues \( 2\cdot8=16\equiv1\pmod{15} \). Así que la ecuación se reduce a

\( 16x\equiv16\pmod{15}\implies x\equiv1\pmod{15}, \)

¿de acuerdo?

Podría haber elegido otro \( m \) pero este era el óptimo para resolver la ecuación.

Saludos