Showing 1–44 of 44 results for author: Bovdi, A

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

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

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

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

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

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

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

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

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

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

Integral group ring of the McLaughlin simple group

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

Abstract: We consider the Zassenhaus conjecture for the normalized unit group of the integral group ring of the McLaughlin sporadic group McL. As a consequence, we confirm for this group the Kimmerle's conjecture on prime graphs. We consider the Zassenhaus conjecture for the normalized unit group of the integral group ring of the McLaughlin sporadic group McL. As a consequence, we confirm for this group the Kimmerle's conjecture on prime graphs. △ Less

Submitted 21 May, 2007; originally announced May 2007.

Comments: 8 pages

MSC Class: 16S34; 20C05; 20D08

Torsion units in integral group ring of Higman-Sims 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 Higman-Sims simple sporadic group HS. As a consequence, we confirm the Kimmerle's conjecture on prime graphs for this sporadic group. Using the Luthar-Passi method, we investigate the classical Zassenhaus conjecture for the normalized unit group of the integral group ring of the Higman-Sims simple sporadic group HS. As a consequence, we confirm the Kimmerle's conjecture on prime graphs for this sporadic group. △ Less

Submitted 16 May, 2007; originally announced May 2007.

Comments: 10 pages

Integral group ring of the Mathieu simple group M24

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

Abstract: We consider the Zassenhaus conjecture for the normalized unit group of the integral group ring of the Mathieu sporadic group $M_{24}$. As a consequence, for this group we confirm Kimmerle's conjecture on prime graphs. We consider the Zassenhaus conjecture for the normalized unit group of the integral group ring of the Mathieu sporadic group $M_{24}$. As a consequence, for this group we confirm Kimmerle's conjecture on prime graphs. △ Less

Submitted 14 May, 2007; originally announced May 2007.

Comments: 12 pages

MSC Class: 16S34; 20C05; 20D08

Torsion units in integral group ring of the Mathieu simple group M22

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

Abstract: We investigate the possible character values of torsion units of the normalized unit group of the integral group ring of Mathieu sporadic group $M_{22}$. We confirm the Kimmerle conjecture on prime graphs for this group and specify the partial augmentations for possible counterexamples to the stronger Zassenhaus conjecture. We investigate the possible character values of torsion units of the normalized unit group of the integral group ring of Mathieu sporadic group $M_{22}$. We confirm the Kimmerle conjecture on prime graphs for this group and specify the partial augmentations for possible counterexamples to the stronger Zassenhaus conjecture. △ Less

Submitted 15 May, 2007; v1 submitted 27 April, 2007; originally announced April 2007.

Comments: 12 pages (8 pages + appendix), updated references

MSC Class: 16S34; 20C05; 20D08

Indecomposable linear groups

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

Abstract: Let G be a noncyclic group of order 4, and let K be the ring Z of rational integers, the localization of Z at the prime 2 and the ring of 2-adic integers, respectively. We describe, up to conjugacy, all of the indecomposable subgroups in the group GL(m,K) which are isomorphic to G. Let G be a noncyclic group of order 4, and let K be the ring Z of rational integers, the localization of Z at the prime 2 and the ring of 2-adic integers, respectively. We describe, up to conjugacy, all of the indecomposable subgroups in the group GL(m,K) which are isomorphic to G. △ Less

Submitted 1 March, 2007; originally announced March 2007.

Comments: 9 pages

MSC Class: 20H15; 20C10; 20C11

Units of commutative group algebra with involution

Authors: A. Bovdi, A. Szakacs

Abstract: Let p be an odd prime, F the field of p elements and G a finite abelian p-group with an arbitrary involutory automorphism. Extend this automorphism to the group algebra FG and consider the unitary and the symmetric normalized units of FG. This paper provides bases and determines the invariants of the two subgroups formed by these units. Let p be an odd prime, F the field of p elements and G a finite abelian p-group with an arbitrary involutory automorphism. Extend this automorphism to the group algebra FG and consider the unitary and the symmetric normalized units of FG. This paper provides bases and determines the invariants of the two subgroups formed by these units. △ Less

Submitted 30 January, 2007; originally announced January 2007.

Comments: 10 pages

MSC Class: 16S34; 16U60; 20C05

Lie nilpotency indices of modular group algebras

Authors: V. A. Bovdi, J. B. Srivastava

