Showing 1–50 of 75 results for author: Bovdi, V

Gordan-Rankin-Cohen operators on superstrings

Authors: V. Bovdi, D. Leites

Abstract: We distinguish two classifications of bidifferential operators: between (A) spaces of modular forms and (B) spaces of weighted densities. (A) The invariant under the projective action of $\text{SL}(2;\mathbb{Z})$ binary differential operators between spaces of modular forms of integer or half-integer weight on the 1-dimensional manifold were found by Gordan (called transvectants), rediscovered a… ▽ More We distinguish two classifications of bidifferential operators: between (A) spaces of modular forms and (B) spaces of weighted densities. (A) The invariant under the projective action of $\text{SL}(2;\mathbb{Z})$ binary differential operators between spaces of modular forms of integer or half-integer weight on the 1-dimensional manifold were found by Gordan (called transvectants), rediscovered and classified by Rankin and Cohen (called brackets), and, in still another context, by Janson and Peetre. The invariant under the algebraic supergroup $\text{OSp}(1|2; \mathbb{Z})$ super modular forms of integer and half-integer weight on $(1|1)$-dimensional superstrings with contact structure were introduced, bidifferential operators between them classified and further studied by Gieres-Theisen, Cohen-Manin-Zagier, and Gargoubi-Ovsienko. (B) For any complex weights, we classify the analogs of Gordan-Rankin-Cohen (briefly: GRC) binary differential operators between spaces of weighted densities invariant under $\mathfrak{pgl}(2)$. For any complex weights, we classify the analogs of GRC-operators between spaces of weighted densities invariant under the Lie superalgebra $\mathfrak{osp}(1|2)$. In the case of $(1|1)$-dimensional superstring without any additional structure, we also classify the analogs of GRC-operators between spaces of any weighted densities invariant under the Lie superalgebra $\mathfrak{pgl}(1|2)$. △ Less

Submitted 28 April, 2024; originally announced April 2024.

Comments: 16 pages

Rota--Baxter and averaging operators on racks and rack algebras

Authors: V. G. Bardakov, V. A. Bovdi

Abstract: In the present article we define and investigate relative Rota--Baxter operators and relative averaging operators on racks and rack algebras. Also, if B is a Rota--Baxter or averaging operator on a rack X, then we can extend B by linearity to the rack algebra k[X]. On the other side, we have definitions of Rota--Baxter and averaging operators on arbitrary algebra. We find connections between these… ▽ More In the present article we define and investigate relative Rota--Baxter operators and relative averaging operators on racks and rack algebras. Also, if B is a Rota--Baxter or averaging operator on a rack X, then we can extend B by linearity to the rack algebra k[X]. On the other side, we have definitions of Rota--Baxter and averaging operators on arbitrary algebra. We find connections between these operators. In particular, we prove that if B : X --> X is an averaging operator on a rack, then its linear extension on a rack algebra k[X] gives an averaging operator. △ Less

Submitted 18 February, 2024; originally announced February 2024.

Comments: 21 pages

MSC Class: 17A30; 20E22

The Courant type algebroids, the coadjoint orbits and related integrable flows

Authors: Anatolij K. Prykarpatski, Victor A. Bovdi

Abstract: Poisson structures related with the affine Courant type algebroid are analyzed, including \ those related with cotangent bundles on Lie group manifolds. A special attantion is paid to Courant type algebroids and related R-structures \ on them, generated by suitably defined tensor mappings. \ There are constructed Lie-Poisson brackets invariant with respect to the coadjoint action of the loop diffe… ▽ More Poisson structures related with the affine Courant type algebroid are analyzed, including \ those related with cotangent bundles on Lie group manifolds. A special attantion is paid to Courant type algebroids and related R-structures \ on them, generated by suitably defined tensor mappings. \ There are constructed Lie-Poisson brackets invariant with respect to the coadjoint action of the loop diffeomorphisms group and described the related Courant type algebroids. \ The corresponding integrable Hamiltonian flows, generated by Casimir functionals and generalizing the so called heavenly type differential systems, describing diverse geometric structures of conformal type on finite dimensional Rieamnnian manifolds are described. △ Less

Submitted 22 October, 2023; originally announced October 2023.

Comments: 8 pages

Adequacy of nonsingular matrices over commutative principal ideal domains

Authors: V. Bovdi, V. Shchedryk

Abstract: The notion of the adequacy of commutative domains was introduced by Helmer in Bull. Amer.Math. Soc., 49 (1943), 225--236. In the present paper we extend the concept of adequacy to noncommutative Bézout rings. We show that the set of nonsingular second-order matrices over a commutative principal ideal domain is adequate. The notion of the adequacy of commutative domains was introduced by Helmer in Bull. Amer.Math. Soc., 49 (1943), 225--236. In the present paper we extend the concept of adequacy to noncommutative Bézout rings. We show that the set of nonsingular second-order matrices over a commutative principal ideal domain is adequate. △ Less

Submitted 27 May, 2025; v1 submitted 3 September, 2022; originally announced September 2022.

