Related papers: Matrix identities with forms

The Cayley-Hamilton-Newton theorem - which underlies the Newton identities and the Cayley-Hamilton identity - is reviewed, first, for the classical matrices with commuting entries, second, for two q-matrix algebras, the RTT-algebra and the…

Let $\mathbb{F}$ be a field of characteristic $p$, and let $UT_n(\mathbb{F})$ be the algebra of $n \times n$ upper triangular matrices over $\mathbb{F}$ with an involution of the first kind. In this paper we describe: the set of all…

We prove that the Lie algebra $\mathfrak{sl}_n(\textbf{F}_q)$ of traceless matrices over a finite field of characteristic $p$ can be generated by $2$ elements with exceptions when $(n, p)$ is $(3, 3)$ or $(4,2)$. In the latter cases, we…

Let F_m=F_m(var(sl(2,K))) be the relatively free algebra of rank m in the variety of Lie algebras generated by the algebra sl(2,K) over a field K of characteristic 0. Translating an old result of Baker from 1901 we present a multiplication…

We show that for any finitely generated group of matrices that is not virtually solvable, there is an integer m such that, given an arbitrary finite generating set for the group, one may find two elements a and b that are both products of…

The Amitsur-Levitski theorem asserts that $M_n(F)$ satisfies a polynomial identity of degree $2n$. (Here, $F$ is a field and $M_n(F)$ is the algebra of $n \times n$ matrices over $F$). It is easy to give examples of subalgebras of $M_n(F)$…

We consider the algebra M_k(C) of k-by-k matrices over the complex numbers and view it as a crossed product with a group G of order k by embedding G in the symmetric group S_k via the regular representation and embedding S_k in M_k(C) in…

Polynomial identities of two-dimensional Novikov algebras are studied over the complex field $\mathbb{C}$. We determine minimal generating sets for the T-ideals of the polynomial identities and linear bases for the corresponding relatively…

The exponential of an NxN matrix can always be expressed as a matrix polynomial of order N-1. In particular, a general group element for the fundamental representation of SU(N) can be expressed as a matrix polynomial of order N-1 in a…

Let $G$ be a group of order $k$. We consider the algebra $M_k(\mathbb{C})$ of $k$ by $k$ matrices over the complex numbers and view it as a crossed product with respect to $G$ by embedding $G$ in the symmetric group $S_k$ via the regular…

Totally positive (TP) and totally nonnegative (TN) matrices connect to analysis, mechanics, and to dual canonical bases in reductive groups, by well-known works of Schoenberg, Gantmacher-Krein, Lusztig, and others. TP matrices form a…

Let A be an algebra whose group of units U(A) satisfies a Laurent polynomial identity (LPI). We establish conditions on these polynomials in such a way that nil-generated algebras and group algebras with torsion groups over infinite fields…

Using our recent results on eigenvalues of invariants associated to the Lie superalgebra gl(m|n), we use characteristic identities to derive explicit matrix element formulae for all gl(m|n) generators, particularly non-elementary…

Let $R$ be a local principal ideal ring of length two, for example, the ring $R=\Z/p^2\Z$ with $p$ prime. In this paper we develop a theory of normal forms for similarity classes in the matrix rings $M_n(R)$ by interpreting them in terms of…

Given a tree T on n vertices, there is an associated ideal I of a polynomial ring in n variables over a field, generated by all paths of a fixed length of T. We show that such an ideal always satisfies the Konig property and classify all…

The noncommutative (or mixed) trace algebra $T_{nd}$ is generated by $d$ generic $n\times n$ matrices and by the algebra $C_{nd}$ generated by all traces of products of generic matrices, $n,d\geq 2$. It is known that over a field of…

In 1988, S. V. Okhitin proved that for any field k of characteristic zero, the T-space CP(M_2(k)) is finitely based, and he raised the question as to whether CP(A) is finitely based for every (unitary) associative algebra A with nonzero…

Multiparametric quantum semigroups $\mathrm{M}_{\hat{q}, \hat{p}}(n)$ are generalization of the one-parameter general linear semigroups $\mathrm{M}_q(n)$, where $\hat{q}=(q_{ij})$ and $\hat{p}=(p_{ij})$ are $2n^2$ parameters satisfying…

In this paper we study identities and images of polynomials on null-filiform Leibniz algebras. If $L_n$ is an $n$-dimensional null-filiform Leibniz algebra, we exhibit a finite minimal basis for $\mbox{Id}(L_n)$, the polynomial identities…

The main aim of this paper is to characterize ideals I in the power series ring R=K[[x1,...,xs]] that are finitely determined up to contact equivalence by proving that this is the case if and only if I is an isolated complete intersection…