A note on Chehata's groups
Let be a group. If every nontrivial subgroup of has a proper supplement, then is called an -group. We study some properties of -groups. For instance, it is shown that a nilpotent group is an -group if and only if is a subdirect product of cyclic groups of prime orders. We prove that if is an -group which satisfies the descending chain condition on subgroups, then is finite. Among other results, we characterize all abelian groups for which every nontrivial quotient group is an -group....
A θ-pair for a maximal subgroup M of a group G is a pair (A, B) of subgroups such that B is a maximal G-invariant subgroup of A with B but not A contained in M. θ-pairs are considered here in some groups having supersoluble maximal subgroups.
Let V be a pseudovariety of finite groups such that free groups are residually V, and let φ: F(A) → F(B) be an injective morphism between finitely generated free groups. We characterize the situations where the continuous extension φ' of φ between the pro-V completions of F(A) and F(B) is also injective. In particular, if V is extension-closed, this is the case if and only if φ(F(A)) and its pro-V closure in F(B) have the same rank. We examine a number of situations where the injectivity of φ' can...