Abstract:Let $\sigma=\{\sigma_j\,:\, j\in J\}$ be a partition of the set $\mathbb{P}$ of all prime numbers. A subgroup $X$ of a finite group $G$ is~\textit{$\sigma$-subnormal} in $G$ if there exists a chain of subgroups $$X=X_0\leq X_1\leq\ldots\leq X_n=G$$ such that, for each $1\leq i\leq n-1$, $X_{i-1}\trianglelefteq X_i$ or $X_i/(X_{i-1})_{X_i}$ is a $\sigma_{j_i}$-group for some $j_i\in J$. Skiba~[12] studied the main properties of $\sigma$-subnormal subgroups in finite groups and showed that the set of all $\sigma$-subnormal subgroups plays a relevant role in the structure of a finite soluble group. In [5], we laid the foundation of a general theory of $\sigma$-subnormal subgroups (and $\sigma$-series) in locally finite groups. It turns out that the main difference between the finite and the locally finite case concerns the behaviour of the join of $\sigma$-subnormal subgroups: in finite groups, $\sigma$-subnormal subgroups form a sublattice of the lattice of all subgroups [3], but this is no longer true for arbitrary locally finite groups. This is similar to what happens with subnormal subgroups, so it makes sense to study the class $\mathfrak{S}_\sigma^\infty$ (resp. $\mathfrak{S}_\sigma$) of locally finite groups in which the join of (resp. of finitely many) $\sigma$-subnormal subgroups is $\sigma$-subnormal. Our aim is to study how much one can extend a group in one of these classes before going outside the same class (see for example Theorems~3.6, 3.8, 5.5 and 5.7). Also, $\sigma$-subnormality criteria for the join of $\sigma$-subnormal subgroups are obtained: similarly to a celebrated theorem of Williams (see [15]), we give a necessary and sufficient conditions for a join of two $\sigma$-subnormal subgroups to always be $\sigma$-subnormal; consequently, we show that the join of two orthogonal $\sigma$-subnormal subgroups is $\sigma$-subnormal (extending a result of Roseblade [11]).

The lattice of submonoids of the uniform block permutations containing the symmetric group

Permutation groups, partition lattices and block structures

The Hopf algebra of uniform block permutations. Extended abstract

Lattices of Subgroup and Subsystem Functors

ON THE LATTICE OF -SUBNORMAL SUBGROUPS OF A FINITE GROUP

Laws of the Lattices of $$\sigma $$-Local Formations of Finite Groups

On the lattice of $\unicode[stix]{x1d6f1}_\mathfrak{i}$ -subnormal subgroups of a finite group

Semilinear idempotent distributive l -monoids

Submodular functions, generalized permutahedra, conforming preorders, and cointeracting bialgebras

Heights of one- and two-sided congruence lattices of semigroups

Finite Groups with ℋ -Permutable Subgroups

Commensurability of lattices in right-angled buildings

Joins of $σ$-subnormal subgroups

On the lattice of closed subgroups of a profinite group

Algebra of overpartitions

Permutation invariance, partition algebras and large $N$ matrix models

Almost-minimal nonuniform lattices of higher rank

Finite subgroups of arithmetic lattices in U(2,1)

Finite Σ-Soluble Groups in Which Σ-Permutability is a Transitive Relation

Subrack Lattices of Conjugation Racks