Showing 1–47 of 47 results for author: Grishkov, A

Bol loops of order 27

Authors: Alexander Grishkov, Michael Kinyon, Petr Vojtěchovský

Abstract: We classify Bol loops of order $27$, using a combination of theoretical results and computer search. There are $15$ Bol loops of order $27$, including five groups. New constructions for the ten nonassociative Bol loops of order $27$ are given. We classify Bol loops of order $27$, using a combination of theoretical results and computer search. There are $15$ Bol loops of order $27$, including five groups. New constructions for the ten nonassociative Bol loops of order $27$ are given. △ Less

Submitted 20 April, 2025; originally announced April 2025.

Comments: 12 pages, amsart

MSC Class: 20N05

A note on lattice knots

Authors: Sasha Anan'in, Alexandre Grishkov, Dmitrii Korshunov

Abstract: The aim of this note is to share the observation that the set of elementary operations of Turing on lattice knots can be reduced to just one type of simple local switches. The aim of this note is to share the observation that the set of elementary operations of Turing on lattice knots can be reduced to just one type of simple local switches. △ Less

Submitted 16 September, 2024; originally announced September 2024.

Comments: 8 pages, comments are welcome

Non-injectivity of the lattice map for non-mixed Anderson t-motives, and a result towards its surjectivity

Authors: A. Grishkov, D. Logachev

Abstract: Let $M$ be an uniformizable Anderson t-motive and $L(M)$ its lattice. First, we prove by an explicit construction that for the non-mixed $M$ the lattice map $M\mapsto L(M)$ is not injective. Second, we show that some lattices which do not belong to the set $L(M)$ of pure $M$, are lattices of non-pure $M$. This is a result towards surjectivity of the lattice map. The t-motives used in the proofs ar… ▽ More Let $M$ be an uniformizable Anderson t-motive and $L(M)$ its lattice. First, we prove by an explicit construction that for the non-mixed $M$ the lattice map $M\mapsto L(M)$ is not injective. Second, we show that some lattices which do not belong to the set $L(M)$ of pure $M$, are lattices of non-pure $M$. This is a result towards surjectivity of the lattice map. The t-motives used in the proofs are non-pure t-motives of dimension 2, rank 3. Finally, we start calculations in order to answer a question whether all these t-motives are uniformizable, or not. △ Less

Submitted 23 August, 2024; v1 submitted 27 May, 2024; originally announced May 2024.

Comments: 13 pages, a new result is included

MSC Class: 11G09

$h^1$, $h_1$ of Anderson t-motives, systems of affine equations and non-commutative determinants

Authors: A. Grishkov, D. Logachev

Abstract: The authors defined in "$h^1\ne h_1$ for Anderson t-motives" the notion of an affine equation associated to a t-motive $M$. Here we define two systems of affine equations associated to a t-motive $M$, used for calculation of $H^1(M)$ and $H_1(M)$. We describe the process of elimination of unknowns in these systems. This is an analog of the corresponding theory of systems of linear differential equ… ▽ More The authors defined in "$h^1\ne h_1$ for Anderson t-motives" the notion of an affine equation associated to a t-motive $M$. Here we define two systems of affine equations associated to a t-motive $M$, used for calculation of $H^1(M)$ and $H_1(M)$. We describe the process of elimination of unknowns in these systems. This is an analog of the corresponding theory of systems of linear differential equations. It gives us a notion of a non-commutative determinant $det_{i,c}(M)$ which belongs to the Anderson ring $\Bbb C_\infty[T,τ]$ of non-commutative polynomials. Finally, we calculate $det_{i,c}(M)$ for $M=$ a Drinfeld module or its 1-dual. Also, some explicit calculations are made for Anderson t-motives of dimension $n$, rank $2n$. Some problems of future research are formulated. △ Less

Submitted 2 December, 2023; v1 submitted 26 February, 2023; originally announced February 2023.

Comments: 22 pages. New results are included

MSC Class: 11G09; 15A15; 34L99; 47E99

Alternative $M_2$-algebras and ${\mit Γ}$-algebras

Authors: Alexandre Grishkov, Ivan Shestakov

Abstract: Recently V.H.López Solís and I.Shestakov solved an old problem by N.Jacobson on describing of unital alternative algebras containing the $2\times 2$ matrix algebra $M_2$ as a unital subalgebra. Here we give another description of $M_2$-algebras via the 6-dimensional alternative superalgebra $B(4,2)$ and an auxiliar $\mathbf {\mit Z}_2$-graded algebra $\mitΓ$. It occurs that the category of alterna… ▽ More Recently V.H.López Solís and I.Shestakov solved an old problem by N.Jacobson on describing of unital alternative algebras containing the $2\times 2$ matrix algebra $M_2$ as a unital subalgebra. Here we give another description of $M_2$-algebras via the 6-dimensional alternative superalgebra $B(4,2)$ and an auxiliar $\mathbf {\mit Z}_2$-graded algebra $\mitΓ$. It occurs that the category of alternative $M_2$-algebras is isomorphic to the category of $\mitΓ$-algebras. For any associative and commutative algebra $A$, we give a construction of a ${\mit Γ}$-algebra $\mitΓ(A)$, which turns to be a Jordan superalgebra; if $A$ is a domain then $\mitΓ(A)$ is a prime superalgebra. We describe also the free $\mitΓ$-algebras and construct their bases. △ Less

Submitted 2 December, 2022; originally announced December 2022.

MSC Class: 17D05; 17C70; 17C50; 17A70; 13F70; 14M15

Explicit statement of a conjecture on resultantal varieties

Authors: Stefan Ehbauer, Aleksandr Grishkov, Dmitry Logachev

Abstract: The paper [GLZ] "L-functions of Carlitz modules, resultantal varieties and rooted binary trees" is devoted to a description of some resultantal varieties related to L-functions of Carlitz modules. It contains a conjecture that some of these varieties coincide. This conjecture can be formulated in terms of polynomials, namely, in terms of a fact that an explicitly defined polynomial belongs to the… ▽ More The paper [GLZ] "L-functions of Carlitz modules, resultantal varieties and rooted binary trees" is devoted to a description of some resultantal varieties related to L-functions of Carlitz modules. It contains a conjecture that some of these varieties coincide. This conjecture can be formulated in terms of polynomials, namely, in terms of a fact that an explicitly defined polynomial belongs to the radical of the ideal generated by some other polynomials. We give an explicit statement of this conjecture and a numerical result. △ Less

