Aritmètica modular
En matemàtica, precisament en teoria de números; la aritmètica modular és un conjunt de métodos que permeten la resolució de problemes sobre número entero. Estos métodos deriven de l'estudi del restant obtingut per mig d'una divisió euclídea. Va ser introduïda en 1801 per Carl Friedrich Gauss en el seu llibre Disquisitiones Arithmeticae.[1]
Un us familiar de la aritmètica modular és en el rellonge de 12 hores, en el que el dia es dividix en dos periodos de 12 hores. Si l'hora és a les 7:00, llavors 8 hores més vesprada seran les 3:00. L'adició simple donaria com a resultat 7 + 8 = 15, pero a les 15:00 es llig com 3:00 en l'esfera del rellonge perque els rellonges "s'envolen" cada 12 hores i el número d'hora comença de nou en zero quan aplega a les 12. Diem que 15 és congruent en 3 mòdul 12, escrit , de modo que . De la mateixa manera, les 8:00 representa un periodo de 8 hores, i el doble d'açò donaria 16:00, que es llig com 4:00 en l'esfera del rellonge, escrit com .
Relació de congruència
[editar | editar còdic]L'aritmètica modular pot ser construïda matemàticament per mig de la relació de congruència entre sancers, que és compatible en les operacions en l'anelle de sancers: suma i multiplicació. Per a un determinat mòdul , esta es definix de la següent manera:[2]
Esta relació es pot expressar cómodament utilisant la notació de Gauss:[2]
Aixina es té per eixemple:
ya que abdós, 63 i 83 deixen el mateix restant (3) en dividir entre 10, o, equivalentement, 63 − 83 és un múltiple de 10. Es llig:[2]
«63 és congruent en 83, mòdul 10», «en mòdul 10, 63 i 83 són congruents», o «63 i 83 són congruents un en un atre, mòdul 10».
«Mòdul» a voltes s'abrevia en la paraula «mod» en parlar, de la mateixa manera que com està escrit i prové de la paraula modulus del llatí, la llengua dels escrits originals de Gauss. Aixina, el número , que en este eixemple és 10, seria el modulus.
Un atre eixemple; quan el mòdul és 12, llavors qualssevol dos números que dividits entre dotze donen el mateix restant són equivalents (o "congruents") un en un atre. Els números:
..., −34, −22, −10, 2, 14, 26,...
són tots "congruents mòdul 12" uns en uns atres, ya que cada u deixa el mateix restant (2) quan els dividim entre 12. La colecció de tots eixos números és una classe de congruència.[3]
Propietats principals
[editar | editar còdic]Classes d'equivalència mòdul n
[editar | editar còdic]La aritmètica modular es basa en una relació d'equivalència, i les classes d'equivalència d'un sancer es denota en (o simplement si sobreentendemos el mòdul.) Atres notacions són per eixemple o . El conjunt de totes les classes d'equivalència es denota en .[4]
Esta relació d'equivalència té importants propietats que se seguixen immediatament de la definició:[4]
Si
i
llavors
i
Lo que mostra que la suma i la multiplicació són operacions ben definides sobre el conjunt de les classes d'equivalència. En atres paraules, la suma i la multiplicació estan definides sobre per mig de les fòrmules següents:[4]
D'esta manera, es convertix en un anell en elements. Per eixemple, en l'anell , es té:
El conjunt de sancers en forma un cos finito si, i només si, és primer.[5]
Resolució de congruència
[editar | editar còdic]Si i són sancers, la congruència: té solució si, i només si, el màxim comú divisor de dividix a . Els detalls estan arreplegats en el teorema de congruència llineal. Sistemes de congruència més complicats en mòduls diferents es poden resoldre usant el teorema chinenca del restant o el método de substitució successiva.[6]
En l'anelle de sancers, si considerem l'equació , veem que té un invers multiplicativo si, i només si, i són coprimos (primers relatius). Per tant, és un cos si, i només si, és un primer.[7] Es pot provar que cada cos finito és una extensió de per a algun primer .
Menuda teorema de Fermat i teorema de Euler
[editar | editar còdic]- Artícul principal → Menuda teorema de Fermat.
Un fet important sobre aritmètica modular, quan els mòduls són número primo és el menuda teorema de Fermat: si és un número primo, llavors:[8]
Si és un número natural:
Si és un número natural no divisible per :
Açò va ser generalisat per Euler:
(Para tot sancer positiu i tot sancer relativament primer a ):
a on denota funció phi de Euler que conta el número de sancers entre 1 i que siguen coprimos sobre .[9] El teorema de Euler és una conseqüència del teorema de Lagrange, aplicat al cas del grup de les unitats de l'anell .
Generalisacions
[editar | editar còdic]Dos sancers , són congruents mòdul , escrit com: si la seua diferència és divisible entre , açò és, si per a algun sancer .
Usant esta definició, podem generalisar a mòduls no sancers. Per eixemple, podem definir , si , per a algun sancer . Esta idea es desenrolla plenament en el context de la teoria dels anells i funcions trigonométricas.
En Àlgebra abstracta es veu que l'aritmètica modular és un cas especial del procés de crear un anelle cocient d'un anell mòdul un ideal. Si és un anell conmutativo, i és un ideal de , llavors dos elements i de es diuen congruents mòdul si és un element de . Com passava en l'anell de sancers, açò es convertix en una relació d'equivalència, i la suma i la multiplicació es convertixen en operacions ben definides sobre l'anell factorial .
Proposicions bàsiques
[editar | editar còdic]Proposició 1
[editar | editar còdic]Siguen . Llavors es complixen les següents propietats:
- <o>Reflexividad</o>:
- <o>Simetria</o>: Si , llavors .
- <o>Transitividad</o>: Si i , llavors .
És dir, la congruència () és una relació d'equivalència.
Proposició 2.
[editar | editar còdic]Sean a,b,c,d,λ∈ℤ i n∈ℕ tals que a≡b (mod n) i c≡d (mod n). Llavors
- λa≡λb (mod n).
- a+c≡b+d (mod n).
- ac≡bd (mod n).
Proposició 3.
[editar | editar còdic]Sean a,b∈ℤ i n,k∈ℕ, tals que a≡b (mod n). Llavors ak≡bk (mod n).
Proposició 4.
[editar | editar còdic]Sean a,b∈ℤ i m,n∈ℕ. Si a≡b (mod n) i m|n llavors a≡b (mod m).
Proposició 5.
[editar | editar còdic]Sean a,b,c∈ℤ i n∈ℕ. Si ac≡bc (mod n) i (c,n)=1, llavors a≡b (mod n).
Proposició 6.
[editar | editar còdic]Sean a,b,c∈ℤ i p∈ℕ. Si ac≡bc (mod p) i p és primer tal que p∤c, llavors a≡b (mod p).
Proposició 7.
[editar | editar còdic]Sean a,b,c∈ℤ, n∈ℕ i (c,n)=d. Llavors ac≡bc (mod n) si i només si a≡b (mod n/d).
Divisió
[editar | editar còdic]Se sap que si , llavors és el recíproc o invers de i també és l'invers de .
- Per eixemple, invers de a = 4 és b = 0.25 perque 4 · 0.25 = 1. L'invers del sancer 4 és el decimal (racional) 0.25.
- Esta és una anomalia que no volem en ℤn. Quisíeramos que en ℤn els inversos dels elements de ℤn estiguen en ℤn, com succeïx en els negatius. Pero açò no sempre succeïx. Per eixemple en ℤ9 = {0, ..., 8}, cap element és invers de 3, perque cap número multiplicat per 3 donaria 1. Tindria que donar 10, per a que en prendre-ho mòdul 9, done 1, i eixe sancer no existix. No obstant 2 · 5 = 1. lo que revela que el 5 és l'invers del 2 i, simétricament, el 2 és l'invers de 5. Podem afirmar que en ℤ9, el 2 és invertible, és dir té invers i el seu invers és 2−1 = 5. Observa la notació: l'invers d'és a−1. Contar en inversos és important perque nos permeten fer divisions i resoldre equacions. En efecte, la divisió a / b l'entenem com a · b−1, és dir multipliquem a per l'invers del divisor b.
Teorema (Criteris de divisibilidad)
[editar | editar còdic]Siga en base 10. Llavors i per tant,
- , després és divisible entre 2 si i solament si lo és.
- , després és divisible entre 3 si i solament si lo és.
- , després és divisible entre 4 si i solament si lo és.
- , després és divisible entre 5 si i solament si lo és.
- , després és divisible entre 9 si i solament si lo és.
- , després és divisible entre 11 si i solament si
Multiplicació
[editar | editar còdic]Les operacions de suma i producte en ℤ es poden traslladar a ℤm posat que són compatibles en l'estructura d'este últim conjunt.
Teorema
[editar | editar còdic]Siguen m ∈ ℕ i a, b, c, d ∈ ℤ tals que a ≡ b (mod m) i c ≡ d (mod m). Llavors
i) a + c ≡ b + d (mod m),
ii) ac ≡ bd (mod m).
Equacions llineals de congruència
[editar | editar còdic]Definició 1
[editar | editar còdic]Siguen a,b∈ℤ; no nuls i n∈ℕ. Es denomina equació llineal de congruència a l'expressió ax≡b (mod n). L'número entero x: correspon a la solució de l'equació.
Les solucions d'una Equació Llineal de Congruència deuen ser número entero. ¿Existix algun criteri per a determinar quan una Equació Llineal de Congruència té solucions sanceres? La resposta és afirmativa.
Definició 2
[editar | editar còdic]Siguen a,b∈ℤ no nuls i n∈ℕ. L'equació ax≡b (mod n), té solució si i només si (a,n)|b.
No obstant (i novament, de la mateixa manera que en les equacions diofánticas llineals), una equació llineal de congruència pot posseir més d'una solució. Per lo tant, considerem el següent resultat (Definició 3).
Definició 3
[editar | editar còdic]Siguen a,b∈ℤ no nuls, n∈ℕ, (a,n)=d i d|b. Llavors la congruència ax≡b (mod n) té d soluciones. Adicionalment x≡x0+ntd (mod n), és el conjunt solució de l'equació, en t={1,2,3,...,d−1} i x0 és una solució particular de ax≡b (mod n). Els següents resultats permetran resoldre de manera més expedita una Equació Llineal de Congruència (Definició 4 i 5).
Definició 4
[editar | editar còdic]Siguen a,b∈ℤ i n,d∈ℕ. Si ad≡bd (mod nd), llavors a≡b (mod n).
Definició 5
[editar | editar còdic]Siguen a,b∈ℤ i n,d∈ℕ tals que (n,d)=1. Si ad≡bd (mod n), llavors a≡b (mod n).
¿És possible relacionar la funció φ de Euler en les equacions llineals de congruència? La Definició 6 té la resposta.
Definició 6
[editar | editar còdic]Siguen a,b∈ℤ no nuls, n∈ℕ i (a,n)=1. Llavors l'única solució a l'equació ax≡b (mod n) és x≡aφ(n)−1⋅b (mod n).
Aritmètica en números grans
[editar | editar còdic]Casi tots els processadors treballen molt més ràpit en números menuts que en números grans. Este problema pot resoldre's utilisant congruència. Per a això considerem un conjunt {m1, m2, . . . , mk } de número primo entre sí (açò és mcd(mi, mj) = 1 per a tot i != j). Llavors qualsevol número positiu S menor que m = m1m2 · · · mk es pot expressar per mig d'una n-tupla (r1,r2, . . . ,rk ) (en 0 ≤ ri < mi per a tot i ∈ {1, 2, . . . , k}) a on
Ademés, pel teorema chinenca del restant existix un únic x ∈ {0, 1, 2, . . . , m} satisfent estes condicions. Ademés, si
Per tant, les operacions aritmètiques es poden realisar entre les r-uplas – les coordenades de la qual són totes menors o iguals que max1≤i≤r la meua –, podent-se realisar estes operacions en paralel. Açò és, per a sumar n i n' se sumen els vectores associats (r1,r2, . . . ,rk ) i(r'1,r'2, . . . ,r'k ) i per a multiplicar n i n' es multipliquen escalarment els vectores associats.
Finalment x + x' i xx' seran les solucions (úniques en ℤm) dels sistemes anteriors.
Per eixemple es poden considerar m1 = 99, m2 = 98, m3 = 97 i m4 = 95 per a treballar en números menors o iguals que m = m1m2m3m4 = 89403930.
Atres sancers que poden triar-se són els de la forma 2k − 1 en k ∈ ℕ posat que és relativament fàcil trobar conjunts d'estos sancers cosins entre sí
(mcd(2a − 1, 2b −1) = 2mcd(a,b) − 1). Ademés en estos sancers és fàcil treballar en base 2. Per eixemple, 235 − 1, 234 − 1, 233 − 1,231 −1, 229 −1 i 223 −1 són primers entre sí i el producte d'ells és major que 2184.
Eixemple: Si prenem m1 = 3, m2 = 4 es té que 0 = (0, 0), 1 = (1, 1), 2 = (2, 2), 3 = (0, 3), 4 = (1, 0), 5 = (2, 1), 6 = (0, 2), 7 = (1, 3), 8 = (2, 0), 9 = (0, 1), 10 = (1, 2) i 11 = (2, 3). Sengles eixemples de suma i producte són: 5 + 6 ≡ (2, 1) + (0, 2) = (2, 3) ≡ 11 i 2 · 3 ≡ (2, 2) · (0, 3) = (0, 6) ≡ (0, 2) ≡ 6. No obstant 5 · 6 no es pot calcular per mig d'este procediment, ya que el resultat 5 · 6 és major o igual que 12.
Aplicacions de l'aritmètica modular
[editar | editar còdic]L'aritmètica modular, estudiada sistemàticament en primer lloc per Carl Friedrich Gauss al final de el XVIII, s'aplica en teoria de números, àlgebra abstracta, criptografia, i en arts visuals i musicals.
En informàtica
[editar | editar còdic]Les operacions aritmètiques que hui en dia fan la majoria de les computadores són aritmètic modular, a on el mòdul és 2b (b és el número de bits dels valors sobre els que operem). Açò es veu clar en la compilació de llenguages de programació com el C; a on per eixemple totes les operacions aritmètiques sobre "int", sancers, es prenen mòdul 232 en la majoria de les computadores.
En criptografia
[editar | editar còdic]L'aritmètica modular és una ferramenta poderosa en criptografia. Permet la creació de sistemes de sifrat robusts com RSA, protegint l'informació i facilitant les comunicacions segures en el món digital.
En l'art
[editar | editar còdic]En música, per l'equivalència d'octaves i equivalència enarmònica (açò és, els passos en raons d'1/2 o 2/1 són equivalents, i Do# és lo mateix que Reb), l'aritmètica modular s'usa quan considerem l'escala de dotze tons igualment temperada, especialment en el dodecafonismo. En arts visuals esta aritmètica pot usar-se per a crear patrons artístics basats en les taules de multiplicació mòdul n (vore enllaç avall).
Vore també
[editar | editar còdic]- Residu quadràtic
- Teorema chinenca del restant
- Teoria de números
- Número primo
- Classe d'equivalència potencial
- Menuda teorema de Fermat
- Teorema de Euler
- Criteri de Euler
- Teorema de Lagrange (teoria de grups)
- Aritmètica de saturació
- Operació mòdul
- Restant
- Teorema de congruència llineal
- Principi d'inducció
- Reflexividad
- Simetria
- Transitividad
- Equació diofántica
Referències
[editar | editar còdic]- ↑ (1965) «Cap.1 Numbers congruences in general», Disquisitiones Arithmeticae, Yale University Press. ISBN 0-300-09473-6.. (Traducció a l'espanyol)
- Archivat el 25 de novembre de 2011 archivat en Wayback Machine.
- ↑ 2,0 2,1 2,2 Gauss, Carl Friedrich (1965). «Sec.I art.1-3», Disquisitiones Arithmeticae, Yale University Press. ISBN 0-300-09473-6.. (Traducció a l'espanyol)
- Archivat el 25 de novembre de 2011 archivat en Wayback Machine.
- ↑ Hortalá, María Teresa; Rodríguez, {{{nom2}}}; Leach, {{{nom3}}} (2001). Matemàtica discreta i llògica matemàtica, Madrit: Complutense S.A., p. 67. ISBN 84-7491-650-X.
- ↑ 4,0 4,1 4,2 «Congruència» (HTML). Introducció a l'aritmètica sancera i modular. Consultat el 19 d'abril de 2011.
- ↑ Kostrikin: Introducció a l'àlgebra, Mir, Moscou (1974)
- ↑ Santiago Saragossa (2009). «2.4. Congruència llineals», Teoria de números, 1ª edició, Madrit: Visió llibres, pp. 22-25. ISBN 978-84-9886-360-4.
- ↑ Navarrés, Gabriel (2002). Universitat de Valéncia (ed.). Un curs d'àlgebra, 1ª edició, Valéncia, p. 77. ISBN 84-370-5419-2.
- ↑ Gauss, Carl Friedrich (1965). «Sec III, art. 50», Disquisitiones Arithmeticae, Yale University Press. ISBN 0-300-09473-6.. (Traducció a l'espanyol)
- Archivat el 20 de setembre de 2008 archivat en Wayback Machine.
- ↑ Euler, Leonhard « Theoremata circa residua ex divisione potestatum relicta », en Novi Comment. acad. sc. Petrop., vol. 7, 1761, p. 49-82. Text original del llatí Dartmouth College (Euler archive) en número E262. Traducció a l'anglés : Plantilla:Arxiv
Enllaços externs
[editar | editar còdic]- Modular arithmetic en MathWorld.
- Perl arithmetic enhancements - explica les raons que es troben despuix de l'operador de Perl %
Bibliografia
[editar | editar còdic]- http://www.matematicas.ciencias.uchile.cl/juaco/section-10.html
- http://serbal.pntic.mec.es/jpem0100/cesar/01.html
Referències
[editar | editar còdic]
- Este artícul conté una traducció derivada de «Aritmética modular» de Wikipedia en castellà publicada baix la Llicència de documentació lliure de GNU i la Llicència Creative Commons Reconeiximent-CompartirIgual 4.0 Internacional.