Minkowski Linear Independence

• Minkowski linear independence is the principle that radical monomials from independent square-free numbers form a Q-basis in multiquadratic fields.
• It ensures that multiquadratic extensions achieve the maximal degree (2^r) by enforcing the independence of square roots or higher radicals.
• Proofs range from Galois-theoretic character methods to elementary minimal polynomial techniques and geometry-of-numbers, underpinning key arithmetic applications.

Minkowski linear independence usually denotes the classical assertion that, in a multiquadratic extension generated by independent square-free radicands, the natural radical monomials form a $\mathbb{Q}$-basis. In the standard form, if $d_1,\dots,d_r\in\mathbb{Z}$ are nonzero, square-free, and independent in $\mathbb{Q}^\times/(\mathbb{Q}^\times)^2$, then the $2^r$ elements

$$\left\{\prod_{j\in I}\sqrt{d_j}: I\subset\{1,\dots,r\}\right\}$$

are $\mathbb{Q}$-linearly independent; in particular,

$$[\mathbb{Q}(\sqrt{d_1},\dots,\sqrt{d_r}):\mathbb{Q}]=2^r,$$

and the displayed set is a $\mathbb{Q}$-basis (Koner et al., 2020). In contemporary work, the same phenomenon is extended to mixed radical towers under explicit reducedness constraints, while related geometry-of-numbers criteria use Minkowski’s convex body theorem to deduce lower bounds for $\mathbb{Q}$-rank from the existence of small linear forms.

1. Classical multiquadratic independence

The classical theorem concerns multiquadratic fields. Let $d_1,\dots,d_r$ be distinct square-free integers and write

$d_1,\dots,d_r\in\mathbb{Z}$0

A standard form of Minkowski’s theorem asserts that the “radical basis” is linearly independent over $d_1,\dots,d_r\in\mathbb{Z}$1. The relevant independence hypothesis is that the $d_1,\dots,d_r\in\mathbb{Z}$2 are independent in $d_1,\dots,d_r\in\mathbb{Z}$3; equivalently, no nontrivial product $d_1,\dots,d_r\in\mathbb{Z}$4 is a square in $d_1,\dots,d_r\in\mathbb{Z}$5 with $d_1,\dots,d_r\in\mathbb{Z}$6 (Koner et al., 2020).

A common special case is the pairwise independence of square roots: if $d_1,\dots,d_r\in\mathbb{Z}$7 are distinct square-free integers and $d_1,\dots,d_r\in\mathbb{Z}$8, then

$d_1,\dots,d_r\in\mathbb{Z}$9

This is the form most often used in elementary manipulations of radicals. It is also the simplest manifestation of the basis theorem for multiquadratic extensions.

The significance of the theorem is twofold. First, it identifies an explicit basis for the field. Second, it computes the degree exactly: the extension has the maximal possible degree $\mathbb{Q}^\times/(\mathbb{Q}^\times)^2$0 once the parity classes of the radicands are independent. This makes the theorem a foundational statement about basis structure in radical extensions.

2. Character-theoretic proof and the classical mechanism

The classical proof uses the full Galois group of the multiquadratic field. For $\mathbb{Q}^\times/(\mathbb{Q}^\times)^2$1, define the automorphism $\mathbb{Q}^\times/(\mathbb{Q}^\times)^2$2 by

$\mathbb{Q}^\times/(\mathbb{Q}^\times)^2$3

If one assumes a relation

$\mathbb{Q}^\times/(\mathbb{Q}^\times)^2$4

then applying all $\mathbb{Q}^\times/(\mathbb{Q}^\times)^2$5 produces a $\mathbb{Q}^\times/(\mathbb{Q}^\times)^2$6 linear system with matrix

$\mathbb{Q}^\times/(\mathbb{Q}^\times)^2$7

The columns are orthogonal characters of the group $\mathbb{Q}^\times/(\mathbb{Q}^\times)^2$8, hence independent; therefore all $\mathbb{Q}^\times/(\mathbb{Q}^\times)^2$9 (Koner et al., 2020).

This proof is notable for its symmetry. Modern expositions emphasize that embeddings of multiquadratic fields into $2^r$0 and the orthogonality of sign characters separate the coefficients immediately. In that sense, classical Minkowski linear independence is a Galois-theoretic statement in which the basis vectors are indexed by subsets of $2^r$1 and the coefficient-extraction mechanism is character orthogonality.

The same source also frames this as the quadratic prototype of a wider pattern. A plausible implication is that the theorem is best understood not as an isolated identity about square roots, but as the $2^r$2 case of a general radical-basis phenomenon.

3. Reduced radicals and the mixed-exponent generalization

A generalization beyond square roots is obtained by imposing explicit “reduced” constraints and working with positive rational radicands to keep real branches consistent. For $2^r$3 and $2^r$4, $2^r$5 is called reduced if it cannot be written as $2^r$6 with $2^r$7 and $2^r$8. Equivalently, the minimal polynomial of $2^r$9 over $$\left\{\prod_{j\in I}\sqrt{d_j}: I\subset\{1,\dots,r\}\right\}$$0 is $$\left\{\prod_{j\in I}\sqrt{d_j}: I\subset\{1,\dots,r\}\right\}$$1. A finite set

$$\left\{\prod_{j\in I}\sqrt{d_j}: I\subset\{1,\dots,r\}\right\}$$2

is reduced if each $$\left\{\prod_{j\in I}\sqrt{d_j}: I\subset\{1,\dots,r\}\right\}$$3 is reduced and there is no nontrivial tuple of exponents $$\left\{\prod_{j\in I}\sqrt{d_j}: I\subset\{1,\dots,r\}\right\}$$4 with $$\left\{\prod_{j\in I}\sqrt{d_j}: I\subset\{1,\dots,r\}\right\}$$5, not all zero, such that $$\left\{\prod_{j\in I}\sqrt{d_j}: I\subset\{1,\dots,r\}\right\}$$6 (Koner et al., 2020).

Under these constraints, distinct radical monomials are $$\left\{\prod_{j\in I}\sqrt{d_j}: I\subset\{1,\dots,r\}\right\}$$7-linearly independent. More precisely, if

$$\left\{\prod_{j\in I}\sqrt{d_j}: I\subset\{1,\dots,r\}\right\}$$8

are distinct monomials, then

$$\left\{\prod_{j\in I}\sqrt{d_j}: I\subset\{1,\dots,r\}\right\}$$9

Equivalently, the monomials

$\mathbb{Q}$0

are $\mathbb{Q}$1-linearly independent, and

$\mathbb{Q}$2

The same paper states a one-radical-at-a-time version. Fix an index $\mathbb{Q}$3 and set $\mathbb{Q}$4. If $\mathbb{Q}$5 and $\mathbb{Q}$6 are not all zero, then

$\mathbb{Q}$7

is irrational, in particular nonzero. Consequently, $\mathbb{Q}$8 has minimal polynomial $\mathbb{Q}$9 over $$[\mathbb{Q}(\sqrt{d_1},\dots,\sqrt{d_r}):\mathbb{Q}]=2^r,$$0, and adjoining $$[\mathbb{Q}(\sqrt{d_1},\dots,\sqrt{d_r}):\mathbb{Q}]=2^r,$$1 multiplies the field degree by $$[\mathbb{Q}(\sqrt{d_1},\dots,\sqrt{d_r}):\mathbb{Q}]=2^r,$$2. This theorem makes the induction underlying the degree formula completely explicit.

The reduced-set condition is described as the natural generalization of “square-free radicands” and independence of their parity vectors in the quadratic case. That formulation isolates the precise obstruction: dependence can only occur when a bounded product of radicals collapses to a rational number.

4. Elementary proof via minimal polynomials, gcd, and trace

The alternative proof avoids explicit use of Minkowski’s sign-character orthogonality and instead relies on three elementary ingredients: minimal polynomials of reduced irrationals, a gcd argument between two polynomials, and a trace-from-$$[\mathbb{Q}(\sqrt{d_1},\dots,\sqrt{d_r}):\mathbb{Q}]=2^r,$$3-to-$$[\mathbb{Q}(\sqrt{d_1},\dots,\sqrt{d_r}):\mathbb{Q}]=2^r,$$4 argument in a carefully chosen basis (Koner et al., 2020).

The first step is minimal-polynomial control. If $$[\mathbb{Q}(\sqrt{d_1},\dots,\sqrt{d_r}):\mathbb{Q}]=2^r,$$5 is reduced, then its minimal polynomial over $$[\mathbb{Q}(\sqrt{d_1},\dots,\sqrt{d_r}):\mathbb{Q}]=2^r,$$6 is $$[\mathbb{Q}(\sqrt{d_1},\dots,\sqrt{d_r}):\mathbb{Q}]=2^r,$$7. More generally, any finite product of reduced radicals

$$[\mathbb{Q}(\sqrt{d_1},\dots,\sqrt{d_r}):\mathbb{Q}]=2^r,$$8

has a minimal polynomial of the form $$[\mathbb{Q}(\sqrt{d_1},\dots,\sqrt{d_r}):\mathbb{Q}]=2^r,$$9 for some $\mathbb{Q}$0, determined by the least positive $\mathbb{Q}$1 with $\mathbb{Q}$2. A lemma in the same paper states: if $\mathbb{Q}$3 is reduced, $\mathbb{Q}$4, and $\mathbb{Q}$5 are not all zero, then

$\mathbb{Q}$6

is irrational. The proof uses

$\mathbb{Q}$7

and studies $\mathbb{Q}$8.

The second step transfers this gcd argument into a tower. For a reduced set $\mathbb{Q}$9 and fixed $\mathbb{Q}$0, let

$\mathbb{Q}$1

and suppose $\mathbb{Q}$2. Let

$\mathbb{Q}$3

Since all zeros of $\mathbb{Q}$4 have the form $\mathbb{Q}$5 with $\mathbb{Q}$6 an $\mathbb{Q}$7-th root of unity, the product of zeros of $\mathbb{Q}$8 gives

$\mathbb{Q}$9

The third step is the trace obstruction. Let $d_1,\dots,d_r$0 be a $d_1,\dots,d_r$1-basis of $d_1,\dots,d_r$2, and pick $d_1,\dots,d_r$3 with

$d_1,\dots,d_r$4

The minimal polynomial over $d_1,\dots,d_r$5 of $d_1,\dots,d_r$6 must then be linear, forcing

$d_1,\dots,d_r$7

Because $d_1,\dots,d_r$8 and $d_1,\dots,d_r$9, this contradicts the reduced-set property. Therefore $d_1,\dots,d_r\in\mathbb{Z}$00.

In multiquadratic fields, this replaces character orthogonality with a structural obstruction: if a lower-degree polynomial relation existed, it would force a forbidden rational power of a radicand, or of a product of radicands, to lie in the smaller field. For higher roots, the same source states that the approach parallels Kummer theory: multiplicative independence modulo $d_1,\dots,d_r\in\mathbb{Z}$01-th powers ensures distinct conjugates and degree multiplication, and the reduced-set proof captures this without invoking $d_1,\dots,d_r\in\mathbb{Z}$02.

5. Degree formulas, examples, counterexamples, and arithmetic uses

The degree and basis structure are explicit in both the multiquadratic and mixed-radical settings. If $d_1,\dots,d_r\in\mathbb{Z}$03 are square-free and independent in $d_1,\dots,d_r\in\mathbb{Z}$04, then

$d_1,\dots,d_r\in\mathbb{Z}$05

with $d_1,\dots,d_r\in\mathbb{Z}$06-basis

$d_1,\dots,d_r\in\mathbb{Z}$07

If

$d_1,\dots,d_r\in\mathbb{Z}$08

is reduced, then inductively

$d_1,\dots,d_r\in\mathbb{Z}$09

and the monomials $d_1,\dots,d_r\in\mathbb{Z}$10 with $d_1,\dots,d_r\in\mathbb{Z}$11 form a $d_1,\dots,d_r\in\mathbb{Z}$12-basis (Koner et al., 2020).

The examples are concrete. In the quadratic case, $d_1,\dots,d_r\in\mathbb{Z}$13 are $d_1,\dots,d_r\in\mathbb{Z}$14-linearly independent; so are $d_1,\dots,d_r\in\mathbb{Z}$15. For $d_1,\dots,d_r\in\mathbb{Z}$16, $d_1,\dots,d_r\in\mathbb{Z}$17,

$d_1,\dots,d_r\in\mathbb{Z}$18

with $d_1,\dots,d_r\in\mathbb{Z}$19-basis $d_1,\dots,d_r\in\mathbb{Z}$20. In the cubic case, $d_1,\dots,d_r\in\mathbb{Z}$21 are $d_1,\dots,d_r\in\mathbb{Z}$22-linearly independent. More generally, if $d_1,\dots,d_r\in\mathbb{Z}$23 are cube-free and multiplicatively independent modulo cubes, the $d_1,\dots,d_r\in\mathbb{Z}$24 monomials in $d_1,\dots,d_r\in\mathbb{Z}$25 are $d_1,\dots,d_r\in\mathbb{Z}$26-independent.

The counterexamples identify exactly how the hypotheses can fail. $d_1,\dots,d_r\in\mathbb{Z}$27 shows dependence when radicands are not square-free. $d_1,\dots,d_r\in\mathbb{Z}$28 shows dependence when radicands are not $d_1,\dots,d_r\in\mathbb{Z}$29rd-power-free. If $d_1,\dots,d_r\in\mathbb{Z}$30 with $d_1,\dots,d_r\in\mathbb{Z}$31, then $d_1,\dots,d_r\in\mathbb{Z}$32, and independence of the two radicals fails.

The same framework underlies several arithmetic applications. Independence guarantees that simplified radical expressions are unique: no hidden cancellations occur unless they are forced by trivial algebraic identities such as extracting $d_1,\dots,d_r\in\mathbb{Z}$33th powers. The explicit basis descriptions are crucial for computations of norms, traces, and integral bases in radical extensions. The criteria also underpin algorithms that determine when sums of radicals can vanish or represent rational numbers, preventing spurious simplifications and enabling certified equality testing.

6. Geometry-of-numbers criteria and related meanings of “Minkowski linear independence”

In a different but related line of work, Minkowski’s convex body theorem is used to deduce lower bounds on rational rank from the existence of small integer-coefficient linear forms. Fischler’s vector-valued generalization of Nesterenko’s criterion states: let $d_1,\dots,d_r\in\mathbb{Z}$34, let $d_1,\dots,d_r\in\mathbb{Z}$35, let $d_1,\dots,d_r\in\mathbb{Z}$36 be pairwise distinct, and let $d_1,\dots,d_r\in\mathbb{Z}$37 satisfy $d_1,\dots,d_r\in\mathbb{Z}$38. If there exist integer-coefficient linear forms

$d_1,\dots,d_r\in\mathbb{Z}$39

with

$d_1,\dots,d_r\in\mathbb{Z}$40

then any subspace $d_1,\dots,d_r\in\mathbb{Z}$41 of $d_1,\dots,d_r\in\mathbb{Z}$42 defined over $d_1,\dots,d_r\in\mathbb{Z}$43 which contains $d_1,\dots,d_r\in\mathbb{Z}$44 satisfies

$d_1,\dots,d_r\in\mathbb{Z}$45

The proof is based on geometry of numbers, namely Minkowski’s theorem on convex bodies (Fischler, 2012).

The geometric mechanism is explicit. One constructs a convex, compact, symmetric set $d_1,\dots,d_r\in\mathbb{Z}$46 around the directions $d_1,\dots,d_r\in\mathbb{Z}$47 and their orthogonal complement, proves that $d_1,\dots,d_r\in\mathbb{Z}$48, and then applies Minkowski’s theorem to the restriction of this body to any $d_1,\dots,d_r\in\mathbb{Z}$49-defined subspace $d_1,\dots,d_r\in\mathbb{Z}$50. Volume–determinant comparison forces the rank inequality. In this usage, “Minkowski linear independence” refers not to radicals but to a geometry-of-numbers engine for proving $d_1,\dots,d_r\in\mathbb{Z}$51-linear independence.

A further development gives almost-everywhere converses. For $d_1,\dots,d_r\in\mathbb{Z}$52, a weighted analogue of the Khintchine–Groshev theorem in the absolute-value setting yields the exact criterion

$d_1,\dots,d_r\in\mathbb{Z}$53

with monotonicity needed only in the special case $d_1,\dots,d_r\in\mathbb{Z}$54. This metric theorem is then combined with Minkowski’s successive minima to show that Siegel/Nesterenko-type lower bounds are optimal almost everywhere: generically, the bound

$d_1,\dots,d_r\in\mathbb{Z}$55

cannot be improved, except up to logarithmic factors (Fischler et al., 2013).

There is also a terminological ambiguity outside geometry of numbers and radical extensions. In the result that “norms as a function of $d_1,\dots,d_r\in\mathbb{Z}$56 are linearly independent in finite dimensions,” “Minkowski” refers to the $d_1,\dots,d_r\in\mathbb{Z}$57 norm structure. The theorem states that if

$d_1,\dots,d_r\in\mathbb{Z}$58

for all $d_1,\dots,d_r\in\mathbb{Z}$59 in a real interval with nonempty interior, then the dependence is trivial: there are no cancellations across distinct equivalence classes of vectors, where the equivalence relation is generated by adding zero coordinates, permuting coordinates, negating coordinates, and rescaling by a nonzero scalar. That result is proved by complex analytic continuation and is explicitly independent of Minkowski’s theorems in the geometry of numbers (Kuperberg, 2011).

A common misconception is therefore terminological. “Minkowski linear independence” may refer to the radical-basis theorem in multiquadratic and radical extensions, or to geometry-of-numbers criteria derived from Minkowski’s convex body theorem, while in the $d_1,\dots,d_r\in\mathbb{Z}$60-norm literature the name “Minkowski” has a different origin. The three settings share the language of linear independence, but they concern different objects: radical monomials, small linear forms and rational rank, and norm profiles as functions of $d_1,\dots,d_r\in\mathbb{Z}$61.