Submitted 16 January, 2025; v1 submitted 8 September, 2022; originally announced September 2022.

Comments: 6 pages; minor improvements

MSC Class: 11C20; 05A19; 05E99; 11C99; 15A15

Free Bol loops of exponent two

Authors: Alexandre Grishkov, Marina Rasskazova, Giliard Souza dos Anjos

Abstract: A Bol loop is a loop that satisfies the identity $x((yz)y)=((xy)z)y$. In this paper, we give a construction of the free Bol loops of exponent two. We define a canonical form of all their elements and describe their multiplication law based on this form. A Bol loop is a loop that satisfies the identity $x((yz)y)=((xy)z)y$. In this paper, we give a construction of the free Bol loops of exponent two. We define a canonical form of all their elements and describe their multiplication law based on this form. △ Less

Submitted 1 March, 2022; originally announced March 2022.

Comments: 16 pages

MSC Class: 20N05

On simple $15$-dimensional Lie algebras in characteristic $2$

Authors: Alexander Grishkov, Henrique Guzzo Jr., Marina Rasskazova, Pasha Zusmanovich

Abstract: Motivated by the recent progress towards classification of simple finite-dimensional Lie algebras over an algebraically closed field of characteristic $2$, we investigate such $15$-dimensional algebras. Motivated by the recent progress towards classification of simple finite-dimensional Lie algebras over an algebraically closed field of characteristic $2$, we investigate such $15$-dimensional algebras. △ Less

Submitted 3 April, 2021; originally announced April 2021.

Comments: 15 pages

MSC Class: 17B50 (Primary) 17B20; 17B40; 17-04 (Secondary)

Reductions of Hecke correspondences on Anderson modular objects

Authors: Aleksandr Grishkov, Dmitry Logachev

Abstract: We formulate some properties of a conjectural object $X_{fun}(r,n)$ parametrizing Anderson t-motives of dimension $n$ and rank $r$. Namely, we give formulas for $\goth p$-Hecke correspondences of $X_{fun}(r,n)$ and its reductions at $\goth p$ (where $\goth p$ is a prime of $\Bbb F_q[θ]$). Also, we describe their geometric interpretation. These results are analogs of the corresponding results of re… ▽ More We formulate some properties of a conjectural object $X_{fun}(r,n)$ parametrizing Anderson t-motives of dimension $n$ and rank $r$. Namely, we give formulas for $\goth p$-Hecke correspondences of $X_{fun}(r,n)$ and its reductions at $\goth p$ (where $\goth p$ is a prime of $\Bbb F_q[θ]$). Also, we describe their geometric interpretation. These results are analogs of the corresponding results of reductions of Shimura varieties. Finally, we give conjectural formulas for Hodge numbers (over the fields generated by Hecke correspondences) of middle cohomology submotives of $X_{fun}(r,n)$. △ Less

Submitted 7 February, 2021; originally announced February 2021.

Comments: 20 pages

MSC Class: 11G09

Introduction to Anderson t-motives: a survey

Authors: A. Grishkov, D. Logachev

Abstract: This is a survey on Anderson t-motives -- high-dimensional generalizations of Drinfeld modules. They are the functional field analogs of abelian varieties with multiplication by an imaginary quadratic field. We describe their lattices, their groups $H^1$ and $H_1$, their tensor products, the duality functor and the duality theorem, endomorphisms of Drinfeld modules in finite characteristic, and a… ▽ More This is a survey on Anderson t-motives -- high-dimensional generalizations of Drinfeld modules. They are the functional field analogs of abelian varieties with multiplication by an imaginary quadratic field. We describe their lattices, their groups $H^1$ and $H_1$, their tensor products, the duality functor and the duality theorem, endomorphisms of Drinfeld modules in finite characteristic, and a type of their L-functions. Further, we introduce the notion of affine equations, $T$-divisible $\Bbb F_q[[T]]$-modules, holonomic sequences in the functional field case, and some other notions (to be continued). Many examples of explicit calculations are given, some elementary research problems are stated. △ Less

Submitted 7 December, 2024; v1 submitted 24 August, 2020; originally announced August 2020.

Comments: 83 pages, some new information

MSC Class: 11G09

Calculation of $h^1$ of some Anderson t-motives

Authors: Stefan Ehbauer, Aleksandr Grishkov, Dmitry Logachev

Abstract: We consider Anderson t-motives $M$ of dimension 2 and rank 4 defined by some simple explicit equations parameterized by $2\times2$ matrices. We use methods of explicit calculation of $h^1(M)$ -- the dimension of their cohomology group $H^1(M)$ ( = the dimension of the lattice of their dual t-motive $M'$) developed in our earlier paper. We calculate $h^1(M)$ for $M$ defined by all matrices having 0… ▽ More We consider Anderson t-motives $M$ of dimension 2 and rank 4 defined by some simple explicit equations parameterized by $2\times2$ matrices. We use methods of explicit calculation of $h^1(M)$ -- the dimension of their cohomology group $H^1(M)$ ( = the dimension of the lattice of their dual t-motive $M'$) developed in our earlier paper. We calculate $h^1(M)$ for $M$ defined by all matrices having 0 on the diagonal, and by some other matrices. These methods permit to make analogous calculations for most (probably all) t-motives. $h^1$ of all Anderson t-motives $M$ under consideration satisfy the inequality $h^1(M)\le4$, while in all known examples we have $h^1(M)=0,1,4$. Do exist $M$ of this type having $h^1=2,3$? We do not know, this is a subject of further research. △ Less

Submitted 30 May, 2020; originally announced June 2020.

Comments: 31 pages

MSC Class: 11G09

The Restricted Burnside Problem for Moufang Loops

Authors: Alexander Grishkov, Liudmila Sabinina, Efim Zelmanov

Abstract: We prove that for positive integers $m \geq 1, n \geq 1$ and a prime number $p \neq 2,3$ there are finitely many finite $m$-generated Moufang loops of exponent $p^n$. We prove that for positive integers $m \geq 1, n \geq 1$ and a prime number $p \neq 2,3$ there are finitely many finite $m$-generated Moufang loops of exponent $p^n$. △ Less

Submitted 24 May, 2020; originally announced May 2020.

