Sums of three integral squares in cyclotomic fields

Abstract

Let m be an odd positive integer greater than 2 and f the smallest positive integer such that 2f ≡ 1 (mod m). It is proved that every algebraic integer in the cyclotomic field ℚ(ζm) can be expressed as a sum of three integral squares if and only if f is even.