Hostname: page-component-586b7cd67f-g8jcs Total loading time: 0 Render date: 2024-11-23T21:43:22.546Z Has data issue: false hasContentIssue false

A note on the isomorphism problem for SK[G]

Published online by Cambridge University Press:  12 March 2014

Zoé Chatzidakis
Affiliation:
UFR de Mathématiques, Case 7012, Université Paris 7, 75251, Paris Cedex 05, France, E-mail: [email protected]
Peter Pappas
Affiliation:
Department of Mathematics, Vassar College, Poughkeepsie, NY 12601, U.S.A., E-mail: [email protected]

Extract

Let G be an infinite abelian p-group and let K be a field of characteristic ≠ p. Let K[G] be the set of all sums ΣgGagg where the ag are in K, and all but finitely many ag are 0. Then K[G] is a K-algebra, with multiplication induced by the group multiplication on G.

If G is countable, then the isomorphism type of K[G] has been completely described by S. D. Berman [1]. If G is a direct sum of countable groups, one can also describe K[G], as K[⊕iGi] ≃ ⊗iK[Gi]. If K contains all pn-th roots of unity, then K[G] is isomorphic to the ring of continuous functions from a Boolean space X to the field K with the discrete topology. In that case, the group UK[G] of invertible elements of K[G] is isomorphic to the direct sum of ∣G∣ copies of K×. More generally, if K is of the second kind with respect to p (see below for the definition), the group UK[G] has a simple description.

Consider the subgroup SK[G] of elements Σgagg which have order a power of p and such that Σg ag = 1. This group is of course much simpler than UK[G]. Classifying SK[G] up to isomorphism reduces to the case where G has no element of infinite height, see [7]. If G is a direct sum of cyclic groups then the isomorphism type of SK[G] has been completely determined, in [2, 3, 7, 8]. The aim of this note is to show that a similar result is in general not possible for uncountable G. We use an invariant Γ associated to abelian groups, and for any regular uncountable cardinal κ, exhibit 2κ groups G for which Γ(G) = Γ(SK[G]) are pairwise distinct. Our work is based on a construction of Shelah [9], who constructed 2κ non-isomorphic abelian p-groups of cardinality κ for κ an uncountable regular cardinal.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2001

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Berman, S. D., Group algebras of countable abelian p-groups, Publicationes Mathematicae Debrecen, (1967), pp. 365405.Google Scholar
[2]Berman, S. D. and Rossa, G. R., The Sylow p-subgroup of a group algebra over a countable abelian p-group, Dopov. Akad. Nauk. Ukrain. RSR Ser. A. (1968), pp. 870872.Google Scholar
[3]Chatzidakis, Z. and Pappas, P., Units in abelian group rings, The Journal of the London Mathematical Society, vol. 2 (1991), no. 44, pp. 923.CrossRefGoogle Scholar
[4]Chatzidakis, Z. and Pappas, P., On the splitting group basis problem for abelian group rings, Journal of Pure and Applied Algebra, vol. 78 (1992), no. 1, pp. 1526.CrossRefGoogle Scholar
[5]Eklof, P., Methods of logic in abelian group theory, Abelian Group Theory, Lecture Notes, vol. 616, Springer Verlag, 1977, pp. 251269.CrossRefGoogle Scholar
[6]May, W., Invariants for commutative group algebras, Illinois Journal of Mathematics, vol. 15 (1971), pp. 525531.CrossRefGoogle Scholar
[7]Mollov, T. Zh., Sylow p-subgroups of normed units of semi-simple group algebras of uncountable abelian p-groups, PLISKA Stud. Math. Bulgur., vol. 8 (1986), pp. 3446.Google Scholar
[8]Mollov, T. Zh., The Ulm-Kaplansky invariants of Sylow p-subgroups of groups of normed units of semi-simple groups algebras of infinite separable abelian p-groups, PLISKA Stud. Math. Bulg., vol. 8 (1986), pp. 101106.Google Scholar
[9]Shelah, S., Infinite abelian groups — Whitehead problem and some constructions, Israel Journal of Mathematics, vol. 18 (1974), pp. 243256.CrossRefGoogle Scholar