No label defined (Q4030675)

Let \(R\) be a commuative ring with identity, \(M\) an \(R\)-module, and \(U\) a faithful \(R\)-module. For \(r\geq 2\), \((M,f;U)\) is called a cyclically symmetric \(r\)-fold multilinear form, if \(f:M\times\cdots\times M\to U\) satisfies the following conditions: (1) \(f(x_ 1+y_ 1,x_ 2,\dots,x_ r)=f(x_ 1,x_ 2,\dots,x_ r)+f(y_ 1,x_ 2,\dots,x_ r)\); (2) \(f(ax_ 1,x_ 2,\dots,x_ r)=af(x_ 1,x_ 2,\dots,x_ r)\); (3) \(f(x_ 1,x_ 2,\dots,x_ r)=f(x_ 2,x_ 3,\dots,x_ r,x_ 1)\). The author obtains a representation of the cyclically symmetric \(r\)-fold multilinear forms by \(r\)-fold matrices. In addition, some properties on the trace forms of noncommutative algebras are shown.