Ero sivun ”Suurin yhteinen tekijä” versioiden välillä

[katsottu versio][katsottu versio]
Poistettu sisältö Lisätty sisältö
LKFbot (keskustelu | muokkaukset)
p →‎Algebrallinen määritelmä: Linkkifix: rengas -> rengas (matematiikka) using AWB
lähde
Rivi 1:
[[Matematiikka|Matematiikassa]] kahden [[kokonaisluku|kokonaisluvun]] ''a'' ja ''b'' '''suurin yhteinen tekijä''', merkitään syt(''a'', ''b'') tai pelkästään (''a'', ''b''), tarkoittaa suurinta sellaista lukua, joka jakaa molemmat luvut ''a'' ja ''b'' niin, että lopputulos on [[kokonaisluku]].<ref name="r53">Rosen, s. 53</ref> Suurin yhteinen tekijä voidaan etsiä jakamalla tarkasteltavina olevat luvut [[alkutekijä|alkutekijöihin]]. Tällöin lukujen suurin yhteinen tekijä saadaan ottamalla ne alkuluvut, jotka esiintyvät molempien lukujen [[alkutekijähajotelma]]ssa korotettuna siihen potenssiin, joka on pienempi tämän kyseisen alkuluvun eksponentti lukujen alkutekijähajotelmissa. Suurin yhteinen tekijä on tällöin saatujen lukujen tulo.
Siis jos
 
Rivi 13:
==Algebrallinen määritelmä==
 
Algebrallisessa mielessä kokonaislukujen <math>a_1,a_2,...,a_n</math> suurimmalla yhteisellä tekijällä tarkoitetaan näiden lukujen virittämän kokonaislukujen [[Rengas (matematiikka)|renkaan]] [[ideaali (rengasteoria)|ideaalin]] virittäjää.
suurimmalla yhteisellä tekijällä tarkoitetaan näiden lukujen virittämän kokonaislukujen [[Rengas (matematiikka)|renkaan]] [[ideaali (rengasteoria)|ideaalin]] virittäjää.
 
Jos luvut <math>a_1,a_2,...,a_n</math> ovat kaikki nollia, niiden virittämä ideaali koostuu pelkästään luvusta <math>0</math>.
niiden virittämä ideaali koostuu pelkästään luvusta <math>0</math>.
 
Kokonaislukujen rengas <math>\mathbb{Z}</math> on kommutatiivinen eli vaihdannainen rengas. Lisäksi se on [[kokonaisalue]], toisin sanoen siinä ei ole nollasta eroavia nollanjakajia, ja edelleen niin sanottu [[pääideaalialue]], toisin sanoen sen jokainen ideaali on yhden alkion virittämä.
Rivi 53 ⟶ 51:
 
==Ominaisuuksia==
* Jos syt(a, b) = 1, ''a'' ja ''b'' ovat [[keskenään jaottomat luvut|keskenään jaottomia]].<ref name="r53" />
* syt(a, b) = syt(b, a) = syt(|a|, |b|)<ref>Rosen, s. 54</ref>
* syt(0, a) = a
* syt(a, b) <math>\leq</math> min(|a|, |b|)
* syt(a, b) = syt(a - kb, b), jossa k on kokonaisluku
* [[Eukleideen algoritmi]]: syt(a, b) = syt(b, a modulo b)
Rivi 66 ⟶ 63:
* [[Aito jakaja]]
* [[Yhteinen tekijä]]
 
== Lähteet ==
* {{Kirjaviite | Tekijä = Rosen, Kenneth H. | Nimeke = Elementary Number Theory and Its Applications | Vuosi = 1984 | Julkaisija = Addison-Wesley | Julkaisupaikka = Reading, Massachusetts | Isbn = 0-201-06561-4 | Kieli = {{en}} }}
 
=== Viitteet ===
{{Viitteet}}
 
[[Luokka:Algebra]]