Saltar al conteníu

Aritmética modular

Esti artículu foi traducíu automáticamente y precisa revisase manualmente
De Wikipedia
Cubierta de la edición orixinal de Disquisitiones arithmeticae de Gauss, llibru fundamental de l'aritmética modular.

En matemática, la aritmética modular ye un sistema aritméticu pa clases d'equivalencia de númberos enteros llamaes clases de congruencia. L'aritmética modular foi introducida en 1801 por Carl Friedrich Gauß nel so llibru Disquisitiones Arithmeticae.[1]

Delles vegaes llámase-y, sugerentemente, aritmética del reló, una y bones los númberos «dan la vuelta» n'algamando ciertu valor llamáu módulu.[2]

Rellación de congruencia

[editar | editar la fonte]
El tiempu lleváu por esti reló usa aritmética en módulu 12.

L'aritmética modular pue ser construyida matemáticamente por aciu la rellación de congruencia ente enteros, que ye compatible coles operaciones nel aniellu d'enteros: suma y multiplicación. Pa un determináu módulu n, ésta defínese de la siguiente manera:[3]

a y b atopar na mesma "clase de congruencia" módulu n, si dambos dexen el mesmu resto si estremar ente n, o, equivalentemente, si ab ye un múltiplu de n.

Esta rellación puede espresase cómodamente utilizando la notación de Gauss:[3]

Asina se tien por casu

yá que dambos, 63 y 83 dexen el mesmu restu (3) al estremar ente 10, o, equivalentemente, 63 − 83 ye un múltiplu de 10. Lléese:[3]

«63 ye congruente con 83, módulu 10», «en módulu 10, 63 y 83 son congruentes», o «63 y 83 son congruentes unu con otru, módulu 10».

«Módulu» dacuando embrívese cola pallabra «mod» al falar, de la mesma manera que como ta escritu y provién de la pallabra modulus del llatín, la llingua de los escritos orixinales de Gauss. Asina, el númberu n, que nesti exemplu ye 10, sería'l modulus.

Otru exemplu; cuando'l módulu ye 12, entós cualesquier dos númberos qu'estremaos ente dolce dean el mesmu restu son equivalentes (o "congruentes") unu con otru. Los númberos

..., −34, −22, −10, 14, 26,...

son toos "congruentes módulu 12" unos con otros, yá que cada unu dexa'l mesmu restu (2) cuando los estremamos ente 12. La coleición de toos esos númberos ye una clase de congruencia.[4]

Propiedaes principales

[editar | editar la fonte]

Clases d'equivalencia módulo n

[editar | editar la fonte]

L'aritmética modular basar nuna rellación d'equivalencia, y les clases d'equivalencia d'un enteru a se denota con [a]n (o a cencielles [a] si sobrentendemos el módulu.) Otres notaciones son por casu a + nZ o a mod n. El conxuntu de toles clases d'equivalencia se denota con Z/nZ = { [0]n, [1]n, [2]n,..., [n-1]n }.[5]

Esta rellación d'equivalencia tien importantes propiedaes que se siguen darréu de la definición:[5]

Si : y : entós : y :

Lo qu'amuesa que la suma y la multiplicación son operaciones bien definíes sobre'l conxuntu de les clases d'equivalencia. N'otres pallabres, la suma y la multiplicación tán definíes sobre Z/nZ por aciu les fórmules siguientes:[5]

D'esta miente, Z/nZ convertir nun aniellu con n elementos. Por casu, nel aniellu Z/12Z, tiense :[8]12[3]12 + [6]12 = [30]12 = [6]12.

El conxuntu d'enteros en Z/pZ forma un cuerpu finito si y namái si p ye primu.[6]

Resolución de congruencies

[editar | editar la fonte]

Si a y b son enteros, la congruencia: axb (mod n) tien solución x si y namái si'l máximu común divisor (a, n) estrema a b. Los detalles tán recoyíos nel teorema de congruencia llinial. Sistemes de congruencies más complicaos con módulos distintos pueden resolvese usando'l teorema chinu del restu o'l métodu de sustitución socesiva.[7]

Nel aniellu d'enteros, si consideramos la ecuación ax ≡ 1 (mod n), vemos que a tien un inversu multiplicativu si y namái si a y n son coprimos. Por tanto, Z/nZ ye un cuerpu si y namái si n ye un primu.[8] Puede probase que cada cuerpu finito ye una estensión de Z/pZ pa dalgún primu p.

Pequeñu teorema de Fermat y teorema de Euler

[editar | editar la fonte]

Un fechu importante sobre aritmética modular, cuando los módulos son númberos primos ye'l pequeñu teorema de Fermat: si p ye un númberu primu, entós:[9]

Si a ye cualesquier enteru:

Si a ye un enteru non divisible ente p:

