Liczby względnie pierwsze
Liczby względnie pierwsze to liczby całkowite, których największym wspólnym dzielnikiem jest jeden. Dla liczb zapisuje się to jako W przypadku dwóch liczb można używać symbolu prostopadłości:
Aby szybko sprawdzić, czy dwie liczby są względnie pierwsze, można zastosować algorytm Euklidesa. Funkcja Eulera dla liczby całkowitej określa liczbę naturalnych liczb między 1 a , które są względnie pierwsze z .
Uogólnienie
W pierścieniu przemiennym z jedynką ideały i są względnie pierwsze, jeśli ich suma algebraiczna stanowi cały pierścień.
W dziedzinach ideałów głównych elementy i są względnie pierwsze, jeśli istnieje element , który dzieli zarówno , jak i , i jest odwracalny. To pojęcie jest równoważne temu, że ideały generowane przez te elementy są względnie pierwsze. W pierścieniach, które nie są dziedzinami ideałów głównych, definicje te mogą się różnić.
Liczby względnie pierwsze generują ideały względnie pierwsze w , ponieważ jest dziedziną ideałów głównych.