偶置換計算ツールとは?
偶置換計算ツールは、n 個の異なる要素からなる集合に対して、偶置換(偶順列)がいくつ存在するかを教えてくれるツールです。群論において、ある置換が偶数回の互換(2つの要素の入れ替え)の積で表せるとき、その置換は「偶」と呼ばれ、奇数回必要な場合は「奇」と呼ばれます。要素が2個以上ある集合では、すべての置換のちょうど半分が偶置換、残りの半分が奇置換になります。このツールはその個数を瞬時に計算し、参考として全置換数・奇置換数も併せて表示します。
使い方
入力欄は1つだけです。
- 要素数(n)— 集合の要素の数を表す正の整数を入力します。入力できる値は 100,000 以下です。
送信すると、全置換数(\(n!\))、偶置換の数、奇置換の数が表示されます。0以下の数、100,000 を超える値、または整数でない値を入力した場合は、わかりやすいエラーメッセージが表示されます。
計算式の解説
偶置換の数は次の式で求められます。
$$E_n = \frac{n!}{2}$$
ここで n!(n の階乗)は、1 から n までのすべての整数の積であり、n 個の異なる要素を並べる方法の総数に等しくなります。偶置換と奇置換は対称群をちょうど半分ずつに分けるため、総数を2で割れば偶置換の数が得られます。本ツールは奇置換の数も \(n! - (n! \div 2)\) として計算しますが、これも同じ値になり、半々に分かれることを裏付けています。内部では BigInteger(多倍長整数)演算を用いているため、非常に大きな階乗でもオーバーフローせずに正確に処理できます。
具体例
n = 4 の場合を考えてみましょう。全置換数は \(4! = 4 \times 3 \times 2 \times 1 = 24\) です。偶置換の数は次のようになります。
$$24 \div 2 = \mathbf{12}$$
つまり、4個の要素からなる集合には偶置換が12個、奇置換が12個あります。この12個の偶置換は交代群 A₄ を構成します。n = 5 の場合は \(5! = 120\) なので、偶置換は60個(群 A₅)となります。
よくある質問
なぜ答えは常に n! のちょうど半分になるのですか? n ≥ 2 のとき、1つの互換を掛けると、すべての偶置換はそれぞれ別個の奇置換に変わり、その逆も成り立ちます。これにより完全な1対1の対応が生まれるため、両者の個数は必ず等しくなります。
n = 1 のときはどうなりますか? 要素が1個だけの場合、存在する置換は恒等置換のみで、これは偶置換です。式 \(n! \div 2 = 1 \div 2\) は整数演算では切り捨てられて0になるため、純粋な数学上では n = 1 は特別な例外ケースとなる点に注意してください。
入力に上限はありますか? はい。計算を高速かつ安定して行うため、入力できるのは 100,000 以下の正の整数に限られます。