Relations of multiple zeta values and their algebraic expression

We establish a new class of relations, which we call the cyclic sum identities, among the multiple zeta values ζ (k₁,..., k_l) = ∑_{n1 >⋯>nl}≥1 1/(n₁^k1 ⋯ n_k^kl). These identities have an elementary proof and imply the "sum theorem" for multiple zeta values. They also have a succinct statement in terms of "cyclic derivations" as introduced by Rota, Sagan, and Stein. In addition, we discuss the expression of other relations of multiple zeta values via the shuffle and "harmonic" products on the underlying vector space h of the noncommutative polynomial ring Q(x, y), and also using an action of the Hopf algebra of quasi-symmetric functions on Q(x, y).