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.

1 result

Totally imaginary number fields K of even degree containing a totally real subfield k such that K/k is quadratic (imaginary quadratic fields included). Claims about their structure, relative class numbers, class-number bounds, zeta/L-values, and arithmetic invariants belong here.

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 theory Root discriminantimportance · 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 or a question entirely, propose it below. A proposal is reviewed on its wording; accepted proposals are matched against the graph before they enter it.