left ideal

Let \(A\) be a ring and \(\mathfrak{a}\) an additive subgroup. Then \(\mathfrak{a}\) is said to be a left ideal, if for \(\alpha \in A, a \in \mathfrak{a}\)

\begin{align*} \alpha \cdot a \in \mathfrak{a} \end{align*}