We prove that every finite group that is the product of every pair of its non-conjugate maximal subgroups is soluble, answering Problem 10.34 of the Kourovka Notebook. The almost-simple case was proved by Tikhonenko and Tyutyanov. We treat the remaining minimal-counterexample branch, where the unique minimal normal subgroup has the form S^k, with S nonabelian simple and k>= 2. Two automorphism-stable coordinate subgroup classes satisfying a maximal-supplement criterion produce non-conjugate maximal supplements. If the factorization hypothesis held, their product would impose a p-adic divisibility requirement growing linearly with k, while the quotient contributes only coordinate outer automorphisms and a factor dividing k!. A fixed valuation gap therefore excludes every k>= 2 at once. Suitable subgroup classes are constructed uniformly across the infinite families of finite simple groups using parabolic, torus, and primitive-prime-divisor arguments; stable flag parabolics handle graph fusion, while GAP certificates cover designated finite and sporadic cases. The resulting all-k obstruction provides a reusable mechanism for eliminating direct-power socles in finite-group factorization problems.
We unify two matching theories, one for finite subsets of groups and the other for finite-dimensional subspaces in a field extension. To achieve this, we study groups equipped with a compatible finitary matroid structure, termed here independence groups. Applying Rado's independent transversal theorem, we derive necess...
We prove that every action of a countably infinite discrete amenable group on a nonempty compact Hausdorff zero-dimensional space has dynamical comparison, without assuming minimality, freeness, or metrizability. More precisely, strict inequalities under all invariant probability measures imply comparison in the clopen...
We prove that at every infinite cardinality, every group which is neither abelian of exponent greater than two nor generalized dicyclic admits a graphical regular representation, settling the infinite-group part of Watkins's conjecture. We also determine the Cayley index of every infinite group: it is $1$, $2$, or $8$,...
A finite group has the weak Erdos-Ko-Rado property if all of its transitive permutation actions have the EKR property. We characterize this property in terms of normal subgroups and chief factors. More precisely, we introduce a local intersection density and establish a normal-extension criterion which reduces the weak...
We study graph products of groups over defining graphs of arbitrary cardinality from two closely related viewpoints. First, we characterize acylindrical hyperbolicity. If the defining graph is irreducible, has at least two vertices, and has a finite star base, then every parabolically full subgroup is either virtually...
We study Gallai decomposition for groups equipped with two-sided invariant partial orders. The key algebraic step extends to arbitrary binary relations compatible with the group operation: if all left and right translations preserve a binary relation $\rho$, then every least strong module $S_{\rho}(\e,g)$, $g\ne\e$, is...
Imed Zaguia· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
