A real chain condition for groups (Q6140054): Difference between revisions

Let \(G\) be a group and let \(\chi\) be a subgroup-theoretical property. Recall that the group \(G\) is said to satisfy the \textit{weak maximal condition}, the \textit{weak minimal condition}, the \textit{weak double chain condition}, if the partially ordered set of \(\chi\)-subgroups of \(G\) does not contain chains whose order type is the same of the natural numbers, of the negative integers, of the integers, respectively, and, furthermore, in which each subgroup has infinite index in the next one. We sum up here the main results of the paper, noticing that many of the equivalences were already known from previous papers. Recall that a group is said \textit{generalised radical} if it has an ascending (normal) series with locally (nilpotent or finite) factors. \textbf{Theorem}. Let \(G\) be a generalised radical group and let \(\chi\) be one of the following subgroup-theoretical properties: ``being a normal subgroup'',, ``being a modular subgroup'', ``being a permutable subgroup'', ``being an almost normal subgroup'' and ``being a nearly normal subgroup''. Then the following are equivalent. \begin{itemize} \item[(i)] \(G\) satisfies the weak minimal condition on non-\(\chi\) subgroups; \item[(ii)] \(G\) satisfies the weak maximal condition on non-\(\chi\) subgroups; \item[(iii)] \(G\) satisfies the weak double chain condition on non-\(\chi\) subgroups; \item[(iv)] \(G\) satisfies the real chain condition on non-\(\chi\) subgroups. \end{itemize} Moreover, if \(\chi\) is one among the first three properties, then the four conditions above are equivalent to the following one: \begin{itemize} \item[(v)] either \(G\) is a soluble-by-finite minimax group or all subgroups of \(G\) are \(\chi\)-subgroups. \end{itemize} Finally, also the case in which \(\chi\) is the property of ``being a subnormal subgroup'' is inspected, but only in the subclass of periodic soluble groups. In this case, for a periodic soluble group, the condition (i)--(iv) above are all equivalent to either being a Černikov group or having all subgroups subnormal.