Related papers: Structure of centralizer algebras

We start with the Lorentz algebra $ L=o_{R}(1,3)$ over the reals and find a suitable basis $B$ relative to which the structure constants are integers. Thus we consider the $Z$-algebra $L_{Z}$ which is free as a $Z$-module and its $Z$-basis…

We present an algebraic structure in modules over integer rings with cardinality prime powers, which allows to define bases. With such structure, we prove a similar version for the basis extension theorem of linear algebra over fields.…

The universal central extensions and their extension kernels of the matrix Lie superalgebra sl(m, n, A), the Steinberg Lie superalgebra st(m, n, A) in category {\bf SLeib} of Leibniz superalgebras are determined under a weak assumption…

Let R be a regular ring essentially of finite type over a perfect field k. An R-module M is called a unit R[F]-module if it comes equipped with an isomorphism F*M-->M where F denotes the Frobenius map on Spec R, and F* is the associated…

The Jacobson Coordinatization Theorem describes the structure of unitary Jordan algebras containing the algebra $H_n(F)$ of symmetric nxn matrices over a field F with the same identity element, for $n\geq 3$. In this paper we extend the…

Let $M_n$ be the algebra of $n \times n$ complex matrices and $\mathcal{T}_n \subseteq M_n$ the corresponding upper-triangular subalgebra. In their influential work, Petek and \v{S}emrl characterize Jordan automorphisms of $M_n$ and…

Let $R\subset F$ be an extension of real closed fields and ${\mathcal S}(M,R)$ the ring of (continuous) semialgebraic functions on a semialgebraic set $M\subset R^n$. We prove that every $R$-homomorphism $\varphi:{\mathcal S}(M,R)\to F$ is…

For integers $x$ and $y$, $(x, y)$ and $[x, y]$ stand for the greatest common divisor and the least common multiple of $x$ and $y$ respectively. Denote by $|T|$ the number of elements of a finite set $T$. Let $a,b$ and $n$ be positive…

We consider formal maps in any finite dimension $d$ with coefficients in an integral domain $K$ with identity. Those invertible under formal composition form a group $\mathcal{G}$. We consider the centraliser $C_g$ of an element…

We define and study preorderings and orderings on rings of the form $M_n(R)$ where $R$ is a commutative unital ring. We extend the Artin-Lang theorem and Krivine-Stengle Stellens\"atze (both abstract and geometric) from $R$ to $M_n(R)$.…

Let $\{ R_n, {\mathfrak m}_n \}_{n \ge 0}$ be an infinite sequence of regular local rings with $R_{n+1}$ birationally dominating $R_n$ and ${\mathfrak m}_nR_{n+1}$ a principal ideal of $R_{n+1}$ for each $n$. We examine properties of the…

We describe a method for solving linear systems over the localization of a commutative ring $R$ at a multiplicatively closed subset $S$ that works under the following hypotheses: the ring $R$ is coherent, i.e., we can compute finite…

The formation of rings of fractions and the associated process of localization are the most important technical tools in commutative algebra. Krasner (m,n)-hyperrings are a generalization of (m,n)-ring. Let R be a commutative Krasner…

Let $\mathbf{x}_{n \times n}$ be a matrix of $n \times n$ variables, and let $\mathbb{C}[\mathbf{x}_{n \times n}]$ be the polynomial ring on these variables. Let $\mathfrak{S}_{n,r}$ be the group of colored permutations, consisting of $n…

We show that every logmodular subalgebra of $M_n(\mathbb{C})$ is unitary equivalent to an algebra of block upper triangular matrices, which was conjectured in \cite{VM}. In particular, this shows that every unital contractive representation…

We construct an explicit set of algebraically independent generators for the center of the universal enveloping algebra of the centralizer of a nilpotent matrix in the Lie algebra gl_N(C). In particular, this gives a new proof of the…

This is the first installment of an exposition of an ACL2 formalization of elementary linear algebra, focusing on aspects of the subject that apply to matrices over an arbitrary commutative ring with identity, in anticipation of a future…

The aim of this note is to understand under which conditions invertible modules over a commutative S-algebra in the sense of Elmendorf, Kriz, Mandell and May give rise to elements in the algebraic Picard group of invertible graded modules…

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…

We show that a unital ring is generated by its commutators as an ideal if and only if there exists a natural number $N$ such that every element is a sum of $N$ products of pairs of commutators. We show that one can take $N \leq 2$ for…