\(r\)-fold \(\zeta\)-skew-symmetric multilinear forms (Q2367024)

This paper is one of a series of the author's studies on symmetric multilinear forms. Let \(R\) be a commutative ring with identity 1, and for an integer \(r\geq 2\), \(\zeta\) an element of \(R\) with \(\zeta^ r=1\). For an \(R\)-module \(M\) and an \(r\)-fold multilinear map \(\theta\) on \(M\), \(\theta\) is said to be \(\zeta\)-skew symmetric if \(\theta(x_ 1,x_ 2,x_ 3,\ldots,x_ r)=\zeta\theta(x_ 2,x_ 3,\ldots,x_ r,x_ 1)\) holds for every element \(x_ i\in M\) \((i=1,2,\ldots,r)\). The author proves some fundamental properties on \(r\)-fold \(\zeta\)-skew symmetric multilinear \(R\)-modules in \([H_ 2]\) or \([K_ 2]\). Two examples of \(r\)-fold \(\zeta\)-skew symmetric multilinear \(R\)-modules are given, one is the determinant of matrices, and another is a 3-fold trace form of an \(R\)-algebra. It is shown that a finitely generated \(\zeta\)- skew symmetric multilinear \(R\)-module is characterized by an \(r\)-fold \(\zeta\)-skew symmetric matrix, which is an expansion of \([K_ 1]\). Finally, for a 3-fold 1-skew symmetric multilinear \(R\)-module \(\langle[A]\rangle\) defined by a 3-fold 1-skew symmetric matrix \(A\), some conditions are given for \(\langle[A]\rangle\) to be an associative \(R\)- algebra by some multiplication on \(\langle[A]\rangle\). As an appendix, a proposition is proved about the property of projectivity of \(R^ nA\).