grandes-ecoles 2014 QV.A

grandes-ecoles · France · centrale-maths2__pc Matrices Matrix Algebra and Product Properties
Let $(A, +, \times)$ be a commutative ring. For $p \in \mathbb{N}^*$, we denote by $C_p(A)$ the set of sums of $p$ squares of elements of $A$. Prove that for every ring $A$, the sets $C_p(A)$ are stable under multiplication when $p$ equals $1, 2, 4$ or $8$.
You may use the bilinear forms $B_p$ defined in part III and, if necessary, restrict yourself to the case where the ring $A$ is the ring $\mathbb{Z}$ of integers.
Let $(A, +, \times)$ be a commutative ring. For $p \in \mathbb{N}^*$, we denote by $C_p(A)$ the set of sums of $p$ squares of elements of $A$.\\
Prove that for every ring $A$, the sets $C_p(A)$ are stable under multiplication when $p$ equals $1, 2, 4$ or $8$.

You may use the bilinear forms $B_p$ defined in part III and, if necessary, restrict yourself to the case where the ring $A$ is the ring $\mathbb{Z}$ of integers.