Lattice invariants and the center of the generic division ring

Author:
Esther Beneish

Journal:
Trans. Amer. Math. Soc. **356** (2004), 1609-1622

MSC (2000):
Primary 20C10, 16R30, 13A50, 16K20

Published electronically:
October 21, 2003

MathSciNet review:
2034321

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let be a finite group, let be a -lattice, and let be a field of characteristic zero containing primitive roots of 1. Let be the quotient field of the group algebra of the abelian group . It is well known that if is quasi-permutation and -faithful, then is stably equivalent to . Let be the center of the division ring of generic matrices over . Let be the symmetric group on symbols. Let be a prime. We show that there exist a split group extension of by a -elementary group, a -faithful quasi-permutation -lattice , and a one-cocycle in such that is stably isomorphic to . This represents a reduction of the problem since we have a quasi-permutation action; however, the twist introduces a new level of complexity. The second result, which is a consequence of the first, is that, if is algebraically closed, there is a group extension of by an abelian -group such that is stably equivalent to the invariants of the Noether setting .

**[B1]**Esther Beneish,*Induction theorems on the stable rationality of the center of the ring of generic matrices*, Trans. Amer. Math. Soc.**350**(1998), no. 9, 3571–3585. MR**1475675**, 10.1090/S0002-9947-98-02202-8**[B2]**E. Beneish,*Monomial actions of the symmetric group*, J. of Algebra**265**(2003), 405-419.**[BJ]**Jean Barge,*Cohomologie des groupes et corps d’invariants multiplicatifs tordus*, Comment. Math. Helv.**72**(1997), no. 1, 1–15 (French, with English summary). MR**1456312**, 10.1007/PL00000360**[BK]**Kenneth S. Brown,*Cohomology of groups*, Graduate Texts in Mathematics, vol. 87, Springer-Verlag, New York-Berlin, 1982. MR**672956****[BL]**Christine Bessenrodt and Lieven Le Bruyn,*Stable rationality of certain 𝑃𝐺𝐿_{𝑛}-quotients*, Invent. Math.**104**(1991), no. 1, 179–199. MR**1094051**, 10.1007/BF01245071**[CR]**C. Curtis and I. Reiner,*Methods of Representation Theory*, Vol. 1, Springer-Verlag, 1982.**[CTS]**Jean-Louis Colliot-Thélène and Jean-Jacques Sansuc,*La 𝑅-équivalence sur les tores*, Ann. Sci. École Norm. Sup. (4)**10**(1977), no. 2, 175–229 (French). MR**0450280****[EM]**Shizuo Endô and Takehiko Miyata,*On a classification of the function fields of algebraic tori*, Nagoya Math. J.**56**(1975), 85–104. MR**0364203****[F1]**Edward Formanek,*The center of the ring of 3×3 generic matrices*, Linear and Multilinear Algebra**7**(1979), no. 3, 203–212. MR**540954**, 10.1080/03081087908817278**[F2]**Edward Formanek,*The center of the ring of 4×4 generic matrices*, J. Algebra**62**(1980), no. 2, 304–319. MR**563230**, 10.1016/0021-8693(80)90184-2**[L]**H. W. Lenstra Jr.,*Rational functions invariant under a finite abelian group*, Invent. Math.**25**(1974), 299–325. MR**0347788****[S]**J. Sylvester,*On the involution of two matrices of second order*, Southport: British Assoc. Report (1883), 430-432.**[SD1]**David J. Saltman,*Retract rational fields and cyclic Galois extensions*, Israel J. Math.**47**(1984), no. 2-3, 165–215. MR**738167**, 10.1007/BF02760515**[SD2]**David J. Saltman,*Multiplicative field invariants*, J. Algebra**106**(1987), no. 1, 221–238. MR**878475**, 10.1016/0021-8693(87)90028-7**[SD3]**David J. Saltman,*The Schur index and Moody’s theorem*, 𝐾-Theory**7**(1993), no. 4, 309–332. MR**1246280**, 10.1007/BF00962052**[SR]**Richard G. Swan,*Noether’s problem in Galois theory*, Emmy Noether in Bryn Mawr (Bryn Mawr, Pa., 1982) Springer, New York-Berlin, 1983, pp. 21–40. MR**713790****[W]**David Winter,*The structure of fields*, Springer-Verlag, New York-Heidelberg, 1974. Graduate Texts in Mathematics, No. 16. MR**0389873**

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (2000):
20C10,
16R30,
13A50,
16K20

Retrieve articles in all journals with MSC (2000): 20C10, 16R30, 13A50, 16K20

Additional Information

**Esther Beneish**

Affiliation:
Department of Mathematics, Central Michigan University, Mount Pleasant, Michigan 48859

Email:
benei1e@cmich.edu

DOI:
https://doi.org/10.1090/S0002-9947-03-03331-2

Received by editor(s):
May 13, 2002

Received by editor(s) in revised form:
March 7, 2003

Published electronically:
October 21, 2003

Additional Notes:
This work was partially supported by NSF grant #DMS-0070665

Article copyright:
© Copyright 2003
American Mathematical Society