Định lý Golod–Shafarevich

Trong toán học, định lý Golod–Shafarevich được chứng minh trong 1964 bởi Evgeny Golod và Igor Shafarevich. Định lý này là kết quả trong đại số đồng điều không giao hoán giải bài toán tháp trường lớp, bằng cách chứng minh có một số tháp trường lớp có thể vô hạn.

**Bất đẳng thức**
Gọi A = K⟨x1, ..., xn⟩ là đại số tự do trên trường K  trên n = d + 1 biến không giao hoán nhau xi.
Gọi J là ideal 2 phía của A được sinh bởi các phần tử thuần nhất fj của A với bậc dj cùng với

2 ≤ d1 ≤ d2 ≤ ...
trong đó dj tiến đến vô cùng. Tiếp đến, gọi ri là số các dj bằng i.
Đặt B=A/J, là đại số phân bậc. Lấy bj = dim Bj.
Bất đẳng thức nền tảng của Golod và Shafarevich phát biểu rằng
: 
Hệ quả sau đó:- B vô hạn chiều nếu ri ≤ d2/4 với mọi i

**Ứng dụng**
Kết quả này có một số ứng dụng quan trọng trong lý thuyết nhóm tổ hợp:- Nếu G là p-nhóm hữu hạn không tầm thường, thì r > d2/4  khi d = dim H1(G,Z/pZ) và r = dim H2(G,Z/pZ) (các nhóm đối đồng điều mod p của G).  Cụ thể hơn, nếu G là p-nhóm hữu hạn với tối thiểu số phần tử sinh d và có r quan hệ trong biểu diễn quan hệ, thì r > d2/4.- Với mỗi số nguyên tố p, tồn tại nhóm vô hạn G được sinh bởi ba phân tử trong đó mỗi phần tử có cấp là lũy thừa của p.  Nhóm G này là ví dụ phản chứng cho giả thuyết Burnside tổng quát: nó là nhóm xoắn vô hạn và hữu hạn sinh, mặc dù không có cận chia đều trên các cấp của các phần tử của nhóm.
Trong lý thuyết trường lớp, tháp trường lớp của trường số K được tạo bằng cách lần lượt xây dựng tháp theo phương pháp xây dựng trường lớp Hilbert. Bài toán tháp trường lớp hỏi rằng liệu tháp này có luôn hữu hạn?; 1926 quy bài toán này cho Furtwangler, mặc dù Furtwangler nói ông nghe câu hỏi từ Schreier. Một hệ quả khác của định lý Golod–Shafarevich là các trường xây dựng như thế có thể vô hạn (nói cách khác, luôn không kết thúc thành trường bằng với trường lớp Hilbert của nó).  Cụ thể,- Gọi K là trường toàn phương ảo có định thức có ít nhất 6 nhân tử nguyên tố.  Khi đó 2-mở rộng tối đại không phân nhánh của K sẽ có bậc vô hạn.
Tổng quát hơn, một trường số với đủ nhân tử nguyên tố trong định thức sẽ có tháp vô hạn trường lớp.

**Tham khảo**
pages=261–272 (in Russian)  id=0161852
*last=Hasse
*pages=273–276 (in Russian)   id=0161878-  isbn=0-88385-039-7  See Chapter 8. - Johnson, D.L. (1980). "Topics in the Theory of Group Presentations" (1st ed.). Cambridge University Press. 0-521-23108-6.  See chapter VI.- chú thích sách | first=Helmut | last=Koch | title=Algebraic Number Theory | publisher=Springer-Verlag | year=1997 | isbn=3-540-63003-1 | zbl=0819.11044 | series=Encycl. Math. Sci. | volume=62 | edition=2nd printing of 1st | page=180 - chú thích sách | last=Narkiewicz | first=Władysław | title=Elementary and analytic theory of algebraic numbers | url=https://archive.org/details/elementaryanalyt0000nark_s8g5 | edition=3rd | zbl=1159.11039 | series=Springer Monographs in Mathematics | location=Berlin | publisher=Springer-Verlag | isbn=3-540-21902-1 | year=2004 | page= 194 - chú thích sách | last=Roquette | first=Peter | authorlink=Peter Roquette | orig-year=1967 | chapter=On class field towers | pages=231–249 | title=Algebraic number theory, Proceedings of the instructional conference held at the University of Sussex, Brighton, September 1–17, 1965 | editor1-first=J. W. S. | editor1-last=Cassels | editor1-link=J. W. S. Cassels | editor2-first=A. | editor2-last=Fröhlich | editor2-link=Albrecht Fröhlich | edition=Reprint of the 1967 original | publisher=Academic Press | location=London | year=1986 | isbn=0-12-163251-2 - Serre, J.-P. (2002), "Galois Cohomology," Springer-Verlag. 3-540-42192-0. See Appendix 2. (Translation of Cohomologie Galoisienne, Lecture Notes in Mathematics 5, 1973.)
Thể loại:Lý thuyết trường lớp (toán học)
Thể loại:Định lý trong lý thuyết nhóm