{"id":259552,"date":"2026-07-13T17:04:04","date_gmt":"2026-07-13T14:04:04","guid":{"rendered":"https:\/\/1kitap1.com\/en\/essential-algebraic-number-theory-ivan-fesenko\/"},"modified":"2026-07-13T17:04:04","modified_gmt":"2026-07-13T14:04:04","slug":"essential-algebraic-number-theory-ivan-fesenko","status":"publish","type":"post","link":"https:\/\/1kitap1.com\/en\/essential-algebraic-number-theory-ivan-fesenko\/","title":{"rendered":"Essential Algebraic Number Theory – Ivan Fesenko"},"content":{"rendered":"
\"<\/figure>\n

Putting Y = X\u22121 and performing the calculations in the \ufb01eld L((Y)), we consequently deduce f(X) = Y \u2212p(1+ap\u22121Y +\u00b7\u00b7\u00b7+a0Y p), f(X) = Y p 1+ap\u22121Y +\u00b7\u00b7\u00b7+a0Y p \u2261Y p mod Y p+1, X \u2212\u03c3i(\u03c0L) = 1\u2212\u03c3i(\u03c0L)Y = \u2211 j\u2a7e0 \u03c3i(\u03c0 j L)Y j+1 (because 1\/(1\u2212Y) = \u2211i\u2a7e0Y i in F((Y))). Hence \u2211 j\u2a7e0 p\u22121 \u2211 i=0 \u03c3i(\u03c0 j L)Y j+1 f \u2032\u0000\u03c3i(\u03c0L) \u0001 \u2261Y p mod Y p+1, or TrL\/F \u03c0 j f \u2032(\u03c0L) ! = p\u22121 \u2211 i=0 \u03c3i(\u03c0 j f \u2032\u0000\u03c3i(\u03c0L) \u0001 = ( if 0 \u2a7dj \u2a7dp\u22122, if j = p\u22121, as desired.<\/p>\n

\u25a1 PROPOSITION. Let [a] denote the maximal integer \u2a7da. For an integer i \u2a7e0 put j(i) = s+1+[(i\u22121\u2212s)\/p]. Then TrL\/F(\u03c0i LOL) = \u03c0 j(i) Proof. One has f \u2032(\u03c0L) = \u220fp\u22121 i=1 \u0000\u03c0L \u2212\u03c3i(\u03c0L) \u0001 . From the de\ufb01nition of s we deduce \u03c3i(\u03c0L)\/\u03c0L \u22611+i\u03b7\u03c0s mod \u03c0s+1 . Then f \u2032(\u03c0L) = (p\u22121)!(\u2212\u03b7)p\u22121\u03c0(p\u22121)(s+1) \u03b5 with some \u03b5 \u22081+M (p\u22121)(s+1)+1 . Since F = L, for a prime element \u03c0F in F one has the representation \u03c0F = \u03c0 p L\u03b5\u2032 with \u03b5\u2032 \u2208UL.<\/p>\n

The previous Lemma implies TrL\/F \u0010 \u03c0 j+s+1 \u03b5j+s+1 \u0011 = ( if 0 \u2a7dj < p\u22121, \u03c0s+1 if j = p\u22121 for \u03b5j+s+1 = (\u03b5\u2032)s+1\/ \u0000(p\u22121)!(\u2212\u03b7)p\u22121\u03b5 \u0001 . Since TrL\/F(\u03c0i F\u03b1) = \u03c0i F TrL\/F(\u03b1), we can choose the units \u03b5j+s+1, for every integer j > 0, such that TrL\/F(\u03c0 j+s+1 \u03b5j+s+1) = 0 if p\u2224(j +1) and = \u03c0s+(j+1)\/p if p|(j +1).<\/p>\n

Thus, since the OF-module \u03c0i LOL is generated by \u03c0 j L\u03b5j, j \u2a7ei, we conclude that TrL\/F(\u03c0i LOL) = \u03c0 j(i) \u25a1 13.5. PROPOSITION. Let L\/F be a totally rami\ufb01ed Galois extension of de- gree p = char(F) > 0. Let \u03c0L be a prime element in L. Then \u03c0F = NL\/F\u03c0L is a prime element in F.<\/p>\n

\n

Series Editors: Shigeru Kanemitsu (Shandong University, PR China & Kerala School of Mathematics, India) Jianya Liu (Shandong University, PR China) Editorial Board Members: R. Balasubramanian (Institute of Mathematical Sciences, India) V. N. Chubarikov (Moscow State University, Russian Federation) Christopher Deninger (Universit\u00e4t M\u00fcnster, Germany) Chaohua Jia (Chinese Academy of Sciences, PR China) H. Niederreiter (RICAM, Austria) Advisory Board: Current Member M. Waldschmidt (Universit\u00e9 Pierre et Marie Curie, France) In Memoriam K. Ramachandra (Tata Institute of Fundamental Research, Mumbai-Bangalore and National Institute of Advanced Studies, Bangalore, India) A. Schinzel (Polish Academy of Sciences, Poland) *For the complete list of the published titles in this series, please visit: www.worldscientific.com\/series\/sntia World Scientific Published by World Scientific Publishing Co.<\/p>\n

Pte. Ltd. 5 Toh Tuck Link, Singapore 596224 USA office: 27 Warren Street, Suite 401-402, Hackensack, NJ 07601 UK office: 57 Shelton Street, Covent Garden, London WC2H 9HE Library of Congress Control Number: 2025054220 British Library Cataloguing-in-Publication Data A catalogue record for this book is available from the British Library.<\/p>\n

Cover image: Delicate Tension, No. 85 (1923) by Wassily Kandinsky. Public domain. Series on Number Theory and Its Applications \u2014 Vol. 18 ESSENTIAL ALGEBRAIC NUMBER THEORY Copyright \u00a9 2026 by Ivan Fesenko All rights reserved. ISBN 978-981-98-2571-4 (hardcover) ISBN 978-981-98-2681-0 (paperback) ISBN 978-981-98-2572-1 (ebook for institutions) ISBN 978-981-98-2573-8 (ebook for individuals) For any available supplementary material, please visit https:\/\/www.worldscientific.com\/worldscibooks\/10.1142\/14658#t=suppl Desk Editors: Nambirajan Karuppiah\/Lai Fun Kwong Typeset by Stallion Press Email: enquiries@stallionpress.com Printed in Singapore Preface This book is based on courses given in Russia, the UK and China, as well as numerous talks delivered in Germany, Japan, France, and the USA.<\/p>\n

The most recent lecture courses were given at Tsinghua University in 2023\u20132024 and at Westlake University in 2025. The material of the \ufb01rst chapter was lectured for over 10 years in the UK. The book offers a fast and relatively easy introduction into the main aspects of algebraic number theory, including its basic aspects, main results about local and global \ufb01elds and of explicit class \ufb01eld theory. The emphasise is on a clear presentation, using as little auxiliary tools from algebra or analysis as possible.<\/p>\n

The presentation of this book was motivated by the author\u2019s study and research in generalisations of class \ufb01eld theory such as higher class \ufb01eld theory, anabelian geometry and some topics in the Langlands program. The main aim of the book is the enable the reader to learn central key aspects of the theory and to prepare for research work in modern number theory.<\/p>\n

The \ufb01rst chapter is a compact simpli\ufb01ed presentation of core features of alge- braic number \ufb01elds, without using analytic tools. Various properties of algebraic integers are deduced from properties of Dedekind rings.<\/p>\n<\/blockquote>\n

This is a short excerpt from the opening of “” by Unknown, quoted for review and introduction purposes. All rights belong to the copyright holders.<\/em><\/p>\n

\n
\n

Table of Contents<\/p>\nToggle<\/span><\/path><\/svg><\/svg><\/span><\/span><\/span><\/a><\/span><\/div>\n