Comments: 12 pages

MSC Class: 15A23; 19D10; 16U30; 15A24

Elements of high order in finite fields specified by binomials

Authors: Victor Bovdi, Adama Diene, Roman Popovych

Abstract: Let $F_q$ be a field with $q$ elements, where $q$ is a power of a prime number $p\geq 5$. For any integer $m\geq 2$ and $a\in F_q^*$ such that the polynomial $x^m-a$ is irreducible in $F_q[x]$, we combine two different methods to construct explicitly elements of high order in the field $F_q[x]/\langle x^m-a\rangle $. Namely, we find elements with multiplicative order of at least… ▽ More Let $F_q$ be a field with $q$ elements, where $q$ is a power of a prime number $p\geq 5$. For any integer $m\geq 2$ and $a\in F_q^*$ such that the polynomial $x^m-a$ is irreducible in $F_q[x]$, we combine two different methods to construct explicitly elements of high order in the field $F_q[x]/\langle x^m-a\rangle $. Namely, we find elements with multiplicative order of at least $5^{\sqrt[3]{m/2}}$, which is better than previously obtained bound for such family of extension fields. △ Less

Submitted 29 April, 2022; originally announced April 2022.

Comments: 8 pages

MSC Class: 11T30; 11Y99; 11T06; 20K01; 13M10

Descent cohomology and factorizations of groups

Authors: Victor Bovdi, Bachuki Mesablishvili

Abstract: The aim of the paper is to give a full classification of factorizations of groups in terms of descent cohomology (pointed) sets introduced in [5]. We show that descent cohomology includes Serre's non-abelian group cohomology as a special case. This enables us to generalize Serre's theory further to include monoids. The aim of the paper is to give a full classification of factorizations of groups in terms of descent cohomology (pointed) sets introduced in [5]. We show that descent cohomology includes Serre's non-abelian group cohomology as a special case. This enables us to generalize Serre's theory further to include monoids. △ Less

Submitted 6 April, 2022; originally announced April 2022.

Comments: 20 pages

MSC Class: 18D25; 20J05; 20J06; 20J15; 20M50; 18C05; 18C15

Torsion subgroups, solvability and the Engel condition in associative rings

Authors: Orest Artemovych, Victor Bovdi

Abstract: The connections between the properties of associative rings that are Lie-solvable (Engel, n-Engel, locally finite, respectively) and the properties of their adjoin subgroups are investigated. The connections between the properties of associative rings that are Lie-solvable (Engel, n-Engel, locally finite, respectively) and the properties of their adjoin subgroups are investigated. △ Less

Submitted 14 March, 2022; originally announced March 2022.

Comments: 19 pages

MSC Class: 20C05; 16S34; 20F45; 20F19; 16W25

Orbits of actions of group superschemes

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

Abstract: Working over an algebraically closed field $\Bbbk$, we prove that all orbits of a left action of an algebraic group superscheme $G$ on a superscheme $X$ of finite type are locally closed. Moreover, such an orbit $Gx$, where $x$ is a $\Bbbk$-point of $X$, is closed if and only if $G_{ev}x$ is closed in $X_{ev}$, or equivalently, if and only if $G_{res}x$ is closed in $X_{res}$. Here $G_{ev}$ is the… ▽ More Working over an algebraically closed field $\Bbbk$, we prove that all orbits of a left action of an algebraic group superscheme $G$ on a superscheme $X$ of finite type are locally closed. Moreover, such an orbit $Gx$, where $x$ is a $\Bbbk$-point of $X$, is closed if and only if $G_{ev}x$ is closed in $X_{ev}$, or equivalently, if and only if $G_{res}x$ is closed in $X_{res}$. Here $G_{ev}$ is the largest purely even group super-subscheme of $G$ and $G_{res}$ is $G_{ev}$ regarded as a group scheme. Similarly, $X_{ev}$ is the largest purely even super-subscheme of $X$ and $X_{res}$ is $X_{ev}$ regarded as a scheme. We also prove that $\mathrm{sdim}(Gx)=\mathrm{sdim}(G)-\mathrm{sdim}(G_x)$, where $G_x$ is the stabilizer of $x$. △ Less

Submitted 18 February, 2022; originally announced February 2022.

Generating solutions of a linear equation and structure of elements of the Zelisko group II

Authors: V. A. Bovdi, V. P. Shchedryk

Abstract: We continue our previous investigation of the Zelisko group of a matrix over Bézout domains. The explicit form of elements of this group over homomorphic image of Bézout domain of stable rank 1.5 is described. We continue our previous investigation of the Zelisko group of a matrix over Bézout domains. The explicit form of elements of this group over homomorphic image of Bézout domain of stable rank 1.5 is described. △ Less

Submitted 8 January, 2022; originally announced January 2022.

Comments: 8 pages

MSC Class: 15A06; 15A21; 13A05

On partial augmentations of elements in integral group rings

Authors: Victor Bovdi, Attila Maroti

