Browse
Claims
Search the graph by meaning. Each result carries its current verdict; open one to see its decomposition, provenance, and the reasoning behind the assessment.
ShowingImportancePrizesTopicRoot discriminant
The root discriminant of a number field, d_K = |disc(K)|^(1/n), and explicit bounds or lower/upper estimates involving it (e.g. bounds on class numbers, ramification, or towers of fields in terms of root discriminant and degree).
The relative class number of a CM field is bounded explicitly in terms of its relative root discriminant and degree (Louboutin's bound).
UnassessedNo current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →empirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Number theoryCM fieldsimportance · settledImportance 0.12, from 0 to 1 · settled: uncontested, so low even when much depends on it. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →
Contribute
If a claim here is wrong, or missing evidence, open it: every claim page carries its own entry for challenges, evidence, and corrections. If the graph is missing a claim entirely, propose it below. A proposal is reviewed on its merits; accepted claims are matched against the graph and enter it with their reasoning on record.