Related papers: If $R^m \cong R^n$ must $m=n$?

The theory of Lambda-rings, in the sense of Grothendieck's Riemann-Roch theory, is an enrichment of the theory of commutative rings. In the same way, we can enrich usual algebraic geometry over the ring Z of integers to produce…

Subsets of a matrix algebra over a field that are invariant under conjugation and contain the linear span of each two of their commuting elements are described. They obviously include the subsets of diagonalizable and nilpotent matrices. In…

The centers of the generic central simple algebras with involution are interesting objects in the theory of central simple algebras. These fields also arise as invariant fields for linear actions of projective orthogonal or symplectic…

Wigner's classical theorem on symmetry transformations plays a fundamental role in quantum mechanics. It can be formulated, for example, in the following way: Every bijective transformation on the set L of all 1-dimensional subspaces of a…

In this article, we prove that in a PI-ring (or polynomial identity ring) $S$, for an element $A \in \mathbb{M}_m(S)$ if $A^n= A^{n+1}X$ for some $n \in \mathbb{N}$ and $X \in \mathbb{M}_m(S)$, then there exists an element $Y\in…

I propose a proof of the existence of the existence of eigenvectors and eigenvalues in the spirit of Argand's proof of the fundamental theorem of algebra. The proof only relies on Weierstrass's theorem, the definition of the inverse of a…

While every matrix algebra over a field $K$ can be realized as a Leavitt path algebra, this is not the case for every graded matrix algebra over a graded field. We provide a complete description of graded matrix algebras over a field,…

Let $\mathbb{D}$ be a division ring and $\mathbb{F}$ be a subfield of the center of $\mathbb{D}$ over which $\mathbb{D}$ has finite dimension $d$. Let $n,p,r$ be positive integers and $\mathcal{V}$ be an affine subspace of the…

Given a $n$-dimensional Lie algebra $g$ over a field $k \supset \mathbb Q$, together with its vector space basis $X^0_1,..., X^0_n$, we give a formula, depending only on the structure constants, representing the infinitesimal generators,…

Denote by $M_n(K)$ the algebra of $n$ by $n$ matrices with entries in the field $K$. A theorem of Albert and Muckenhoupt states that every trace zero matrix of $M_n(K)$ can be expressed as $AB-BA$ for some pair $(A,B)$ of matrices of…

Let $K$ be a field and $E$ be a graph. Let $L_K(E)$ be the Leavitt path algebra of $E$ over $K$ with the standard involution $^\star$. We investigate the set of skew-symmetric elements, $\mathbf{K}_{L_K(E)}=\{x\in L_K(E) : x^{\star}=-x\}$,…

Over an algebraically closed base field $k$ of characteristic 2, the ring $R^G$ of invariants is studied, $G$ being the orthogonal group O(n) or the special orthogonal group SO(n) and acting naturally on the coordinate ring $R$ of the…

We explore elementary matrix reduction over certain rings characterized by their localizations. Let $R$ be a locally stable ring, we prove that $R$ is an elementary divisor ring if and only if $R$ is a Bezout ring. Elementary matrix…

We prove an algebraic version of the Gauge-Invariant Uniqueness Theorem, a result which gives information about the injectivity of certain homomorphisms between ${\mathbb Z}$-graded algebras. As our main application of this theorem, we…

Let $\Lie{g}$ be a simple complex Lie algebra and $\Lie{h}$ a Cartan subalgebra. In this article we explain how to obtain the principal basis of $\Lie{h}$ starting form a set of generators $\{p_1,...,p_r\}$,$r=\rank(\Lie{g})$, of the…

The trace on matrix rings, along with the augmentation map and Kaplansky trace on group rings, are some of the many examples of linear functions on algebras that vanish on all commutators. We generalize and unify these examples by studying…

We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…

We give a necessary and sufficient condition for a type of generalized power series to be algebraic over the ring of power series with coefficients in a finite field. This result extend a classical theorem of Huang-Stefanescu.

We provide sufficient conditions for systems of polynomial equations over general (real or complex) algebras to have a solution. This generalizes known results on quaternions, octonions and matrix algebras. We also generalize the…

Given a representation V of a group G, there are two natural ways of defining a representation of the group algebra k[G] in the external power V^{\wedge m}. The set L(V) of elements of k[G] for which these two ways give the same result is a…