No label defined (Q4939898)

Let \({\mathcal F}_N\) denote the standard polynomial of degree \(N\) in \(N\) non-commuting variables: \[ {\mathcal F}_N(x_1,\ldots,x_N)=\sum_{\sigma\in S_N}(-1)^{p(\sigma)}x_{\sigma(1)}\cdots x_{\sigma(N)}, \] where \(p(\sigma)\) is the parity of the permutation \(\sigma\), \(S_N\) is the symmetric group. An algebra \(A\) is called an \({\mathcal F}_N\)-algebra, if \({\mathcal F}_N(x_1,\ldots,x_N)=0\) for all \(x_1,\ldots,x_N\in A\). The authors give a number of examples of algebras and \(*\)-algebras generated by idempotents with irreducible representations realized in dimensions \(\leq N\). That is shown to imply that such algebras are \({\mathcal F}_N\)-algebras. Invertibility symbols are constructed.