Related papers: Commutators from a hyperplane of matrices

Recognizing when a ring is a complete matrix ring is of significant importance in algebra. It is well-known folklore that a ring $R$ is a complete $n\times n$ matrix ring, so $R\cong M_{n}(S)$ for some ring $S$, if and only if it contains a…

We develop the theory of linear algebra over a (Z_2)^n-commutative algebra (n in N), which includes the well-known super linear algebra as a special case (n=1). Examples of such graded-commutative algebras are the Clifford algebras, in…

A general unifying framework for integrable soliton-like systems on time scales is introduced. The $R$-matrix formalism is applied to the algebra of $\delta$-differential operators in terms of which one can construct infinite hierarchy of…

For every commutative ring $A$, one has a functorial commutative ring $W(A)$ of $p$-typical Witt vectors of $A$, an iterated extension of $A$ by itself. If $A$ is not commutative, it has been known since the pioneering work of L. Hesselholt…

We introduce the class of MAT-free hyperplane arrangements which is based on the Multiple Addition Theorem by Abe, Barakat, Cuntz, Hoge, and Terao. We also investigate the closely related class of MAT2-free arrangements based on a recent…

Let $R$ be an associative ring with unity $1$ and consider $k\in \mathbb{N}$ such that $1+1+..+1=k$ is invertible. Denote by $\omega$ an arbitrary kth root of unity in $R$ and let $UT^{(k)}_{\infty}(R)$ be the group of upper triangular…

Let $\alpha$ be a map from the set of all knot types ${\mathcal K}$ to a set $X$. Let $\beta$ be a map from ${\mathcal K}$ to a set $Y$. We define the relation between $\alpha$ and $\beta$ to be the image of a map $(\alpha,\beta)$ from…

In this expository paper, various properties of matrix traces, determinants and adjugate matrices are proved, including the *trace Cayley-Hamilton theorem*, which says that \[ kc_k + \sum_{i=1}^k \operatorname{Tr} (A^i) c_{k-i} = 0 \qquad…

In 1961, Gerstenhaber proved the following theorem: if k is a field and X and Y are commuting dxd matrices with entries in k, then the unital k-algebra generated by these matrices has dimension at most d. The analog of this statement for…

Let A be a quasi-finite R-algebra (i.e., a direct limit of module finite algebras) with identity. Let I_i, i=0,...,m, be two-sided ideals of A, \GL_n(A,I_i) the principal congruence subgroup of level I_i in GL_n(A) and E_n(A,I_i) be the…

Fix a commutative ring $\mathbf{k}$, two elements $\beta,\alpha\in\mathbf{k}$ and a positive integer $n$. Let $\mathcal{X}$ be the polynomial ring over $\mathbf{k}$ in the $n(n-1)/2$ indeterminates $x_{i,j}$ for all $1\leq i<j\leq n$.…

Given the complement of a hyperplane arrangement, let $\Gamma$ be the closure of the graph of the map inverting each of its defining linear forms. The characteristic polynomial manifests itself in the Hilbert series of $\Gamma$ in two…

Using standard techniques from combinatorics, model theory, and algebraic geometry, we prove generalized versions of several basic results in the theory of spectrally arbitrary matrix patterns. Also, we point out a counterexample to a…

One of our result is that 5 measurable sets in $R^8$ always admit an equipartition by 2 hyperplanes. This is an instance of a general equipartition problem (formulated by B. Gr{\" u}nbaum and H. Hadwiger) which can be reduced to the…

To any 2x2-matrix K one assigns a commutative subalgebra B^{K}\subset U(gl_2[t]) called a Bethe algebra. We describe relations between the Bethe algebras, associated with the zero matrix and a nilpotent matrix.

We study a nonlinear analogue of additive commutators, known as \textit{polynomial commutators}, defined by $p(ab) - p(ba)$ for a polynomial $p \in F[x]$ and elements $a, b$ in an algebra $R$ over a field $F$. Originally introduced by…

By combining well-known techniques from both noncommutative algebra and computational commutative algebra, we observe that an algorithmic approach can be applied to the study of irreducible representations of finitely presented algebras. In…

Let a compact group G act on real or complex C*-algebras A and B, with A separable and B sigma-unital. We express the G-equivariant Kasparov groups KK_n(A,B) by algebraic K-groups of a certain additive category.

We give a natural definition for the transitivity of a matrix. Using an endomorphism d of a base ring R and a transitive nxn matrix over the center Z(R), we construct the subalgebra M_{n}(R,d,T) of the full nxn matrix algebra M_{n}(R)…

Any associative bilinear multiplication on the set of n-by-n matrices over some field of characteristic not two, that makes the same vectors orthogonal and has the same trace as ordinary matrix multiplication, must be ordinary matrix…