Identities for finite solvable groups and equations in finite simple groups

Compositio Mathematica

Volumn 142, Issue 3, 2006, Pages 734-764

  Bandman, Tatiana ^a   Greuel, Gert Martin ^b   Grunewald, Fritz ^c   Kunyavskiǐ, Boris ^a   Pfister, Gerhard ^b   Plotkin, Eugene ^a  

^a BAR ILAN UNIVERSITY   (Israel)

^b Rheinland Pfälzische Technische Universität Kaiserslautern Landau   (Germany)

^c HEINRICH HEINE UNIVERSITY   (Germany)

Author keywords

Finite solvable group; Gr bner basis; Identity; Lang Weil estimate; Simple group; Trace formula

Indexed keywords

EID: 33749527106     PISSN: 0010437X     EISSN: None     Source Type: Journal    
DOI: 10.1112/S0010437X0500179X     Document Type: Article

References (73)

1. AS88 A. Adolphson and S. Sperber, On the degree of the L-function associated with an exponential sum, Compositio Math. 68 (1988), 125-159.
2. Alm94 J. Almeida, Finite Semigroups and Universal Algebra (World Scientific, Singapore, 1994).
3. Alm02 J. Almeida, Dynamics of implicit operations and lameness of pseudovarieties of groups, Trans. Amer. Math. Soc. 354 (2002), 387-411.
4. AV01 J. Almeida and M. Volkov, Profinite methods in finite semigroup theory, Preprint (2001), CMUP 2001-02.
5. AP96 Y. Aubry and M. Perret, A Weil theorem for singular curves, in Arithmetic, Geometry and Coding Theory, eds R. Pellikaan, M. Perret and S. G. Vlǎduţ (de Gruyter, Berlin, 1996), 1-7.
6. Bae57 R. Baer, Engelsche Elemente Noetherscher Gruppen, Math. Ann. 133 (1957), 256-270.
7. BGGKPP03 T. Bandman, G.-M. Greuel, F. Grunewald, B. Kunyavskiǐ, G. Pfister and E. Plotkin, Two-variable identities for finite solvable groups, C. R. Acad. Sci. Paris, Ser. I 337 (2003), 581-586.
8. BP91 M. Boffa and F. Point, Identités de Thue-Morse dans les groupes, C. R. Acad. Sci. Paris, Sér. I 312 (1991), 667-670.
9. 2 = 3, Invent. Math. 58 (1980), 77-100.
10. Bra81 R. Brandl, Zur Theorie der untergruppenabgeschlossenen Formationen: endliche Varietäten, J. Algebra 73 (1981), 1-22.
11. BN86 R. Brandl and D. Nikolova, Simple groups of small Engel depth, Bull. Austral. Math. Soc. 33 (1986), 245-251.
12. BW88 R. Brandl and J. S. Wilson, Characterization of finite soluble groups by laws in a small number of variables, J. Algebra 116 (1988), 334-341.
13. BWW05 J. N. Bray, J. S. Wilson and R. A. Wilson, A characterization of finite soluble groups by laws in two variables, Bull. London Math. Soc. 37 (2005), 179-186.
14. Buc65 B. Buchberger, Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal, PhD thesis, University of Innsbruck, Austria (1965).
15. BM98 R. G. Burns and Yu. Medvedev, A note on Engel groups and local nilpotence, J. Aust. Math. Soc., Ser. A 64 (1998), 92-100.
16. Del81 P. Deligne, La conjecture de Weil II, Publ. Math. Inst. Hautes Études Sci. 52 (1981), 313-428.
17. DL76 P. Deligne and G. Lusztig, Representations of reductive groups over finite fields, Ann. of Math. (2) 103 (1976), 103-161.
18. SGA4 P. Deligne et al., Cohomologie étale, in Séminaire de Géometrie Algébrique du Bois-Marie (SGA 41/2), Lecture Notes in Mathematics, vol. 569 (Springer, Berlin, 1977).
19. ES76 S. Eilenberg and S. Schützenberger, On pseudovarieties, Adv. Math. 19 (1976), 413-418.
20. ES52 S. Eilenberg and N. Steenrod, Foundations of Algebraic Topology (Princeton University Press, Princeton, NJ, 1952).
21. F195 P. Flavell, Finite groups in which every two elements generate a soluble group, Invent. Math. 121 (1995), 279-285.
22. FJ86 M. Fried and M. Jarden, Field Arithmetic (Springer, Berlin, 1986).
23. Fu97 K. Fujiwara, Rigid geometry, Lefschetz-Verdier trace formula and Deligne's conjecture, Invent. Math. 127 (1997), 480-533.
24. GL02 S. R. Ghorpade and G. Lachaud, Étale cohomology, Lefschetz theorems and number of points of singular varieties over finite fields, Moscow Math. J. 2 (2002), 589-631.
25. GP96 G.-M. Greuel and G. Pfister, Advances and improvements in the theory of standard bases and syzygies, Arch. Math. (Basel) 66 (1996), 163-176.
26. GP98 G.-M. Greuel and G. Pfister, Gröbner bases and algebraic geometry, in Gröbner Bases and Applications, eds B. Buchberger and F. Winkler, London Mathematical Society Lecture Note Series, vol. 251 (Cambridge University Press, Cambridge, 1998), 109-143.
27. GP02a G.-M. Greuel and G. Pfister, A SINGULAR Introduction to Commutative Algebra (Springer, Berlin, 2002).
28. GP02b G.-M. Greuel and G. Pfister, Computer algebra and finite groups, in Proceedings of the First International Congress on Mathematical Software (Beijing 2002), eds A. Cohen, X.-S. Gao and N. Takayama (World Scientific, Singapore, 2002).
29. GPS01 G.-M. Greuel, G. Pfister and H. Schönemann, SINGULAR 2.0. A Computer Algebra System for Polynomial Computations, Centre for Computer Algebra, University of Kaiserslautern (2001), http://www.singular.uni-kl.de.
30. SGA5 A. Grothendieck et al., Cohomologie l-adique et fonctions L in Séminaire de Géometrie Algébrique du Bois-Marie 1965-66 (SGA 5), ed. L. Illusie, Lecture Notes in Mathematics, vol. 589 (Springer, Berlin, 1977).
31. Gru53 K. Gruenberg, Two theorems on Engel groups, Proc. Camb. Phil. Soc. 49 (1953), 377-380.
32. GKNP00 F. Grunewald, B. Kunyavskiǐ, D. Nikolova and E. Plotkin, Two-variable identities in groups and Lie algebras, Zap. Nauch. Semin. POMI 272 (2000), 161-176;
33. J. Math. Sci. (New York) 116 (2003), 2972-2981.
34. Gup66 N. D. Gupta, Some group laws equivalent to the commutative law, Arch. Math. (Basel) 17 (1966), 97-102.
35. GH67 N. D. Gupta and H. Heineken, Groups with a two-variable commutator identity, Math. Z. 95 (1967), 276-287.
36. Hup79 B. Huppert, Endliche Gruppen, I (Springer, Berlin, 1979).
37. HB82 B. Huppert and N. Blackburn, Finite Groups, III (Springer, Berlin, 1982).
38. Kat93 N. M. Katz, Affine cohomological transforms, perversity, and monodromy, J. Amer. Math. Soc. 6 (1993), 149-222.
39. Kat00 N. M. Katz, L-functions and monodromy: four lectures on Weil II, Preprint (2000), http://www.math.princeton.edu/~nmk/arizona34.pdf.
40. Kat01 N. M. Katz, Sums of Betti numbers in arbitrary characteristics, Finite Fields Appl. 7 (2001), 29-44.
41. Kos86 A. N. Kostrikin, Around Burnside (Nauka, Moscow, 1986), English transl. (Springer, Berlin, 1990).
42. LW54 S. Lang and A. Weil, Number of points of varieties in finite fields, Amer. J. Math. 76 (1954), 819-827.
43. LY94 D. Leep and C. Yeomans, The number of points on a singular curve over a finite field, Arch. Math. (Basel) 63 (1994), 420-426.
44. Lub01 A. Lubotzky, Pro-finite presentations, J. Algebra 242 (2001), 672-690.
45. MSW01 S. Margolis, M. Sapir and P. Weil, Closed subgroups in pro-V topologies and the extension problem for inverse automata, Internat. J. Algebra Comput. 11 (2001), 405-445.
46. Neu67 H. Neumann, Varieties of Groups (Springer, New York, 1967).
47. Nik83 D. Nikolova, Groups with a two-variable commutator identity, C. R. Acad. Bulgare Sci. 36 (1983), 721-724.
48. Nik85 D. Nikolova, Solubility of finite groups with a two-variable commutator identity, Serdica 11 (1985), 59-63.
49. Pin92 R. Pink, On the calculation of local terms of the Lefschetz-Verdier trace formula and its application to a conjecture of Deligne, Ann. of Math. (2) 135 (1992), 483-525.
50. Pla67 V. P. Platonov, Linear groups with identical relations, Dokl. Akad. Nauk BSSR 11 (1967), 581-582 (in Russian).
51. Plo54 B. I. Plotkin, On nilgroups, Dokl. Akad. Nauk SSSR 94 (1954), 999-1001 (in Russian).
52. Plo55 B. I. Plotkin, Radical groups, Mat. Sb. N.S. 37(79) (1955), 507-526.
53. (English transl. Amer. Math. Soc. Transl. (2) 17 (1961), 9-28.)
54. Plo58 B. I. Plotkin, Generalized soluble and generalized nilpotent groups, Uspekhi Mat. Nauk 13 (1958), 89-172.
55. (English transl. Amer. Math. Soc. Transl. (2) 17 (1961), 29-115.)
56. PPT99 B. Plotkin, E. Plotkin and A. Tsurkov, Geometrical equivalence of groups, Comm. Algebra 27 (1999), 4015-4025.
57. Red56 L. Rédei, Die endlichen einstufig nichtnilpotenten Gruppen, Publ. Math. Debrecen 4 (1956), 303-324.
58. RZ00 L. Ribes and P. Zalesskii, Profinite Groups (Springer, Berlin, 2000).
59. Sch24 O. J. Schmidt, Groups all of whose subgroups are special, Mat. Sbornik 31 (1924), 366-372 (in Russian).
60. Sha94 I. R. Shafarevich, Basic Algebraic Geometry, second edition (Springer, Berlin, 1994).
61. Tho68 J. Thompson, Non-solvable finite groups all of whose local subgroups are solvable, Bull. Amer. Math. Soc. 74 (1968), 383-437.
62. Tit72 J. Tits, Free subgroups in linear groups, J. Algebra 20 (1972), 250-270.
63. Wei02 P. Weil, Profinite methods in semigroups, Internat. J. Algebra Comput. 12 (2002), 137-178.
64. Wil91 J. S. Wilson, Two-generator conditions for residually finite groups, Bull. London Math. Soc. 23 (1991), 239-248.
65. WZ92 J. S. Wilson and E. Zelmanov, Identities for Lie algebras of pro-p groups, J. Pure Appl. Algebra 81 (1992), 103-109.
66. Zel88 E. I. Zelmanov, Engel Lie algebras, Sibirsk. Mat. Zh. 29 (1988), 112-117, 238.
67. (English transl. Siberian Math. J. 29 (1988), 777-781.)
68. Zel90 E. I. Zelmanov, Solution of the restricted Burnside problem for groups of odd exponent, Izv. Akad. Nauk SSSR Ser. Mat. 54 (1990), 42-59.
69. (English transl. Math. USSR Izv. 36 (1991), 41-60.)
70. Zel91 E. I. Zelmanov, Solution of the restricted Burnside problem for 2-groups, Mat. Sb. 182 (1991), 568-592.
71. (English transl. Math. USSR Sb. 72 (1992), 543-565.)
72. Zin90 T. Zink, The Lefschetz trace formula for an open algebraic surface, in Proceedings of the Conference on Automorphic Forms, Shimura Varieties and L-Functions (Ann Arbor, 1988), eds L. Clozel and J. S. Milne, Perspectives in Mathematics, vol. 11 (Academic Press, Boston, MA, 1990), 337-376.
73. Zor36 M. Zorn, Nilpotency of finite groups, Bull. Amer. Math. Soc. 42 (1936), 485-486.