Podzielność

Liczba $a\in\mathbb{Z}$a\in\mathbb{Z} jest podzielna przez liczbę $b\in\mathbb{Z-\{0}\}$b\in\mathbb{Z-\{0}\} gdy dzieli się przez nią bez reszty, tj. jeśli istnieje taka liczba $c\in\mathbb{Z}$c\in\mathbb{Z}, że

Liczbę $b$b nazywamy dzielnikiem liczby $a$a i symbolicznie zapisujemy $b|a$b|a co czytamy “$b$b jest dzielnikiem $a$a”, “liczba $b$b dzieli liczbę $a$a” lub “liczba $a$a jest podzielne przez $b$b”. Mówimy też, że $a$a jest wielokrotnością liczby $b$b.
Dodatkowo, wyrażenie $a\nmid b$a\nmid b czytamy “liczba $a$a nie dzieli liczby $b$b” lub “liczba $b$b nie jest podzielna przez $a$a”.