Abstract: Inner relations are derived between partial augmentations of certain elements (units or idempotents) in group rings. Inner relations are derived between partial augmentations of certain elements (units or idempotents) in group rings. △ Less

Submitted 16 August, 2021; originally announced August 2021.

Comments: 6 pages

Generating solutions of a linear equation and structure of elements of the Zelisko group

Authors: V. A. Bovdi, V. P. Shchedryk

Abstract: Solutions of a linear equation b=ax in a homomorphic image of a commutative Bezout domain of stable range 1.5 is developed. It is proved that the set of solutions of a solvable linear equation contains at least one solution that divides the rest, which is called a generating solution. Generating solutions are pairwise associates. Using this result, the structure of elements of the Zelisko group is… ▽ More Solutions of a linear equation b=ax in a homomorphic image of a commutative Bezout domain of stable range 1.5 is developed. It is proved that the set of solutions of a solvable linear equation contains at least one solution that divides the rest, which is called a generating solution. Generating solutions are pairwise associates. Using this result, the structure of elements of the Zelisko group is investigated. △ Less

Submitted 23 April, 2021; originally announced April 2021.

Comments: 10 pages

MSC Class: 15A06; 15A21; 13A05

Modules over some group rings having d-generator property

Authors: V. A. Bovdi, L. A. Kurdachenko

Abstract: For modules over group rings we introduce the following numerical parameter. We say that a module A over a ring R has finite r-generator property if each f.g. (finitely generated) R-submodule of A can be generated exactly by r elements and there exists a f.g. R-submodule D of A, which has a minimal generating subset, consisting exactly of r elements. Let FG be the group algebra of a finite group G… ▽ More For modules over group rings we introduce the following numerical parameter. We say that a module A over a ring R has finite r-generator property if each f.g. (finitely generated) R-submodule of A can be generated exactly by r elements and there exists a f.g. R-submodule D of A, which has a minimal generating subset, consisting exactly of r elements. Let FG be the group algebra of a finite group G over a field F. In the present paper modules over the algebra FG having finite generator property are described. △ Less

Submitted 9 April, 2021; originally announced April 2021.

Comments: 11 pages

MSC Class: 20C05; 20F50 Secondary: 20D25; 16D10; 16D70; 16D80

Some ranks of modules over group rings

Authors: V. A. Bovdi, L. A. Kurdachenko

Abstract: A commutative ring R has finite rank r, if each ideal of R is generated at most by r elements. A commutative ring R has the r-generator property, if each finitely generated ideal of R can be generated by r elements. Such rings are closely related to Prüfer domains. In the present paper we investigate some analogs of these concepts for modules over group rings. A commutative ring R has finite rank r, if each ideal of R is generated at most by r elements. A commutative ring R has the r-generator property, if each finitely generated ideal of R can be generated by r elements. Such rings are closely related to Prüfer domains. In the present paper we investigate some analogs of these concepts for modules over group rings. △ Less

Submitted 27 March, 2021; originally announced March 2021.

Comments: 10 pages

MSC Class: Primary: 20C05; 20F50 Secondary: 20D25; 16D10; 16D70; 16D80

Subgroups of a finitary linear group

Authors: V. A. Bovdi, O. Yu. Dashkova, M. A. Salim

Abstract: Let FL_s(K) be the finitary linear group of degree s over an associative ring K with unity. We prove that the torsion subgroups of FL_s(K) are locally finite for certain classes of rings K. A description of some f.g. solvable subgroups of FL_s(K) are given. Let FL_s(K) be the finitary linear group of degree s over an associative ring K with unity. We prove that the torsion subgroups of FL_s(K) are locally finite for certain classes of rings K. A description of some f.g. solvable subgroups of FL_s(K) are given. △ Less

Submitted 26 April, 2020; originally announced April 2020.

Comments: 7 pages

MSC Class: 20H25

Operators on positive semidefinite inner product spaces

Authors: Victor A. Bovdi, Tetiana Klymchuk, Tetiana Rybalkina, Mohamed A. Salim, Vladimir V. Sergeichuk

Abstract: We give canonical forms of selfadjoint and isometric operators on a complex vector space $U$ with scalar product given by a positive semidefinite Hermitian form, and of Hermitian forms on $U$. For an arbitrary system of semiunitary spaces and linear mappings on/between them, we give an algorithm that reduces their matrices to canonical form. We give canonical forms of selfadjoint and isometric operators on a complex vector space $U$ with scalar product given by a positive semidefinite Hermitian form, and of Hermitian forms on $U$. For an arbitrary system of semiunitary spaces and linear mappings on/between them, we give an algorithm that reduces their matrices to canonical form. △ Less

Submitted 15 March, 2020; originally announced March 2020.

Comments: 28 pages

MSC Class: 15A21; 15A42; 15A63; 47B50

Journal ref: Linear Algebra Appl. 596 (2020) 82-105

Derivations of group rings

Authors: Orest D. Artemovych, Victor A. Bovdi, Mohamed A. Salim

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

Submitted 3 March, 2020; originally announced March 2020.

Comments: 17 pages

MSC Class: 20C05; 16S34; 20F45; 20F19; 16W25

Super-representations of quivers and related polynomial semi-invariants

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

Abstract: We introduce the notion of a super-representation of a quiver. For super-representations of quivers over a field of characteristic zero, we describe the corresponding (super)algebras of polynomial semi-invariants and polynomial invariants. We introduce the notion of a super-representation of a quiver. For super-representations of quivers over a field of characteristic zero, we describe the corresponding (super)algebras of polynomial semi-invariants and polynomial invariants. △ Less

Submitted 2 December, 2019; originally announced December 2019.

Comments: 17 pages

MSC Class: 20G05; 16W55; 14M30; 16G20; 13A50

Reduction of matrices over simple Ore domains

Authors: Victor Bovdi, Bohdan Zabavsky

Abstract: We study the theory of diagonal reductions of matrices over simple Ore domains of finite stable range. We cover the cases of 2-simple rings of stable range 1, Ore domains and certain cases of Bezout domains. We study the theory of diagonal reductions of matrices over simple Ore domains of finite stable range. We cover the cases of 2-simple rings of stable range 1, Ore domains and certain cases of Bezout domains. △ Less

Submitted 13 August, 2019; originally announced August 2019.

Comments: 9 pages

Isomorphism problem of Unitary Subgroups of Group Algebras

Authors: Zsolt Balogh, Victor Bovdi

Abstract: Let V_* be the normalized unitary subgroup of the modular group algebra FG of a finite p-group G over a finite field F with the classical involution *. We investigate the isomorphism problem for the group V_*, that asks when the group V_* is determined by its group algebra FG. We confirm it for classes of finite abelian p-groups, 2-groups of maximal class and non-abelian 2-groups of order at most… ▽ More Let V_* be the normalized unitary subgroup of the modular group algebra FG of a finite p-group G over a finite field F with the classical involution *. We investigate the isomorphism problem for the group V_*, that asks when the group V_* is determined by its group algebra FG. We confirm it for classes of finite abelian p-groups, 2-groups of maximal class and non-abelian 2-groups of order at most 16. △ Less

Submitted 19 May, 2020; v1 submitted 11 August, 2019; originally announced August 2019.

Comments: 10 pages

MSC Class: 16U60; 20D15; 20C05; 16S34

Finite simple groups with short Galois orbits on conjugacy classes

Authors: Victor Bovdi, Thomas Breuer, Attila Maróti

Abstract: All finite simple groups are determined with the property that every Galois orbit on conjugacy classes has size at most 4. From this we list all finite simple groups $G$ for which the normalized group of central units of the integral group ring ZG is an infinite cyclic group. All finite simple groups are determined with the property that every Galois orbit on conjugacy classes has size at most 4. From this we list all finite simple groups $G$ for which the normalized group of central units of the integral group ring ZG is an infinite cyclic group. △ Less

Submitted 2 June, 2019; v1 submitted 17 October, 2018; originally announced October 2018.

Comments: 15 pages. Expanded version

MSC Class: 16U60; 16S34; 20E45; 20K15; 20D05

Commutative Bezout domains of stable range 1.5

Authors: Victor A. Bovdi, Volodymyr P. Shchedryk

Abstract: A ring R is said to be of stable range 1.5 if for each a, b from R and nonzero c from R satisfying aR + bR + cR = R there exists r from R such that (a + br)R + cR = R. Let R be a commutative domain in which all finitely generated ideals are principal, and let R be of stable range 1.5. Then each matrix A over R is reduced to Smith's canonical form by transformations PAQ in which P and Q are inverti… ▽ More A ring R is said to be of stable range 1.5 if for each a, b from R and nonzero c from R satisfying aR + bR + cR = R there exists r from R such that (a + br)R + cR = R. Let R be a commutative domain in which all finitely generated ideals are principal, and let R be of stable range 1.5. Then each matrix A over R is reduced to Smith's canonical form by transformations PAQ in which P and Q are invertible and at least one of them can be chosen to be a product of elementary matrices. We generalize Helmer's theorem about the greatest common divisor of entries of A over R. △ Less

Submitted 12 June, 2018; originally announced June 2018.

Comments: 9 pages

Maximal commutative subalgebras of a Grassmann algebra

Authors: Victor A. Bovdi, Ho-Hon Leung

Abstract: We investigate the structure of maximal commutative subalgebras of the finite dimensional Grassmann algebra over a field of characteristic different from two. We investigate the structure of maximal commutative subalgebras of the finite dimensional Grassmann algebra over a field of characteristic different from two. △ Less

Submitted 9 March, 2018; originally announced March 2018.

Comments: 17 pages

MSC Class: 15A75; 05D05; 16W55; 13A02

Modular group algebras whose group of unitary units is locally nilpotent

Authors: Victor A. Bovdi

Abstract: We characterize those modular group algebras FG whose group of unitary units is locally nilpotent under the classical involution of FG. We characterize those modular group algebras FG whose group of unitary units is locally nilpotent under the classical involution of FG. △ Less

Submitted 16 January, 2018; originally announced January 2018.

Comments: 3 pages

MSC Class: 20C05; 16S34; 20F45; 20F19

Group algebra whose unit group is locally nilpotent

Authors: Victor A. Bovdi

Abstract: We present a complete list of groups $G$ and fields $F$ for which: (i) the group of normalized units V(FG) of the group algebra FG is locally nilpotent; (ii) the group algebra FG has a finite number of nilpotent elements and V(FG) is an Engel group. We present a complete list of groups $G$ and fields $F$ for which: (i) the group of normalized units V(FG) of the group algebra FG is locally nilpotent; (ii) the group algebra FG has a finite number of nilpotent elements and V(FG) is an Engel group. △ Less

Submitted 16 January, 2018; originally announced January 2018.

Comments: 7 pages

MSC Class: 20C05; 16S34; 20F45; 20F19

Completely simple endomorphism rings of modules

Authors: V. A. Bovdi, M. A. Salim, Mihail Ursul

Abstract: It is proved that if A_p is a countable elementary abelian p-group, then: (i) The ring End(A_p) does not admit a nondiscrete locally compact ring topology. (ii) Under (CH) the simple ring End(A_p)/I, where I is the ideal of End(A_p) consisting of all endomorphisms with finite images, does not admit a nondiscrete locally compact ring topology. (iii) The finite topology on End(A_p) is the only secon… ▽ More It is proved that if A_p is a countable elementary abelian p-group, then: (i) The ring End(A_p) does not admit a nondiscrete locally compact ring topology. (ii) Under (CH) the simple ring End(A_p)/I, where I is the ideal of End(A_p) consisting of all endomorphisms with finite images, does not admit a nondiscrete locally compact ring topology. (iii) The finite topology on End(A_p) is the only second metrizable ring topology on it. Moreover, a characterization of completely simple endomorphism rings of the endomorphism rings of modules over commutative rings is also obtained. △ Less

Submitted 26 December, 2017; originally announced December 2017.

Comments: 16 pages

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

Reduction of a pair of skew-symmetric matrices to its canonical form under congruence

Authors: V. A. Bovdi, T. G. Gerasimova, M. A. Salim, V. V. Sergeichuk

Abstract: Let $(A,B)$ be a pair of skew-symmetric matrices over a field of characteristic not 2. Its regularization decomposition is a direct sum \[ (\underline{\underline A},\underline{\underline B})\oplus (A_1,B_1)\oplus\dots\oplus(A_t,B_t) \] that is congruent to $(A,B)$, in which $(\underline{\underline A},\underline{\underline B})$ is a pair of nonsingular matrices and $(A_1,B_1),$ $\dots,$… ▽ More Let $(A,B)$ be a pair of skew-symmetric matrices over a field of characteristic not 2. Its regularization decomposition is a direct sum \[ (\underline{\underline A},\underline{\underline B})\oplus (A_1,B_1)\oplus\dots\oplus(A_t,B_t) \] that is congruent to $(A,B)$, in which $(\underline{\underline A},\underline{\underline B})$ is a pair of nonsingular matrices and $(A_1,B_1),$ $\dots,$ $(A_t,B_t)$ are singular indecomposable canonical pairs of skew-symmetric matrices under congruence. We give an algorithm that constructs a regularization decomposition. We also give a constructive proof of the known canonical form of $(A,B)$ under congruence over an algebraically closed field of characteristic not 2. △ Less

Submitted 23 December, 2017; originally announced December 2017.

Comments: 16 pages

MSC Class: 15A21; 15A22; 15A63; 51A50

Journal ref: Linear Algebra Appl. 543 (2018) 17-30

Symplectic spaces and pairs of symmetric and nonsingular skew-symmetric matrices under congruence

Authors: Victor A. Bovdi, Roger A. Horn, Mohamed A. Salim, Vladimir V. Sergeichuk

Abstract: Let $\mathbb F$ be a field of characteristic not $2$, and let $(A,B)$ be a pair of $n\times n$ matrices over $\mathbb F$, in which $A$ is symmetric and $B$ is skew-symmetric. A canonical form of $(A,B)$ with respect to congruence transformations $(S^TAS,S^TBS)$ was given by Sergeichuk (1988) up to classification of symmetric and Hermitian forms over finite extensions of $\mathbb F$. We obtain a si… ▽ More Let $\mathbb F$ be a field of characteristic not $2$, and let $(A,B)$ be a pair of $n\times n$ matrices over $\mathbb F$, in which $A$ is symmetric and $B$ is skew-symmetric. A canonical form of $(A,B)$ with respect to congruence transformations $(S^TAS,S^TBS)$ was given by Sergeichuk (1988) up to classification of symmetric and Hermitian forms over finite extensions of $\mathbb F$. We obtain a simpler canonical form of $(A,B)$ if $B$ is nonsingular. Such a pair $(A,B)$ defines a quadratic form on a symplectic space, that is, on a vector space with scalar product given by a nonsingular skew-symmetric form. As an application, we obtain known canonical matrices of quadratic forms and Hamiltonian operators on real and complex symplectic spaces. △ Less

