Related papers: A note on bireflectional elements of an algebra

We prove a theorem about the derivation algebra of the tensor product of two algebras. As an application, we determine the derivation algebra of the fixed point algebra of the tensor product of two algebras, with respect to the tensor…

The grouplike elements of a coalgebra over a field are known to be linearly independent over said field. Here we prove three variants of this result. One is a generalization to coalgebras over a commutative ring (in which case the linear…

We prove that any Bernstein algebra $(A, \omega)$ is isomorphic to a semidirect product $V \ltimes_{(\cdot, \, \Omega)} \, k$ associated to a commutative algebra $(V, \cdot)$ such that $(x^2)^2 = 0$, for all $x\in A$ and an idempotent…

For the second fundamental representation of the general linear group over a commutative ring $R$ we construct straightforward and uniform polynomial expressions of elementary generators as products of elementary conjugates of an arbitrary…

The well-known Dixmier conjecture asks if every algebra endomorphism of the first Weyl algebra over a characteristic zero field is an automorphism. We bring a hopefully easier to solve conjecture, called the $\gamma,\delta$ conjecture, and…

Let k be an algebraically closed field of characteristic p > 0. Let H be a subgroup of GL(n,k). We are interested in the determination of the vector invariants of H. When the characteristic of k is 0, it is known that the invariants of d…

In this note, let $\A$ be a finitary hereditary abelian category with enough projectives. By using the associativity formula of Hall algebras, we give a new and simple proof of the main theorem in \cite{Yan}, which states that the…

We give a non-abelian analogue of Whitney's 2-isomorphism theorem for graphs. Whitney's theorem states that the cycle space determines a graph up to 2-isomorphism. Instead of considering the cycle space of a graph which is an abelian…

A finite-dimensional unital and associative algebra over $\mathbb{R}$, or what we shall call simply "an algebra" in this paper for short, generalities the construction by which we derive the complex numbers by "adjoining an element $i$" to…

We investigate the possible structures imposed on a finite group by its possession of an automorphism sending a large fraction of the group elements to their cubes, the philosophy being that this should force the group to be, in some sense,…

The famous Jacobian conjecture asks if an endomorphism $f$ of $K[x,y]$ ($K$ is a characteristic zero field) having a non-zero scalar Jacobian is invertible. Let $\alpha$ be the exchange involution on $K[x,y]$: $\alpha(x)= y$ and $\alpha(y)=…

An element $g$ in a group $G$ is called reversible if $g$ is conjugate to $g^{-1}$ in $ G $. An element $g$ in $G$ is strongly reversible if $ g $ is conjugate to $g^{-1}$ by an involution in $G$. The group of affine transformations of…

We present an algorithmic equivalent statement to the Jacobian conjecture. Given a polynomial map F on an affine space of dimension n, our algorithm constructs n sequences of polynomials such that F is invertible if and only if the zero…

For any block of a finite group over an algebraically closed field of characteristic $2$ which has dihedral, semidihedral, or generalized quaternion defect groups, we determine explicitly the decomposition of the associated diagonal…

We give a short proof of Chevalley's theorem that every algebraic group is an extension of an Abelian variety by a linear algebraic group. Along the way we treat Bertini's irreducibility theorem.

We establish the \emph{inverse conjecture for the Gowers norm over finite fields}, which asserts (roughly speaking) that if a bounded function $f: V \to \C$ on a finite-dimensional vector space $V$ over a finite field $\F$ has large Gowers…

A derived version of Maschke's theorem for finite groups is proved: the derived categories, bounded or unbounded, of all blocks of the group algebra of a finite group are simple, in the sense that they admit no nontrivial recollements. This…

We prove a generalization of the polarization identity of linear algebra expressing the inner product of a complex inner product space in terms of the norm, where the field of scalars is extended to an associative algebra equipped with an…

Let $\mathfrak{h}_3$ be the Heisenberg algebra and let $\mathfrak g$ be the 3-dimensional Lie algebra having $[e_1,e_2]=e_1\,(=-[e_2,e_1])$ as its only non-zero commutation relations. We describe the closure of the orbit of a vector of…

Let G be a group. Two elements x,y are said to be in the same z-class if their centralizers are conjugate in G. Let V be a vector space of dimension n over a field F of characteristic different from 2. Let B be a non-degenerate symmetric,…