The paper studies a special collection of number fields, which are mathematical objects built by extending the ordinary rational numbers with square roots of several quantities at once. Specifically, the authors look at fields formed by adjoining the square roots of 2, a prime q, and a product of two other primes r and s, where these primes satisfy certain divisibility conditions related to the number 4. Understanding the structure of these fields is a central goal in algebraic number theory, with connections to questions about how whole numbers factor in more exotic settings.
The main technical achievements are the explicit computation of two key invariants for these fields. The first is the unit group, which describes the collection of elements in the field that have a multiplicative inverse also living in the field's ring of integers. The second is the 2-class number, which roughly measures how badly unique factorization fails in the field, focusing specifically on failures that involve powers of 2. Both of these invariants are notoriously difficult to compute in general, and obtaining precise formulas for infinite families of fields is a meaningful advance.
As an application, the authors verify a conjecture proposed by Ralph Greenberg concerning certain infinite towers of number fields. Greenberg's conjecture predicts that, in a specific type of infinite sequence of fields built from a starting real field, the part of the class number coming from 2 eventually stabilizes rather than growing without bound. Confirming this conjecture for several infinite families of real biquadratic fields provides new evidence for its truth and illustrates how detailed knowledge of units and class numbers can have broader theoretical consequences.