We present a new method of analysis of associative algebras. This method bears a certain resemblance to the famous analysis of commutative $C^*$-algebras in which an important role is played by multiplicative functionals over the algebra. These functionals can be considered as "rank 1" in the framework of our method. In our approach a special position is taken by generic (maximal rank) functionals, which reveal a wealth of information on the structure of non-commutative algebras. We apply this method to derive interesting properties of index of Lie algebras and to analyze finite-dimensional associative algebras with unity and Lie index 1.
In this paper we prove several theorems about the behavior of index of Lie algebras derived from associative algebras under tensor products of underlying associative algebras.
We prove an analogue of the Magnus theorem for associative algebras without unity over arbitrary fields. Namely, if an algebra is given by n+k generators and k relations and has an n-element system of generators, then this algebra is a free algebra of rank n.
We study pairs of associative algebras and linear functionals. New results together with corrected proofs for previously published material are presented. In particular, we prove the identity ind Mat(n) (#) A=n * ind A$ for finite-dimensional unital associative algebra A with index 1. [ Symbol (#) denotes tensor product ]
Let A be an associative algebra of arbitrary dimension over a field F and G a finite soluble group of automorphisms of A oforder n, prime to the characteristic of F. We prove that if the fixed-point subalgebra of A under the action of G contains a two-sided nilpotent ideal of nilpotency index d and of finite codimension m in I, then A contains a nilpotent two-sided ideal of nilpotency index bounded by a function of n and d and of finite codimension bounded by a function of m, n and d.
Let K be a field, then we exhibit two matrices in the full nxn matrix algebra M_{n}(K) which generate M_{n}(K) as a Lie K-algebra with the commutator Lie product. We also study Lie centralizers of a not necessarily commutative unitary algebra and obtain results which we hope will eventually be a step in the direction of, firstly, proving that a Lie-nilpotent K-subspace (or a sub Lie K-algebra) of a finite-dimensional associative algebra over K of index k (say) generates a Lie-nilpotent associative subalgebra of much higher nilpotency index, and secondly, in the light of the sharp upper bound f…
Let R be an associative ring with unity and let [R] and U(R) denote the associated Lie ring (with [a,b]=ab-ba) and the group of units of R, respectively. In 1983 Gupta and Levin proved that if [R] is a nilpotent Lie ring of class c then U(R) is a nilpotent group of class at most c. The aim of the present note is to show that, in general, a similar statement does not hold if [R] is n-Engel. We construct an algebra R over a field of characteristic different from 2 and 3 such that the Lie algebra [R] is 5-Engel but U(R) is not a 5-Engel group.
The notion of derivation with invertible values as a derivation of ring with unity that only takes multiplicatively invertible or zero values appeared in a paper of Bergen, Herstein and Lanski, in which they determined the structure of associative rings that admit derivations with invertible values. Later, the results of this paper were generalized in many cases, for example, for generalized derivations, associative super-algebras, alternative algebras and many others. The present work is dedicated to description of all Jordan algebras admitting derivations with invertible values.
We study the tensor product of an associative and a nonassociative cyclic algebra. The condition for the tensor product to be a division algebra equals the classical one for the tensor product of two associative cyclic algebras by Albert or Jacobson, if the base field contains a suitable root of unity. Stronger conditions are obtained in special cases. Applications to space-time block coding are discussed.
Let R[G] be the group ring of a group G over an associative ring R with unity such that all prime divisors of orders of elements of G are invertible in R. If R is finite and G is a Chernikov (torsion FC-) group, then each R-derivation of R[G] is inner. Similar results also are obtained for other classes of groups G and rings R.
Metabelian algebras are introduced and it is shown that an algebra $A$ is metabelian if and only if $A$ is a nilpotent algebra having the index of nilpotency at most $3$, i.e. $x y z t = 0$, for all $x$, $y$, $z$, $t \in A$. We prove that the Itô's theorem for groups remains valid for associative algebras. A structure theorem for metabelian algebras is given in terms of pure linear algebra tools and their classification from the view point of the extension problem is proven. Two border-line cases are worked out in detail: all metabelian algebras having the derived algebra of dimension $1$ (res…
Given a scalar parameter $q$, the $q$-deformed Heisenberg algebra $\mathcal{H}(q)$ is the unital associative algebra with two generators $A,B$ that satisfy the $q$-deformed commutation relation $AB-qBA= I$, where $I$ is the multiplicative identity. For $\mathcal{H}(q)$ of torsion-type, that is if $q$ is a root of unity, characterization is obtained for all the Lie polynomials in $A,B$ and basis and graded structure and commutation relations for associated Lie algebras are studied.
Using actions of free monoids and free associative algebras, we establish some Schreier-type formulas involving the ranks of actions and the ranks of subactions in free actions or Grassmann-type relations for the ranks of intersections of subactions of free actions. The coset action of the free group is used to establish the generalization of the Schreier formula to the case of subgroups of infinite index. We also study and apply large modules over free associative algebras in the spirit of the paper Olshanskii, A. Yu.; Osin, D.V., Large groups and their periodic quotients, Proc. Amer. Math. S…
We introduce the notion of basic superrank for varieties of algebras which generalizes that of basic rank. First we consider a number of varieties of nearly associative algebras over a field of characteristic $0$ that have infinite basic ranks and calculate their basic superranks which turns out to be finite. Namely we prove that the variety of alternative metabelian (solvable of index $2$) algebras has the two basic superranks $(1,1)$ and $(0,3)$; the varieties of Jordan and Malcev metabelian algebras have the unique basic superranks $(0,2)$ and $(1,1)$, respectively. Furthermore, for arbitra…
Let $R$ be a ring with unity. The cozero-divisor graph of a ring $R$, denoted by $Γ'(R)$, is an undirected simple graph whose vertices are the set of all non-zero and non-unit elements of $R$, and two distinct vertices $x$ and $y$ are adjacent if and only if $x \notin Ry$ and $y \notin Rx$. In this article, we extend some of the results of [24] to an arbitrary ring. In this connection, we derive a closed-form formula of the Wiener index of the cozero-divisor graph of a finite commutative ring $R$. As applications, we compute the Wiener index of $Γ'(R)$, when either $R$ is the product of ring o…
Let $\mathbb{F}$ be a field, and let $q\in\mathbb{F}$. The $q$-deformed Heisenberg algebra is the unital associative $\mathbb{F}$-algebra $\mathcal{H}(q)$ with generators $A,B$ and relation $AB-qBA=I$, where $I$ is the multiplicative identity in $\mathcal{H}(q)$. The set of all Lie polynomials in $A,B$ is the Lie subalgebra $\mathcal{L}(q)$ of $\mathcal{H}(q)$ generated by $A,B$. If $q\neq 1$ or the characteristic of $\mathbb{F}$ is not $2$, then the equation $AB-qBA=I$ cannot be expressed in terms of Lie algebra operations only, yet this equation still has consequences on the Lie algebra stru…
Let $P$ be a Poisson algebra with a Lie bracket $\{, \}$ over a field $\F$ of characteristic $p\geq 0$. In this paper, the Lie structure of $P$ is investigated. In particular, if $P$ is solvable with respect to its Lie bracket, then we prove that the Poisson ideal $\mathcal{J}$ of $P$ generated by all elements $\{\{\{x_1, x_2\}, \{x_3, x_4\}\}, x_5\}$ with $x_1,\ldots ,x_5 \in P$ is associative nilpotent of index bounded by a function of the derived length of $P$. We use this result to further prove that if $P$ is solvable and $p\neq 2$, then the Poisson ideal $\{P,P\}P$ is nil.
