Uzi Vishne

The algebra of supernatural matrices is a key example in the theory of locally finite central simple algebras, which we developed in a previous paper [T. Bar-On, Sh. Gilat, E. Matzri and U. Vishne, Locally finite central simple algebras, Algebras Represent. Theory 26(2) (2023) 553–607]. This algebra has appeared under various names before, and deserves further study. Supernatural matrices are a minimal solution to the equation of unital algebras [ ], which we compare to several similar conditions involving cancellation of matrices. Viewing a natural representation of this algebra, we show that supernatural matrices generalize both McCrimmon’s deep matrices algebra and [ ]-petal Leavitt path algebra. We also study their simple representations.

Over the years questions have arisen about T-ideals of (noncommutative) polynomials. But when evaluating a noncentral polynomial in subalgebras of matrices, one often has little control in determining the specific evaluations of the polynomial. One way of overcoming this difficulty in characteristic 0, is to reduce to multilinear polynomials and to utilize the representation theory of the symmetric group. But this technique is unavailable in characteristic [ ]. An alternative method, which succeeds, is the process of “hiking” a polynomial, in which one specializes its indeterminates in several stages, to obtain a polynomial in which Capelli polynomial is embedded, in order to get control on its evaluations. This method was utilized on homogeneous polynomials in the proof of Specht’s conjecture for affine algebras over fields of positive characteristic. In this paper, we develop hiking further to nonhomogeneous polynomials, to apply to the “representability question.” Kemer proved in 1988 that every affine relatively free PI algebra over an infinite field, is representable. In 2010, the first author of this paper proved more generally that every affine relatively free PI algebra over any commutative Noetherian unital ring is representable [A. Belov, Local finite basis property and local representability of varieties of associative rings, Izv. Russian Acad. Sci. (1) (2010) 3–134. English Translation Izv. Math. 74(1) (2010) 1–126]. We present a different, complete, proof, based on hiking nonhomogeneous polynomials, over finite fields. We then obtain the full result over a Noetherian commutative ring, using Noetherian induction on T-ideals. The bulk of the proof is for the case of a base field of positive characteristic. Here, whereas the usage of hiking is more direct than in proving Specht’s conjecture, one must consider nonhomogeneous polynomials when the base ring is finite, which entails certain difficulties to be overcome. In Appendix A, we show how hiking can be adapted to prove the involutory versions, as well as various graded and nonassociative theorems.

An associative central simple algebra is a form of matrices, because a maximal étale subalgebra acts on the algebra faithfully by left and right multiplication. In an attempt to extract and isolate the full potential of this point of view, we study nonassociative algebras whose nucleus contains an étale subalgebra bi-acting faithfully on the algebra. These algebras, termed semiassociative, are shown to be the forms of skew matrices, which we are led to define and investigate. Semiassociative algebras modulo skew matrices compose a Brauer monoid, which contains the Brauer group of the field as a unique maximal subgroup.