Let D be a division algebra of finite dimension over its center F. Given a Ε½ . noncommutative maximal subgroup M of D\* [ GL D , it is proved that either 1 M contains a noncyclic free subgroup or there exists a maximal subfield K of D Ε½ . which is Galois over F such that K \* is normal in M and MrK
Maximal Subgroups of GL1(D)
β Scribed by S. Akbari; M. Mahdavi-Hezavehi; M.G. Mahmudi
- Publisher
- Elsevier Science
- Year
- 1999
- Tongue
- English
- Weight
- 95 KB
- Volume
- 217
- Category
- Article
- ISSN
- 0021-8693
No coin nor oath required. For personal study only.
β¦ Synopsis
Let D be a division algebra of degree m over its center F. Herstein has shown Ε½ . that any finite normal subgroup of D* [ GL D is central. Here, as a generaliza-1 tion of this result, it is shown that any finitely generated normal subgroup of D* is Ε½ central. This also solves a problem raised by Akbari and Mahdavi-Hezavehi Proc.
. Amer. Math. Soc., to appear for finite-dimensional division algebras. The structure of maximal multiplicative subgroups of an arbitrary division ring D is then investigated. Given a maximal subgroup M of D* whose center is algebraic over F, it is proved that if M satisfies a multilinear polynomial identity over F, then w x D : F -Ο±.
π SIMILAR VOLUMES
We determine all maximal subgroups of the direct product G n of n copies of a group G. If G is finite, we show that the number of maximal subgroups of G n is a quadratic function of n if G is perfect, but grows exponentially otherwise. We deduce a theorem of Wiegold about the growth behaviour of the
We show that S n has at most n 6Γ11+o(1) conjugacy classes of primitive maximal subgroups. This improves an n c log 3 n bound given by Babai. We conclude that the number of conjugacy classes of maximal subgroups of S n is of the form ( 12 +o(1))n. It also follows that, for large n, S n has less than