Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
   
Mobile Device Pairing
Green Open Access
Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(online) ISSN 0002-9947(print)

 

Invariant ideals and polynomial forms


Author: D. S. Passman
Journal: Trans. Amer. Math. Soc. 354 (2002), 3379-3408
MSC (2000): Primary 16S34; Secondary 20F50, 20G05
Published electronically: April 1, 2002
MathSciNet review: 1897404
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let $K[\mathfrak H]$ denote the group algebra of an infinite locally finite group $\mathfrak H$. In recent years, the lattice of ideals of $K[\mathfrak H]$has been extensively studied under the assumption that $\mathfrak H$ is simple. From these many results, it appears that such group algebras tend to have very few ideals. While some work still remains to be done in the simple group case, we nevertheless move on to the next stage of this program by considering certain abelian-by-(quasi-simple) groups. Standard arguments reduce this problem to that of characterizing the ideals of an abelian group algebra $K[V]$stable under the action of an appropriate automorphism group of $V$. Specifically, in this paper, we let ${\mathfrak{G}}$ be a quasi-simple group of Lie type defined over an infinite locally finite field $F$, and we let $V$ be a finite-dimensional vector space over a field $E$ of the same characteristic $p$. If ${\mathfrak{G}}$ acts nontrivially on $V$ by way of the homomorphism $\phi\colon{\mathfrak{G}}\to\mathrm{GL}(V)$, and if $V$ has no proper ${\mathfrak{G}}$-stable subgroups, then we show that the augmentation ideal $\omega K[V]$ is the unique proper ${\mathfrak{G}}$-stable ideal of $K[V]$ when ${\operatorname{char}} K\neq p$. The proof of this result requires, among other things, that we study characteristic $p$ division rings $D$, certain multiplicative subgroups $G$ of $D^{\bullet}$, and the action of $G$ on the group algebra $K[A]$, where $A$ is the additive group $D^{+}$. In particular, properties of the quasi-simple group ${\mathfrak{G}}$ come into play only in the final section of this paper.


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


Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2000): 16S34, 20F50, 20G05

Retrieve articles in all journals with MSC (2000): 16S34, 20F50, 20G05


Additional Information

D. S. Passman
Affiliation: Department of Mathematics, University of Wisconsin, Madison, Wisconsin 53706
Email: passman@math.wisc.edu

DOI: http://dx.doi.org/10.1090/S0002-9947-02-03006-4
PII: S 0002-9947(02)03006-4
Received by editor(s): November 16, 2001
Published electronically: April 1, 2002
Additional Notes: Research supported in part by NSF Grant DMS-9820271.
Dedicated: Dedicated to Idun Reiten on the occasion of her $60$th birthday
Article copyright: © Copyright 2002 American Mathematical Society