generated ideal and sum

1. Proposition

Let \(R\) be a ring, \(\mathfrak{a},\mathfrak{b}\) ideals, then

\begin{align*} (\mathfrak{a}, \mathfrak{b}) = \mathfrak{a} + \mathfrak{b} \end{align*}

2. Proof

2.1. \(\subseteq\)

characrterized by the property of smallest ideal

2.2. \(\supseteq\)

todo

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 15:40