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:

    “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)

    “One definition of man is “an intelligence served by organs.””
    —Ralph Waldo Emerson (1803–1882)

    “... if, as women, we accept a philosophy of history that asserts that women are by definition assimilated into the male universal, that we can understand our past through a male lens—if we are unaware that women even have a history—we live our lives similarly unanchored, drifting in response to a veering wind of myth and bias.”
    —Adrienne Rich (b. 1929)