\documentclass[numbers=enddot,12pt,final,onecolumn,notitlepage]{scrartcl}%
\usepackage[headsepline,footsepline,manualmark]{scrlayer-scrpage}
\usepackage[all,cmtip]{xy}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{framed}
\usepackage{amsmath}
\usepackage{comment}
\usepackage{color}
\usepackage{hyperref}
\usepackage[sc]{mathpazo}
\usepackage[T1]{fontenc}
\usepackage{amsthm}
%TCIDATA{OutputFilter=latex2.dll}
%TCIDATA{Version=5.50.0.2960}
%TCIDATA{LastRevised=Friday, July 13, 2018 18:17:28}
%TCIDATA{SuppressPackageManagement}
%TCIDATA{}
%TCIDATA{}
%TCIDATA{BibliographyScheme=Manual}
%BeginMSIPreambleData
\providecommand{\U}[1]{\protect\rule{.1in}{.1in}}
%EndMSIPreambleData
\theoremstyle{definition}
\newtheorem{theo}{Theorem}[section]
\newenvironment{theorem}[1][]
{\begin{theo}[#1]\begin{leftbar}}
{\end{leftbar}\end{theo}}
\newtheorem{lem}[theo]{Lemma}
\newenvironment{lemma}[1][]
{\begin{lem}[#1]\begin{leftbar}}
{\end{leftbar}\end{lem}}
\newtheorem{prop}[theo]{Proposition}
\newenvironment{proposition}[1][]
{\begin{prop}[#1]\begin{leftbar}}
{\end{leftbar}\end{prop}}
\newtheorem{defi}[theo]{Definition}
\newenvironment{definition}[1][]
{\begin{defi}[#1]\begin{leftbar}}
{\end{leftbar}\end{defi}}
\newtheorem{remk}[theo]{Remark}
\newenvironment{remark}[1][]
{\begin{remk}[#1]\begin{leftbar}}
{\end{leftbar}\end{remk}}
\newtheorem{coro}[theo]{Corollary}
\newenvironment{corollary}[1][]
{\begin{coro}[#1]\begin{leftbar}}
{\end{leftbar}\end{coro}}
\newtheorem{conv}[theo]{Convention}
\newenvironment{condition}[1][]
{\begin{conv}[#1]\begin{leftbar}}
{\end{leftbar}\end{conv}}
\newtheorem{quest}[theo]{Question}
\newenvironment{algorithm}[1][]
{\begin{quest}[#1]\begin{leftbar}}
{\end{leftbar}\end{quest}}
\newtheorem{warn}[theo]{Warning}
\newenvironment{conclusion}[1][]
{\begin{warn}[#1]\begin{leftbar}}
{\end{leftbar}\end{warn}}
\newtheorem{conj}[theo]{Conjecture}
\newenvironment{conjecture}[1][]
{\begin{conj}[#1]\begin{leftbar}}
{\end{leftbar}\end{conj}}
\newtheorem{exmp}[theo]{Example}
\newenvironment{example}[1][]
{\begin{exmp}[#1]\begin{leftbar}}
{\end{leftbar}\end{exmp}}
\iffalse
\newenvironment{proof}[1][Proof]{\noindent\textbf{#1.} }{\ \rule{0.5em}{0.5em}}
\fi
\newenvironment{verlong}{}{}
\newenvironment{vershort}{}{}
\newenvironment{noncompile}{}{}
\excludecomment{verlong}
\includecomment{vershort}
\excludecomment{noncompile}
\newcommand{\kk}{\mathbf{k}}
\newcommand{\id}{\operatorname{id}}
\newcommand{\ev}{\operatorname{ev}}
\newcommand{\Comp}{\operatorname{Comp}}
\newcommand{\bk}{\mathbf{k}}
\newcommand{\Nplus}{\mathbb{N}_{+}}
\newcommand{\NN}{\mathbb{N}}
\let\sumnonlimits\sum
\let\prodnonlimits\prod
\renewcommand{\sum}{\sumnonlimits\limits}
\renewcommand{\prod}{\prodnonlimits\limits}
\DeclareSymbolFont{bbold}{U}{bbold}{m}{n}
\DeclareSymbolFontAlphabet{\mathbbold}{bbold}
\setlength\textheight{22.5cm}
\setlength\textwidth{15cm}
\ihead{Errata to Multisymmetric Polynomials Generated}
\ohead{\today}
\begin{document}
\begin{center}
\textbf{When is the Algebra of Multisymmetric Polynomials Generated by the
Elementary Multisymmetric Polynomials?}
\textit{Emmanuel Briand}
\url{https://www.emis.de/journals/BAG/vol.45/no.2/b45h2bri.pdf}
Beitr\"{a}ge zur Algebra und Geometrie (Contributions to Algebra and
Geometry), Volume \textbf{45} (2004), No. 2, pp. 353--368.
\textbf{Errata and addenda by Darij Grinberg}
\bigskip
\end{center}
%\setcounter{section}{}
\section{Errata}
\begin{itemize}
\item \textbf{page 356, Definition 2:} In the last sentence of Definition 2,
\textquotedblleft for $\alpha$ running in the parts of $\mathfrak{p}%
$\textquotedblright\ might better be \textquotedblleft for $\alpha$ running
over the distinct parts of $\mathfrak{p}$\textquotedblright.
\item \textbf{page 358:} After you define polarization, you could add the
formula
\[
\Delta_{\alpha}^{r}\left( fg\right) =\sum\Delta_{\beta}^{\left\vert
\beta\right\vert }f\cdot\Delta_{\gamma}^{\left\vert \gamma\right\vert }g
\]
for any homogeneous polynomials $f$ and $g$ with $\deg f+\deg g=r$. Here, the
sum is over all $\left( \beta,\gamma\right) \in\left( \mathbb{N}%
^{r}\right) ^{2}$ such that $\left\vert \beta\right\vert =\deg f$,
$\left\vert \gamma\right\vert =\deg g$ and $\beta+\gamma=\alpha$. This formula
is easy and known, but since you are defining polarization, you might as well
mention this formula, as you are using it several times (for example, you
silently use it whenever you make an argument of the form \textquotedblleft
some polynomials $P_{i}$ generate a polynomial $Q$ $\Longrightarrow$ the
polarizations of $P_{i}$ generate the polarization of $Q$\textquotedblright).
\item \textbf{page 359, proof of Theorem 3:} You say \textquotedblleft To
determine the multiplicative coefficient, note that $m_{\mathfrak{p}}$ is the
sum of $\dfrac{k!}{\mu_{\mathfrak{p}}!}$ monomials, while $e_{1,1,...,1}$ is
the sum of $k!$ monomials. So the multiplicative coefficient is $\mu
_{\mathfrak{p}}!$.\textquotedblright. I think that both numbers $\dfrac
{k!}{\mu_{\mathfrak{p}}!}$ and $k!$ should be multiplied with $n!/(n-k)!$ here.
\item \textbf{page 363, Lemma 12:} The dot at the end of the formula
($m_{\mathfrak{p}}\cdot m_{\mathfrak{q}}=...$) should be a comma.
\item \textbf{page 363, proof of the Lemma 12:} Some of the letters $a$, $b$,
..., $z$ in the formulas should be boldface.
\item \textbf{page 364, proof of Lemma 13:} This proof is incorrect. Let me
explain where it goes wrong.
First of all, what you call \textquotedblleft partial ordering $\precsim_{i}%
$\textquotedblright\ is not actually a partial ordering, but just a pre-order:
Indeed, two vector partitions $\mathfrak{p}$ and $\mathfrak{q}$ may satisfy
$\lambda(j;\mathfrak{p})=\lambda(j;\mathfrak{q})$ for ALL $j$ (including
$j=i$) but still not be equal. Also, I suspect you want to add
\textquotedblleft and $\lambda(j;\mathfrak{p})=\lambda(j;\mathfrak{q})$ for
all $j\neq i$\textquotedblright\ after \textquotedblleft$p\precsim_{i}q$ if
and only if $\lambda(i;\mathfrak{p})$ is smaller than $\lambda(i;\mathfrak{q}%
)$ in lexicographic order\textquotedblright\ (because otherwise, in your
reduction algorithm it would be possible that some steps destroy what previous
steps have achieved, and the algorithm goes around in circles). Besides,
either you want to replace $\precsim_{i}$ by $\prec_{i}$, or ``smaller'' by
``smaller or equal''.
So let me assume that you want to define $\prec_{i}$ by: $p\prec_{i}q$ if and
only if $\lambda(i;\mathfrak{p})$ is smaller than $\lambda(i;\mathfrak{q})$ in
lexicographic order and $\lambda(j;\mathfrak{p})=\lambda(j;\mathfrak{q})$ for
all $j\neq i$.
Now, how do you make sure that, in the first of three cases, you have
$q\prec_{i}p$ ? This is the case $\lambda(i;\mathfrak{p})=\left( t_{1}%
,t_{2},...,t_{s},k,...,k,0,...,0\right) $. Everything is okay when
$t_{s}>k+1$, but when $t_{s}=k+1$, hell may break loose. For example, say
$\mathfrak{p}=((3,x),(2,y),(1,z))$ for some distinct positive integers $x$,
$y$, $z$ which I don't want to specify. Let $i=1$ (so we are reducing the
first coordinate). Then your reduction yields $m_{\mathfrak{p}}%
=m_{\mathfrak{r}}e_{2\xi_{1}}-\sum m_{\mathfrak{q}}$. The problem is now, one
of the $\mathfrak{q}$'s is $((3,x),(2,z),(1,y))$. And this is in no way
``smaller'' than $\mathfrak{p}$, and if we try to reduce it further, we get
$\mathfrak{p}$ back again as some of the $\mathfrak{q}$'s.
As far as I have understood, what your argument does show is that the
multisymmetric polynomials with multidegree dominated by $\left(
N,N,...,N\right) $ generate the multisymmetric polynomials as a module over
the elementary multisymmetric ones, where $N=n\left( n-1\right) /2$ (the
proof seems to be similar to the one given by G\"{o}bel for what is nowadays
called G\"{o}bel's bound). But this argument does not show $n-1$ is enough...
[\textbf{Update:} Emmanuel Briand has confirmed the above mistake. For a
correct proof of Lemma 13, see Fleischmann's paper [5].]
\item \textbf{page 365, \S 4.3:} You refer to \textquotedblleft Proposition
13\textquotedblright. It should be \textquotedblleft Lemma
13\textquotedblright.
\end{itemize}
\end{document}