On Malcev algebras nilpotent by Lie center and corresponding analytic Moufang loops

Authors: Alexander Grishkov, Marina Rasskazova, Liudmila Sabinina, Mohamed Salim

Abstract: In this note we describe the structure of finite dimensional Malcev algebras over a field of real numbers $\mathbb{R}$, which are nilpotent module its Lie center. It is proved that the corresponding analytic global Moufang loops are nilpotent module their nucleus. In this note we describe the structure of finite dimensional Malcev algebras over a field of real numbers $\mathbb{R}$, which are nilpotent module its Lie center. It is proved that the corresponding analytic global Moufang loops are nilpotent module their nucleus. △ Less

Submitted 14 May, 2020; originally announced May 2020.

Representations of code loops by binary codes

Authors: Rosemary Miguel Pires, Alexandre Grishkov, Marina Rasskazova

Abstract: Code loops are Moufang loops constructed from doubly even binary codes. Then, given a code loop L, we ask which doubly even binary code V produces L. In this sense, V is called a representation of L. In this article we define and determine all minimal and reduced representations of nonassociative code loops of rank 3 and 4. Code loops are Moufang loops constructed from doubly even binary codes. Then, given a code loop L, we ask which doubly even binary code V produces L. In this sense, V is called a representation of L. In this article we define and determine all minimal and reduced representations of nonassociative code loops of rank 3 and 4. △ Less

Submitted 9 September, 2019; originally announced September 2019.

Comments: 16 pages. arXiv admin note: text overlap with arXiv:1412.2185

Lattice of the dual of an Anderson $t$-motive in terms of a map to a flag variety

Authors: A. Grishkov, D. Logachev

Abstract: Let $M$ be an uniformizable Anderson $t$-motive of rank $r$, $L$ its lattice and $l_*:=\{l_1,\dots, l_r\}$ its basis. We define a map $δ$ from the set of these bases to a flag variety (the present text gives the definition of $δ$ only for elements of the maximal Schubert cell, and for few other cases). If $l_*$ belongs to the maximal Schubert cell then $δ(l_*)$ is described as a set of matrices pa… ▽ More Let $M$ be an uniformizable Anderson $t$-motive of rank $r$, $L$ its lattice and $l_*:=\{l_1,\dots, l_r\}$ its basis. We define a map $δ$ from the set of these bases to a flag variety (the present text gives the definition of $δ$ only for elements of the maximal Schubert cell, and for few other cases). If $l_*$ belongs to the maximal Schubert cell then $δ(l_*)$ is described as a set of matrices parametrized by integer points of a tetrahedron; they are called the Siegel element of $l_*$. We give explicit formulas for a Siegel element for $M'$ -- the dual of $M$. As a by-product, we get another proof of the theorem that the lattice of $M'$ is the dual of the lattice of $M$, independent of the proof obtained by U. Hartl and A.-K. Juschka. Generalizations of this result to non-maximal Schubert cells, other tensor operations (tensor product and Hom) and t-motives having non-trivial endomorphism rings, are subjects of further research. △ Less

Submitted 27 April, 2025; v1 submitted 30 December, 2018; originally announced December 2018.

Comments: 35 pages; some new results are included

MSC Class: 11G09; 14M15

$h^1\ne h_1$ for Anderson t-motives

Authors: Aleksandr Grishkov, Dmitry Logachev

Abstract: Let $M$ be an Anderson t-motive of dimension $n$ and rank $r$. Associated are two $\Bbb F_q[T]$-modules $H^1(M)$, $H_1(M)$ of dimensions $h^1(M)$, $h_1(M)\le r$ - analogs of $H^1(A,\Bbb Z)$, $H_1(A,\Bbb Z)$ for an abelian variety $A$. There is a theorem (Anderson): $h^1(M)=r \iff h_1(M)=r$; in this case $M$ is called uniformizable. It is natural to expect that always $h^1(M)=h_1(M)$. Nevertheless,… ▽ More Let $M$ be an Anderson t-motive of dimension $n$ and rank $r$. Associated are two $\Bbb F_q[T]$-modules $H^1(M)$, $H_1(M)$ of dimensions $h^1(M)$, $h_1(M)\le r$ - analogs of $H^1(A,\Bbb Z)$, $H_1(A,\Bbb Z)$ for an abelian variety $A$. There is a theorem (Anderson): $h^1(M)=r \iff h_1(M)=r$; in this case $M$ is called uniformizable. It is natural to expect that always $h^1(M)=h_1(M)$. Nevertheless, we explicitly construct a counterexample. Further, we answer a question of D.Goss: is it possible that two Anderson t-motives that differ only by a nilpotent operator $N$ are of different uniformizability type, i.e. one of them is uniformizable and other not? We give an explicit example that this is possible. △ Less

Submitted 1 January, 2021; v1 submitted 23 July, 2018; originally announced July 2018.

Comments: 31 pages. Minor improvements

MSC Class: 11G09

Automorphic loops arising from module endomorphisms

Authors: Alexandr Grishkov, Marina Rasskazova, Petr Vojtěchovský

Abstract: A loop is automorphic if all its inner mappings are automorphisms. We construct a large family of automorphic loops as follows. Let $R$ be a commutative ring, $V$ an $R$-module, $E=\mathrm{End}_R(V)$ the ring of $R$-endomorphisms of $V$, and $W$ a subgroup of $(E,+)$ such that $ab=ba$ for every $a$, $b\in W$ and $1+a$ is invertible for every $a\in W$. Then $Q_{R,V}(W)$ defined on $W\times V$ by… ▽ More A loop is automorphic if all its inner mappings are automorphisms. We construct a large family of automorphic loops as follows. Let $R$ be a commutative ring, $V$ an $R$-module, $E=\mathrm{End}_R(V)$ the ring of $R$-endomorphisms of $V$, and $W$ a subgroup of $(E,+)$ such that $ab=ba$ for every $a$, $b\in W$ and $1+a$ is invertible for every $a\in W$. Then $Q_{R,V}(W)$ defined on $W\times V$ by $(a,u)(b,v) = (a+b,u(1+b)+v(1-a))$ is an automorphic loop. A special case occurs when $R=k<K=V$ is a field extension and $W$ is a $k$-subspace of $K$ such that $k1\cap W = 0$, naturally embedded into $\mathrm{End}_k(K)$ by $a\mapsto M_a$, $bM_a = ba$. In this case we denote the automorphic loop $Q_{R,V}(W)$ by $Q_{k<K}(W)$. We call the parameters tame if $k$ is a prime field, $W$ generates $K$ as a field over $k$, and $K$ is perfect when $\mathrm{char}(k)=2$. We describe the automorphism groups of tame automorphic loops $Q_{k<K}(W)$, and we solve the isomorphism problem for tame automorphic loops $Q_{k<K}(W)$. A special case solves a problem about automorphic loops of order $p^3$ posed by Jedlička, Kinyon and Vojtěchovský. We conclude the paper with a construction of an infinite $2$-generated abelian-by-cyclic automorphic loop of prime exponent. △ Less

