Irreducible disconnected systems in groups |
| |
Authors: | Gil Kaplan |
| |
Affiliation: | (1) School of Mathematical Sciences, Raymond and Beverly Sackler Faculty of Exact Sciences, Tel Aviv University, 69978 Tel Aviv, Israel |
| |
Abstract: | LetG be an arbitrary group with a subgroupA. The subdegrees of (A, G) are the indices [A:A ∪A 9] (wheregεG). Equivalent definitions of that concept are given in [IP] and [K]. IfA is not normal inG and all the subdegrees of (A, G) are finite, we attach to (A, G) the common divisor graph Γ: its vertices are the non-unit subdegrees of (A, G), and two different subdegrees are joined by an edge iff they arenot coprime. It is proved in [IP] that Γ has at most two connected components. Assume that Γ is disconnected. LetD denote the subdegree set of (A, G) and letD 1 be the set of all the subdegrees in the component of Γ containing min(D−{1}). We proved [K, Theorem A] that ifA is stable inG (a property which holds whenA or [G:A] is finite), then the setH={g ε G| [A:A ∪A g ] εD 1 ∪ {1}} is a subgroup ofG. In this case we say thatA is a disconnected system (briefly: a system). In the current paper we deal with some fundamental types of systems. A systemA is irreducible if there does not exist 1<N△G such thatAN andAN/N is a system. Theorem A gives restrictions on the finite nilpotent normal subgroups ofG, whenG possesses an irreducible system. In particular, ifG is finite then Fit(G) is aq-group for a certain primeq. We deal also with general systems. Corollary (4.2) gives information about the structure of a finite groupG which possesses a system. Theorem B says that for any systemA,N G (N G (A))=N G (A). Theorem C and Corollary C’ generalize a result of Praeger [P, Theorem 2]. The content of this paper corresponds to a part of the author’s Ph.D. thesis carried out at Tel Aviv University under the supervision of Prof. Marcel Herzog. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|