Минск
Minsk
Все рассматриваемые группы конечны. Пусть $\sigma =\{\sigma_{i} \mid i\in I \}$ – некоторое разбиение множества всех простых чисел, $G$ – группа, $\sigma (G)=\{\sigma_i\mid \sigma_i\bigcap \pi (G)\ne \varnothing\} $, $\mathfrak F$ – класс групп и $\sigma (\mathfrak{F})=\bigcup_{G\in \mathfrak{F}}\sigma (G).$ Функцию $f$ вида $f:\sigma \to\{\text{формации групп}\}$ называют формационной σ‑функцией. Для любой формационной σ‑функции $f$ класс $LF_{\sigma}(f)$ определяют следующим образом: $LF_{\sigma}(f)=(G \mid G=1 \ \text{или }\ G\ne 1\ \text{и }\ G/O_{\sigma_i', \sigma_i}(G) \in f(\sigma_{i}) \ \text{ для всех } \sigma_i \in \sigma(G)).$ Если для некоторой формационной σ‑функции $f$ имеем $\mathfrak{F}=LF_{\sigma}(f),$ то класс $\mathfrak{F}$ называют $\sigma $-локальным, а σ‑функцию $f$ называют σ‑локальным определением $ \mathfrak{F}.$ Каждую формацию считают 0‑кратно σ‑локальной. Для $n \geqslant 1,$ формацию $\mathfrak{F}$ называют $n$-кратно $\sigma $-локальной, если либо $\mathfrak{F}=(1)$ – классом всех единичных групп, либо $\mathfrak{F}=LF_{\sigma}(f),$ где $f(\sigma_i)$ является $(n-1)$-кратно σ‑локальной для всех $\sigma_i\in \sigma (\mathfrak{F}).$ Пусть $\tau(G)$ – такое множество подгрупп $G$, что $G\in \tau(G).$ Тогда $\tau$ называют подгрупповым функтором, если для любого эпиморфизма $\varphi$ : $A \to~B$ и любых групп $H \in \tau(A)$ и $T\in \tau(B)$ имеем $H^{\varphi}\in\tau(B)$ и $T^{{\varphi}^{-1}}\in\tau(A).$ Формацию $\mathfrak{F}$ называют $\tau$-замкнутой, если $\tau(G)\subseteq\mathfrak{F}$ для всех $G\in\mathfrak F.$ В работе получены необходимые и достаточные условия $n$-кратной σ‑локальности $(n\geqslant 1)$ непустой $\tau$-замкнутой формации.
All groups under consideration are finite. Let $\sigma =\{\sigma_{i} \mid i\in I \}$ be some partition of the set of all primes, $G$ be a group, $\sigma (G)=\{\sigma_i\mid \sigma_i\bigcap \pi (G)\ne \varnothing\} $, $\mathfrak F$ be a class of groups, and $\sigma (\mathfrak{F})=\bigcup_{G\in \mathfrak{F}}\sigma (G).$ A function $f$ of the form $f:\sigma \to\{\text{formations of groups}\}$ is called a formation σ‑function. For any formation σ‑function $f$ the class $LF_{\sigma}(f)$ is defined as follows: $ LF_{\sigma}(f)=(G \mid G=1 \ \text{or }\ G\ne 1\ \text{and }\ G/O_{\sigma_i', \sigma_i}(G) \in f(\sigma_{i}) \ \text{ for all } \sigma_i \in \sigma(G)). $ If for some formation σ‑function $f$ we have $\mathfrak{F}=LF_{\sigma}(f),$ then the class $\mathfrak{F}$ is called $\sigma $-local and $f$ is called a σ‑local definition of $ \mathfrak{F}.$ Every formation is called 0-multiply $\sigma $-local. For $n \geqslant 1,$ a formation $\mathfrak{F}$ is called $n$-multiply $\sigma $-local provided either $\mathfrak{F}=(1)$ is the class of all identity groups or $\mathfrak{F}=LF_{\sigma}(f),$ where $f(\sigma_i)$ is $(n-1)$-multiply σ‑local for all $\sigma_i\in \sigma (\mathfrak{F}).$ Let $\tau(G)$ be a set of subgroups of $G$ such that $G\in \tau(G).$ Then $\tau$ is called a {subgroup functor} if for every epimorphism $\varphi$ : $A \to~B$ and any groups $H \in \tau (A)$ and $T\in \tau (B)$ we have $H^{\varphi}\in\tau(B)$ and $T^{{\varphi}^{-1}}\in\tau(A).$ A class of groups $\mathfrak{F}$ is called $\tau$-closed if $\tau(G)\subseteq\mathfrak{F}$ for all $G\in\mathfrak F.$ In this paper, necessary and sufficient conditions for $n$-multiply σ‑locality $(n\geqslant 1)$ of a non-empty $\tau$-closed formation are obtained.
The authors declare that there are no conflicts of interest present.