To receive notifications about scheduled maintenance, please subscribe to the mailing-list gitlab-operations@sympa.ethz.ch. You can subscribe to the mailing-list at https://sympa.ethz.ch

Unverified Commit c6c57797 authored by rrueger's avatar rrueger
Browse files

Algebra II: Lecture 6. Add reference to missing proof of Lagrange

parent fa49c7c8
......@@ -49,13 +49,6 @@ now we will finally define them in general.
elementary function is the sum of all distinct products of $k$ variables''
\end{remark}
% @todo
% Is this true?
% \begin{remark}
% Strictly speaking, the elementary symmetric functions are elementary symmetric
% \textbf{polynomials}.
% \end{remark}
\begin{example}[Elementary symmetric Functions on 3 variables]
\begin{gather*}
\begin{cases}
......@@ -234,6 +227,9 @@ look at the subgroups of the Galois group (Part 1 of F.T.G.T).
subtraction, multiplication, division and extracting the $k$th root.
\end{theorem}
\begin{proof}
\end{proof}
\begin{corollary}
Together with Example~\ref{example:eqn_deg_4}, we have that every general
equation of degree 4 can be solved using surds.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment