Theorem of the cube Theorem of the cube In mathematics, the theorem of the cube is a condition for a line bundle over a product of three complete varieties to be trivial. It was a principle discovered, in the context of linear equivalence, by the Italian school of algebraic geometry. The final version of the theorem of the cube was first published by , who credited it to André Weil. A discussion of the history has been given by . A treatment by means of sheaf cohomology, and description in terms of the Picard functor, was given by . The theorem states that for
Root of unity modulo n it is not a primitive root, then there would be some divisor ℓ of "k", with formula_57. In order to exclude this possibility, one has only to check for a few ℓ's equal "k" divided by a prime. That is, what needs to be checked is: Among the primitive "k"-th roots of unity, the primitive formula_23-th roots are most frequent. It is thus recommended to try some integers for being a primitive formula_23-th root, what will succeed quickly. For a primitive formula_23-th root "x", the number formula_30 is a primitive formula_25-th root of unity. If "k" does not divide formula_23,