Available in electronic format
Available in print format
Transacrions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(e) ISSN 0002-9947(p)
     

Lattice invariants and the center of the generic division ring

Author(s): Esther Beneish
Journal: Trans. Amer. Math. Soc. 356 (2004), 1609-1622.
MSC (2000): Primary 20C10, 16R30, 13A50, 16K20
Posted: October 21, 2003
Retrieve article in: PDF DVI PostScript

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:

[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
Email: benei1e@cmich.edu

DOI: 10.1090/S0002-9947-03-03331-2
PII: S 0002-9947(03)03331-2
Received by editor(s): May 13, 2002
Received by editor(s) in revised form: March 7, 2003
Posted: October 21, 2003
Additional Notes: This work was partially supported by NSF grant \#DMS-0070665
Copyright of article: Copyright 2003, American Mathematical Society


  AMS Website Logo Small Comments: webmaster@ams.org
© Copyright 2008, American Mathematical Society
Privacy Statement
Search the AMSPowered by Google