互いに素であることの判定は素因数分解を用いて行うこともできるが、二つの整数のうち少なくとも一方が巨大である場合など一般には困難である。素因数分解によって公約数を調べる方法よりも、ユークリッドの互除法によって最大公約数を調べる方法のほうが遥に速い。正の整数と互いに素となる(からの間の)整数の個数は、オイラー関数によって与えられる。三つの整数が互いに素であるとは、が成り立つことをいう。また、、、がすべてに等しいとき、は対ごとに素()またはどの二つも互いに素であるという。一般に、互いに素であるからといって対ごとに素であるとは限らない(例:)。一般の個の整数についても同様に定義される。性質.以下は、整数が互いに素であることと同値な条件である。互いに素である確率.とが互いに素とは、任意の素数に対して、との少なくとも一方がの倍数でないこと、と言い換える。を固定したとき、この事象は、がともにの倍数である事象の余事象である。がの倍数である確率はである。(についても同様)各に対して、これらの試行は独立だから、求める確率は、ここで、はリーマンのゼータ関数を表す。の値はレオンハルト・オイラーによって求められた。一般に、任意に選んだ個の整数が互いに素である確率はで表される。互いに素な整数の組の生成.すべての互いに素な正の整数の組(ただし)は、二つの互いに素な完全を用いて並べることができる。片方の木はから始まり偶数・奇数および奇数・偶数の組を、もう片方はから始まり奇数・奇数の組を生成する。このときノードから生成される三つの子ノードはそれぞれ次のように表される。以上により生成される組は常に互いに素であり、すべての組が重複なく網羅される。北九州高速鉄道小倉線概要.運行形態.歴史.車両.車両の検査・修繕は企救丘駅に隣接する車両基地で行われ、JR九州エンジニアリング株式会社企救丘車両所に業務委託されている。駅一覧.全駅福岡県北九州市に所在。四日市あすなろう鉄道内部線内部線(うつべせん)は、あすなろう四日市駅から内部駅までを結ぶ四日市あすなろう鉄道の鉄道路線。全線が三重県四日市市内を走る。概要.歴史.運行形態.