Vad är lemmor egentligen?
Det jag har hört är att det är en bisats. Behövs det verkligen dock, kan vi inte ha det under samma sats eller en annan sats?
Ett lemma är en hjälpsats. Finns det någon större skillnad på en sats och en hjälpsats? Njae, egentligen inte. Det är bara en smakfråga vad man vill kalla det. Men oftast är en hjälpsats mindre och "inte lika viktig" som andra satser man använder i ett bevis.
Verkligen en smakfråga!
Exempelvis har jag hört Bézouts identitet både kallas "identitet" och "lemma" och i en kurs jag har nu finns en sats vid namnet "Burnside's Lemma" som, i annan litteratur, har namnet "Burnside's Theorem".
Just med Bézouts, den dyker mycket ofta upp i bevis och mer sällan utanför bevisammanhang (i alla fall vad jag sett). Så det är verkligen ofta en hjälpsats i andra bevis!
Zorns lemma brukar alltid kallas lemma.
