Topologically Noetherian Banach algebras

Abstract In this work, we introduce and study the properties of topologically Noetherian Banach algebras. In particular, we prove, if every prime closed ideal of a commutative Banach algebra A is maximal, then A is finite dimensional. Finally, we show that if every maximal ideal of a Banach algebra is generated by idempotent element then the Banach algebra is finite dimensional.


Introduction
proved if every closed ideal in a commutative Banach algebra A is finitely generated, then A is finite dimensional. Sinclair and Tullo (1974) obtained a non-commutative version of this result. Ferreira and Tomassini (1978) improved Grauert and Remmert's result by showing that the statement is also true if one replaces "closed ideals" by "maximal ideals" in the Shilov boundary of A. Dales and Żelazko (2012) shorten their proof, with some extensions. For notations and terminologies we follow Bowers & Kalton (2014).
Let A be a Banach algebra with identity over a field of complex number. Let I be a closed ideal of A. Then I is said to be irreducible if it is not a finite intersection of closed ideals of A properly containing I, otherwise, I is termed reducible.
A closed ideal I of a commutative Banach algebra A is called primary if the conditions ab ∊ I and a ∉ I together imply b n ∊ I, for some positive integer n.
An element e in A is said to be idempotent, if e 2 = e.
A left ideal I of A is said to be topologically finitely generated (t.f.g.) if there exist x 1 , x 2 , …, x n ∊ I such that Ī = < x 1 , x 2 , … , x n >. We say that A is a topologically Noetherian (T.N) Banach algebra if for every ascending chain I 1 ⊆ I 2 ⊆ … ⊆ I n ⊆ … of closed left ideals of A, there exists n∊ Z + such that I m = I n for all m ≥ n.
It is clear that any left Noetherian and any simple Banach algebra is topologically Noetherian.

ABOUT THE AUTHORS
Falah Aldosary and Rachid El Harti are professors of mathematics in Umm-Al Qura University. They published several papers in national and international journals of mathematics.

PUBLIC INTEREST STATEMENT
In this paper, we modify the ascending chain introducing the so-called topologically Noetherian Banach algebra which inhered several of the main properties of Noetherian Banach algebra. In particular, we prove that if every prime closed ideal of a commutative Banach algebra A is maximal, then A is finite dimensional. http://dx.doi.org/10.1080/23311835.2016.1234182

Basic properties
It is easy to prove the following: Proposition 2.1 Let A be a Banach algebra. Then the following conditions are equivalent: (a) A is topologically Noetherian.
(b) Every closed left ideal of A is topologically finitely generated.
(c) Every non-empty family of closed left ideals of A, has a maximal element Proposition 2.2 If A is a topologically Noetherian Banach algebra and I is a closed of A, then A/I is topologically Noetherian.
Next we prove a partial converse of Proposition 1.2.

Proposition 2.3 If A is a commutative Banach algebra and A/I is a topologically Noetherian for all closed 0 ≠ I ◁ A, then A is topologically Noetherian.
Proof Let I 1 ⊆ I 2 ⊆ I 3 ⊆ … be any ascending chain of closed ideals of A. Then I 2 ∕I 1 ⊆ I 3 ∕I 1 ⊆ … is an ascending chain of closed ideals of A/I 1 . But A /I 1 is topologically Noetherian, hence there exists n ∊ Z + such that I n ∕I 1 = I m ∕I 1 for all m ≥ n. Hence I m = I n for all m ≥ n and A is topologically Noetherian. □

Theorem 2.4 Let I be a closed ideal of Banach algebra A. If I and A/I are topologically Noetherian, then A is topologically Noetherian.
Proof Let I 1 ⊆ I 2 ⊆ … be any ascending chain of closed left ideals of A. Then I 1 ∩ I ⊆ I 2 ∩ I ⊆ … is an ascending chain of closed left ideals of I and is an ascending chain of closed left ideals of A/I. But I and A/I are topologically Noetherian, hence there exists r, s ∈ Z + such that I r ∩ I = I n ∩ I for all r ≥ n and

The ideal structures and some classification
In this section, we study the ideal structures of ideals in topologically Noetherian Banach algebra.
First we prove the following. It is well known that any ideal in a commutative Noetherian ring contains a finite product of primes, see Cohn (1979) page 404. A similar result holds for a commutative T.N Banach algebras as we prove in the following.

