Golod–Shafarevich theorem

From Wikipedia, the free encyclopedia

In mathematics, the Golod–Shafarevich theorem was proved in 1964 by two Russian mathematicians, Evgeny Golod and Igor Shafarevich. It is a result in non-commutative homological algebra which has consequences in various branches of algebra.

[edit] The inequality

Let A = K[x1, ..., xn] be the free algebra over a field K in n = d + 1 non-commuting variables xi.

Let J be the 2-sided ideal of A generated by homogeneous elements fj of A of degree dj with

2 ≤ d1 ≤ d2 ≤ ...

where dj tends to infinity. Let ri be the number of dj equal to i.

Let B=A/J, a graded algebra. Let bj = dim Bj.

The fundamental inequality of Golod and Shafarevich states that

b_j\ge nb_{j-1} -\sum_{r_i\le j} b_{j-r_i}.

As a consequence:

  • B is infinite-dimensional if ri ≤ d2/4 for all i
  • if B is finite-dimensional, then ri > d2/4 for some i

[edit] Applications

This result has important applications in combinatorial group theory:

  • If G is non-trivial finite p-group, then r > d2/4 where d = dim H1 (G,Zp) and r = dim H2 (G,Zp) (the mod p cohomology groups of G). In particular if G is a finite p-group with minimal number of generators d and has r relators in a given presentation, then r > d2/4.
  • For each prime p, there is an infinite group G generated by three elements in which each element has order a power of p. The group G provides a counterexample to the generalised Burnside conjecture: it is a finitely generated infinite torsion group, although there is no uniform bound on the order of its elements.

In class field theory, the class field tower of a number field K is created by iterating the Hilbert class field construction. Another consequence of the construction is that such towers may be infinite (in other words, do not always terminate in a field equal to its Hilbert class field).

[edit] References

  1. Golod, E.S & Shafarevich, I.R. (1964), “On the class field tower”, Izv. Akad. Nauk SSSSR 28: 261-272  (in Russian) MR0161852
  2. Golod, E.S (1964), “On nil-algebras and finitely approximable p-groups.”, Izv. Akad. Nauk SSSSR 28: 273-276  (in Russian) MR0161878
  3. Herstein, I.N. (1968), "Noncommutative rings," Carus Mathematical Monographs, MAA. ISBN 0-88385-039-7. See Chapter 8.
  4. Johnson, D.L. (1980). "Topics in the Theory of Group Presentations" (1st ed.). Cambridge University Press. ISBN 0-521-23108-6. See chapter VI.
  5. Roquette, P. (1967), On class field towers,pages 231-249 in Algebraic number theory, Proceedings of the instructional conference held at the University of Sussex, Brighton, September 1-17, 1965. Edited by J. W. S. Cassels and A. Fröhlich. Reprint of the 1967 original. Academic Press, London, 1986. xviii+366 pp. ISBN 0-12-163251-2
  6. Serre, J.-P. (2002), "Galois Cohomology," Springer-Verlag. ISBN 3-540-42192-0. See Appendix 2. (Translation of Cohomologie Galoisienne, Lecture Notes in Mathematics 5, 1973.)