4 votos

Soluciones lineales de elevación mod $p$ para modificar $p^2$

Siempre he conocido el famoso lema de Hensel en la teoría de los números que nos permite levantar las soluciones de una ecuación $f(x) \equiv 0 \pmod p$ a soluciones modulares $p^n$ bajo la no-degeneración.

¿Qué hay del siguiente problema: si empiezo con un sistema lineal de ecuaciones de la forma $Px \equiv 0 \pmod p$ donde $P$ es un $n \times n$ matriz con coeficientes enteros y $x = \begin {bmatrix} x_1, \dots , x_n \end {bmatrix}^{ \top }$ . ¿Hay alguna manera de que pueda levantar una solución $x \pmod p$ a una solución $ \hat x \pmod {p^m}$ de tal manera que $ \hat x \equiv x \pmod p$ ? Estaría más que feliz de tener una respuesta para $p^2$ y $n=2$ o $n=3$ si eso es posible; normalmente trabajo con matrices cuyas líneas tienen una $2$ y dos $1$ con el resto todos los ceros, como este: $$ \begin {bmatrix} 2 & 1 & 1 & 0 \\ 0 & 2 & 1 & 1 \\ 1 & 0 & 2 & 1 \\ 1 & 1 & 0 & 2 \\ \end {bmatrix} $$ (La razón de la simetría es porque esta matriz surgió de algún lindo nudo en la teoría de los nudos, pero no creo que este contexto sea relevante aquí).

Podría estar interesado en un resultado de existencia simple, pero estoy mucho más interesado en ser capaz de contar el número de soluciones para un ejemplo particular, porque eso es lo que necesito hacer en mi contexto teórico de los números; una comprensión de la forma de las soluciones sería el cielo. De cualquier manera, cualquier tipo de respuesta es apreciada siempre y cuando dé alguna idea.

4voto

Hagen von Eitzen Puntos 171160

Has encontrado $x_0$ con $Px \equiv b \pmod p$ . Hacer el ansatz $x=x_0+px_1$ . Luego $Px \equiv b \pmod {p^2}$ es equivalente a $Px_1 \equiv \frac {b-Px_0}{p} \pmod {p}$ (donde la división en el lado derecho es posible por suposición). Así que tienes que resolver una ecuación lineal mod $p$ de nuevo (aunque con diferente lado derecho).

Su ejemplo específico $P$ no es invertible (el rango es $n-1$ ), así que puede depender: o no tienes o tienes $p$ soluciones por encima de una determinada.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X