Proposition 3.3 Let
A be a commutative T.N. Banach algebra and I is a closed ideal of A. Then (a) There are prime closed ideals P 1 , P 2 ,…, P m of A such that

Proof
(a) Let I be the family of ideals in A which does not contain a product of closed prime ideals and suppose that I ≠ φ. Then I has a maximal element say J. Hence, J is not a prime ideal in A, so there are a, b∊ A such that ab ∊ J. With a ∉ I and b ∉ I. Let K = J + < a > , L = J + < b > . Then K and L are closed ideals of A and J ⊂ K, J ⊂L. Hence, each one of them contains a finite product of closed prime ideals. But KL ⊂ J, hence J contains a finite product of closed prime ideals which is a contradiction. Therefore I = φ.
Next, we study primary ideals in T.N. Banach algebra.

Theorem 3.4 Let A be a commutative topologically Noetherian Banach algebra, then every closed ideal in A is a finite intersection of primary closed ideals.
Proof It is easy to show that every closed ideal of A is a finite intersection of irreducible closed ideals, so it is enough to prove that every irreducible closed ideal is primary. Let I be an irreducible closed ideal of A. We need to show that I is primary. Since the homomorphic image of a T.N. Banach algebra is a T.N, it is enough to show that 0 is a closed primary ideal. It sufficient to show that if xy = 0 ∊ R, then either x = 0 or y n = 0 for some n. First we claim that 〈x〉 ∩ 〈y n 〉 = 0.
To prove this, we consider the ascending chain ann⟨y⟩ ⊆ ann⟨y 2 ⟩ ⊆ … ⊆ ann⟨y n ⟩ ⊆ … of closed ideals of A, since A is a T.N, then there exists n∊ Z + such that ann⟨y n ⟩ = ann⟨y n+1 ⟩. Now if a ∊ 〈x〉 ∩ 〈y n 〉, then a = bx = cy n for some b, c so ay = 0 since (bx) y = b(xy) = 0. Hence cyy n = cy n+1 = 0. So c ∈ ann⟨y n+1 ⟩ = ann⟨y n ⟩. Therefore a = cy n = 0 and 〈x〉 ∩ 〈y n 〉 = 0. Now by irreducibility of the zero ideal, it follows that 〈x〉 = 0 or 〈y n 〉 = 0. Hence x = 0 or y n = 0. □ Now we raise the following question: Is any topologically Noetherian Banach algebra finite dimensional?
Note that, if A = C([0,1]), then every maximal ideal is t.f.g., but A is neither T.N. nor finite dimensional, however we have the following: Theorem 3.5 Let A be a T.N. commutative Banach algebra such that every closed prime ideal of A is maximal, then A is finite dimensional.
You are free to: Share -copy and redistribute the material in any medium or format Adapt -remix, transform, and build upon the material for any purpose, even commercially. The licensor cannot revoke these freedoms as long as you follow the license terms.
Under the following terms: Attribution -You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.

No additional restrictions
You may not apply legal terms or technological measures that legally restrict others from doing anything the license permits.
Proof By Proposition 3.3a, there are closed prime ideals P 1 , P 2 , …, P m of A such that m ∏ i=1 P i = 0. Note that P i , P j are comaximal, therefore by Bourbaki, (1974, prop. 7, p. 108), A∕P i , and A/P i is finite dimensional, hence A is finite dimensional. □ Corollary 3.6 Let A be a T.N. commutative Banach algebra. If every maximal ideal of A generated by idempotent element, then A is finite dimensional.
Proof Let I be a closed primary ideal in A but not maximal ideal of A. Then I ⊂ M, where M is a maximal ideal of A. But M = < e >, where e 2 = e, and 0 ≠ e ≠ 1, hence e(1 − e) = 0 ∊ I and e ∉ I. Therefore (1 − e) n ∊ I ⊂ M. But M is a prime ideal of A, hence (1 − e) ∊ M. Therefore 1 ∊ M and M = A, which is a contradiction. Hence I is a maximal ideal of A. Therefore every closed prime ideal of A is maximal, and by Theorem 3.5, A is finite dimensional. □