2007-08-01 対称式 集合からそれ自身への全単射の全体は、写像の合成を演算として群になります。このを次の対称群といいます。 多項式が対称群の任意の元に対して を満たすとき、多項式を対称式といいます。