Submitted 29 September, 2017; originally announced September 2017.

Comments: 19 pages

MSC Class: 15A21; 15A22; 15A63; 51A50

Journal ref: Linear Algebra and Its Applications 537 (2018) 84-99

Neighborhood radius estimation for Arnold's miniversal deformations of complex and $p$-adic matrices

Authors: Victor A. Bovdi, Mohammed A. Salim, Vladimir V. Sergeichuk

Abstract: V.I. Arnold (1971) constructed a simple normal form to which all complex matrices $B$ in a neighborhood $U$ of a given square matrix $A$ can be reduced by similarity transformations that smoothly depend on the entries of $B$. We calculate the radius of the neighborhood $U$. A.A. Mailybaev (1999, 2001) constructed a reducing similarity transformation in the form of Taylor series; we construct this… ▽ More V.I. Arnold (1971) constructed a simple normal form to which all complex matrices $B$ in a neighborhood $U$ of a given square matrix $A$ can be reduced by similarity transformations that smoothly depend on the entries of $B$. We calculate the radius of the neighborhood $U$. A.A. Mailybaev (1999, 2001) constructed a reducing similarity transformation in the form of Taylor series; we construct this transformation by another method. We extend Arnold's normal form to matrices over the field $\mathbb Q_p$ of $p$-adic numbers and the field $\mathbb F((T))$ of Laurent series over a field $\mathbb F$. △ Less

Submitted 10 November, 2016; originally announced November 2016.

Comments: 19 pages

MSC Class: 15A21; 15B33; 37J40

Journal ref: Linear Algebra Appl. 512 (2017) 97-112

Group algebras whose groups of normalized units have exponent 4

Authors: V. A. Bovdi, M. A. Salim

Abstract: We give a full description of locally finite p-groups G such that the normalized group of units V(FG) of the group algebra FG over a field F of characteristic p has exponent 4. We give a full description of locally finite p-groups G such that the normalized group of units V(FG) of the group algebra FG over a field F of characteristic p has exponent 4. △ Less

Submitted 21 July, 2016; v1 submitted 24 June, 2016; originally announced June 2016.

Comments: 7 pages

MSC Class: 16S34; 16U60

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

Free subgroups in group rings

Authors: Victor Bovdi

Abstract: Let V(KG) be the normalized group of units of the group ring KG of a non-Dedekind group G with nontrivial torsion part t(G) over the integral domain K. We give a simple method for constructing free objects in V(KG).In particular, we show that V(KG) always contains the free product C_n*C_n of two finite cyclic groups. We construct examples of subgroups in V(KG), which are either cyclic extensions o… ▽ More Let V(KG) be the normalized group of units of the group ring KG of a non-Dedekind group G with nontrivial torsion part t(G) over the integral domain K. We give a simple method for constructing free objects in V(KG).In particular, we show that V(KG) always contains the free product C_n*C_n of two finite cyclic groups. We construct examples of subgroups in V(KG), which are either cyclic extensions of a non-abelian free group or C_n*C_n. △ Less

Submitted 26 November, 2014; v1 submitted 26 June, 2014; originally announced June 2014.

Comments: 11 pages

MSC Class: 16S34; 16U60

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

On the unit group of a commutative group ring

Authors: V. Bovdi, M. Salim

Abstract: We investigate the group of normalized units of the group algebra $\mathbb{Z}_{p^e}G$ of a finite abelian $p$-group $G$ over the ring $\mathbb{Z}_{p^e}$ of residues modulo $p^e$ with $e\geq 1$. We investigate the group of normalized units of the group algebra $\mathbb{Z}_{p^e}G$ of a finite abelian $p$-group $G$ over the ring $\mathbb{Z}_{p^e}$ of residues modulo $p^e$ with $e\geq 1$. △ Less

Submitted 14 May, 2013; originally announced May 2013.

Comments: 10 pages

MSC Class: 16S34; 16U60; 20C05

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

On the regularity of crossed products

Authors: V. Bovdi, S. Mihovski

Abstract: We study some generalizations of the notion of regular crossed products K*G. For the case when K is an algebraically closed field, we give necessary and sufficient conditions for the twisted group ring K*G to be an n-weakly regular ring, a $ξ^* N$-ring or a ring without nilpotent elements. We study some generalizations of the notion of regular crossed products K*G. For the case when K is an algebraically closed field, we give necessary and sufficient conditions for the twisted group ring K*G to be an n-weakly regular ring, a $ξ^* N$-ring or a ring without nilpotent elements. △ Less

Submitted 14 February, 2013; originally announced February 2013.

Comments: 8 pages

MSC Class: 16S35; 20C07; 16S34; 16E50

Torsion units in integral group rings of Conway simple groups

