Euklids lemma er et klassisk resultat af elementær talteori . Den er formuleret som sætning 30 i bog VII af Euklids elementer og er nøglen til beviset for aritmetikkens grundlæggende sætning . Moderne formulering [1] :
Hvis produktet af flere faktorer er deleligt med et primtal , så er mindst en af faktorerne deleligt med . |
Eksempel. 19 er et primtal, og det deler sig . Derfor er en af faktorerne delelig med 19, nemlig:
Hvis det ikke er et primtal, kan sætningen mislykkes. Eksempel: deleligt med 20, men ingen af faktorerne er deleligt med 20.
Lad det være deleligt med , men ikke deleligt med . Så og er coprime , derfor er der heltal og sådan
( Bezouts forhold ).Hvis vi multiplicerer begge sider med , får vi
Begge udtryk på venstre side er delelige med , hvilket betyder, at højre side også er deleligt med osv . [2]
Hvis produktet er deleligt med og coprime , så er [3] deleligt med |
Euklids lemma gælder ikke kun i ringen af heltal, men også i andre faktorielle ringe , hvor primtals rolle spilles af irreducerbare elementer . Især er det gyldigt i euklidiske ringe [4] , for eksempel:
`* Weisstein, Eric W. Euclid's Lemma (engelsk) på Wolfram MathWorld -webstedet .