The ring of multisymmetric functions
We give a presentation (in terms of generators and relations) of the ring of multisymmetric functions that holds for any commutative ring , thereby answering a classical question coming from works of F. Junker [J1, J2, J3] in the late nineteen century and then implicitly in H. Weyl book “The classical groups” [W].