Basic Theorems Regarding Ideals in an Algebra 2

Basic Theorems Regarding Ideals in an Algebra 2

 Theorem 1: Let $\mathfrak{A}$ be a Banach algebra and let $J \subseteq \mathfrak{A}$ be a linear subspace of $\mathfrak{A}$. Then: a) If $J$ is proper modular left ideal of $\mathfrak{A}$ and $u$ is a right modular unit of $J$ then $\| u - j \| \geq 1$ for all $j \in J$. b) If $J$ is a proper modular right ideal of $\mathfrak{A}$ and $u$ is a left modular unit of $J$ then $\| u - j \| \geq 1$ for all $j \in J$.

The above proposition tells us that for proper modular left ideals of $\mathfrak{A}$, if $u$ is a corresponding right modular unit then the norm distance from $u$ to $J$ is at least $1$.

• Proof of a): Let $J$ be a proper modular left ideal of $\mathfrak{A}$ and let $u$ be a right modular unit of $J$. Suppose instead that for some $j^* \in J$ we have that $\| u - j^* \| < 1$. We look at the spectral radius of $u - j^*$
(1)
\begin{align} \quad r(u - j^*) = \inf \{ \| (u - j^*)^n \|^{1/n} : n \in \mathbb{N} \} \leq \| (u - j^*)^1 \|^1 = \| u - j^* \| < 1 \end{align}
• By the theorem on the Quasi-Invertibility of x When r(x) < 1 in a Banach Algebra page we have that since $\mathfrak{A}$ is a Banach algebra and $r(u - j^*) < 1$ that $u - j^*$ is quasi-invertible. Let $y$ be the quasi-inverse of $u - j^*$. So in particular, $y \circ (u - j^*) = 0$ and we have that is:
(2)
\begin{align} \quad y + (u - j^*) - y(u - j^*) = 0 \end{align}
• Or equivalently:
(3)
\begin{align} \quad u &= j^* - y + y(u - j^*) \\ &= j^* - y + yu - yj^* \\ &= j^* -y(1 - u) - yj^* \end{align}
• Now observe that $j^* \in J$ by definition. Also, since $J$ is a left modular ideal and $u$ is a right modular unit of $J$ we have that $\mathfrak{A}(1 - u) \subseteq J$. Since $y \in \mathfrak{A}$ (and hence $-y \in X$, we see that $-y(1 - u) \in J$ too. Also since $J$ is a left ideal we have that $\mathfrak{A}J \subseteq J$ and so $-yj^* \in J$. Since $J$ is a linear subspace we have from the above equation that $u \in J$.
• But this is a contradiction since $J$ is assumed to be a proper ideal of $\mathfrak{A}$. So the assumption that such an element $j^*$ exists is false.
• So $\| u - j \| \geq 1$ for every $j \in J$. $\blacksquare$
• Proof of b) Similarly to above, let $J$ be a proper modular right ideal of $\mathfrak{A}$ and let $u$ be a left modular unit of $J$. Suppose there exists a $\hat{j} \in J$ such that $\| u - \hat{j} \| < 1$. Then $r(u - \hat{j}) < 1$ and so since $\mathfrak{A}$ is a Banach algebra, from the aforementioned theorem, $u - \hat{j}$ is quasi-invertible, so let $y$ be the quasi-inverse of $u - \hat{j}$. Then in particular $(u - \hat{j}) \cdot y = 0$, that is:
(4)
\begin{align} \quad (u - \hat{j}) + y - (u - \hat{j})y = 0 \end{align}
• Or equivalently:
(5)
\begin{align} \quad u &= \hat{j} - y + (u - \hat{j})y \\ &= \hat{j} - y + uy - \hat{j}y \\ &= \hat{j} - (1 - u)y - \hat{j}y \end{align}
• We note that $\hat{j} \in J$, $(1 - u)y \in (1 - u)\mathfrak{A} \subseteq J$ (since $u$ is a left modular unit of $J$), and $-\hat{j}y \in J\mathfrak{A} \subseteq J$ (since $J$ is a right ideal of $\mathfrak{A}$), and thus, $u \in J$. But again, $J$ is assumed to be a proper ideal and so $u$ cannot be in $J$. So the assumption that such a $\hat{j}$ exists is false.
• Thus $\| u - j \| \geq 1$ for all $j \in J$. $\blacksquare$
 Theorem 2: Let $\mathfrak{A}$ be a Banach algebra and let $J \subseteq \mathfrak{A}$ be a linear subspace of $\mathfrak{A}$. If $J$ is a proper modular left (right) ideal of $\mathfrak{A}$ then the closure $\overline{J}$ is a proper modular left (right) ideal of $\mathfrak{A}$.
• Proof: Let $J$ be a proper modular left (right) ideal of $\mathfrak{A}$ and let $u$ be a right (left) modular unit of $J$.
• Since $J$ is a left (right) modular ideal of $\mathfrak{A}$ it is easy to verify that $\hat{J}$ is also a left (right) modular ideal of $\mathfrak{A}$, that is, $\mathfrak{A} \bar{J} \subseteq \bar{J}$ ($\bar{J}\mathfrak{A} \subseteq \bar{J}$), and also, since $J \subseteq \bar{J}$ and $u$ is a left (right) modular unit of $J$ we have that $u$ is a left (right) modular unit of $\bar{J}$ too by one of the propositions on the Basic Theorems Regarding Ideals in an Algebra 1 page.
• All that remains to show is that $\bar{J}$ is proper.
• Suppose instead that $\bar{J}$ is not proper. Then $\bar{J} = \mathfrak{A}$, and so $J$ is dense in $\mathfrak{A}$. In particular, for the point $u \in J$ there must exist a point $y^* \in J$ such that:
(6)
\begin{align} \quad \| u - j^* \| < 1 \end{align}
• But this contradicts Proposition 1. So the assumption that $\bar{J}$ is not proper is false. Thus $\bar{J}$ is a proper modular left (right) ideal of $\mathfrak{A}$. $\blacksquare$
 Corollary 3: Let $\mathfrak{A}$ be a Banach algebra. If $M$ is a maximal modular left (right) ideal of $\mathfrak{A}$ then $M$ is closed.
• Proof: Let $M$ be a maximal modular left (right) ideal of $\mathfrak{A}$. Then $M$ is a proper modular left (right) ideal of $\mathfrak{A}$. By Theorem 2 we have that $\overline{M}$ is a proper modular left (right) ideal of $\mathfrak{A}$. But $\overline{M}$ contains $M$ and by the maximality of $M$ we have that $M = \overline{M}$, i.e., $M$ is closed. $\blacksquare$