Showing 1–10 of 10 results for author: Salim, M A

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

The variety of dual mock-Lie algebras

Authors: Luisa M. Camacho, Ivan Kaygorodov, Victor Lopatkin, Mohamed A. Salim

Abstract: We classify all complex $7$- and $8$-dimensional dual mock-Lie algebras by algebraic and geometric way. Also we find all non-trivial complex $9$-dimensional dual mock-Lie algebras. We classify all complex $7$- and $8$-dimensional dual mock-Lie algebras by algebraic and geometric way. Also we find all non-trivial complex $9$-dimensional dual mock-Lie algebras. △ Less

Submitted 1 October, 2019; originally announced October 2019.

Comments: arXiv admin note: substantial text overlap with arXiv:1905.05361 and text overlap with arXiv:1907.00685

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

From regular modules to von Neumann regular rings via coordinatization

Authors: Leonard Dăuş, Mohamed A. Salim

Abstract: In this paper we establish a very close link (in terms of von Neumann's coordinatization) between regular modules introduced by Zelmanowitz, on one hand, and von Neumann regular rings, on the other hand: we prove that the lattice $\mathcal{L}^{fg}(M)$ of all finitely generated submodules of a finitely generated regular module $M$, over an arbitrary ring, can be coordinatized as the lattice of all… ▽ More In this paper we establish a very close link (in terms of von Neumann's coordinatization) between regular modules introduced by Zelmanowitz, on one hand, and von Neumann regular rings, on the other hand: we prove that the lattice $\mathcal{L}^{fg}(M)$ of all finitely generated submodules of a finitely generated regular module $M$, over an arbitrary ring, can be coordinatized as the lattice of all principal right ideals of some von Neumann regular ring $S$. △ Less

Submitted 5 December, 2013; originally announced December 2013.