前提知識

二項関係
整域

「約元である」という関係

※以下で定義する記法は一般的に使われる記号でないことがあります．

定義 1

$\mathbb{N}$上の二項関係$\trianglelefteq$を次で定義する．:

$a \trianglelefteq b$ $\defines$ $a$は$b$を割り切る

命題 2

関係$\trianglelefteq$は$\mathbb{N}$上の半順序

証明:
$a,b,c \in \mathbb{Z}$を任意にとる．順番に半順序の要請 (反射律，推移律，反対称律) を示していく．

$a = 1 a$と書くことができるので，$a$は$a$の約数．よって，$a \trianglelefteq a$．

$a \trianglelefteq b$かつ$b \trianglelefteq c$とすると，
$\exists g_{1} \in \mathbb{N}$, $a = g_{1} b$，
$\exists g_{2} \in \mathbb{N}$, $b = g_{2} c$．
このとき，$a = g_{1} g_{2} c$．よって，$a \trianglelefteq c$．

$a \trianglelefteq b$かつ$b \trianglelefteq a$とすると，
$\exists g_{1} \in \mathbb{N}$, $a = g_{1} b$，
$\exists g_{2} \in \mathbb{N}$, $b = g_{2} a$．
このとき，$a = g_{1} g_{2} a$．
すなわち，$(g_{1} g_{2} - 1)a = 0$．
$a = 0$なら，$b = 0$しか取り得ない．よって，$a = b$．
$g_{1} g_{2} = 1$なら，$g_{1} = g_{2} = 1$しか取り得ない．よって，$a = b$．

証明終

$\mathbb{N}$上では$\trianglelefteq$は半順序になり，反対称律という性質を満たすことが確認されました．
以下では定義1で定めた関係$\trianglelefteq$の台集合を広げて，$\mathbb{Z}$や一般の整域上でこの関係を考えてみます．
実は，この場合は「反対称律は満たされない」ということが分かります．

命題 3

関係$\trianglelefteq$は$\mathbb{Z}$上の擬順序ではあるが，半順序ではない．
つまり，関係$\trianglelefteq$は$\mathbb{Z}$上で反対称律を満たさない．

証明:
関係$\trianglelefteq$が反射律と推移律を満たすことは$\mathbb{N}$上での議論と全く同じようにして示される．
一方，関係$\trianglelefteq$について，$1 \trianglelefteq -1$かつ$-1 \trianglelefteq 1$であるから，これは反対称律を満たさない．

命題2の証明では，反対称律を示すときに$a \neq 0$であるときには

$$a = g_{1} g_{2} a \, \Longrightarrow \, g_{1} g_{2} = 1 \, \Longrightarrow \, g_{1} = g_{2} = 1$$

という性質を用いました．

整数上では2つめの$\Longrightarrow$が成り立ちません．例えば，$g_{1} = g_{2} = -1$もその積は$1$になります．

一般に環上では単位元$1$に加法の逆元$-1$が存在し，これは必ず

$$(-1) \times (-1) = 1$$

を満たします (詳しくは@KimChanさんの記事「$(-1)\times(-1)=1$の証明」を参照ください．この記事では整数を前提に議論を進めていますが，証明自体は全く同じようにして一般の環上で行うことができます．)．
これを基にすると，より一般に次の命題4が成立することが示せます．

命題4

$A$を整域とする．
関係$\trianglelefteq$は$A$上の擬順序ではあるが，半順序ではない．
つまり，関係$\trianglelefteq$は$A$上で反対称律を満たさない．

最後に次の命題5を示します．

命題5

$A$を体でない整域とする (ここでは証明しませんが，「体は整域である」という事実が成り立ちます．)．
このとき，関係$\trianglelefteq$は$A$上で対称律を満たさない．

証明:
背理法による．$\trianglelefteq$は$A$上で対称律を満たすとする．
$a, b \in A \setminus \{0\}$に対し，$a \trianglelefteq b$，すなわち，ある$g \in A$が存在して$b = ag$とする．
対称律を満たすので，このとき$b \trianglelefteq a$であり，ある$g^{\prime} \in A$が存在して$a = bg^{\prime}$である．
以上より，$a = agg^{\prime}$．
$a \neq 0$としたので，$A$が整域であることから$gg^{\prime} = 1$，よって$g$は可逆元．
つまり，$a \trianglelefteq b$としたとき，$b$は$a$の可逆元倍となるように表すことができる．

ここで，$a \in A \setminus \{0\}$を可逆でない元とし，$b = a^{2} \neq 0$とする (これらを満たす元の存在は体と整域の性質から従います．)．$a^{2} = a \times a$だから，$a \trianglelefteq a^{2}$である．よって，前段の証明から，$a^{2}$は$a$の可逆元$g$倍として表すことができる．:

$$a^{2} = a \times g$$

よって，$a(a-g) = 0$．いま，$a \neq 0$かつ$A$が整域なので，$g = a$．左辺は可逆元で右辺は可逆でない元なので，これは矛盾．

証明終

なお，この命題5の証明の後半で$a^{2} = a \times a$から直ちに矛盾を得るのは些か早計です．なぜなら，一般の整域では因数分解が一通りにできるとは限らないからです (そのような性質を課した整域を 一意分解整域 (unique factorization domain) といいます．)．

結論

今回は「約元である」という関係を扱いました．
命題5で見たように，一般の体でない整域上ではこの関係は対称律を満たすことはなく，したがって，同値関係にはならないのでした．

しかし，巷間では「約元である」という関係を$\mathrel{|}$という左右対称な形をした記号で表します．例えば，$3 \mathrel{|} 6$のように．

左右対称の形をした記号はその左右が対等なものに，つまり対称律を満たす関係に使われることが多いです．我々がよく知っている等値関係「$=$」や同値関係「$\iff$」がその例です．にもかかわらず，「約元である」という普通は対称律を満たさない関係に対しては，左右対称な形の記号を使います．この点について違和感を覚える人はそこそこいるようです．この記事の執筆の経緯も，実際に友人との他愛のない会話からこの違和感の話題が上がり，考察を始めたものでした．

では，もし「約元である」という関係を別の記号で表すならどれがよいのでしょうか．この記事はその観点から，「約元である」という関係はどのような性質を満たすのかを考察してきました．そして，この関係は大抵は擬順序という関係になることが分かったので，「$\trianglelefteq$」という記号を使って表してきました．

この記号$\trianglelefteq$はなんと左右対称な形ではありません．また，実数の大小関係を表す$<$や$\leq$と同様，尖っている側に小さい数が来やすいという性質をもちます．そのため，この記法だとどちらが左側に書かれるべきかを判別しやすいと思います．

とはいえこの記法は一般的ではないので，使うときにはちゃんと記法を定義するべきですね．