Many important quantum algebras such as quantum symplectic space, quantum Euclidean space, quantum matrices, $q$-analogs of the Heisenberg algebra and the quantum Weyl algebra are semi-commutative. In addition, enveloping algebras $U(L_+)$ of even Lie color algebras are also semi-commutative. In this paper, we generalize work of Montgomery and examine the $X$-inner automorphisms of such algebras.
The theorems and examples in our paper show that for algebras $R$ of this type, the non-identity $X$-inner automorphisms of $R$ tend to have infinite order. Thus if $G$ is a finite group of automorphisms of $R$, then the action of $G$ will be $X$-outer and this immediately gives useful information about crossed products $R*_tG$.
We prove analogs of A.~Selberg's result for finitely generated subgroups of $\text{Aut}(A)$ and of Engel's theorem for subalgebras of $\text{Der}(A)$ for a finitely generated associative commutative algebra $A$ over an associative commutative ring. We prove also an analog of the theorem of W.~Burnside and I.~Schur about locally finiteness of torsion subgroups of $\text{Aut}(A)$.
Suppose that R is an ordered ring, G_n(R) is a subsemigroup of $GL_n(R)$, consisting of all matrices with nonnegative elements. A.V. Mikhalev and M.A. Shatalova described all automorphisms of G_n(R), where R is a linearly ordered skewfield and n>1. E.I. Bunina and A.V. Mikhalev found all automorphisms of G_n(R), if R is an arbitrary linearly ordered associative ring with 1/2, n>2. In this paper we describe automorphisms of G_n(R), if R is a commutative partially ordered ring, containing Q, n>2.
In this paper we prove that every automorphism of (elementary) adjoint Chevalley group with root system of rank $>1$ over a commutative ring (with 1/2 for the systems $A_2$, $F_4$, $B_l$, $C_l$; with 1/2 and 1/3 for the system $G_2$) is standard, i.\,e., it is a composition of ring, inner, central and graph automorphisms.
We determine normal forms of the multiplication of four-dimensional anti-commutative algebras over a field $\mathbb K$ of characteristic zero having an analogous family of flags of subalgebras as the four-dimensional non-Lie binary Lie algebras, and hence can be considered as the closest relatives of binary Lie algebras. These algebras are extensions of $\mathbb K$ by the 3-dimensional nilpotent Lie algebra and at the same time extensions of a two-dimensional Lie algebra by a two-dimensional abelian algebra. We describe their groups of automorphisms as extensions of a subgroup of the group of …
We describe the automorphism group of the endomorphism semigroup $\End(K[x_1,...,x_n])$ of ring $K[x_1,...,x_n]$ of polynomials over an {\it arbitrary} field $K$. A similar result is obtained for automorphism group of the category of finitely generated free commutative-associative algebras of the variety $\mathcal{CA}$ commutative algebras. This solves two problems posed by B. Plotkin (\cite{24}, Problems 12 and 15). More precisely, we prove that if $φ\in \Aut\End(K[x_1,...,x_n])$ then there exists a semi-linear automorphism $s:K[x_1,...,x_n]\to K[x_1,...,x_n]$ such that $φ(g)=s\circ g\circ s^…
We describe the groups of inner and outer automorphisms of the free metabelian nilpotent Lie algebra of finite rank over a field of characteristic 0. To obtain this result we first describe the groups of inner and continuous outer automorphisms of the completion with respect to the formal power series topology of the free metabelian Lie algebra finite rank.
The inner automorphisms of a group G can be characterized within the category of groups without reference to group elements: they are precisely those automorphisms of G that can be extended, in a functorial manner, to all groups H given with homomorphisms G --> H. Unlike the group of inner automorphisms of G itself, the group of such extended systems of automorphisms is always isomorphic to G. A similar characterization holds for inner automorphisms of an associative algebra R over a field K; here the group of functorial systems of automorphisms is isomorphic to the group of units of R modulo …
Dickson's commutative semifields are an important class of finite division algebras. We generalise Dickson's construction of commutative division algebras by doubling both finite field extensions and central simple algebras and not restricting us to the classical setup where a cyclic field extension is taken. The latter case yields algebras which are no longer commutative nor associative. Conditions for when the algebras are division algebras are given that canonically generalise the classical ones known up to now. We investigate when we obtain non-isomorphic algebras and compute all the autom…
Let p be an odd prime, F the field of p elements and G a finite abelian p-group with an arbitrary involutory automorphism. Extend this automorphism to the group algebra FG and consider the unitary and the symmetric normalized units of FG. This paper provides bases and determines the invariants of the two subgroups formed by these units.
We produce a long exact sequence whose terms are unit groups of associative algebras that behave as inner automorphisms of a given tensor. Our sequence generalizes known sequences for associative and non-associative algebras. In a manner similar to those, our sequence facilitates inductive reasoning about, and calculation of the groups of symmetries of a tensor. The new insights these methods afford can be applied to problems ranging from understanding algebraic structures to distinguishing entangled states in particle physics.
A complete classifications of two-dimensional general, commutative, commutative Jordan, division and evolution real algebras are given. In the case of evolution algebras their groups of automorphisms and derivation algebras are described as well.
We address a natural question in noncommutative geometry, namely the rigidity observed in many examples, whereby noncommutative spaces (or equivalently their coordinate algebras) have very few automorphisms by comparison with their commutative counterparts. In the framework of noncommutative projective geometry, we define a groupoid whose objects are noncommutative projective spaces of a given dimension and whose morphisms correspond to isomorphisms of these. This groupoid is then a natural generalization of an automorphism group. Using work of Zhang, we may translate this structure to the alg…
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 rule for the inner automorphisms of the completion of F_m with respect to the formal power series topology. Our results are more precise for m=2 when F_2 is isomorphic to the Lie algebra L generated by two generic traceless 2 x 2 matrices. We give a complete description of the group of inner automorphisms of the completion of L. As a consequence we obtain si…
We construct an analogue of the Nagata automorphism of free nonassociative algebras and free commutative algebras of rank two over a Euclidean domain and prove that it is wild.
In this paper, we consider inner automorphisms that leave invariant fixed subspaces of real and complex Clifford algebras -- subspaces of fixed grades and subspaces determined by the reversion and the grade involution. We present groups of elements that define such inner automorphisms and study their properties. Some of these Lie groups can be interpreted as generalizations of Clifford, Lipschitz, and spin groups. We study the corresponding Lie algebras. Some of the results can be reformulated for the case of more general algebras -- graded central simple algebras or graded central simple alge…
We discuss the group of automorphisms of a general MR-algebra. We develop several functors between implication algebras and cubic algebras. These allow us to generalize the notion of inner automorphism. We then show that this group is always isomorphic to the group of inner automorphisms of a filter algebra.
Let F be the field of two elements and G a finite abelian 2-group with an involutory automorphism. The extension of this automorphism to the group algebra FG is called an involutory involution. This determines the groups of unitary and symmetric normalized units of FG. We calculate the orders and the invariants of these subgroups.
In algebraic geometry over a variety of universal algebras $Θ$, the group $Aut(Θ^{0})$ of automorphisms of the category $Θ^{0}$ of finitely generated free algebras of $Θ$ is of great importance. In this paper, semi-inner automorphisms are defined for the categories of free (semi)modules and free Lie modules; then, under natural conditions on a (semi)ring, it is shown that all automorphisms of those categories are semi-inner. We thus prove that for a variety $_{R}\mathcal{M}$ of semimodules over an IBN-semiring $R$ (an IBN-semiring is a semiring analog of a ring with IBN), all automorphisms of …
Let $R$ be a commutative, indecomposable ring with identity and $(P,\le)$ a partially ordered set. Let $FI(P)$ denote the finitary incidence algebra of $(P,\le)$ over $R$. We will show that, in most cases, local automorphisms of $FI(P)$ are actually $R$-algebra automorphisms. In fact, the existence of local automorphisms which fail to be $R$-algebra automorphisms will depend on the chosen model of set theory and will require the existence of measurable cardinals. We will discuss local automorphisms of cartesian products as a special case in preparation of the general result.
Let $L_{n}$ be the free Lie algebra, $F_{n}$ be the free metabelian Lie algebra, and $L_{n,c}$ be the free metabelian nilpotent of class $c$ Lie algebra of rank $n$ generated by $x_1,\ldots,x_n$ over a field $K$ of characteristic zero. We call a polynomial $p(X_n)$ symmetric in these Lie algebras if $p(x_1,\ldots,x_n)=p(x_{π(1)},\ldots,x_{π(n)})$ for each element $π$ of the symmetric group $S_n$. The sets $L_n^{S_n}$, $F_n^{S_n}$, and $L_{n,c}^{S_n}$ of symmetric polynomials coincide with the algebras of invariants of the group $S_n$ in $L_{n}$, $F_{n}$, and $L_{n,c}$, respectively. We determi…
In the present paper we prove that every 2-local inner derivation on the matrix ring over a commutative ring is an inner derivation and every derivation on an associative ring has an extension to a derivation on the matrix ring over this associative ring. We also develop a Jordan analog of the above method and prove that every 2-local inner derivation on the Jordan matrix ring over a commutative ring is a derivation.
In this paper, the problem formulated in [8] is solved. We prove, that the group of automorphisms of the category of free associative algebras is generated by semi-inner and mirror automorphisms
Let $L_n$ be the free metabelian Leibniz algebra generated by the set $X_n=\{x_1,\ldots,x_n\}$ over a field $K$ of characteristic zero. This is the free algebra of rank $n$ in the variety of solvable of class $2$ Leibniz algebras. We call an element $s(X_n)\in L_n$ symmetric if $s(x_{σ(1)},\ldots,x_{σ(n)})=s(x_1,\ldots,x_n)$ for each permutation $σ$ of $\{1,\ldots,n\}$. The set $L_n^{S_n}$ of symmetric polynomials of $L_n$ is the algebra of invariants of the symmetric group $S_n$. Let $K[X_n]$ be the usual polynomial algebra with indeterminates from $X_n$. The description of the algebra $K[X_n…
We implement two algorithms in MATHEMATICA for classifying automorphisms of lower-dimensional non-commutative Lie algebras. The first algorithm is a brute-force approach whereas the second is an evolutionary strategy. These algorithms are delivered as the MATHEMATICA package cwsAutoClass. In order to facilitate the application of this package to symmetry Lie algebras of differential equations, we also provide a package, cwsLieSymTools, for manipulating finite-dimensional Lie algebras of vector fields. In particular, this package allows the computations of Lie brackets, structure constants, and…
In the present paper we prove that every 2-local inner derivation on the Lie ring of skew-adjoint matrices over a commutative $*$-ring is an inner derivation. We also apply our technique to various Lie algebras of infinite-dimensional skew-adjoint matrix-valued maps on a set and prove that every 2-local spatial derivation on such algebras is a spatial derivation. We also show that every local spatial derivation on the above Lie algebras is a derivation.
Given a variety of universal algebras. A method is suggested for describing automorphisms of a category of free algebras of this variety. Applying this general method all automorphisms of such categories are found in two cases: 1) for the variety of all free associative K-algebras over an infinite field K and 2) for the variety of all representations of groups in unital R-modules over a commutative associative ring R with unit. It turns out that they are almost inner in a sense.
We prove that the group of automorphisms of the category of free modules over Noterian rings is semi-inner and present also a short proof of a similar result for the variery of Lie algebras.
Let $U(KG)$ be the group of units of the group ring $KG$ of the group $G$ over a commutative ring $K$. The anti-automorphism $g\mapsto g\m1$ of $G$ can be extended linearly to an anti-automorphism $a\mapsto a^*$ of $KG$. Let $S_*(KG)=\{x\in U(KG) \mid x^*=x\}$ be the set of all symmetric units of $U(KG)$. We consider the following question: for which groups $G$ and commutative rings $K$ it is true that $S_*(KG)$ is a subgroup in $U(KG)$. We answer this question when either a) $G$ is torsion and $K$ is a commutative $G$-favourable integral domain of characteristic $p\geq 0$ or b) $G$ is non-tor…
Let $A=A(x_{1},...,x_{n})$ be a free associative algebra in $\mathcal{A}$ freely generated over $K$ by a set $X=\{x_{1},...,x_{n}\}$, $End A$ be the semigroup of endomorphisms of $A$, and $Aut End A$ be the group of automorphisms of the semigroup $End A$. We investigate the structure of the groups $Aut End A$ and $Aut \mathcal{A}^{\circ}$, where $\mathcal{A}^{\circ}$ is the category of finitely generated free algebras from $\mathcal{A}$. We prove that the group $Aut End A$ is generated by semi-inner and mirror automorphisms of $End F$ and the group $Aut \mathcal{A}^{\circ}$ is generated by sem…