Submitted 18 December, 2017; originally announced December 2017.

MSC Class: Primary: 20N05. Secondary: 11R11; 12F99

Journal ref: Publicationes Mathematicae Debrecen 88 (2016), no. 3-4, 287-303

On the commutative center of Moufang loops

Authors: Alexander N. Grishkov, Andrei V. Zavarnitsine

Abstract: We construct two infinite series of Moufang loops of exponent $3$ whose commutative center (i.e. the set of elements that commute with all elements of the loop) is not a normal subloop. In particular, we obtain examples of such loops of orders $3^8$ and $3^{11}$ one of which can be defined as the Moufang triplication of the free Burnside group $B(3,3)$. We construct two infinite series of Moufang loops of exponent $3$ whose commutative center (i.e. the set of elements that commute with all elements of the loop) is not a normal subloop. In particular, we obtain examples of such loops of orders $3^8$ and $3^{11}$ one of which can be defined as the Moufang triplication of the free Burnside group $B(3,3)$. △ Less

Submitted 19 November, 2017; originally announced November 2017.

Journal ref: Math. Proc. Camb. Phil. Soc., V. 170 , Issue 3 (2021), 609 -- 614

Lie's correspondence for commutative automorphic formal loops

Authors: A. Grishkov, J. M. Pérez-Izquierdo

Abstract: We develop Lie's correspondence and an explicit Baker-Campbell-Hausdorff formula for commutative automorphic formal loops. We develop Lie's correspondence and an explicit Baker-Campbell-Hausdorff formula for commutative automorphic formal loops. △ Less

Submitted 12 December, 2016; originally announced December 2016.

Comments: 31 pages

MSC Class: 20N05; 17A40

L-functions of Carlitz modules, resultantal varieties and rooted binary trees, II

Authors: Aleksandr Grishkov, Dmitry Logachev, Aleksey Zobnin

Abstract: We continue study of some algebraic varieties (called resultantal varieties) started in a paper of A. Grishkov, D. Logachev "Resultantal varieties related to zeroes of L-functions of Carlitz modules". These varieties are related with the Sylvester matrix for the resultant of two polynomials, from one side, and with the L-functions of twisted Carlitz modules, from another side. Surprisingly, these… ▽ More We continue study of some algebraic varieties (called resultantal varieties) started in a paper of A. Grishkov, D. Logachev "Resultantal varieties related to zeroes of L-functions of Carlitz modules". These varieties are related with the Sylvester matrix for the resultant of two polynomials, from one side, and with the L-functions of twisted Carlitz modules, from another side. Surprisingly, these varieties are described in terms of finite weighted rooted binary trees. We give a (conjecturally) complete description of them, we find parametrizations of their irreducible components and their invariants: degrees, multiplicities, Jordan forms, Galois actions. Proof of the fact that this description is really complete is a subject of future research. Maybe a generalization of these results will give us a solution of the problem of boundedness of the analytic rank of twists of Carlitz modules. △ Less

Submitted 11 December, 2021; v1 submitted 20 July, 2016; originally announced July 2016.

Comments: 87 pages. Minor improvements

MSC Class: 14M12; 13P15 (Primary); 14Q15; 14M10; 13C40; 05C05 (Secondary)

Commutative automorphic loops of order $p^3$

Authors: Dylene Agda Souza de Barros, Alexander Grishkov, Petr Vojtěchovský

Abstract: A loop is said to be automorphic if its inner mappings are automorphisms. For a prime $p$, denote by $\mathcal A_p$ the class of all $2$-generated commutative automorphic loops $Q$ possessing a central subloop $Z\cong \mathbb Z_p$ such that $Q/Z\cong\mathbb Z_p\times\mathbb Z_p$. Upon describing the free $2$-generated nilpotent class two commutative automorphic loop and the free $2$-generated nilp… ▽ More A loop is said to be automorphic if its inner mappings are automorphisms. For a prime $p$, denote by $\mathcal A_p$ the class of all $2$-generated commutative automorphic loops $Q$ possessing a central subloop $Z\cong \mathbb Z_p$ such that $Q/Z\cong\mathbb Z_p\times\mathbb Z_p$. Upon describing the free $2$-generated nilpotent class two commutative automorphic loop and the free $2$-generated nilpotent class two commutative automorphic $p$-loop $F_p$ in the variety of loops whose elements have order dividing $p^2$ and whose associators have order dividing $p$, we show that every loop of $\mathcal A_p$ is a quotient of $F_p$ by a central subloop of order $p^3$. The automorphism group of $F_p$ induces an action of $GL_2(p)$ on the three-dimensional subspaces of $Z(F_p)\cong (\mathbb Z_p)^4$. The orbits of this action are in one-to-one correspondence with the isomorphism classes of loops from $\mathcal A_p$. We describe the orbits, and hence we classify the loops of $\mathcal A_p$ up to isomorphism. It is known that every commutative automorphic $p$-loop is nilpotent when $p$ is odd, and that there is a unique commutative automorphic loop of order $8$ with trivial center. Knowing $\mathcal A_p$ up to isomorphism, we easily obtain a classification of commutative automorphic loops of order $p^3$. There are precisely $7$ commutative automorphic loops of order $p^3$ for every prime $p$, including the $3$ abelian groups of order $p^3$. △ Less

Submitted 18 September, 2015; originally announced September 2015.

MSC Class: 20N05; 20G40

Journal ref: Journal of Algebra and its Applications, 11 (2012), 15 pages

The free commutative automorphic $2$-generated loop of nilpotency class $3$

Authors: Dylene Agda Souza de Barros, Alexander Grishkov, Petr Vojtěchovský