Authors: V. Bovdi, A. Konovalov, S. Linton

Abstract: Using the Luthar--Passi method, we investigate the possible orders and partial augmentations of torsion units of the normalized unit group of integral group rings of Conway simple groups $Co_1$, $Co_2$ and $Co_3$. Using the Luthar--Passi method, we investigate the possible orders and partial augmentations of torsion units of the normalized unit group of integral group rings of Conway simple groups $Co_1$, $Co_2$ and $Co_3$. △ Less

Submitted 20 December, 2010; originally announced December 2010.

Comments: 15 pages

Report number: CIRCA preprint 2010/12 MSC Class: 16S34; 20C05

Group rings whose group of units is hyperbolic

Authors: V. Bovdi

Abstract: We study those group rings whose group of units is hyperbolic. We study those group rings whose group of units is hyperbolic. △ Less

Submitted 14 September, 2010; originally announced September 2010.

Comments: 6 pages

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

Group algebras whose group of units is powerful

Authors: V. A. Bovdi

Abstract: A p-group is called powerful if every commutator is a product of pth powers when p is odd and a product of fourth powers when p=2. In the group algebra of a group G of p-power order over a finite field of characteristic p, the group of normalized units is always a p-group. We prove that it is never powerful except, of course, when G is abelian. A p-group is called powerful if every commutator is a product of pth powers when p is odd and a product of fourth powers when p=2. In the group algebra of a group G of p-power order over a finite field of characteristic p, the group of normalized units is always a p-group. We prove that it is never powerful except, of course, when G is abelian. △ Less

Submitted 4 June, 2009; originally announced June 2009.

Comments: 4 pages

MSC Class: 16S34; 16U60; 20C05

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

Normality in group rings

Authors: V. A. Bovdi, S. Siciliano

Abstract: Let $KG$ be the group ring of a group $G$ over a commutative ring $K$ with unity. The rings $KG$ are described for which $xx^σ=x^σx$ for all $x=\sum_{g\in G}α_gg\in KG$, where \quad $x\mapsto x^σ=~\sum_{g\in G}α_gf(g)σ(g)$\quad is an involution of $KG$; here $f: G\to U(K)$ is a homomorphism and $σ$ is an anti-automorphism of order two of $G$. Let $KG$ be the group ring of a group $G$ over a commutative ring $K$ with unity. The rings $KG$ are described for which $xx^σ=x^σx$ for all $x=\sum_{g\in G}α_gg\in KG$, where \quad $x\mapsto x^σ=~\sum_{g\in G}α_gf(g)σ(g)$\quad is an involution of $KG$; here $f: G\to U(K)$ is a homomorphism and $σ$ is an anti-automorphism of order two of $G$. △ Less

Submitted 7 April, 2008; originally announced April 2008.

Comments: 8 pages

MSC Class: 16S34

Journal ref: Algebra i Analiz 19 (2007), no. 2, 1--9

Twisted Group Rings Whose Units Form an FC-Group

Authors: Victor Bovdi

Abstract: Let U be the group of units of an infinite twisted group algebra K_λG over a field K. We describe the maximal FC-subgroup of U and give a characterization of U with finitely conjugacy classes. In the case of group algebras we obtain the Cliff-Sehgal-Zassenhaus' theorem. Let U be the group of units of an infinite twisted group algebra K_λG over a field K. We describe the maximal FC-subgroup of U and give a characterization of U with finitely conjugacy classes. In the case of group algebras we obtain the Cliff-Sehgal-Zassenhaus' theorem. △ Less

Submitted 18 March, 2008; originally announced March 2008.

Comments: 18 pages

MSC Class: 16S35; 20C07; 16U60

Journal ref: Canad. J. Math. 47 (1995), no. 2, 274--289

Integral group ring of the Suzuki sporadic simple group

Authors: V. A. Bovdi, A. B. Konovalov, E. N. Marcos

Abstract: Using the Luthar--Passi method, we investigate the classical Zassenhaus conjecture for the normalized unit group of the integral group ring of the Suzuki sporadic simple group Suz. As a consequence, for this group we confirm the Kimmerle's conjecture on prime graphs. Using the Luthar--Passi method, we investigate the classical Zassenhaus conjecture for the normalized unit group of the integral group ring of the Suzuki sporadic simple group Suz. As a consequence, for this group we confirm the Kimmerle's conjecture on prime graphs. △ Less

Submitted 14 March, 2008; originally announced March 2008.

Comments: 12 pages

MSC Class: 16S34; 20C05; 20D08

On the unitary subgroup of modular group algebras

Authors: Victor Bovdi, Tibor Rozgonyi

Abstract: It this note we investigate the structure of the group of σ-unitary units in some noncommutative modular group algebras KG, where σis a non-classical ring involution of KG. It this note we investigate the structure of the group of σ-unitary units in some noncommutative modular group algebras KG, where σis a non-classical ring involution of KG. △ Less

Submitted 2 March, 2008; originally announced March 2008.

Comments: 5 pages