Esto foi xeneralizáu por Euler: pa tou enteru positivu n y tou enteru a relativamente primu a n, :aφ(n) ≡ 1 (mod n), onde φ(n) denota función phi de Euler que cunta'l númberu d'enteros ente 1 y n que sían coprimos con al respective de n.[10] El teorema de Euler ye una consecuencia del teorema de Lagrange, aplicáu al casu del grupu de les unidaes del aniellu Z/nZ.

Xeneralizaciones

[editar | editar la fonte]

Dos enteros a, b son congruentes módulu n, escritu como:ab (mod n) si la so diferencia ab ye divisible ente n, esto ye, si ab = kn pa dalgún enteru k.

Usando esta definición, podemos xeneralizar a módulos non enteros. Por casu, podemos definir ab (mod 2π) si ab = k2π pa dalgún enteru k. Esta idea desenvuélvese dafechu nel contestu de la teoría de los aniellos y funciones trigonométriques.

En Álxebra astracta vese que l'aritmética modular ye un casu especial del procesu de crear un aniellu factorial d'un aniellu módulu un ideal. Si R ye un aniellu conmutativu, y I ye un ideal de R, entós dos elementos a y b de R dícense congruentes módulu I si ab ye un elementu de I. Como pasaba col aniellu d'enteros, esto conviértese nuna rellación d'equivalencia, y la suma y la multiplicación convertir n'operaciones bien definíes sobre l'aniellu factorial R/I.

Aplicaciones de l'aritmética modular

[editar | editar la fonte]

L'aritmética modular, estudiada sistemáticamente en primer llugar por Carl Friedrich Gauss a la fin del Sieglu XVIII, aplicar en teoría de númberos, álxebra astracta, criptografía, y n'artes visuales y musicales.

Les operaciones aritmétiques qu'anguaño faen la mayoría de los ordenadores son aritméticu modulares, onde'l módulu ye 2b (b ye'l númberu de bits de los valores sobre los qu'operamos). Esto vese claro na compilación de llinguaxes de programación como'l C; onde por casu toles operaciones aritmétiques sobre "int", enteros, tómense módulu 232 na mayoría de los ordenadores.

En música, por cuenta de la equivalencia d'octaves y equivalencia enarmónica (esto ye, los pasos en razones de 1/2 o 2/1 son equivalentes, y Do# ye lo mesmo que Reb), l'aritmética modular úsase cuando consideramos la escala de doce tono igualmente temperada, especialmente nel dodecafonismu. N'artes visuales esta aritmética puede usase pa crear patrones artísticos basaos nes tables de multiplicación módulo n (ver enllaz embaxo).

Ver tamién

[editar | editar la fonte]

Referencies

[editar | editar la fonte]
  1. Gauss, Carl Friedrich (1965). «Cap.1 Numbers congruences in general», Disquisitiones Arithmeticae. Yale University Press. ISBN 0-300-09473-6.. (Traducción al español) Archiváu 2011-11-25 en Wayback Machine
  2. López, Jorge M. (28 de febreru de 2011). «Criptografía». Consultáu'l 28 de febreru de 2011. «p.3»
  3. 3,0 3,1 3,2 Gauss, Carl Friedrich (1965). «Sec.I art.1-3», Disquisitiones Arithmeticae. Yale University Press. ISBN 0-300-09473-6.. (Traducción al español) Archiváu 2011-11-25 en Wayback Machine
  4. Hortalá, María Teresa; Rodríguez, Mario; Leach, Javier (2001). Matemática discreta y lóxica matemática. Madrid: Complutense S.A., páx. 67. ISBN 84-7491-650-X.
  5. 5,0 5,1 5,2 Carmona Collada, Luis Miguel. «Congruencies». Introducción a l'aritmética entera y modular. Consultáu'l 19 d'abril de 2011.
  6. Kostrikin: Introducción a la álxebra, Mir, Moscú (1974)
  7. Santiago Zaragoza, Antonio Cipriano (2009). «2.4. Congruencies lliniales», Teoría de númberos, 1ª, Madrid: Visión libro, páx. 22-25. ISBN 978-84-9886-360-4.
  8. Navarro, Gabriel (2002). Universitat de València: Un cursu d'álxebra, 1ª, páx. 77. ISBN 84-370-5419-2.
  9. Gauss, Carl Friedrich (1965). «Sec III, art. 50», Disquisitiones Arithmeticae. Yale University Press. ISBN 0-300-09473-6.. (Traducción al español) Archiváu 2008-09-20 en Wayback Machine
  10. Euler, Leonhard « Theoremata circa residua ex divisione potestatum relicta », en Novi Comment. acad. sc. Petrop., vol. 7, 1761, p. 49-82. Testu orginal del llatín Dartmouth College (Euler archive) con númberu Y262. Traducción al inglés : Plantía:Arxiv

Enllaces esternos

[editar | editar la fonte]