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 47d3df82 authored by rrueger's avatar rrueger
Browse files

Algebra I: Modules. Update clarity on corollary

parent 2aa5070e
......@@ -99,9 +99,12 @@ Evidently, this homomorphism is surjective and we have $M = Rx \cong R/\ker
\begin{corollary}
Let $M = Rx$ be a cyclic $R$-module. Then we have
%
\begin{align*}
Rx \cong R /\ann x
\end{align*}
%
by the first isomorphism theorem.
\end{corollary}
\begin{theorem}[Existence of a Base]
......
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