A continuous, constructive solution to Hilbert's 17th problem.
In this note we provide a direct and simple proof of a result previously obtained by Astier stating that the class of spaces of orderings for which the pp conjecture holds true is closed under sheaves over Boolean spaces.
The set of invariant symmetric bilinear forms on irreducible modules over fields of characteristic zero for certain groups is studied. Results are obtained under the presence in a finite group of elements of order four whose square is central. In particular, we find that the relevant modules for the groups mentioned in the title always accept an invariant symmetric bilinear form under which the module admits an orthonormal basis.