Power sums are expressions of the form S_k = a_1^k + a_2^k + ... + a_n^k, where each a_i is a number and k is a positive integer, used extensively in algebra and number theory to study polynomial roots and symmetric functions. They are fundamental in deriving relationships between the roots of polynomials and their coefficients, often utilized in Newton's identities and the theory of symmetric polynomials.