MCPで接続 →

計算を入力してください

公式

広告

結果

偶置換の数
60
要素数(n) 5
全置換数 120
奇置換の数 60

偶置換計算ツールとは?

偶置換計算ツールは、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 の階乗個の置換の集合が、偶置換と奇置換の等しい2つの半分に分かれる様子を示した図
n! 通りの置換は偶置換と奇置換にちょうど半分ずつ分かれるので、半分が偶置換です。

具体例

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₅)となります。

3つの要素のある順序を別の順序へ変換する入れ替えを示した、平らな木構造の図
偶置換は偶数回の互換(2要素の入れ替え)で得られます。

よくある質問

なぜ答えは常に n! のちょうど半分になるのですか? n ≥ 2 のとき、1つの互換を掛けると、すべての偶置換はそれぞれ別個の奇置換に変わり、その逆も成り立ちます。これにより完全な1対1の対応が生まれるため、両者の個数は必ず等しくなります。

n = 1 のときはどうなりますか? 要素が1個だけの場合、存在する置換は恒等置換のみで、これは偶置換です。式 \(n! \div 2 = 1 \div 2\) は整数演算では切り捨てられて0になるため、純粋な数学上では n = 1 は特別な例外ケースとなる点に注意してください。

入力に上限はありますか? はい。計算を高速かつ安定して行うため、入力できるのは 100,000 以下の正の整数に限られます。

最終更新: