置換の符号とは，対称群からへの唯一の非自明な準同型でとかきます． この置換の符号を使って，例えば行列式などが などと定義できるのでした．ここで，符号の値域をではなく，にすると，置換の符号を精密化した「一般化符号」ができて面白いんじゃないかと…

個の文字から重複を許して個とるとり方は 通りである．このことを二通りの方法で示す． 証明その１ 個の文字から重複を許して個とるとり方は， 個の (区別できない)ボールと個の (区別できない)仕切りを一列に並べる並べ方と一対一対応する． なぜならば，そ…

命題 変数論理関数，つまり写像は通り存在する．証明 と書いた時点でほとんど明らかな気がするが，証明するには真理値表が何通り書けるかを考えればよい． からまでの通りの入力が，それぞれのどちらになるかを決めるので，通りになる． （証明終わり）蛇足 …