симметрическая функция

Симметрическая функция от n переменных — это функция, значение которой на любом n-кортеже аргументов то же самое, что и значение на любой перестановке этого n-кортежа. Если, например, , функция может быть симметрической на всех переменных или парах , или . Хотя это может относиться к любым функциям, для которых n аргументов имеют одну и ту же область определения, чаще всего имеются в виду многочлены, которые в этом случае являются симметрическими многочленами. Вне многочленов теория симметрических функций бедна и мало используется. Также обычно не важно точное число переменных, считается что их просто достаточно много. Чтобы сделать эту идею более строгой, с помощью проективного предела осуществляется переход к так называемому кольцу симметрических функций , формально содержащему бесконечное число переменных.