Elementary Symmetric Polynomial - Definition

Definition

The elementary symmetric polynomials in variables X1, …, Xn, written ek(X1, …, Xn) for k = 0, 1, ..., n, can be defined as

\begin{align} e_0 (X_1, X_2, \dots,X_n) &= 1,\\ e_1 (X_1, X_2, \dots,X_n) &= \textstyle\sum_{1 \leq j \leq n} X_j,\\ e_2 (X_1, X_2, \dots,X_n) &= \textstyle\sum_{1 \leq j < k \leq n} X_j X_k,\\ e_3 (X_1, X_2, \dots,X_n) &= \textstyle\sum_{1 \leq j < k < l \leq n} X_j X_k X_l,\\ \end{align}

and so forth, down to

(sometimes the notation σk is used instead of ek). In general, for k ≥ 0 we define

Thus, for each positive integer less than or equal to, there exists exactly one elementary symmetric polynomial of degree in variables. To form the one which has degree, we form all products of -subsets of the variables and add up these terms.

The fact that and so forth is the defining feature of commutative algebra. That is, the polynomial ring formed by taking all linear combinations of products of the elementary symmetric polynomials is a commutative ring.

Read more about this topic:  Elementary Symmetric Polynomial

Famous quotes containing the word definition:

    “Was man made stupid to see his own stupidity?
    Is God by definition indifferent, beyond us all?
    Is the eternal truth man’s fighting soul
    Wherein the Beast ravens in its own avidity?”
    —Richard Eberhart (b. 1904)

    “Perhaps the best definition of progress would be the continuing efforts of men and women to narrow the gap between the convenience of the powers that be and the unwritten charter.”
    —Nadine Gordimer (b. 1923)

    “No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.”
    —Florence Nightingale (1820–1910)