Showing 1–24 of 24 results for author: Murashka, V

On the Length of a Maximal Subgroup of a Finite Group

Authors: Viachaslau I. Murashka, Alexander F. Vasil'ev

Abstract: For a finite group $G$ and its maximal subgroup $M$ we proved that the generalized Fitting height of $M$ can't be less by 2 than the generalized Fitting height of $G$ and the non-$p$-soluble length of $M$ can't be less by 1 than the non-$p$-soluble length of $G$. We constructed a hereditary saturated formation $\mathfrak{F}$ such that $\{n_σ(G, \mathfrak{F})-n_σ(M, \mathfrak{F})\mid G$ is finite… ▽ More For a finite group $G$ and its maximal subgroup $M$ we proved that the generalized Fitting height of $M$ can't be less by 2 than the generalized Fitting height of $G$ and the non-$p$-soluble length of $M$ can't be less by 1 than the non-$p$-soluble length of $G$. We constructed a hereditary saturated formation $\mathfrak{F}$ such that $\{n_σ(G, \mathfrak{F})-n_σ(M, \mathfrak{F})\mid G$ is finite $σ$-soluble and $M$ is a maximal subgroup of $G\}=\mathbb{N}\cup\{0\}$ where $n_σ(G, \mathfrak{F})$ denotes the $σ$-nilpotent length of the $\mathfrak{F}$-residual of $G$. This construction shows the results about the generalized lengths of maximal subgroups published in Math. Nachr. (1994) and Mathematics (2020) are not correct. △ Less

Submitted 31 March, 2025; originally announced March 2025.

Formations of Finite Groups in Polynomial Time: the $\mathfrak{F}$-Hypercenter

Authors: Viachaslau I. Murashka

Abstract: For a wide family of formations $\mathfrak{F}$ (which includes Baer-local formations) it is proved that the $ \mathfrak{F}$-hypercenter of a permutation finite group can be computed in polynomial time. In particular, the algorithms for computing the $\mathfrak{F}$-hypercenter for the following classes of groups are suggested: hereditary local formations with the Shemetkov property, rank formations… ▽ More For a wide family of formations $\mathfrak{F}$ (which includes Baer-local formations) it is proved that the $ \mathfrak{F}$-hypercenter of a permutation finite group can be computed in polynomial time. In particular, the algorithms for computing the $\mathfrak{F}$-hypercenter for the following classes of groups are suggested: hereditary local formations with the Shemetkov property, rank formations, formations of all quasinilpotent, Sylow tower, $p$-nilpotent, supersoluble, $w$-supersoluble and $SC$-groups. For some of these formations algorithms for the computation of the intersection of all maximal $\mathfrak{F}$-subgroups are suggested. △ Less

Submitted 18 July, 2024; originally announced July 2024.

MSC Class: 20D10; 20B40

Formations of Finite Groups in Polynomial Time: the $\mathfrak{F}$-Radical

Authors: Viachaslau I. Murashka

Abstract: For a Baer-local (composition) Fitting formation $\mathfrak{F}$ the polynomial time algorithm for the computation of the $\mathfrak{F}$-radical of a permutation group is suggested. In particular it is showed how one can compute the $\mathfrak{F}$-radical in case when $\mathfrak{F}$ is a primitive saturated formation of soluble groups. Moreover, the polynomial time algorithms for the computation of… ▽ More For a Baer-local (composition) Fitting formation $\mathfrak{F}$ the polynomial time algorithm for the computation of the $\mathfrak{F}$-radical of a permutation group is suggested. In particular it is showed how one can compute the $\mathfrak{F}$-radical in case when $\mathfrak{F}$ is a primitive saturated formation of soluble groups. Moreover, the polynomial time algorithms for the computation of different lengthes associated with a group are presented. △ Less

Submitted 17 July, 2024; originally announced July 2024.

MSC Class: 20D10; 20B40

Constructing regular saturated formations of finite soluble groups

Authors: Viachaslau I. Murashka

Abstract: For a formation $\mathfrak{F}$ of finite groups consider a graph whose vertices are elements of a finite group and two vertices are connected by an edge if and only if they generates non-$\mathfrak{F}$-group as elements of a group. A hereditary formation $\mathfrak{F}$ is called regular if the set of all isolated vertices of the described graph coincides with the intersection of all maximal… ▽ More For a formation $\mathfrak{F}$ of finite groups consider a graph whose vertices are elements of a finite group and two vertices are connected by an edge if and only if they generates non-$\mathfrak{F}$-group as elements of a group. A hereditary formation $\mathfrak{F}$ is called regular if the set of all isolated vertices of the described graph coincides with the intersection of all maximal $\mathfrak{F}$-subgroups in every group. The constructive description of saturated regular formations of soluble groups which improves the results of Lucchini and Nemmi is obtained in this paper. In particular, it is showed that saturated regular non-empty formations of soluble groups are just hereditary formations $\mathfrak{F}$ of soluble groups that contains every group all whose cyclic primary subgroups are $K$-$\mathfrak{F}$-subnormal. Also we prove that the lattice of saturated regular formations of soluble groups is lattice isomorphic to the Steinitz's lattice. △ Less

Submitted 26 June, 2024; originally announced June 2024.

MSC Class: 20D10; 06B23

$σ$-properties of finite groups in polynomial time

Authors: Viachaslau I. Murashka

Abstract: Let $H, K$ be subgroups of the permutation group $G$ of degree $n$ with $K\trianglelefteq G$ and $σ$ be a partition of the set of all different prime divisors of $|G/K|$. We prove that in polynomial time (in $n$) one can check $G/K$ for $σ$-nilpotency and $σ$-solubility; $H/K$ for $σ$-subnormality and $σ$-$p$-permutability in $G/K$. Moreover one can find the least partition $σ$ of $π(G/K)$ for whi… ▽ More Let $H, K$ be subgroups of the permutation group $G$ of degree $n$ with $K\trianglelefteq G$ and $σ$ be a partition of the set of all different prime divisors of $|G/K|$. We prove that in polynomial time (in $n$) one can check $G/K$ for $σ$-nilpotency and $σ$-solubility; $H/K$ for $σ$-subnormality and $σ$-$p$-permutability in $G/K$. Moreover one can find the least partition $σ$ of $π(G/K)$ for which $G/K$ is $σ$-nilpotent. Also one can find the least partition $σ$ of $π(G/K)$ for which $H/K$ is $σ$-$p$-permutable in $G/K$. △ Less

Submitted 10 June, 2024; originally announced June 2024.

MSC Class: 20D20; 20B40

A test for a local formation of finite groups to be a formation of soluble groups with the Shemetkov property

Authors: V. I. Murashka

Abstract: L.A. Shemetkov posed a Problem 9.74 in Kourovka Notebook to find all local formations $\mathfrak{F}$ of finite groups such that every finite minimal non-$\mathfrak{F}$-group is either a Schmidt group or a group of prime order. All known solutions to this problem are obtained under the assumption that every minimal non-$\mathfrak{F}$-group is soluble. Using the above mentioned solutions we present… ▽ More L.A. Shemetkov posed a Problem 9.74 in Kourovka Notebook to find all local formations $\mathfrak{F}$ of finite groups such that every finite minimal non-$\mathfrak{F}$-group is either a Schmidt group or a group of prime order. All known solutions to this problem are obtained under the assumption that every minimal non-$\mathfrak{F}$-group is soluble. Using the above mentioned solutions we present a polynomial in $n$ time check for a local formation $\mathfrak{F}$ with bounded $π(\mathfrak{F})$ to be a formation of soluble groups with the Shemtkov property where $n=\max π(\mathfrak{F})$. △ Less

Submitted 30 May, 2024; originally announced May 2024.

MSC Class: 20D10; 20F19

Arithmetic graphs and the products of finite groups

Authors: Viachaslau I. Murashka

Abstract: The Hawkes graph $Γ_H(G)$ of $G$ is the directed graph whose vertex set coincides with $π(G)$ and it has the edge $(p, q)$ whenever $q\inπ(G/O_{p',p}(G))$. The Sylow graph $Γ_s(G)$ of $G$ is the directed graph with vertex set $π(G)$ and $(p, q)$ is an edge of $Γ_s(G)$ whenever $q \inπ(N_G(P)/PC_G(P))$ for some Sylow $p$-subgroup $P$ of $G$. The $N$-critical graph $Γ_{Nc}(G)$ of a group $G$ the dir… ▽ More The Hawkes graph $Γ_H(G)$ of $G$ is the directed graph whose vertex set coincides with $π(G)$ and it has the edge $(p, q)$ whenever $q\inπ(G/O_{p',p}(G))$. The Sylow graph $Γ_s(G)$ of $G$ is the directed graph with vertex set $π(G)$ and $(p, q)$ is an edge of $Γ_s(G)$ whenever $q \inπ(N_G(P)/PC_G(P))$ for some Sylow $p$-subgroup $P$ of $G$. The $N$-critical graph $Γ_{Nc}(G)$ of a group $G$ the directed graph whose vertex set coincides with $π(G)$ such that $(p, q)$ is an edge of $Γ_{Nc}(G)$ whenever $G$ contains a Schmidt $(p, q)$-subgroup, i.e. a Schmidt $\{p, q\}$-subgroup with a normal Sylow $p$-subgroup. In the paper the Hawkes, the Sylow and the $N$-critical graphs of the products of totally permutable, mutually permutable and $\mathfrak{N}$-connected subgroups are studied. △ Less

Submitted 23 March, 2023; originally announced March 2023.

MSC Class: 20D40

On the Generalized Fitting Height and Nonsoluble Length of the Mutually Permutable Products of Finite Groups

Authors: Viachaslau I. Murashka, Alexander F. Vasil'ev

Abstract: The generalized Fitting height $h^*(G)$ of a finite group $G$ is the least number $h$ such that $\mathrm{F}_h^* (G) = G$, where $\mathrm{F}_{(0)}^* (G) = 1$, and $\mathrm{F}_{(i+1)}^*(G)$ is the inverse image of the generalized Fitting subgroup $\mathrm{F}^*(G/\mathrm{F}^*_{(i)} (G))$. Let $p$ be a prime, $1=G_0\leq G_1\leq\dots\leq G_{2h+1}=G$ be the shortest normal series in which for $i$ odd th… ▽ More The generalized Fitting height $h^*(G)$ of a finite group $G$ is the least number $h$ such that $\mathrm{F}_h^* (G) = G$, where $\mathrm{F}_{(0)}^* (G) = 1$, and $\mathrm{F}_{(i+1)}^*(G)$ is the inverse image of the generalized Fitting subgroup $\mathrm{F}^*(G/\mathrm{F}^*_{(i)} (G))$. Let $p$ be a prime, $1=G_0\leq G_1\leq\dots\leq G_{2h+1}=G$ be the shortest normal series in which for $i$ odd the factor $G_{i+1}/G_i$ is $p$-soluble (possibly trivial), and for $i$ even the factor $G_{i+1}/G_i$ is a (non-empty) direct product of nonabelian simple groups. Then $h=λ_p(G)$ is called the non-$p$-soluble length of a group $G$. We proved that if a finite group $G$ is a mutually permutable product of of subgroups $A$ and $B$ then $\max\{h^*(A), h^*(B)\}\leq h^*(G)\leq \max\{h^*(A), h^*(B)\}+1$ and $\max\{λ_p(A), λ_p(B)\}= λ_p(G)$. Also we introduced and studied the non-Frattini length. △ Less

Submitted 5 January, 2023; originally announced January 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2103.13354

MSC Class: 20D40; 20D25

Formations of Finite Groups in Polynomial Time: $\mathfrak{F}$-residuals and $\mathfrak{F}$-subnormality

Authors: Viachaslau I. Murashka

Abstract: For a wide family of formations $\mathfrak{F}$ it is proved that the $ \mathfrak{F}$-residual of a permutation finite group can be computed in a polynomial time. Moreover, if in the previous case $\mathfrak{F}$ is hereditary, then an $\mathfrak{F}$-subnormality of a subgroup can be checked in a polynomial time. For a wide family of formations $\mathfrak{F}$ it is proved that the $ \mathfrak{F}$-residual of a permutation finite group can be computed in a polynomial time. Moreover, if in the previous case $\mathfrak{F}$ is hereditary, then an $\mathfrak{F}$-subnormality of a subgroup can be checked in a polynomial time. △ Less

Submitted 25 May, 2022; originally announced May 2022.

MSC Class: 20D10; 20B40

On ECP-Groups

Authors: Viachaslau I. Murashka

Abstract: According to T. Foguel a subgroup $H$ of a group $G$ is called conjugate-permutable if $ HH^x=H^xH$ for every $x\in G$. Mingyao Xu and Qinhai Zhang studied finite groups with every subgroup conjugate-permutable (ECP-groups) and asked three questions about them. We gave the answers on these questions. In particular, every group of exponent 3 is ECP-group, there exist non-regular ECP-$3$-groups and… ▽ More According to T. Foguel a subgroup $H$ of a group $G$ is called conjugate-permutable if $ HH^x=H^xH$ for every $x\in G$. Mingyao Xu and Qinhai Zhang studied finite groups with every subgroup conjugate-permutable (ECP-groups) and asked three questions about them. We gave the answers on these questions. In particular, every group of exponent 3 is ECP-group, there exist non-regular ECP-$3$-groups and the class of all finite ECP-groups is neither formation nor variety. △ Less

Submitted 17 June, 2021; originally announced June 2021.

MSC Class: 20D15 (Primary) 20D35 (Secondary)

Fitting like subgroups of finite groups

Authors: Viachaslau I. Murashka, Alexander F. Vasil'ev

Abstract: In this paper the concept of $\mathbb{F}$-functorial of a finite group was introduced. These functorials have many properties of the Fitting subgroup of a soluble group and the generalized Fitting subgroup of a finite group. It was shown that the set of all $\mathbb{F}$-functorials is a complete distributive lattice and the cardinality of this lattice is continuum. The sharp bounds on the generali… ▽ More In this paper the concept of $\mathbb{F}$-functorial of a finite group was introduced. These functorials have many properties of the Fitting subgroup of a soluble group and the generalized Fitting subgroup of a finite group. It was shown that the set of all $\mathbb{F}$-functorials is a complete distributive lattice and the cardinality of this lattice is continuum. The sharp bounds on the generalized Fitting height of mutually permutable product of two subgroups were obtained. △ Less

Submitted 24 March, 2021; originally announced March 2021.

MSC Class: 20D25; 20F17; 20F19

A generalization of Hall's theorem on hypercenter

Authors: Viachaslau I. Murashka, Alexander F. Vasil'ev

Abstract: Let $ σ$ be a partition of the set of all primes and $\mathfrak{F}$ be a hereditary formation. We described all formations $\mathfrak{F}$ for which the $\mathfrak{F}$-hypercenter and the intersection of weak $K$-$\mathfrak{F}$-subnormalizers of all Sylow subgroups coincide in every group. In particular the formation of all $σ$-nilpotent groups has this property. With the help of our results we sol… ▽ More Let $ σ$ be a partition of the set of all primes and $\mathfrak{F}$ be a hereditary formation. We described all formations $\mathfrak{F}$ for which the $\mathfrak{F}$-hypercenter and the intersection of weak $K$-$\mathfrak{F}$-subnormalizers of all Sylow subgroups coincide in every group. In particular the formation of all $σ$-nilpotent groups has this property. With the help of our results we solve a particular case of L.A.~Shemetkov's problem about the intersection of $\mathfrak{F}$-maximal subgroups and the $\mathfrak{F}$-hypercenter. As corollaries we obtained P. Hall's and R. Baer's classical results about the hypercenter. We proved that the non-$σ$-nilpotent graph of a group is connected and its diameter is at most 3. △ Less

Submitted 16 August, 2021; v1 submitted 8 March, 2021; originally announced March 2021.

Comments: arXiv admin note: substantial text overlap with arXiv:2009.04720. In this version Theorem 1 is improved and a new application of the main result is added

MSC Class: Primary 20D25; Secondary 20F17; 20F19

On a generalization of one Kramer's theorem

Authors: Viachaslau I. Murashka

Abstract: Yangming Li and Xianhua Li in 2012 proposed a conjecture that generalizes O.U. Kramer's result about supersoluble groups. Here we proved that this conjecture is false in the general case and true for groups with the trivial Frattini subgroup. Yangming Li and Xianhua Li in 2012 proposed a conjecture that generalizes O.U. Kramer's result about supersoluble groups. Here we proved that this conjecture is false in the general case and true for groups with the trivial Frattini subgroup. △ Less

Submitted 16 September, 2020; originally announced September 2020.

MSC Class: 20F16 (Primary) 20F17; 20D25 (Secondary)

On some applications of Fitting like subgroups of finite groups

Authors: Viachaslau I. Murashka, Alexander F. Vasil'ev

Abstract: In this paper we study the groups all whose maximal or all Sylow subgroups are $K$-$\mathfrak{F}$-subnormal in their product the with generalizations of the Fitting subgroup $\mathrm{F}^*(G)$ and $\mathrm{\tilde F}(G)$. We prove that a hereditary formation $\mathfrak{F}$ contains every group all whose Sylow subgroups are $K$-$\mathfrak{F}$-subnormal in their product with $\mathrm{F}^*(G)$ if and o… ▽ More In this paper we study the groups all whose maximal or all Sylow subgroups are $K$-$\mathfrak{F}$-subnormal in their product the with generalizations of the Fitting subgroup $\mathrm{F}^*(G)$ and $\mathrm{\tilde F}(G)$. We prove that a hereditary formation $\mathfrak{F}$ contains every group all whose Sylow subgroups are $K$-$\mathfrak{F}$-subnormal in their product with $\mathrm{F}^*(G)$ if and only if $\mathfrak{F}$ is the class of all $σ$-nilpotent groups for some partition $σ$ of the set of all primes. We obtain a new characterization of the $σ$-nilpotent hypercenter, i.e. the $\mathfrak{F}$-hypercenter and the normal largest subgroup which $K$-$\mathfrak{F}$-subnormalize all Sylow subgroups coincide if and only if $\mathfrak{F}$ is the class of all $σ$-nilpotent groups. △ Less

Submitted 10 September, 2020; originally announced September 2020.

MSC Class: 20D25 (Primary) 20F17; 20F19 (Secondary)

On one question of Shemetkov about composition formations

Authors: Viachaslau I. Murashka

Abstract: In this paper one construction of composition formations was introduced. This construction contains formations of quasinilpotent groups, $c$-supersoluble groups, groups defined by ranks of chief factors and some new classes of groups. A partial answer on a question of L.\,A. Shemetkov about the intersection of $\mathfrak{F}$-maximal subgroups and the $\mathfrak{F}$-hypercenter was given for these… ▽ More In this paper one construction of composition formations was introduced. This construction contains formations of quasinilpotent groups, $c$-supersoluble groups, groups defined by ranks of chief factors and some new classes of groups. A partial answer on a question of L.\,A. Shemetkov about the intersection of $\mathfrak{F}$-maximal subgroups and the $\mathfrak{F}$-hypercenter was given for these composition formations. △ Less

Submitted 7 April, 2019; originally announced April 2019.

Comments: arXiv admin note: substantial text overlap with arXiv:1711.01686

On Autonilpotent Finite Groups

Authors: V. I. Murashka

Abstract: In the paper autonilpotent groups were characterized as groups $G$ such that $\mathrm{Aut}G$ stabilizes some chain of subgroups of $G$. It was shown that a $p$-group is autonilpotent if and only if its group of automorphisms is also a $p$-group. Analogues of Baer's theorem about the hypercenter and Frobenius $p$-nilpotency criterion were obtained for autonilpotent groups. In the paper autonilpotent groups were characterized as groups $G$ such that $\mathrm{Aut}G$ stabilizes some chain of subgroups of $G$. It was shown that a $p$-group is autonilpotent if and only if its group of automorphisms is also a $p$-group. Analogues of Baer's theorem about the hypercenter and Frobenius $p$-nilpotency criterion were obtained for autonilpotent groups. △ Less

Submitted 5 November, 2017; originally announced November 2017.

On classes of finite groups with simple non-abelian chief factors

Authors: V. I. Murashka

Abstract: Let $\mathfrak{J}$ be a class of non-abelian simple groups and $\mathfrak{X}$ be a class of groups. A chief factor $H/K$ of a group $G$ is called $\mathfrak{X}$-central in $G$ provided $(H/K)\rtimes G/C_G(H/K)\in\mathfrak{X}$. We say that $G$ is a $\mathfrak{J}cs$-$\mathfrak{X}$-\emph{group} if every chief $\mathfrak{X}$-factor of $G$ is $\mathfrak{X}$-central and other chief factors of $G$ are si… ▽ More Let $\mathfrak{J}$ be a class of non-abelian simple groups and $\mathfrak{X}$ be a class of groups. A chief factor $H/K$ of a group $G$ is called $\mathfrak{X}$-central in $G$ provided $(H/K)\rtimes G/C_G(H/K)\in\mathfrak{X}$. We say that $G$ is a $\mathfrak{J}cs$-$\mathfrak{X}$-\emph{group} if every chief $\mathfrak{X}$-factor of $G$ is $\mathfrak{X}$-central and other chief factors of $G$ are simple $\mathfrak{J}$-groups. We use $\mathfrak{X}_{\mathfrak{J}cs}$ to denote the class of all $\mathfrak{J}cs$-$\mathfrak{X}$-groups. A subgroup $U$ of a group $G$ is called $\mathfrak{X}$-\emph{maximal} in $G$ provided that $(a)$ $U\in\mathfrak{X}$, and $(b)$ if $U\leq V \leq G$ and $V\in\mathfrak{X}$, then $U = V$. In this paper we described the structure of $\mathfrak{J}cs$-$\mathfrak{H}$-groups for a solubly saturated formation $\mathfrak{H}$ and all hereditary saturated formations $\mathfrak{F}$ containing all nilpotent groups such that the $\mathfrak{F}_{\mathfrak{J}cs}$-hypercenter of $G$ coincides with the intersection of all $\mathfrak{F}_{\mathfrak{J}cs}$-maximal subgroups of $G$ for every group $G$. △ Less

Submitted 5 November, 2017; originally announced November 2017.

On the quasi-$\mathfrak{F}$-hypercenter of a finite group

Authors: V. I. Murashka

Abstract: In this paper some properties of the $\mathfrak{F}^*$-hypercenter of a finite group are studied where $\mathfrak{F}^*$ is the class of all finite quasi-$\mathfrak{F}$-groups for a hereditary saturated formation $\mathfrak{F}$ of finite groups. In particular, it is shown that the quasinilpotent hypercenter of a finite group coincides with the intersection of all maximal quasinilpotent subgroups. In this paper some properties of the $\mathfrak{F}^*$-hypercenter of a finite group are studied where $\mathfrak{F}^*$ is the class of all finite quasi-$\mathfrak{F}$-groups for a hereditary saturated formation $\mathfrak{F}$ of finite groups. In particular, it is shown that the quasinilpotent hypercenter of a finite group coincides with the intersection of all maximal quasinilpotent subgroups. △ Less

Submitted 14 November, 2016; originally announced November 2016.

On a generalization of the concept of S-permutable subgroup of a finite group

Authors: V. I. Murashka

Abstract: Let $σ=\{π_i | i\in I$ and $π_i\capπ_j=\emptyset$ for all $i\neq j\}$ be a partition of the set of all primes into mutually disjoint subsets. In this paper we considered subgroups that permutes with given sets of $π_i$-maximal subgroups for all $π_i\in σ$. In particular we showed that such subgroups forms a sublattice of the lattice of all subgroups of a finite group. As corollaries we obtained so… ▽ More Let $σ=\{π_i | i\in I$ and $π_i\capπ_j=\emptyset$ for all $i\neq j\}$ be a partition of the set of all primes into mutually disjoint subsets. In this paper we considered subgroups that permutes with given sets of $π_i$-maximal subgroups for all $π_i\in σ$. In particular we showed that such subgroups forms a sublattice of the lattice of all subgroups of a finite group. As corollaries we obtained some well known results about $S$-permutable subgroups. △ Less

Submitted 10 October, 2016; originally announced October 2016.

On generalizations of Baer's theorems about the hypercenter of a finite group

Authors: V. I. Murashka

Abstract: We investigate the intersection of normalizers and $\mathfrak{F}$-subnormalizers of different types of systems of subgroups ($\mathfrak{F}$-maximal, Sylow, cyclic primary). We described all formations $\mathfrak{F}=\underset{i\in I}\times\mathfrak{F}_{π_i}$ for which the intersection of normalizers of all $\mathfrak{F}_i$-maximal subgroups of $G$ is the $\mathfrak{F}$-hypercenter of $G$ for every… ▽ More We investigate the intersection of normalizers and $\mathfrak{F}$-subnormalizers of different types of systems of subgroups ($\mathfrak{F}$-maximal, Sylow, cyclic primary). We described all formations $\mathfrak{F}=\underset{i\in I}\times\mathfrak{F}_{π_i}$ for which the intersection of normalizers of all $\mathfrak{F}_i$-maximal subgroups of $G$ is the $\mathfrak{F}$-hypercenter of $G$ for every group $G$. Also we described all formations $\mathfrak{F}$ for which the intersection of $\mathfrak{F}$-subnormalizers of all Sylow (cyclic primary) subgroups of $G$ is the $\mathfrak{F}$-hypercenter of $G$ for every group $G$. △ Less

Submitted 14 October, 2015; originally announced October 2015.

Arithmetic graphs of finite groups

Authors: V. I. Murashka, A. F. Vasil'ev

Abstract: In this paper we introduced an arithmetic graph function which associates with every group G the directed graph whose vertices corresponds to the divisors of |G|. With the help of such functions we introduced arithmetic graphs of classes of groups, in particular of hereditary saturated formations. We formulated the problem of the recognition of classes of groups by arithmetic graph functions and i… ▽ More In this paper we introduced an arithmetic graph function which associates with every group G the directed graph whose vertices corresponds to the divisors of |G|. With the help of such functions we introduced arithmetic graphs of classes of groups, in particular of hereditary saturated formations. We formulated the problem of the recognition of classes of groups by arithmetic graph functions and investigated this problem for some arithmetic graph functions. △ Less

Submitted 9 October, 2015; originally announced October 2015.

MSC Class: 20D10; 20D60; 20F17; 05C25

One formation of finite groups

Authors: Viachaslau I. Murashka

Abstract: It is shown that two formations of finite groups, one was introduced by V.S. Monakhov and V.N. Kniahina and another one was introduced by R. Brandl, are coincides. It is shown that two formations of finite groups, one was introduced by V.S. Monakhov and V.N. Kniahina and another one was introduced by R. Brandl, are coincides. △ Less

Submitted 1 December, 2013; originally announced December 2013.

Generalized Fitting subgroups of finite groups

Authors: V. I. Murashka, A. F. Vasil'ev

Abstract: In this paper we consider the Fitting subgroup $F(G)$ of a finite group $G$ and its generalizations: the quasinilpotent radical $F^*(G)$ and the generalized Fitting subgroup $\tilde{F}(G)$ defined by $\tilde{F}(G)\supseteq Φ(G)$ and $\tilde{F}(G)/Φ(G)=Soc(G/Φ(G))$. We sum up known properties of $\tilde{F}(G)$ and suggest some new ones. Let $R$ be a subgroup of a group $G$. We shall call a subgroup… ▽ More In this paper we consider the Fitting subgroup $F(G)$ of a finite group $G$ and its generalizations: the quasinilpotent radical $F^*(G)$ and the generalized Fitting subgroup $\tilde{F}(G)$ defined by $\tilde{F}(G)\supseteq Φ(G)$ and $\tilde{F}(G)/Φ(G)=Soc(G/Φ(G))$. We sum up known properties of $\tilde{F}(G)$ and suggest some new ones. Let $R$ be a subgroup of a group $G$. We shall call a subgroup $H$ of $G$ the $R$-subnormal subgroup if $H$ is subnormal in $ \langle H,R\rangle$. In this work the influence of $R$-subnormal subgroups (maximal, Sylow, cyclic primary) on the structure of finite groups are studied in the case when $R\in\{F(G), F^*(G),\tilde{F}(G)\}$. △ Less

Submitted 28 October, 2013; originally announced October 2013.

On partially conjugate-permutable subgroups of finite groups

Authors: V. I. Murashka, A. F. Vasil'ev

Abstract: Let $R$ be a subset of a group $G$. We call a subgroup $H$ of $G$ the $R$-conjugate-permutable subgroup of $G$, if $HH^{x}=H^{x}H$ for all $x\in R$. This concept is a generalization of conjugate-permutable subgroups introduced by T. Foguel. Our work focuses on the influence of $R$-conjugate-permutable subgroups on the structure of finite groups in case when $R$ is the Fitting subgroup or its gener… ▽ More Let $R$ be a subset of a group $G$. We call a subgroup $H$ of $G$ the $R$-conjugate-permutable subgroup of $G$, if $HH^{x}=H^{x}H$ for all $x\in R$. This concept is a generalization of conjugate-permutable subgroups introduced by T. Foguel. Our work focuses on the influence of $R$-conjugate-permutable subgroups on the structure of finite groups in case when $R$ is the Fitting subgroup or its generalizations $F^{*}(G)$ (introduced by H. Bender in 1970) and $\tilde{F}(G)$ (introduced by P. Shmid 1972). We obtain a new criteria for nilpotency and supersolubility of finite groups which generalize some well known results. △ Less

Submitted 1 June, 2012; originally announced June 2012.