Interi coprimi: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Luckas-bot (discussione | contributi)
m r2.7.1) (Bot: Aggiungo: sk:Nesúdeliteľné čísla
Xqbot (discussione | contributi)
m r2.7.2) (Bot: Modifico: sk:Nesúdeliteľnosť; modifiche estetiche
Riga 5:
Un metodo efficiente per determinare se due numeri sono coprimi è fornito dall'[[algoritmo di Euclide]].
 
== Proprietà ==
{{vedi anche|Identità di Bézout}}
 
I numeri ''a'' e ''b'' sono coprimi [[se e solo se]] esistono [[numero intero|interi]] ''x'' e ''y'' tali che ''ax'' + ''by'' = 1. Equivalentemente, ''b'' ha un inverso moltiplicativo modulo ''a'': esiste un intero ''y'' tale che ''by'' ≡ 1 (mod ''a'').
 
Se ''a'' e ''b'' sono coprimi e ''a'' divide un prodotto ''bc'', allora ''a'' divide ''c''.
 
Se ''a'' e ''b'' sono coprimi e ''bx'' &equiv; ''by'' ([[aritmetica modulare|mod]] ''a''), allora ''x'' &equiv; ''y'' (mod ''a''). In altre parole: ''b'' produce un'unità nell'[[anello (algebra)|anello]] '''Z'''<sub>''a''</sub> degli interi modulo ''a''.
 
I due interi ''a'' e ''b'' sono coprimi se e solo se il punto con coordinate (''a'', ''b'') in un [[diagramma cartesiano|sistema di assi cartesiani]] è "visibile" dall'origine (0,0), nel senso che non esiste alcun punto di coordinate intere tra l'origine ed il punto (''a'', ''b'').
Riga 20:
Se due [[numero naturale|numeri naturali]] ''a'' e ''b'' sono coprimi i numeri 2<sup>''a''</sup> - 1 e 2<sup>''b''</sup> - 1 sono coprimi.
 
== Generalizzazione ==
 
Due [[ideale (matematica)|ideali]] ''A'' e ''B'' nell'[[anello (algebra)|anello]] commutativo ''R'' sono detti coprimi se ''A'' + ''B'' = ''R''. Ciò consente di generalizzare l'[[identità di Bézout]]. Se ''A'' e ''B'' sono coprimi, allora ''AB'' = ''A''&cap;''B''; inoltre, se ''C'' è un terzo ideale tale che ''A'' contiene ''BC'', allora ''A'' contiene ''C''.
 
Con questa definizione, due ideali principali (''a'') e (''b'') nell'anello degli interi '''Z''' sono coprimi se e solo se ''a'' e ''b'' sono coprimi.
 
== Voci correlate ==
 
*[[Algoritmo di Euclide]]
Riga 68:
[[ru:Взаимно простые числа]]
[[simple:Coprime]]
[[sk:Nesúdeliteľné číslaNesúdeliteľnosť]]
[[sl:Tuje število]]
[[sv:Relativt prima]]