Abstract: Let K be a field of positive characteristic p and KG the group algebra of a group G. It is known that if KG is Lie nilpotent then its upper (or lower) Lie nilpotency index is at most |G'|+1, where |G'| is the order of the commutator subgroup. The class of groups G for which these indices are maximal or almost maximal have already been determined. Here we determine G for which upper (or lower) Li… ▽ More Let K be a field of positive characteristic p and KG the group algebra of a group G. It is known that if KG is Lie nilpotent then its upper (or lower) Lie nilpotency index is at most |G'|+1, where |G'| is the order of the commutator subgroup. The class of groups G for which these indices are maximal or almost maximal have already been determined. Here we determine G for which upper (or lower) Lie nilpotency index is the next highest possible. △ Less

Submitted 28 December, 2006; originally announced December 2006.

Comments: 9 pages

MSC Class: 16S34; 17B30

Integral group ring of the Mathieu simple group M23

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

Abstract: We investigate the classical Zassenhaus conjecture for the unit group of the integral group ring of Mathieu simple group M23 using the Luthar-Passi method. This work is a continuation of the research that we carried out for Mathieu groups M11 and M12. As a consequence, for this group we confirm Kimmerle's conjecture on prime graphs. We investigate the classical Zassenhaus conjecture for the unit group of the integral group ring of Mathieu simple group M23 using the Luthar-Passi method. This work is a continuation of the research that we carried out for Mathieu groups M11 and M12. As a consequence, for this group we confirm Kimmerle's conjecture on prime graphs. △ Less

Submitted 8 May, 2007; v1 submitted 21 December, 2006; originally announced December 2006.

Comments: 9 pages, updated bibliography and corrected part (i) of the Theorem

MSC Class: 16S34; 20C05; 20D08

Integral group ring of the Mathieu simple group M12

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

Abstract: We consider the Zassenhaus conjecture for the normalized unit group of the integral group ring of the Mathieu sporadic group M12. As a consequence, we confirm for this group the Kimmerle's conjecture on prime graphs. We consider the Zassenhaus conjecture for the normalized unit group of the integral group ring of the Mathieu sporadic group M12. As a consequence, we confirm for this group the Kimmerle's conjecture on prime graphs. △ Less

Submitted 5 May, 2007; v1 submitted 21 December, 2006; originally announced December 2006.

Comments: 12 pages; bibliography updated; typos corrected

MSC Class: 16S34; 20C05; 20D08

Journal ref: Rend. Circ. Mat. Palermo (2), 56 (2007), 125-136

Torsion units in integral group rings of Janko simple groups

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

Abstract: Using the Luthar--Passi method, we investigate the classical Zassenhaus conjecture for the normalized unit group of integral group rings of Janko sporadic simple groups. As a consequence, we obtain that the Gruenberg-Kegel graph of the Janko groups $J_1$, $J_2$ and $J_3$ is the same as that of the normalized unit group of their respective integral group ring. Using the Luthar--Passi method, we investigate the classical Zassenhaus conjecture for the normalized unit group of integral group rings of Janko sporadic simple groups. As a consequence, we obtain that the Gruenberg-Kegel graph of the Janko groups $J_1$, $J_2$ and $J_3$ is the same as that of the normalized unit group of their respective integral group ring. △ Less

Submitted 5 May, 2010; v1 submitted 17 August, 2006; originally announced August 2006.

Comments: 23 pages, to appear in Math.Comp.

MSC Class: 16S34; 20C05; 20D08

Integral group ring of the first Mathieu simple group

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

Abstract: We investigated the classical Zassenhaus conjecture for the normalized unit group of the integral group ring of the simple Mathieu group M11. As a consequence, for this group we confirm the conjecture by Kimmerle about prime graphs. We investigated the classical Zassenhaus conjecture for the normalized unit group of the integral group ring of the simple Mathieu group M11. As a consequence, for this group we confirm the conjecture by Kimmerle about prime graphs. △ Less

Submitted 12 May, 2006; originally announced May 2006.

Comments: 10 pages

MSC Class: 16S34; 20C05; 20D08

Journal ref: Groups St Andrews 2005. Vol.I, volume 339 of London Math. Soc. Lecture Note Ser., p.237-245. Cambridge Univ. Press, Cambridge, 2007

Group algebras with unit group of class $p$

Authors: Zs. Balogh, A. Bovdi

Abstract: Let V(F_pG) be the group of normalized units of the group algebra F_pG of a finite nonabelian p-group G over the field F_p of p elements. Our goal is to investigate the power structure of V(F_pG), when it has nilpotency class p. As a consequence, we have proved that if G and H are p-groups with cyclic Frattini subgroups and p>2, then V(F_pG) is isomorphic to V(F_pH) if and only if G and H are is… ▽ More Let V(F_pG) be the group of normalized units of the group algebra F_pG of a finite nonabelian p-group G over the field F_p of p elements. Our goal is to investigate the power structure of V(F_pG), when it has nilpotency class p. As a consequence, we have proved that if G and H are p-groups with cyclic Frattini subgroups and p>2, then V(F_pG) is isomorphic to V(F_pH) if and only if G and H are isomorphic. △ Less

