## Asymmetric maximal ideals in $M(G)$

HTML articles powered by AMS MathViewer

- by Sadahiro Saeki PDF
- Trans. Amer. Math. Soc.
**222**(1976), 241-254 Request permission

## Abstract:

Let*G*be a nondiscrete LCA group, $M(G)$ the measure algebra of

*G*, and ${M_0}(G)$ the closed ideal of those measures in $M(G)$ whose Fourier transforms vanish at infinity. Let ${\Delta _G},{\Sigma _G}$ and ${\Delta _0}$ be the spectrum of $M(G)$, the set of all symmetric elements of ${\Delta _G}$, and the spectrum of ${M_0}(G)$, respectively. In this paper this is shown: Let $\Phi$ be a separable subset of $M(G)$. Then there exist a probability measure $\tau$ in ${M_0}(G)$ and a compact subset

*X*of ${\Delta _0}\backslash {\Sigma _G}$ such that for each $|c| \leqslant 1$ and each \[ \nu \in \Phi \;{\text {Card}}\;\{ f \in X:\hat \tau (f) = c\;{\text {and}}\;|\hat \nu (f)| = r(\nu )\} \geqslant {2^{\text {c}}}.\] Here $r(\nu ) = \sup \{ |\hat \nu (f)|:f \in {\Delta _G}\backslash \hat G\}$. As immediate consequences of this result, we have (a) every boundary for ${M_0}(G)$ is a boundary for $M(G)$ (a result due to Brown and Moran), (b) ${\Delta _G}\backslash {\Sigma _G}$ is dense in ${\Delta _G}\backslash \hat G$, (c) the set of all peak points for $M(G)$ is $\hat G$ if

*G*is $\sigma$-compact and is empty otherwise, and (d) for each $\mu \in M(G)$ the set $\hat \mu ({\Delta _0}\backslash {\Sigma _G})$ contains the topological boundary of $\hat \mu ({\Delta _G}\backslash \hat G)$ in the complex plane.

## References

- Gavin Brown,
*$M_{0}(G)$ has a symmetric maximal ideal off the Šilov boundary*, Proc. London Math. Soc. (3)**27**(1973), 484–504. MR**324314**, DOI 10.1112/plms/s3-27.3.484 - Gavin Brown and William Moran,
*$L^{1/2}(G)$ is the kernel of the asymmetric maximal ideals of $M(G)$*, Bull. London Math. Soc.**5**(1973), 179–186. MR**338686**, DOI 10.1112/blms/5.2.179 - Gavin Brown and William Moran,
*$M_{O}(G)$-boundaries are $M(G)$-boundaries*, J. Functional Analysis**18**(1975), 350–368. MR**0361615**, DOI 10.1016/0022-1236(75)90010-5 - Theodore W. Gamelin,
*Uniform algebras*, Prentice-Hall, Inc., Englewood Cliffs, N.J., 1969. MR**0410387** - Colin C. Graham,
*Measures vanishing off the symmetric maximal ideals of $M(G)$*, Proc. Cambridge Philos. Soc.**75**(1974), 51–61. MR**344800**, DOI 10.1017/s0305004100048234 - Edwin Hewitt and Shizuo Kakutani,
*A class of multiplicative linear functionals on the measure algebra of a locally compact Abelian group*, Illinois J. Math.**4**(1960), 553–574. MR**123198** - Edwin Hewitt and Karl R. Stromberg,
*A remark on Fourier-Stieltjes transforms*, An. Acad. Brasil. Ci.**34**(1962), 175–180. MR**150536** - Keiji Izuchi and Tetsuhiro Shimizu,
*Topologies on groups and a certain $L$-ideal of measure algebras*, Tohoku Math. J. (2)**25**(1973), 53–60. MR**385461**, DOI 10.2748/tmj/1178241414 - L.-Ȧ. Lindahl and F. Poulsen (eds.),
*Thin sets in harmonic analysis*, Lecture Notes in Pure and Applied Mathematics, Vol. 2, Marcel Dekker, Inc., New York, 1971. Seminars held at Institute Mittag-Leffler, Univ. Stockholm, Stockholm, 1969–1970. MR**0393993** - Walter Rudin,
*Fourier analysis on groups*, Interscience Tracts in Pure and Applied Mathematics, No. 12, Interscience Publishers (a division of John Wiley & Sons, Inc.), New York-London, 1962. MR**0152834** - Sadahiro Saeki,
*Symmetric maximal ideals in $M(G)$*, Pacific J. Math.**54**(1974), no. 1, 229–243. MR**370058**, DOI 10.2140/pjm.1974.54.229 - Khoichi Saka,
*A note on subalgebras of a measure algebra vanishing on non-symmetric homomorphisms*, Tohoku Math. J. (2)**25**(1973), 333–338. MR**358221**, DOI 10.2748/tmj/1178241333 - Tetsuhiro Shimizu,
*$L$-ideals of measure algebras*, Proc. Japan Acad.**48**(1972), 172–176. MR**318780** - Joseph L. Taylor,
*Measure algebras*, Conference Board of the Mathematical Sciences Regional Conference Series in Mathematics, No. 16, Published for the Conference Board of the Mathematical Sciences by the American Mathematical Society, Providence, R.I., 1973. Expository lectures from the CBMS Regional Conference held at the University of Montana, Missoula, Mont., June 1972. MR**0427949**, DOI 10.1090/cbms/016 - J. H. Williamson,
*Banach algebra elements with independent powers, and theorems of Wiener-Pitt type*, Function Algebras (Proc. Internat. Sympos. on Function Algebras, Tulane Univ., 1965) Scott-Foresman, Chicago, Ill., 1966, pp. 186–197. MR**0198143**

## Additional Information

- © Copyright 1976 American Mathematical Society
- Journal: Trans. Amer. Math. Soc.
**222**(1976), 241-254 - MSC: Primary 43A10
- DOI: https://doi.org/10.1090/S0002-9947-1976-0415201-7
- MathSciNet review: 0415201