Documentation

Atlas.NumberTheoryI.NumberTheoryI

return to top

source

Imports

Init
Atlas.NumberTheoryI.code.AbelSummationSummable
Atlas.NumberTheoryI.code.Adeles
Atlas.NumberTheoryI.code.AdicCompletionAlgebra
Atlas.NumberTheoryI.code.AnalyticClassNumber
Atlas.NumberTheoryI.code.ArithmeticFunctions
Atlas.NumberTheoryI.code.ArtinUnramified
Atlas.NumberTheoryI.code.CDVRExtensions
Atlas.NumberTheoryI.code.CRTHelper
Atlas.NumberTheoryI.code.Ch22Conductor
Atlas.NumberTheoryI.code.Ch22ConductorDef
Atlas.NumberTheoryI.code.Ch22NormGroup
Atlas.NumberTheoryI.code.Ch22WeberLFunction
Atlas.NumberTheoryI.code.CompleteFields
Atlas.NumberTheoryI.code.ComplexAnalysis
Atlas.NumberTheoryI.code.ConductorOrders
Atlas.NumberTheoryI.code.CoprimePrincipal
Atlas.NumberTheoryI.code.Cor1015
Atlas.NumberTheoryI.code.Cor1015IntegralClosureDVR
Atlas.NumberTheoryI.code.Cor1126
Atlas.NumberTheoryI.code.Cor1815
Atlas.NumberTheoryI.code.Cor1816
Atlas.NumberTheoryI.code.Cor1828
Atlas.NumberTheoryI.code.Cor1835
Atlas.NumberTheoryI.code.Cor1838
Atlas.NumberTheoryI.code.Cor2222
Atlas.NumberTheoryI.code.Cor227
Atlas.NumberTheoryI.code.Cor2322
Atlas.NumberTheoryI.code.Cor2328
Atlas.NumberTheoryI.code.Cor2344
Atlas.NumberTheoryI.code.Cor2360
Atlas.NumberTheoryI.code.Cor2361
Atlas.NumberTheoryI.code.Cor2365
Atlas.NumberTheoryI.code.Cor913
Atlas.NumberTheoryI.code.CyclotomicDVRInstances
Atlas.NumberTheoryI.code.CyclotomicRamification
Atlas.NumberTheoryI.code.DedekindCriterion
Atlas.NumberTheoryI.code.DedekindExtensions
Atlas.NumberTheoryI.code.DedekindFactorization
Atlas.NumberTheoryI.code.DedekindProperties
Atlas.NumberTheoryI.code.DedekindUFDPID
Atlas.NumberTheoryI.code.Def2213
Atlas.NumberTheoryI.code.Def2371
Atlas.NumberTheoryI.code.Def2376
Atlas.NumberTheoryI.code.DifferentDiscriminant
Atlas.NumberTheoryI.code.DirectLimits
Atlas.NumberTheoryI.code.DirichletCharacters
Atlas.NumberTheoryI.code.DirichletL
Atlas.NumberTheoryI.code.DirichletSeries
Atlas.NumberTheoryI.code.DirichletUnits
Atlas.NumberTheoryI.code.EisensteinRamified
Atlas.NumberTheoryI.code.EtaleAlgebras
Atlas.NumberTheoryI.code.EtaleAlgebrasProps
Atlas.NumberTheoryI.code.FinitePlaceAbsValue
Atlas.NumberTheoryI.code.FourierAnalysis
Atlas.NumberTheoryI.code.FractionalIdeals
Atlas.NumberTheoryI.code.FunctionalEquation
Atlas.NumberTheoryI.code.GaloisExtensions
Atlas.NumberTheoryI.code.GammaFunction
Atlas.NumberTheoryI.code.GeometryOfNumbers
Atlas.NumberTheoryI.code.GlobalCFT
Atlas.NumberTheoryI.code.GlobalCFTMain
Atlas.NumberTheoryI.code.GlobalFields
Atlas.NumberTheoryI.code.GroupCohomology
Atlas.NumberTheoryI.code.GroupCounts
Atlas.NumberTheoryI.code.HenselBridgeLemmas
Atlas.NumberTheoryI.code.HenselDefs
Atlas.NumberTheoryI.code.HenselFactorization
Atlas.NumberTheoryI.code.HenselLemmas
Atlas.NumberTheoryI.code.IdealFactorization
Atlas.NumberTheoryI.code.IdealNorms
Atlas.NumberTheoryI.code.IdeleNorm
Atlas.NumberTheoryI.code.Ideles
Atlas.NumberTheoryI.code.InfinitePlaceBaseChange
Atlas.NumberTheoryI.code.InverseLimits
Atlas.NumberTheoryI.code.KrasnerLemma
Atlas.NumberTheoryI.code.KroneckerWeber
Atlas.NumberTheoryI.code.KroneckerWeberLocal2
Atlas.NumberTheoryI.code.KummerInertiaDeg
Atlas.NumberTheoryI.code.LaplaceTransform
Atlas.NumberTheoryI.code.Lem168
Atlas.NumberTheoryI.code.Lem168LowerBound
Atlas.NumberTheoryI.code.Lem1812
Atlas.NumberTheoryI.code.Lem2226
Atlas.NumberTheoryI.code.Lem225
Atlas.NumberTheoryI.code.Lem2326
Atlas.NumberTheoryI.code.Lem2327
Atlas.NumberTheoryI.code.Lem2358
Atlas.NumberTheoryI.code.Lem2364
Atlas.NumberTheoryI.code.Lem2373
Atlas.NumberTheoryI.code.Lem2374
Atlas.NumberTheoryI.code.Lem2377
Atlas.NumberTheoryI.code.Lem2378
Atlas.NumberTheoryI.code.Lemma188
Atlas.NumberTheoryI.code.Lemma247
Atlas.NumberTheoryI.code.LocalCFT
Atlas.NumberTheoryI.code.LocalExtensions
Atlas.NumberTheoryI.code.LocalFields
Atlas.NumberTheoryI.code.LocalGlobal
Atlas.NumberTheoryI.code.LocalizationDedekind
Atlas.NumberTheoryI.code.NormTrace
Atlas.NumberTheoryI.code.PNT
Atlas.NumberTheoryI.code.Pairings
Atlas.NumberTheoryI.code.PairingsTheorems
Atlas.NumberTheoryI.code.PrimeSplitting
Atlas.NumberTheoryI.code.ProductFormula
Atlas.NumberTheoryI.code.Prop1215
Atlas.NumberTheoryI.code.Prop1228
Atlas.NumberTheoryI.code.Prop1824
Atlas.NumberTheoryI.code.Prop1837
Atlas.NumberTheoryI.code.Prop2219
Atlas.NumberTheoryI.code.Prop2221
Atlas.NumberTheoryI.code.Prop2225
Atlas.NumberTheoryI.code.Prop226
Atlas.NumberTheoryI.code.Prop229
Atlas.NumberTheoryI.code.Prop22_4_RayClassGroup
Atlas.NumberTheoryI.code.Prop2357
Atlas.NumberTheoryI.code.Prop2369
Atlas.NumberTheoryI.code.Prop255
Atlas.NumberTheoryI.code.Prop256
Atlas.NumberTheoryI.code.RamificationTypes
Atlas.NumberTheoryI.code.RayClassFields
Atlas.NumberTheoryI.code.ResidueFieldFunctor
Atlas.NumberTheoryI.code.ResidueFieldHelper
Atlas.NumberTheoryI.code.RiemannZeta
Atlas.NumberTheoryI.code.RootOfUnityMonogenicity
Atlas.NumberTheoryI.code.ScalingStep
Atlas.NumberTheoryI.code.StieltjesIntegral
Atlas.NumberTheoryI.code.TateCohomology
Atlas.NumberTheoryI.code.Theorem2220
Atlas.NumberTheoryI.code.Theorem2229
Atlas.NumberTheoryI.code.ThetaFunction
Atlas.NumberTheoryI.code.Thm1023
Atlas.NumberTheoryI.code.Thm1829
Atlas.NumberTheoryI.code.Thm2214
Atlas.NumberTheoryI.code.Thm2321
Atlas.NumberTheoryI.code.Thm2350
Atlas.NumberTheoryI.code.Thm2370
Atlas.NumberTheoryI.code.Thm2375
Atlas.NumberTheoryI.code.TracePairing
Atlas.NumberTheoryI.code.UnramBridge
Atlas.NumberTheoryI.code.ValuationBijection
Atlas.NumberTheoryI.code.Chapter1.AbsoluteValues
Atlas.NumberTheoryI.code.Chapter1.DVR
Atlas.NumberTheoryI.code.Chapter1.IntegralClosure
Atlas.NumberTheoryI.code.Chapter1.LocalRings
Atlas.NumberTheoryI.code.Chapter1.NumberField
Atlas.NumberTheoryI.code.Chapter1.Valuations
Atlas.NumberTheoryI.code.Chapter14.ClassGroupFinite
Atlas.NumberTheoryI.code.Chapter3.DedekindProperties
Atlas.NumberTheoryI.code.Chapter3.FiniteApproximation
Atlas.NumberTheoryI.code.Chapter4.EtaleAlgebras
Atlas.NumberTheoryI.code.Chapter4.SepClosedDecomp
Atlas.NumberTheoryI.code.Chapter4.TensorSplitting
Atlas.NumberTheoryI.code.Chapter4.Theorem440

Imported by