(Luận văn thạc sĩ) đối đồng điều galois và ứng dụng vào bài toán nhúng

MINISTRY OF EDUCATION VIETNAM ACADEMY AND TRAINING OF SCIENCE AND TECHNOLOGY GRADUATE UNIVERSITY OF SCIENCE AND TECHNOLOGY Le Khac Nhuan GALOIS COHOMOLOGY AND ITS APPLICATIONS IN THE EMBEDDING PROBLEM MASTER THESIS IN MATHEMATICS Hanoi - 2021 BỘ GIÁO DỤC VIỆN HÀN LÂM VÀ ĐÀO TẠO KHOA HỌC VÀ CÔNG NGHỆ VN HỌC VIỆN KHOA HỌC VÀ CÔNG NGHỆ Lê Khắc Nhuận ĐỐI ĐỒNG ĐIỀU GALOIS VÀ ỨNG DỤNG VÀO BÀI TOÁN NHÚNG Chuyên ngành: Đại số Lý thuyết số Mã số: 8460104 LUẬN VĂN THẠC SĨ NGÀNH TOÁN HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC: PGS TS Nguyễn Duy Tân Hà Nội - 2021 MINISTRY OF EDUCATION VIETNAM ACADEMY AND TRAINING OF SCIENCE AND TECHNOLOGY GRADUATE UNIVERSITY OF SCIENCE AND TECHNOLOGY Le Khac Nhuan GALOIS COHOMOLOGY AND ITS APPLICATIONS IN THE EMBEDDING PROBLEM Major: Algebra and Number theory Code: 8460104 MASTER THESIS IN MATHEMATICS SUPERVISOR: Assoc Prof Nguyen Duy Tan Hanoi - 2021 Declaration I declare that this thesis titled ”Galois cohomology and its applications in the embedding problem” and the work presented in it are my own Wherever the work of others are involved, every effort is made to indicate this clearly, with due reference to the literature I confirm that this thesis has not been previously included in a the-sis or dissertation submitted for a degree or any other qualification at this graduate university or any other institution I will take responsibility for the above declaration Hanoi, 20th September 2021 Signature of Student Le Khac Nhuan Acknowledgement First of all, I would like to express my deepest gratitude to Assoc Prof Nguyen Duy Tan was willing to supervise me despite my impoverished undergraduate mathe-matical background Thanks to his topic suggestion and his supervision, I have learnt so many things about Galois cohomology in particular and mathematics in general His guidance helped me all the time of writing this thesis I could not have imagined having a better supervisor for my MSc study Secondly, I would like to thank my lecturers, especially Dr Nguyen Dang Hop and Dr Nguyen Chu Gia Vuong, for many valuable mathematical lessons and in-sights I would like also to thank the Graduate University of Science and Technology and the Institute of Mathematics for providing a fertile mathematical environment Special thanks goes to Nguyen Van Quyet and Quan Thi Hoai Thu who all helped me in numerous ways during my study in Hanoi To Quyet in particular I owe you one for being a supportive friend as well as keeping me feel accompanied and conversations on various issues besides mathematics during my leisure times I would like also to thank my girlfriend Pham Thi Minh Tam, who has been by my side throughout my MSc, for all her love and support Last but not least, my thanks goes to my parents and siblings for always believing in me and encouraging me to follow my dreams Table of Contents Declaration Acknowledgement Table of Contents List of Symbols Introduction Profinite Groups 1.1 Infinite Galois Theory 10 10 1.2 Profinite Groups 16 Cohomology of Profinite Groups 2.1 Cohomology Groups 30 30 2.2 Functoriality 39 2.3 Universal Delta-functors 54 2.4 Induced Modules 62 2.5 Cup Products 68 2.6 Nonabelian Cohomology 74 Galois Cohomology 3.1 Algebraic Affine Group Schemes 86 86 3.2 Galois Cohomology 91 3.3 Galois Descent 99 The Embedding Problem 4.1 Group Extensions 108 109 4.2 The Embedding Problem 115 4 Conclusion 120 Reference 120 List of Symbols (G:H) index of a subgroup H in a group G 1A; id identity homomorphism A difference of a set B from a set A B A2A a object A in a category A A tensor product of abelian groups A and B B AoG A G semidirect product of A by G subgroup of fixed points of A under the action of G A twisted group of A using cocycle EXT(G; A) set of equivalence classes of group extensions of A by G Gk absolute Galois group of a field k H3(Z=pZ) Heisenberg group of degree p Ks separable closure of a field K H M (A) G induced module of a H-module A T Fx( =K) set of K-equivalence of =K-twisted forms of x TORS(A) set of isomorphisms of A-torsors image of under a cocycle Aut(A) group of automorphisms of a group A [ cup product ; n connecting homomorphism Gal( =K) Z[G0] L Galois group of a Galois extension =K group ring of G0 over Z N E(F; ’; ) n( ) set of finite Galois subextensions of a Galois extension set of normal open subgroups of a profinite group embedding problem for a profinite group F with respect to epimor-phisms ’ and H group of nth roots of unity in a field fixed field of a subgroup H K multiplicative group of a field a; a StabG(a) GLn( ) lim A −! i lim G − i c1=p f k algebraic closure of a field K image of a under the action of stabilizer of a in G general linear group of degree n over a field direct limit inverse limit pth root of c [G] homomorphism of cohomology groups with respect to f n B (G; A) representing k-algebra of an affine group scheme G over k n C (G; A) set of homogeneous n-coboundaries of a G-module A n H (G; A) set of homogeneous n-cochains of a G-module A n Z (G; A) nth cohomology group of G with coefficient in A n B (G; A) set of homogeneous n-cocycles of a G-module A n C (G; A) set of inhomogeneous n-coboundaries of a G-module A set of inhomogeneous n-cochains of a G-module A n Z (G; A) @; @ @; @ n n inf res Ab k-Alg Ek Grp Mod(G) Set Set Mod(G0) coker(f) im(f) ker(f) n GLn Ga Gm SLn