Un conjunto de n enteros es un residuo completo módulo n si no hay dos elementos congruentes módulo n.
Entiendo el teorema, pero ¿cómo hago para demostrarlo? ¡Cualquier ayuda sería apreciada!
Mi intento.
El teorema 3.17 establece
Sea n un número natural. Cualquier conjunto {a1,a2,...,an} de n enteros para los cuales dos no son congruentes es un sistema de residuos completo módulo n.
Intuitivamente, esto tiene sentido, si no hay dos congruentes, entonces todos tienen residuos distintos.
Prueba por contradicción aplicando el principio del casillero (nunca lo he usado en una prueba).
Supongamos que tenemos un conjunto de n enteros, llámelo A={a1,a2,...an} en el que no hay dos congruentes módulo n y supongamos que tenemos un conjunto de residuos R={r1,r2...rn-1 } donde tenemos menos de n residuos.
Como a1 no es congruente mod n con ningún ai para 1
Como a2 no es congruente mod n con ningún ai para 2
Ahora bien, an no es congruente con ningún ai mod n para ningún 1<=i<=n-1, por lo que según el DA, an=n(qn)+rn, lo que implica que an es congruente con rn mod n, pero esto es imposible ya que R tiene menos de n elementos (restos), por lo que an es congruente con algún ai para algún n<=i<=1, pero esto contradice que an no es congruente con ningún ai.
Si v = r mod n y w = r mod n entonces v = w mod n.
Por definición, un residuo completo módulo n es un conjunto de n enteros { } donde no hay dos congruentes entre sí. Lo que necesitamos probar es que cualquier otro conjunto { } de n enteros también es un residuo completo.
Bien { } siendo un residuo completo significa, cada para algunos . Otro dónde es congruente con algunos . Si el un son congruentes entre sí. Así cada uno es congruente con otro y así cada uno está en una clase de congruencia única y como { } representa todas las clases y existe una correspondencia directa entre { } y { }, { } es un residuo completo.
Miguel Lugo
Hagen von Eitzen
mjo
barry smith
mjo
barry smith
Tomas Andrews
mjo
barry smith
barry smith