MSC Class: 16U60; 20C05; 16S34

Journal ref: Acta Acad. Paedagog. Nyhazi., Mat.-Inform. Kozl. 13/D, 1992, p.13-17

Structure of normal twisted group rings

Authors: V. Bovdi

Abstract: In this paper we describe those groups G and commutative rings K for which the twisted group rings K*G are f-normal. In this paper we describe those groups G and commutative rings K for which the twisted group rings K*G are f-normal. △ Less

Submitted 4 January, 2008; originally announced January 2008.

Comments: 12 pages

MSC Class: 16W25; 16S35

Journal ref: Publ. Math. Debrecen 51 (1997), no. 3-4, 279--293

Covering theorems for Artinian rings

Authors: A. Borbely, V. Bovdi, B. Brindza, T. Krausz

Abstract: The covering properties of Artinian rings which depend on their additive structure only, are investigated. The covering properties of Artinian rings which depend on their additive structure only, are investigated. △ Less

Submitted 4 January, 2008; originally announced January 2008.

Comments: 5 pages

MSC Class: 16P20

Journal ref: Publ. Math. Debrecen, 51/3--4, 1997, p.323--329

Symmetric units in integral group rings

Authors: V. Bovdi, M. M. Parmenter

Abstract: In this paper, we study the question of when the symmetric units in an integral group ring ZG form a multiplicative group. When G is periodic, necessary and sufficient conditions are given for this to occur. In this paper, we study the question of when the symmetric units in an integral group ring ZG form a multiplicative group. When G is periodic, necessary and sufficient conditions are given for this to occur. △ Less

Submitted 19 December, 2007; originally announced December 2007.

MSC Class: 16U60; 16S34

Journal ref: Publ. Math. Debrecen, 50/3--4, 1997, 369--372

Unitary units in modular group algebras

Authors: V. A. Bovdi, L. G. Kovács

Abstract: Let p be a prime, K a field of characteristic p, G a locally finite p-group, KG the group algebra, and V the group of the units of KG with augmentation 1. The anti-automorphism g\mapsto g^{-1} of G extends linearly to KG; this extension leaves V setwise invariant, and its restriction to V followed by v\mapsto v^{-1} lives an automorphism of V. The elements of V fixed by this automorphism are cal… ▽ More Let p be a prime, K a field of characteristic p, G a locally finite p-group, KG the group algebra, and V the group of the units of KG with augmentation 1. The anti-automorphism g\mapsto g^{-1} of G extends linearly to KG; this extension leaves V setwise invariant, and its restriction to V followed by v\mapsto v^{-1} lives an automorphism of V. The elements of V fixed by this automorphism are called unitary; they form a subgroup. Our first theorem describes the K and G for which this subgroup is normal in V. For each element g in G, let \bar{g} denote the sum (in KG) of the distinct powers of g. The elements 1+(g-1)h\bar{g} with g,h\in G are the bicyclic units of KG. Our second theorem describes the K and G for which all bicyclic units are unitary. △ Less

Submitted 1 November, 2007; originally announced November 2007.

Comments: 12 pages

MSC Class: 16U60; 16S34; 20C07

Journal ref: Manuscripta Math. 84 (1994), no. 1, 57--72

Symmetric units in modular group algebras

Authors: V. A. Bovdi, L. G. Kovacs, S. K. Sehgal

Abstract: Let p be a prime, G a locally finite p-group, K a commutative ring of characteristic p. The anti-automorphism g\mapsto g\m1 of G extends linearly to an anti-automorphism a\mapsto a^* of KG. An element a of KG is called symmetric if a^*=a. In this paper we answer the question: for which G and K do the symmetric units of KG form a multiplicative group. Let p be a prime, G a locally finite p-group, K a commutative ring of characteristic p. The anti-automorphism g\mapsto g\m1 of G extends linearly to an anti-automorphism a\mapsto a^* of KG. An element a of KG is called symmetric if a^*=a. In this paper we answer the question: for which G and K do the symmetric units of KG form a multiplicative group. △ Less

Submitted 1 November, 2007; originally announced November 2007.

Comments: 6 pages

MSC Class: 16U60 ; 16S34

Journal ref: Comm. Algebra 24 (1996), no. 3, 803--808

Integral group ring of Rudvalis simple group

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

Abstract: Using the Luthar-Passi method, we investigate the classical Zassenhaus conjecture for the normalized unit group of the integral group ring of the Rudvalis sporadic simple group Ru. As a consequence, for this group we confirm Kimmerle's conjecture on prime graphs. Using the Luthar-Passi method, we investigate the classical Zassenhaus conjecture for the normalized unit group of the integral group ring of the Rudvalis sporadic simple group Ru. As a consequence, for this group we confirm Kimmerle's conjecture on prime graphs. △ Less

Submitted 30 November, 2008; v1 submitted 21 May, 2007; originally announced May 2007.

Comments: 8 pages; updated bibliography; improved presentation of results in the main theorem

MSC Class: 16S34; 20C05; 20D08