A generalization of the original Jordan-von Neumann theorem (Q653960)

Motivated by the original form of the well-known Jordan-von Neumann theorem [\textit{P. Jordan} and \textit{J. von Neumann}, Ann. of Math. (2) 36, 719--723 (1935; Zbl 0012.30702, JFM 61.0435.05)], the author explores extensions in the setting of sesquilinear forms on modules over *-algebras, in particular, the problem of representability of quadratic functionals. One of the main results is Corollary~4.3, stating that a mapping \(Q\), defined on a unitary right \(A\)-module \(M\) over a unital semiprime complex *-algebra \(A\) without nonzero central ideals with values in a unitary \(A\)-bimodule \(B\) satisfying some mild algebraic conditions that fulfils the parallelogram law and the homogeneity condition \(Q(fa)=a^*Q(f)a\) for all \(f\in M\) and all \(a\in A\) which are hermitian or skew-hermitian, always is an \(A\)-quadratic functional, that is, \(Q(f)=S(f,f)\), where the \(A\)-sesquilinear form \(S: M\times M\to B\) is given by the canonical polarisation identity.