Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



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 $G$ be a finite group, let $M$ be a $ZG$-lattice, and let $F$ be a field of characteristic zero containing primitive $p^{{th}}$ roots of 1. Let $F(M)$ be the quotient field of the group algebra of the abelian group $M$. It is well known that if $M$ is quasi-permutation and $G$-faithful, then $F(M)^G$ is stably equivalent to $F(ZG)^G$. Let $C_n$ be the center of the division ring of $n\times n$ generic matrices over $F$. Let $S_n$ be the symmetric group on $n$symbols. Let $p$ be a prime. We show that there exist a split group extension $G'$of $S_p$ by a $p$-elementary group, a $G'$-faithful quasi-permutation $ZG'$-lattice $M$, and a one-cocycle $\alpha$ in $\operatorname{Ext}_{G'}^1(M,F^*)$ such that $C_p$ is stably isomorphic to $F_\alpha(M)^{G'}$. 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 $F$ is algebraically closed, there is a group extension $E$ of $S_p$ by an abelian $p$-group such that $C_p$ is stably equivalent to the invariants of the Noether setting $F(E)$.

References [Enhancements On Off] (What's this?)

  • [B1] E. Beneish, Induction theorems on the center of the ring of generic matrices, Transactions of the AMS, 350 (1998), no. 9, 3571-3585. MR 98k:16034
  • [B2] E. Beneish, Monomial actions of the symmetric group, J. of Algebra 265 (2003), 405-419.
  • [BJ] J. Barge, Cohomologie des groupes et corps d'invariants multiplicatifs tordus, Comment. Math. Helv. 72 (1997), 1-15. MR 98g:12006
  • [BK] K. Brown, Cohomology of Groups, Springer-Verlag, 1982. MR 83k:20002
  • [BL] C. Bessenrodt and L. Lebruyn, Stable rationality of certain $PGL_n$-quotients, Inventiones Mathematica 104 (1991), 179-199. MR 92m:14060
  • [CR] C. Curtis and I. Reiner, Methods of Representation Theory, Vol. 1, Springer-Verlag, 1982.
  • [CTS] J.-L. Colliot-Thelene et J.-P. Sansuc, La $R$-equivalence sur les Tores, Ann. Sci. Ecole Normale Sup. (4) 10 (1977), 175-230. MR 56:8576
  • [EM] S. Endo and T. Miyata, On the classification of the function fields of algebraic tori, Nagoya Math. J. 56 (1974), 85-104. MR 51:458
  • [F1] E. Formanek, The center of the ring of $3\times 3$generic matrices, Linear Multilinear Algebra 7, (1979), 203-212. MR 80h:16019
  • [F2] E. Formanek, The center of the ring of $4\times 4$generic matrices, J. of Algebra 62 (1980), 304-319. MR 81g:15032
  • [L] H. W. Lenstra, Rational functions invariant under a finite abelian group, Inventiones Mathematica 25 (1974), 299-325. MR 50:289
  • [S] J. Sylvester, On the involution of two matrices of second order, Southport: British Assoc. Report (1883), 430-432.
  • [SD1] D. Saltman, Retract rational fields and cyclic Galois extensions, Israel J. of Math. 47 (1984), 165-215. MR 85j:13008
  • [SD2] D. Saltman, Multiplicative field invariants, Journal of Algebra 105, (1987), 221-238. MR 88f:12007
  • [SD3] D. Saltman, The Schur index and Moody's theorem, $K$-Theory, Art No. 168, PIPS. No. 35888 (1993). MR 94k:16049
  • [SR] R. Swan, Noether's problem in Galois theory. In: Srinivasan, B. Sally, J. (eds.) Emmy Noether in Bryn Mawr. Berlin, Heidelberg, New York, Springer, 1983, pp. 21-40. MR 84k:12013
  • [W] D. J. Winter, The structure of fields, Springer-Verlag, 1974. MR 52:10703

Similar Articles

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

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

American Mathematical Society