- Tetszőleges egész számokhoz egyértelműen léteznek egészek, hogy és
- esetén , vagyis
- Legyenek . A nemnegatív egész szám az és legnagyobb közös osztója, ha
- és ;
- minden esetén, ha , , akkor .
- Jelölése: . Definíció szerint .
- (Minden esetén létezik legnagyobb közös osztó.)
- Minden egész számok esetén pontosan akkor léteznek egészek, hogy , ha
- esetén . Mivel és , ezért nincs ilyen és , és az egyenlet nem megoldható.
- Egy szám prímszám, ha vagy .
- A felsorolásból prímek, pedig nem.
Minden egész szám sorrendtől és előjeltől eltekintve egyértelműen felírható prímszámok szorzataként: ahol pozitív prímek, pozitív egészek.
, vagyis és
- Adott és egészek esetén, kongruens -vel modulo , vagyis , ha
- , mert , és , mert
- Legyenek egész számok, . Ekkor az megoldható . Ez esetben pontosan darab inkongruens megoldás van .
- A példában . , vagyis a lineáris kongruencia megoldható, és 2 inkongruens megoldása van : .
- Legyenek páronként relatív prím számok, egészek. Ekkor a kongruencia rendszer megoldható, és bármely két megoldás kongruens egymással modulo .
- A megadott szimultán kongruenciarendszer összes megoldása kongruens egymással modulo , és mivel és között az az egyetlen megoldása, így az összes megoldása alakú.
- Legyenek , . Ekkor , ahol az Euler-féle függvény.
- , vagyis . Mivel , ezért , és .
- Adott polinom foka esetén .
- Legyen és . Ekkor léteznek olyan polinomok, hogy
- Legyen . Legyen és egy gyöke. Ekkor felírható az formában valamely polinommal.
- ,
- Legyen . Egy polinomnak legfeljebb gyöke lehet.
- Az polinom foka , így legfeljebb 5 gyöke lehet.
- Két polinom és legnagyobb közös osztója , ha:
- Közös osztó: és ;
- legnagyobb: ha és
- főegyütthatója .
- .
- polinom formális deriváltja:
- Egy polinom irreducibilis, ha nem bontható szorzatra nem-triviális módon, azaz vagy .
- Az polinom nem irreducibilis, mert szétbontható nem triviálisan a és polinomra.
- Legyen és legyen egy nem-nulla polinom. Ekkor polinomokra , ha .
- Legyenek páronként különböző alappontok és tetszőleges értékek. Ekkor egyértelműen létezik olyan polinom, hogy és .
- A példában , vagyis egyértelműen meghatározható egy legfeljebb harmadfokú polinom ami teljesíti a feltételeket; csakis egy ilyen létezik.
- Legyen halmaz a forrásábécé és a kódábécé. Ekkor egy injektív függvényt kódolásnak (vagy betűnkénti kódolásnak) hívunk.
Itt az elemeiből álló véges szavak halmaza.
A függvényt kiterjesztjük az halmazra betűnként:
.- A megadott függvény nem betűnkénti kódolás, mert , vagyis nem injektív.
- Egy kódolás felbontható (vagy egyértelműen dekódolható), ha , , esetén, ha , akkor
- A példában szereplő kódolás felbontható.
- Egy kódolás prefix kód (vagy prefixmentes kód), ha nem léteznek olyan különböző kódszavak, hogy prefixe -nek.
- .
- Egy kód kódfája egy olyan fa, melynek csúcsai a kódszavak, és azok prefixei az és csúcsok vannak összekötve.
∅ / \ 0 1 / / \ 00 10 11 / / \ 000 100 101
- szavak Hamming-távolsága:
- ,
- Egy kód távolsággal:
- hibát tud jelezni;
- hibát tud javítani.
- esetén hibát tud jelezni, hibát tud javítani.
- Egy kód lineáris, ha egy lineáris altér -ben. Ekkor a kód dimenziója. Spec. . Ekkor egy kód.
- , vagyis kódok lineáris kombinációjaként előállítható olyan kód, ami nem eleme -nek, és nem egy lineáris kód.
- Legyen egy lineáris kód generátorokkal. Ekkor a egy generátormátrixa .
- Legyen egy kód. Ekkor ellenőrző mátrixa az a mátrix, melyre pontosan akkor, ha .
- mert a chatgpt azt mondta