Abstract: A loop is automorphic if all its inner mappings are automorphisms. We construct the free commutative automorphic $2$-generated loop of nilpotency class $3$. It has dimension $8$ over the integers. A loop is automorphic if all its inner mappings are automorphisms. We construct the free commutative automorphic $2$-generated loop of nilpotency class $3$. It has dimension $8$ over the integers. △ Less

Submitted 17 September, 2015; originally announced September 2015.

MSC Class: 20N05

Journal ref: Proceedings of the Loops '11 conference, Trest, June 2011, published in Commentationes Mathematicae Universitatis Carolinae 53 (2012), no. 3, 321-336

Nilpotent Steiner loops of class 2

Authors: A. Grishkov, D. Rasskazova, M. Rasskazova, I. Stuhl

Abstract: We describe Steiner loops of nilpotency class 2 and establish the classification of finite 3-generated nilpotent Steiner loops of nilpotency class 2. We describe Steiner loops of nilpotency class 2 and establish the classification of finite 3-generated nilpotent Steiner loops of nilpotency class 2. △ Less

Submitted 21 December, 2017; v1 submitted 13 August, 2015; originally announced August 2015.

Multiplication formulas in Moufang loops

Authors: Alexander N. Grishkov, Andrei V. Zavarnitsine

Abstract: Using groups with triality we obtain some general multiplication formulas in Moufang loops, construct Moufang extensions of abelian groups, and describe the structure of minimal extensions for finite simple Moufang loops over abelian groups. Using groups with triality we obtain some general multiplication formulas in Moufang loops, construct Moufang extensions of abelian groups, and describe the structure of minimal extensions for finite simple Moufang loops over abelian groups. △ Less

Submitted 19 July, 2015; originally announced July 2015.

MSC Class: 08A05; 20E34; 20N05

Journal ref: Internat. J. Algebra Comput., 26:4 (2016), 705-725

Half-isomorphisms of finite automorphic Moufang loops

Authors: A. Grishkov, M. L. Merlini Giuliani, M. Rasskazova, L. Sabinina

Abstract: We show that each half-automorphism of a finite automorphic Moufang loop is trivial. In general this is not true for finite left automorphic Moufang loops and for finite automorphic loops. We show that each half-automorphism of a finite automorphic Moufang loop is trivial. In general this is not true for finite left automorphic Moufang loops and for finite automorphic loops. △ Less

Submitted 16 December, 2014; originally announced December 2014.

MSC Class: 20N05

Deformations of current Lie algebras. I. Small algebras in characteristic 2

Authors: Alexander Grishkov, Pasha Zusmanovich

Abstract: We compute low-degree cohomology of current Lie algebras extended over the 3-dimensional simple algebra, compute deformations of related semisimple Lie algebras, and apply these results to classification of simple Lie algebras of absolute toral rank 2 and having a Cartan subalgebra of toral rank one. Everything is in characteristic 2. We compute low-degree cohomology of current Lie algebras extended over the 3-dimensional simple algebra, compute deformations of related semisimple Lie algebras, and apply these results to classification of simple Lie algebras of absolute toral rank 2 and having a Cartan subalgebra of toral rank one. Everything is in characteristic 2. △ Less

Submitted 1 May, 2018; v1 submitted 14 October, 2014; originally announced October 2014.

Comments: v3: minor changes

MSC Class: 17B50; 17B55; 17B56

Journal ref: J. Algebra 473 (2017), 513-544

On the endomorphism rings of abelian groups and their Jacobson radical

Authors: V. Bovdi, A. Grishkov, M. Ursul

Abstract: We give a characterization of those abelian groups which are direct sums of cyclic groups and the Jacobson radical of their endomorphism rings are closed. A complete characterization of $p$-groups $A$ for which $(EndA,\mathcal T_L)$ is locally compact, where $\mathcal T_L$ is the Liebert topology on $EndA$, is given. We prove that if $A$ is a countable elementary $p$-group then $EndA$ has a non-ad… ▽ More We give a characterization of those abelian groups which are direct sums of cyclic groups and the Jacobson radical of their endomorphism rings are closed. A complete characterization of $p$-groups $A$ for which $(EndA,\mathcal T_L)$ is locally compact, where $\mathcal T_L$ is the Liebert topology on $EndA$, is given. We prove that if $A$ is a countable elementary $p$-group then $EndA$ has a non-admissible ring topology. To every functorial topology on $A$ a right bounded ring topology on $EndA$ is attached. By using this topology we construct on $EndA$ a non-metrizable and non-admissibe ring topology on $EndA$ for elementary countable $p$-groups $A$. △ Less

Submitted 19 October, 2014; v1 submitted 5 July, 2014; originally announced July 2014.

Comments: 14 pages

MSC Class: 16W80; 16A65; 16S50; 16N40

On filtered multiplicative bases of some associative algebras

Authors: V. Bovdi, A. Grishkov, S. Siciliano

Abstract: We deal with the existing problem of filtered multiplicative bases of finite-dimensional associative algebras. For an associative algebra A over a field, we investigate when the property of having a filtered multiplicative basis is hereditated by homomorphic images or by the associated graded algebra of $A$. These results are then applied to some classes of group algebras and restricted enveloping… ▽ More We deal with the existing problem of filtered multiplicative bases of finite-dimensional associative algebras. For an associative algebra A over a field, we investigate when the property of having a filtered multiplicative basis is hereditated by homomorphic images or by the associated graded algebra of $A$. These results are then applied to some classes of group algebras and restricted enveloping algebras. △ Less

Submitted 1 October, 2014; v1 submitted 28 April, 2014; originally announced April 2014.

Comments: 10 pages

Free Steiner triple systems and their automorphism groups

Authors: A. Grishkov, D. Rasskazova, M. Rasskazova, I. Stuhl

Abstract: The paper is devoted to the study of free objects in the variety of Steiner loops and of the combinatorial structures behind them, focusing on their automorphism groups. We prove that all automorphisms are tame and the automorphism group is not finitely generated if the loop is more than $3$-generated. For the free Steiner loop with $3$ generators we describe the generator elements of the automorp… ▽ More The paper is devoted to the study of free objects in the variety of Steiner loops and of the combinatorial structures behind them, focusing on their automorphism groups. We prove that all automorphisms are tame and the automorphism group is not finitely generated if the loop is more than $3$-generated. For the free Steiner loop with $3$ generators we describe the generator elements of the automorphism group and some relations between them. △ Less

