Hostname: page-component-78c5997874-t5tsf Total loading time: 0 Render date: 2024-11-06T01:13:18.157Z Has data issue: false hasContentIssue false

Identities for finite solvable groups and equations in finite simple groups

Published online by Cambridge University Press:  04 December 2007

Tatiana Bandman
Affiliation:
Department of Mathematics, Bar-Ilan University, 52900 Ramat Gan, [email protected]
Gert-Martin Greuel
Affiliation:
Fachbereich Mathematik, Universität Kaiserslautern, Postfach 3049, 67653 Kaiserslautern, [email protected]
Fritz Grunewald
Affiliation:
Mathematisches Institut der Universität Heinrich Heine Düsseldorf, Universitätsstrße 1, 40225 Düsseldorf, [email protected]
Boris Kunyavskii
Affiliation:
Department of Mathematics, Bar-Ilan University, 52900 Ramat Gan, [email protected]
Gerhard Pfister
Affiliation:
Fachbereich Mathematik, Universität Kaiserslautern, Postfach 3049, 67653 Kaiserslautern, [email protected]
Eugene Plotkin
Affiliation:
Department of Mathematics, Bar-Ilan University, 52900 Ramat Gan, [email protected]
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

We characterise the class of finite solvable groups by two-variable identities in a way similar to the characterisation of finite nilpotent groups by Engel identities. Let $u_1=x^{-2}y\min x$, and $u_{n+1} = [xu_nx\min,yu_ny\min]$. The main result states that a finite group G is solvable if and only if for some n the identity $u_n(x,y)\equiv 1$ holds in G. We also develop a new method to study equations in the Suzuki groups. We believe that, in addition to the main result, the method of proof is of independent interest: it involves surprisingly diverse and deep methods from algebraic and arithmetic geometry, topology, group theory, and computer algebra (SINGULAR and MAGMA).

Type
Research Article
Copyright
Foundation Compositio Mathematica 2006