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

Algebra I: Commutative Rings. Compact definition of ideal

parent 18f43972
......@@ -397,9 +397,9 @@
An \textbf{ideal} in a commutative ring $R$ is a subset $I$ of $R$ such that
%
\begin{enumerate}
\item $0 \in I$,
\item if $a,b \in I$, then $a + b \in I$,
\item if $a \in I$ and $r \in R$, then $ra \in I$.
\item $(I, +, 0) \subseteq R$ is a group
\item $I$ is closed under multiplication from elements in $R$, i.e\ for $r
\in R, a \in I: ra \in I$
\end{enumerate}
%
The ring $R$ itself and $(0)$, the subset containing only $0$, are always
......
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