Submitted 22 April, 2014; originally announced April 2014.

MSC Class: 20N05; 05B07

Journal ref: Journal of Algebra and its Applications, Vol. 14, No. 2, (2015)

On groups with cubic polynomial conditions

Authors: A. Grishkov, R. Oliveira, S. Sidki

Abstract: Given a finitely generated subgroup G of a ring R we provide a finite subset of G such that if each element of this set satisfies some cubic polynomial equation in one variable over the center Z of R then the subring generated by G has finite Z-rank. We specialize our considerations to the case where the polynomial equations are equal to (x-1)^3=0. Given a finitely generated subgroup G of a ring R we provide a finite subset of G such that if each element of this set satisfies some cubic polynomial equation in one variable over the center Z of R then the subring generated by G has finite Z-rank. We specialize our considerations to the case where the polynomial equations are equal to (x-1)^3=0. △ Less

Submitted 11 May, 2015; v1 submitted 20 January, 2014; originally announced January 2014.

Comments: Statements and proofs in the previous version have been corrected or modified

Solvable, reductive and quasireductive supergroups

Authors: Alexandr N. Grishkov, Alexandr N. Zubkov

Abstract: This work was inspired by two natural questions. The first question is when Lie(G')=Lie(G)', where G is a connected algebraic supergroup defined over a field of characteristic zero. The second question is whether the unipotent radical of any normal supersubgroup H of G coincides with the intersection of H and G_u, where G_u is the unipotent radical of G. Both questions have affirmative answers in… ▽ More This work was inspired by two natural questions. The first question is when Lie(G')=Lie(G)', where G is a connected algebraic supergroup defined over a field of characteristic zero. The second question is whether the unipotent radical of any normal supersubgroup H of G coincides with the intersection of H and G_u, where G_u is the unipotent radical of G. Both questions have affirmative answers in the category of algebraic groups (in the second case one has to assume additionally that G and H are reduced whenever char K >0). Surprisingly, using the technique of Harish-Chandra superpairs and a complete description of an action of an algebraic supergroup on an abelian supergroups by supergroup automorphisms we found out rather simple counterexamples to both questions. Besides, the second counterexample shows that the reductivity of G does not imply that G_{ev} has even finite unipotent radical. On the other hand, if G_{ev} is reductive, then it is easy to see that G_u is finite (odd) supergroup. In other words, the reductivity of an algebraic supergroup does not correspond to the reductivity of its largest even subgroup in contrast to such properties as unipotency or solvability. In the last section of our article we describe reductive algebraic supergroups in terms of sandwich pairs and give necessary and sufficient conditions for an algebraic supergroup to be quasireductive. The last result complements the recent Serganova's description of quasireductive supergroups in terms of structural properties of their Lie superalgebras. Our approach is focused on the normal subgroup structure. △ Less

Submitted 22 February, 2013; originally announced February 2013.

Unitary and symmetric units of a commutative group algebra

Authors: V. A. Bovdi, A. N. Grishkov

Abstract: 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. 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. △ Less

Submitted 2 January, 2017; v1 submitted 21 February, 2013; originally announced February 2013.

Comments: The paper has been withdrawn due to errors of the calculations

MSC Class: 16S34; 16U60; 20C05

Journal ref: Proceedings of the Edinburgh Mathematical Society 62 (2019) 641-654

Resultantal varieties related to zeroes of L-functions of Carlitz modules

Authors: Alexandr N. Grishkov, Dmitry Logachev

Abstract: We show that there exists a connection between two types of objects: some kind of resultantal varieties over C, from one side, and varieties of twists of the tensor powers of the Carlitz module such that the order of 0 of its L-functions at infinity is a constant, from another side. Obtained results are only a starting point of a general theory. We can expect that it will be possible to prove that… ▽ More We show that there exists a connection between two types of objects: some kind of resultantal varieties over C, from one side, and varieties of twists of the tensor powers of the Carlitz module such that the order of 0 of its L-functions at infinity is a constant, from another side. Obtained results are only a starting point of a general theory. We can expect that it will be possible to prove that the order of 0 of these L-functions at 1 (i.e. the analytic rank of a twist) is not bounded --- this is the function field case analog of the famous conjecture on non-boundedness of rank of twists of an elliptic curve over Q. The paper contains a calculation of a non-trivial polynomial determinant. △ Less

Submitted 18 October, 2015; v1 submitted 13 May, 2012; originally announced May 2012.

Comments: 53 pages; new result on calculation of a polynomial determinant is included

MSC Class: 14M12; 13P15; 11G09; 05A19; 14Q15; 14M10; 13C40

Abelian-by-cyclic Moufang loops

Authors: Alexander N. Grishkov, Andrei V. Zavarnitsine

Abstract: We use groups with triality to construct a series of nonassociative Moufang loops. Certain members of this series contain an abelian normal subloop with the corresponding quotient being a cyclic group. In particular, we give a new series of examples of finite abelian-by-cyclic Moufang loops. The previously known [A. Rajah, J. Alg., 235 (2001), 66-93] loops of this type of odd order 3q^3, with prim… ▽ More We use groups with triality to construct a series of nonassociative Moufang loops. Certain members of this series contain an abelian normal subloop with the corresponding quotient being a cyclic group. In particular, we give a new series of examples of finite abelian-by-cyclic Moufang loops. The previously known [A. Rajah, J. Alg., 235 (2001), 66-93] loops of this type of odd order 3q^3, with prime q congruent to 1 mod 3, are particular cases of our series. Some of the examples are shown to be embeddable into a Cayley algebra. △ Less

Submitted 15 February, 2012; originally announced February 2012.

Comments: Preprint submitted to Comm. Alg

Journal ref: Comm. Alg., 41, N6, (2013), 2242-2253

Solvability of commutative automorphic loops

Authors: Alexandr Grishkov, Michael Kinyon, Gabor Nagy

Abstract: We prove that every finite, commutative automorphic loop is solvable. We also prove that every finite, automorphic 2-loop is solvable. The main idea of the proof is to associate a simple Lie algebra of characteristic 2 to a hypothetical finite simple commutative automorphic loop. The "crust of a thin sandwich" theorem of Zel'manov and Kostrikin leads to a contradiction. We prove that every finite, commutative automorphic loop is solvable. We also prove that every finite, automorphic 2-loop is solvable. The main idea of the proof is to associate a simple Lie algebra of characteristic 2 to a hypothetical finite simple commutative automorphic loop. The "crust of a thin sandwich" theorem of Zel'manov and Kostrikin leads to a contradiction. △ Less

Submitted 27 September, 2012; v1 submitted 30 November, 2011; originally announced November 2011.

Comments: v.2: minor revisions suggested by referee

MSC Class: 20N05 (Primary) 17B99; 20B15 (Secondary)

Lattice map for Anderson T-motives: first approach

Authors: Aleksandr Grishkov, Dmitry Logachev

Abstract: There exists a lattice map from the set of pure uniformizable Anderson t-motives to the set of lattices. It is not known what is the image and the fibers of this map. We prove a local result that sheds the first light to this problem and suggests that maybe this map is close to 1 -- 1. Namely, let $M(0)$ be a t-motive of dimension $n$ and rank $r=2n$ \ --- \ the $n$-th power of the Carlitz module… ▽ More There exists a lattice map from the set of pure uniformizable Anderson t-motives to the set of lattices. It is not known what is the image and the fibers of this map. We prove a local result that sheds the first light to this problem and suggests that maybe this map is close to 1 -- 1. Namely, let $M(0)$ be a t-motive of dimension $n$ and rank $r=2n$ \ --- \ the $n$-th power of the Carlitz module of rank 2, and let $M$ be a t-motive which is in some sense "close" to $M(0)$. We consider the lattice map $M \mapsto L(M)$, where $L(M)$ is a lattice in $C^n$. We show that the lattice map is an isomorphism in a "neighborhood" of $M(0)$. Namely, we compare the action of monodromy groups: (a) from the set of equations defining t-motives to the set of t-motives themselves, and (b) from the set of Siegel matrices to the set of lattices. The result of the present paper gives that the size of a neighborhood, where we have an isomorphism, depends on an element of the monodromy group. We do not know whether there exists a universal neighborhood. Method of the proof: explicit solution of an equation describing an isomorphism between two t-motives by a method of successive approximations using a version of the Hensel lemma. △ Less

Submitted 5 March, 2017; v1 submitted 4 September, 2011; originally announced September 2011.

Comments: 26 pages. Minor improvements

MSC Class: Primary 11G09; Secondary 11G15; 14K22

Filtered multiplicative bases of restricted enveloping algebras

Authors: V. Bovdi, A. Grishkov, S. Siciliano

Abstract: We study the problem of the existence of filtered multiplicative bases of a restricted enveloping algebra u(L), where L is a finite-dimensional and p-nilpotent restricted Lie algebra over a field of positive characteristic p. We study the problem of the existence of filtered multiplicative bases of a restricted enveloping algebra u(L), where L is a finite-dimensional and p-nilpotent restricted Lie algebra over a field of positive characteristic p. △ Less

Submitted 2 December, 2009; originally announced December 2009.

Comments: 7 pages

MSC Class: 16S30; 17B50

Generators of supersymmetric polynomials in positive characteristic

Authors: A. N. Grishkov, F. Marko, A. N. Zubkov

Abstract: Kantor and Trishin described the algebra of polynomial invariants of the adjoint representation of the Lie supergalgebra $gl(m|n)$ and a related algebra $A_s$ of what they called pseudosymmetric polynomials over an algebraically closed field $K$ of characteristic zero. The algebra $A_s$ was investigated earlier by Stembridge who called the elements of $A_s$ supersymmetric polynomials and determi… ▽ More Kantor and Trishin described the algebra of polynomial invariants of the adjoint representation of the Lie supergalgebra $gl(m|n)$ and a related algebra $A_s$ of what they called pseudosymmetric polynomials over an algebraically closed field $K$ of characteristic zero. The algebra $A_s$ was investigated earlier by Stembridge who called the elements of $A_s$ supersymmetric polynomials and determined generators of $A_s$. The case of positive characteristic $p$ has been recently investigated by La Scala and Zubkov. They formulated two conjectures describing generators of polynomial invariants of the adjoint action of the general linear supergroup $GL(m|n)$ and generators of $A_s$, respectively. In the present paper we prove both conjectures. △ Less

Submitted 28 July, 2009; originally announced July 2009.

Comments: 10 pages

MSC Class: 16W22

Anderson T-motives and abelian varieties with MIQF: results coming from an analogy

Authors: A. Grishkov, D. Logachev

Abstract: Analogy between Anderson T-motives and abelian varieties with multiplication by an imaginary quadratic field (MIQF) is a source of 2 results: 1. A description of abelian varieties with MIQF of dimension $r$ and signature $(n, r-n)$ in terms of "lattices" of dimension $r$ in $\Bbb C^n$; 2. A construction of exterior powers of abelian varieties with MIQF having $n=1$. Analogy between Anderson T-motives and abelian varieties with multiplication by an imaginary quadratic field (MIQF) is a source of 2 results: 1. A description of abelian varieties with MIQF of dimension $r$ and signature $(n, r-n)$ in terms of "lattices" of dimension $r$ in $\Bbb C^n$; 2. A construction of exterior powers of abelian varieties with MIQF having $n=1$. △ Less

Submitted 25 November, 2020; v1 submitted 27 July, 2009; originally announced July 2009.

Comments: 9 pages

MSC Class: 11G09; 11G10; 11G15; 14K99

Kimmerle conjecture for the Held and O'Nan sporadic simple groups

Authors: V. Bovdi, A. Grishkov, A. Konovalov

Abstract: Using the Luthar--Passi method, we investigate the Zassenhaus and Kimmerle conjectures for normalized unit groups of integral group rings of the Held and O'Nan sporadic simple groups. We confirm the Kimmerle conjecture for the Held simple group and also derive for both groups some extra information relevant to the classical Zassenhaus conjecture. Using the Luthar--Passi method, we investigate the Zassenhaus and Kimmerle conjectures for normalized unit groups of integral group rings of the Held and O'Nan sporadic simple groups. We confirm the Kimmerle conjecture for the Held simple group and also derive for both groups some extra information relevant to the classical Zassenhaus conjecture. △ Less

Submitted 13 February, 2009; originally announced February 2009.

Comments: 9 pages

MSC Class: 16S34; 20C05; 20D08

Commutative Moufang loops and alternative algebras

Authors: Alexander N. Grishkov, Ivan P. Shestakov

Abstract: We compute the orders of free commutative Moufand loops of exponent 3 with $n\leq 7$ free generators and find embeddings of such loops into a loop of invertible elements of the free commutative alternative algebra with identity $x^3=0$. We compute the orders of free commutative Moufand loops of exponent 3 with $n\leq 7$ free generators and find embeddings of such loops into a loop of invertible elements of the free commutative alternative algebra with identity $x^3=0$. △ Less

Submitted 23 November, 2008; originally announced November 2008.

Comments: 15 pages

Lie properties of crossed products

Authors: Adalbert Bovdi, Alexander Grishkov

Abstract: Let $F^λ_σ [G]$ be a crossed product of a group $G$ and the field $F$. We study the Lie properties of $F^λ_σ [G]$ in order to obtain a characterization of those crossed products which are upper (lower) Lie nilpotent and Lie $(n,m)$-Engel. Let $F^λ_σ [G]$ be a crossed product of a group $G$ and the field $F$. We study the Lie properties of $F^λ_σ [G]$ in order to obtain a characterization of those crossed products which are upper (lower) Lie nilpotent and Lie $(n,m)$-Engel. △ Less

Submitted 10 July, 2008; originally announced July 2008.

Comments: 14 pages

MSC Class: 16S34; 16U60; 20C05

On a construction of self-dual gauge fields in seven dimensions

Authors: E. K. Loginov, A. N. Grishkov

Abstract: We consider gauge fields associated with a semisimple Malcev algebra. We construct a gauge-invariant Lagrangian and found a solution of modified Yang-Mills equations in seven dimensions. We consider gauge fields associated with a semisimple Malcev algebra. We construct a gauge-invariant Lagrangian and found a solution of modified Yang-Mills equations in seven dimensions. △ Less

Submitted 5 December, 2007; originally announced December 2007.

Comments: 10 pages, LaTeX, no figures

Journal ref: J.Nonlin.Math.Phys.14:562-569,2007

Duality of Anderson T-motives

Authors: A. Grishkov, D. Logachev

Abstract: Let $M$ be a T-motive. We introduce the notion of duality for $M$. Main results of the paper (we consider uniformizable $M$ over $F_q[T]$ of rank $r$, dimension $n$, whose nilpotent operator $N$ is 0): 1. Algebraic duality implies analytic duality (Theorem 5). Explicitly, this means that the lattice of the dual of $M$ is the dual of the lattice of $M$, i.e. the transposed of a Siegel matrix of… ▽ More Let $M$ be a T-motive. We introduce the notion of duality for $M$. Main results of the paper (we consider uniformizable $M$ over $F_q[T]$ of rank $r$, dimension $n$, whose nilpotent operator $N$ is 0): 1. Algebraic duality implies analytic duality (Theorem 5). Explicitly, this means that the lattice of the dual of $M$ is the dual of the lattice of $M$, i.e. the transposed of a Siegel matrix of $M$ is a Siegel matrix of the dual of $M$. 2. Let $n=r-1$. There is a 1 -- 1 correspondence between pure T-motives (all they are uniformizable), and lattices of rank $r$ in $C^n$ having dual (Corollary 8.4). △ Less

Submitted 5 February, 2019; v1 submitted 13 November, 2007; originally announced November 2007.

Comments: 53 pages. Minor corrections

MSC Class: 11G09; 11G15; 14K22

Sylow's theorem for Moufang loops

Authors: Alexander N. Grishkov, Andrei V. Zavarnitsine

Abstract: For finite Moufang loops, we prove an analog of the first Sylow theorem giving a criterion of the existence of a p-Sylow subloop. We also find the maximal order of p-subloops in the Moufang loops that do not possess p-Sylow subloops. For finite Moufang loops, we prove an analog of the first Sylow theorem giving a criterion of the existence of a p-Sylow subloop. We also find the maximal order of p-subloops in the Moufang loops that do not possess p-Sylow subloops. △ Less

Submitted 17 September, 2007; originally announced September 2007.

Comments: 21 pages

MSC Class: 08A05; 20N05; 17D05

Journal ref: J. Algebra, V 321, N 7 (2009), 1813--1825.

Lie algebras with triality

Authors: Alexandr Grishkov

Abstract: By analogy with the definition of group with triality we introduce Lie algebra with triality as Lie algebra L wich admits the group of automorphisms S_3={s,r | s^2=r^3=1, srs=r^2} such that for any x\in L we have (x^s-x)+(x^s-x)^r+(x^s-x)^(r^2)=0. We describe the structure of finite dimensional Lie algebra with triality over a field of characteristic 0 and give applications of Lie algebras with… ▽ More By analogy with the definition of group with triality we introduce Lie algebra with triality as Lie algebra L wich admits the group of automorphisms S_3={s,r | s^2=r^3=1, srs=r^2} such that for any x\in L we have (x^s-x)+(x^s-x)^r+(x^s-x)^(r^2)=0. We describe the structure of finite dimensional Lie algebra with triality over a field of characteristic 0 and give applications of Lie algebras with triality to the theory of Malcev algebras. △ Less

Submitted 7 November, 2005; originally announced November 2005.

Verma-type Modules for Quantum Affine Lie Algebras

Authors: Vyacheslav M. Futorny, Duncan J. Melville, Alexander N. Grishkov

Abstract: Let g be an untwisted affine Kac-Moody algebra and M_J(lambda) a Verma-type module for g with J-highest integral weight lambda. We construct quantum Verma-type modules M_J^q(lambda) over the quantum group U_q(g), investigate their properties and show that M_J^q(lambda) is a true quantum deformation of M_J(ł) in the sense that the weight structure is preserved under the deformation. We also analy… ▽ More Let g be an untwisted affine Kac-Moody algebra and M_J(lambda) a Verma-type module for g with J-highest integral weight lambda. We construct quantum Verma-type modules M_J^q(lambda) over the quantum group U_q(g), investigate their properties and show that M_J^q(lambda) is a true quantum deformation of M_J(ł) in the sense that the weight structure is preserved under the deformation. We also analyze the submodule structure of quantum Verma-type modules. △ Less

Submitted 31 October, 2000; originally announced October 2000.

Comments: 24 pages, AMSTeX 2.0

MSC Class: 17B37; 17B67; 81R50