No CrossRef data available.
Article contents
Invariant convolution algebras
Published online by Cambridge University Press: 20 January 2009
Extract
Let A be a commutative, semi-simple, convolution measure algebra in the sense of Taylor (6), and let S denote its structure semigroup. In (2) we initiated a study of some of the relationships between the topological structure of A^ (the spectrum of A), the algebraic properties of S, and the way that A lies in M(S). In particular, we asked when it is true that A is invariant in M(S) or an ideal of M(S) and also whether it is possible to characterise those measures on S which are elements of A. It appeared from (2) that if A is invariant in M(S) then S must be a union of groups and that A^ must be a space which is in some sense “ very disconnected ”. In (3) we showed that if A^ is discrete then A is “ approximately ” an ideal of M(S). (What is meant by “ approximately ” is explained in (3); it is the best one can expect since algebras which are approximately equal have identical structure semigroups and spectra.) In this paper we round off some of the results of (2) and (3). We show that if A is invariant in M(S) then A^ is totally disconnected, and that if A^ is totally disconnected then S is an inverse semigroup (union of groups). From these two crucial facts it is fairly straight-forward to obtain a complete characterisation of algebras A (and their structure semigroups) for which (i) A^ is totally disconnected, (ii) A is invariant in M(S), or (iii) A is an ideal of M(S).
- Type
- Research Article
- Information
- Proceedings of the Edinburgh Mathematical Society , Volume 18 , Issue 4 , December 1973 , pp. 299 - 306
- Copyright
- Copyright © Edinburgh Mathematical Society 1973