Web Analytics
Privacy Policy Cookie Policy Terms and Conditions Teorema di Eulero - Wikipedia

Teorema di Eulero

Da Wikipedia, l'enciclopedia libera.

Stubby matematica

Questa voce è solo un abbozzo (stub). Se puoi, contribuisci adesso a migliorarla secondo le convenzioni di Wikipedia. Per l'elenco completo degli stub di matematica, vedi la relativa categoria.

Questa pagina non riguarda la formula di Eulero né l'identità di Eulero

Nella teoria dei numeri, il teorema di Eulero (detto anche teorema di Fermat-Eulero) dice che se n è un'intero positivo ed a è coprimo rispetto ad n, allora:

aφ(n) ≡ 1 (mod n)

Dove φ(n) indica la funzione phi di Eulero.

Questo teorema è una generalizzazione del Piccolo Teorema di Fermat, ed è ulteriormente generalizzato dal teorema di Carmichael.

Indice

[modifica] Dimostrazione

Consideriamo l'insieme delle classi di resto ( modulo n ) degli interi positivi minori o uguali ad n e primi con n:

S_1 = \left\{[m_1], [m_2], \dots, [m_{\phi(n)}]\right\}

Se moltiplichiamo ogni elemento di S1 per a otterremo un secondo insieme,

S_2 = \left\{[am_1], [am_2], \dots, [am_{\phi(n)}]\right\}.

Si ha che S1 coincide con S2. Per mostrare cio' e' sufficiente verificare che ogni elemento dell'insieme \left\{m_1, m_2, \dots, m_{\phi(n)}\right\} è congruente ad uno e un solo elemento dell'insieme \left\{a m_1, a m_2, \dots,a m_{\phi(n)}\right\}. Osserviamo innanzi tutto che se per un certo 1\leq i\leq\phi(n) intero fosse a m_i\equiv d, dove 0\leq d < n non è primo con n, allora neanche ami sarebbe primo con n (infatti si avrebbe ami = d + kn e se d ed n hanno un divisore comune, questo deve dividere anche il primo membro). Poiché a è primo con n, ne segue che mi ha un divisore non banale in comune con n: un assurdo per come sono stati defniti gli mi. Ciò basta a mostrare che S_2 \subset S_1.

Per verificare l'uguaglianza bisogna mostrare che gli elementi di S2 sono distinti tra loro. Siano i\neq j due interi compresi tra 1 e n. Dobbiamo provare che ami non è equivalente a amj. Se lo fossero si avrebbe a(mimj) | n ed essendo a primo con n avremmo (mimj) | n ovvero m_i\equiv m_j, assurdo. Pertanto S2 ha la stessa cardinalità di S1, ed essendo S_2 \subset S_1 segue l'uguaglianza.

Abbiamo quindi mostrato che S1 = S2, pertanto il prodotto di tutti gli elementi di S1 è congruente al prodotto di tutti gli elementi di S2:

m_1  m_2 \cdot\dots\cdot m_{\phi(n)}\equiv am_1 \cdot am_2 \cdot\dots\cdot am_{\phi(n)}\equiv a^{\phi(n)}m_1 \cdot m_2 \cdot\dots\cdot m_{\phi(n)}.

Poiché ogni mi è primo con n, possiamo dividere per il loro prodotto, ottenendo

a^{\phi(n)}\equiv 1.

[modifica] Dimostrazione con i gruppi

sappiamo che se G è il gruppo moltiplicativo abeliano (Z/nZ)*(informalmente l'insieme dei naturali inferiori di n e coprimi con esso legati dall'operazione binaria di moltiplicazione), allora φ(n) è la sua cardinalità; poiché a ed n sono coprimi allora segue che a appartiene a G e

[a]φ(n) ≡ e

secondo le proposizioni dei gruppi ciclici; quindi poiché in G si ha che e è equivalente a 1 ne consegue la tesi


[modifica] Esempi di utilizzo

Il teorema può essere usato per ridurre facilmente grandi potenze in modulo n. Ad esempio, prendiamo in considerazione la ricerca dell'ultima cifra di 7222, vale a dire di 7222 (mod 10). 7 e 10 sono coprimi, e φ(10) = 4. Quindi dal teorema di Eulero segue che 74 ≡ 1 (mod 10), quindi 7222 ≡ 74·55 + 2 ≡ (74)55·72 ≡ 155·72 ≡ 49 ≡ 9 (mod 10).

In generale, nella riduzione di una potenza di a modulo n (dove a ed n sono coprimi), bisogna ottenere a elevato al suo esponente originario in modulo φ(n):

se xy (mod φ(n)), allora axay (mod n).

[modifica] Voci correlate

THIS WEB:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2008 (no images)

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - bcl - be - be_x_old - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - co - cr - crh - cs - csb - cu - cv - cy - da - de - diq - dsb - dv - dz - ee - el - eml - en - eo - es - et - eu - ext - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gan - gd - gl - glk - gn - got - gu - gv - ha - hak - haw - he - hi - hif - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kaa - kab - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mdf - mg - mh - mi - mk - ml - mn - mo - mr - mt - mus - my - myv - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - quality - rm - rmy - rn - ro - roa_rup - roa_tara - ru - rw - sa - sah - sc - scn - sco - sd - se - sg - sh - si - simple - sk - sl - sm - sn - so - sr - srn - ss - st - stq - su - sv - sw - szl - ta - te - tet - tg - th - ti - tk - tl - tlh - tn - to - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu -

Static Wikipedia 2007:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu

Static Wikipedia 2006:

aa - ab - af - ak - als - am - an - ang - ar - arc - as - ast - av - ay - az - ba - bar - bat_smg - be - bg - bh - bi - bm - bn - bo - bpy - br - bs - bug - bxr - ca - cbk_zam - cdo - ce - ceb - ch - cho - chr - chy - closed_zh_tw - co - cr - cs - csb - cu - cv - cy - da - de - diq - dv - dz - ee - el - eml - en - eo - es - et - eu - fa - ff - fi - fiu_vro - fj - fo - fr - frp - fur - fy - ga - gd - gl - glk - gn - got - gu - gv - ha - haw - he - hi - ho - hr - hsb - ht - hu - hy - hz - ia - id - ie - ig - ii - ik - ilo - io - is - it - iu - ja - jbo - jv - ka - kg - ki - kj - kk - kl - km - kn - ko - kr - ks - ksh - ku - kv - kw - ky - la - lad - lb - lbe - lg - li - lij - lmo - ln - lo - lt - lv - map_bms - mg - mh - mi - mk - ml - mn - mo - mr - ms - mt - mus - my - mzn - na - nah - nap - nds - nds_nl - ne - new - ng - nl - nn - no - nov - nrm - nv - ny - oc - om - or - os - pa - pag - pam - pap - pdc - pi - pih - pl - pms - ps - pt - qu - rm - rmy - rn - ro - roa_rup - roa_tara - ru - ru_sib - rw - sa - sc - scn - sco - sd - se - searchcom - sg - sh - si - simple - sk - sl - sm - sn - so - sq - sr - ss - st - su - sv - sw - ta - te - test - tet - tg - th - ti - tk - tl - tlh - tn - to - tokipona - tpi - tr - ts - tt - tum - tw - ty - udm - ug - uk - ur - uz - ve - vec - vi - vls - vo - wa - war - wo - wuu - xal - xh - yi - yo - za - zea - zh - zh_classical - zh_min_nan - zh_yue - zu