交代式

代数学における交代多項式（こうたいたこうしき、）は、その変数のうち任意のふたつを入れ替えるとき、符号が反転するような多項式を言う。式で書けば、 は任意として formula_1 が成り立つ多項式 を交代多項式という。置換の言葉で言えば、多項式の変数に関する任意の置換 が引き起こす交代多項式 への作用は置換の符号 を掛けること: formula_2 として実現される。
より一般に、多項式 formula_3 が「 に関して交代的」とは、 は何れも固定するものとして、 たちのうちどの二つを入れ替えても符号が変わるときにいう
交代多項式を短く交代式とも呼ぶ。また「交代式」は、必ずしも多項式とは限らない有理式や代数式（あるいはより一般の数式）で、変数の入れ替えで符号が反転するものを指すこともある。より一般に、変数の入れ替えで符号の反転する任意の函数を、交代函数（あるいは交代写像）という。
対称多項式との関係.
以下、多項式は同じ変数 に関するものとして、対称多項式や交代多項式について
などが成り立つ。これらの関係は、対称式を「偶」・交代式を「奇」と対応させたときの偶奇性の加法表と一致している。したがって、対称多項式全体の成すベクトル空間と交代多項式全体の成すベクトル空間との直和は（すなわち -次数付き代数）を成し、その偶成分が対称多項式の空間・奇成分が交代多項式の空間になる。
特に、交代多項式の全体は対称多項式環上の加群になる。実はこの加群は の自由加群で、生成元として -変数の差積がとれる。
係数環の標数が の場合は、交代多項式と対称多項式という二つの概念は一致する。
差積.
もっとも単純な交代多項式は差積 formula_4 である。差積が交代的であることは、ふたつの変数を入れ替えるとただ一つの因子だけ符号が変わり、それ以外の因子はそのままであることから明らか
任意の交代多項式 はちょうど、差積と適当な対称多項式 との積 formula_5 になっている。これは
といったようなことからの帰結である。シューア多項式は、いま見たような交代多項式を差積で割った多項式として定義される対称函数である。
表現論.
表現論の観点からは、対称式環も交代式環も -変数多項式環の 個の変数に対するの部分表現と見ることができる（ 個の文字に対する置換が、それら文字からなるへの作用を誘導することに注意せよ）。
対称群は、自明表現と符号表現のふたつの一次元表現を持つ。自明表現に対応するのが対称多項式で、符号表現に対応するのが交代多項式である。きちんと述べれば、任意の対称多項式からなるスカラー係数線型結合の全体が対称群の自明表現・任意の交代多項式からなるスカラー係数線型結合の全体が対称群の符号表現であり、これらは多項式全体の成す空間とそれら各々の表現とのテンソル積をとったものとして得られる。
非安定性.
交代多項式の全体は（の意味で）非安定な現象を示す。つまり、-変数対称式環の場合であれば、任意個の変数を持つ対称多項式環から、必要な変数以外の変数を零に等しいと置くことで得られる（このことを指して、対称多項式は「安定である」とか「互換的に定義された」("compatibly defined") などという）のであったが、交代多項式（とくに差積）にはこれが当てはまらない。