Submitted 18 July, 2005; originally announced July 2005.

MSC Class: 16A46; 16A26; 20C05; 19A22

Journal ref: Publ. Math. Debrecen 65 (2004), no. 3-4, 261-268

On units of group algebras of 2-groups of maximal class

Authors: Zs. Balogh, A. Bovdi

Abstract: We determine the number of elements of order two in the group of normalized units V(F_2G) of the group algebra F_2G of a 2-group of maximal class over the field F_2 of two elements. As a consequence for the 2-groups G and H of maximal class we have that V(F_2G) and V(F_2H) are isomorphic if and only if G and H are isomorphic. We determine the number of elements of order two in the group of normalized units V(F_2G) of the group algebra F_2G of a 2-group of maximal class over the field F_2 of two elements. As a consequence for the 2-groups G and H of maximal class we have that V(F_2G) and V(F_2H) are isomorphic if and only if G and H are isomorphic. △ Less

Submitted 11 July, 2005; originally announced July 2005.

MSC Class: 16A46; 16A26; 20C05; 19A22

Journal ref: Comm. Algebra 32 (2004), no. 8, 3227--3245

Extensions of the representation modules of a prime order group

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

Abstract: For the ring R of integers of a ramified extension of the field of p-adic numbers and a cyclic group G of prime order p we study the extensions of the additive groups of R-representations modules of G by the group G. For the ring R of integers of a ramified extension of the field of p-adic numbers and a cyclic group G of prime order p we study the extensions of the additive groups of R-representations modules of G by the group G. △ Less

Submitted 2 September, 2005; v1 submitted 7 July, 2005; originally announced July 2005.

Comments: 10 pages

MSC Class: 16U60; 16W10

Torsion-free crystallographic groups with indecomposable holonomy group

Authors: V. A. Bovdi, P. M. Gudivok, V. P. Rudko

Abstract: Let K be a principal ideal domain, G a finite group, and M a KG-module which as K-module is free of finite rank, and on which $G$ acts faithfully. A generalized crystallographic group (introduced by the authors in volume 5 of Journal of Group Theory) is a group $\frak C$ which has a normal subgroup isomorphic to M with quotient G, such that conjugation in $\frak C$ gives the same action of G on… ▽ More Let K be a principal ideal domain, G a finite group, and M a KG-module which as K-module is free of finite rank, and on which $G$ acts faithfully. A generalized crystallographic group (introduced by the authors in volume 5 of Journal of Group Theory) is a group $\frak C$ which has a normal subgroup isomorphic to M with quotient G, such that conjugation in $\frak C$ gives the same action of G on M that we started with. (When $K=\Bbb Z$, these are just the classical crystallographic groups.) The K-free rank of M is said to be the dimension of $\frak C$, the holonomy group of $\frak C$ is G, and $\frak C$ is called indecomposable if M is an indecomposable KG-module. Let K be either $\Bbb Z$, or its localization $\Bbb Z_{(p)}$ at the prime p, or the ring $\Bbb Z_p$ of p-adic integers, and consider indecomposable torsionfree generalized crystallographic groups whose holonomy group is noncyclic of order p^2. In Theorem 2, we prove that (for any given p) the dimensions of these groups are not bounded. For $K=\Bbb Z$, we show in Theorem 3 that there are infinitely many non-isomorphic indecomposable torsionfree crystallographic groups with holonomy group the alternating group of degree 4. In Theorem 1, we look at a cyclic G whose order |G| satisfies the following condition: for all prime divisors p of |G|, p^2 also divides G, and for at least one p, even p^3 does. We prove that then every product of |G| with a positive integer coprime to it occurs as the dimension of some indecomposable torsionfree crystallographic group with holonomy group G. △ Less

Submitted 5 January, 2004; v1 submitted 30 December, 2003; originally announced December 2003.

Comments: 15 pages

MSC Class: 20H15 ; 20C10; 20C11

Torsion free groups with indecomposable holonomy group I

Authors: V. A. Bovdi, P. M. Gudivok, V. P. Rudko

Abstract: We study the torsion free generalized crystallographic groups with the indecomposable holonomy group which is isomorphic to either a cyclic group of order ${p^s}$ or a direct product of two cyclic groups of order ${p}$. We study the torsion free generalized crystallographic groups with the indecomposable holonomy group which is isomorphic to either a cyclic group of order ${p^s}$ or a direct product of two cyclic groups of order ${p}$. △ Less

Submitted 3 July, 2001; originally announced July 2001.

Comments: 22 pages, AMS-TeX

MSC Class: Primary 20F14; 20D10; 20F05