Generalized fixed point free automorphisms

(2002). When Is a Group the Union of Proper Normal Subgroups? The American Mathematical Monthly: Vol. 109, No. 5, pp. 471-473.

Necessary and sufficient conditions for a Markov chain to be ergodic are that the chain is irreducible and aperiodic. This result is manifest in the case of random walks on finite groups by a statement about the support of the driving probability: a random walk on a finite group is ergodic if and only if the support is not concentrated on a proper subgroup, nor on a coset of a proper normal subgroup. The study of random walks on finite groups extends naturally to the study of random walks on finite quantum groups, where a state on the algebra of functions plays the role of the driving probability. Necessary and sufficient conditions for ergodicity of a random walk on a finite quantum group are given on the support projection of the driving state.

Call a group G hypersolvable if it has an ascending series with G/CG(A) solvable for each factor A of the series. In this article we establish some basic facts about hypersolvable groups. We also prove that if G is a perfect Fitting p-group such that every proper subgroup is contained in a proper normal subgroup, then G has a proper non-hypersolvable subgroup.

This note is concerned with the following problem. Let H denote a subgroup of a finite group G and let L denote a linear or one dimensional representation (i.e., a character) of H. We assume throughout that the field F is algebraically closed and is either of characteristic 0 or of prime characteristic which does not divide the order of any groups under consideration. Let GIL denote the corresponding induced representation of G. How many distinct (i.e., nonequivalent) irreducible representations appear in the decomposition of GI L into irreducible parts? (This number is just the central intertwining number of GI L, which is denoted by Ct(GI L). Cf. [1].) More specifically, we are interested in determining an upper bound on the number of distinct irreducible representations which will appear, purely in terms of the way H is embedded in G, and in terms which do not depend on the particular linear representation L of H. Two such bounds come quickly to mind. The number of classes (of conjugates) of the super group G, which we denote { G: e}, is clearly an upper bound. Dimension considerations also give [G: H] as an upper bound. We now introduce a new group theoretic invariant which heuristically is a measure of the manner in which the classes of G are distributed among the H-cosets of G. DEFINITION. Let H be a (not necessarily normal) subgroup of a finite group G. For each normal subset N of G, let +1(N) denote the number of classes (of conjugates) of G contained in N. Let +2(N) denote the number of right H-cosets of G which have nonzero intersection with N. Let +(N) = { G: e} -45(N) +42(N). We then define the embedding number of H in G, denoted by (G: H), to be the minimum of the +(N), as N is taken over all normal subsets of G. We remark that a definition of 42 using left cosets would yield the same value for (G: H) since N-' intersects the same number of left cosets as N does right cosets. Taking N= {e } where e is the identity element of the group we have (G: H) {G: e}. Taking N=G we have (G: H)? [G: H]. If H$ G, it is easy to verify that (G: H) > 1. If His a proper normal subgroup, then, taking N=H we have (G:H)<{G:e}. In the case where H is a normal subgroup of G, another number associated with the embedding of H in G is the number of classes in the factor group G/H. We call this the class number of H in G and denote it by { G: H}.

Let G be a finite group andA be a normal subgroup ofG. We denote by ncc(A) the number ofG-conjugacy classes ofA andA is calledn-decomposable, if ncc(A)= n. SetK G = {ncc(A)¦A ⊲ G}. LetX be a non-empty subset of positive integers. A groupG is calledX-decomposable, ifK G =X. Ashrafi and his co-authors [1-5] have characterized theX-decomposable non-perfect finite groups forX = {1, n} andn ≤ 10. In this paper, we continue this problem and investigate the structure ofX-decomposable non-perfect finite groups, forX = {1, 2, 3}. We prove that such a group is isomorphic to Z6, D8, Q8, S4, SmallGroup(20, 3), SmallGroup(24, 3), where SmallGroup(m, n) denotes the mth group of ordern in the small group library of GAP [11].

g*: For each normal subgroup N$ 'P(G), each reduced product of G over N is a semidirect product. (G = NB is a reduced product over a normal subgroup N by a subgroup B iff B does not contain a proper subgroup B* such that G = NB*.) F. Gross [5] has shown that for a finite solvable group G having 4!(G) = 1, splitting over each normal subgroup is sufficient for the subgroup lattice to be comple

Assume G is a finite group and H a subgroup of G. If there exists a subgroup K of G such that G = HK and H ∩ K = 1, then K is said to be a complement to H in G. A finite p-group G is called an NC-group if all its proper normal subgroups not contained in Φ(G) have complements. In this paper, some properties of NC-groups are investigated and some classes of NC-groups are classified.

The index [G:g] of the element g in the [finite] group G is the number of elements conjugate to -g in G. The significance of elements of prime power index is best recognized once one remembers Wielandt's Theorem that elements whose order and index are powers of the same prime p are contained in a normal subgroup of order a power of p and Burnside's Theorem asserting the absence of elements of prime power index, not 1, in simple groups. From Burnside's Theorem one deduces easily that a group without proper characteristic subgroups contains an element, not 1, whose index is a power of a prime if and only if this group is abelian. In this result it suffices to assume the absence of proper fully invariant subgroups, since we can prove [in ?2] the rather surprising result that a [finite] group does not possess proper fully invariant subgroups if and only if it does not possess proper characteristic subgroups. A deeper insight will be gained if we consider groups which contain many elements of prime power index. We show [in ?5 ] that the elements of order a power of p form a direct factor if, and only if, their indices are powers of p too; and nilpotency is naturally equivalent to the requirement that this property holds for every prime p. More difficult is the determination of groups with the property that every element of prime power order has also prime power index [?3]. It follows from Burnside's Theorem that such groups are soluble; and it is clear that a group has this property if it is the direct product of groups of relatively prime orders which are either p-groups or else have orders divisible by only two different primes and furthermore have abelian Sylow subgroups. But we are able to show conversely that every group with the property under consideration may be represented in the fashion indicated. In ?5 we study the so-called hypercenter. This characteristic subgroup has been defined in various ways: as the terminal member of the ascending central chain or as the smallest normal subgroup modulo which the center is 1. We may add here such further characterizations as the intersection of all the normalizers of all the Sylow subgroups or as the intersection of all the maximal nilpotent subgroups; and the connection with the index problem is obtained by showing that a normal subgroup is part of the hypercenter if, and only if, its elements of order a power of p have also index a powrer of p. Notation. All the groups under consideration will be finite. An element [group] is termed primary, if its order is a prime power;

In this article the study of generalized Frattini subgroups of finite groups, developed by J. C

The theory of generalized Frattini subgroups of a finite group is continued in this paper. Several equivalent conditions are given for a proper normal subgroup H of a finite group G to be a generalized Frattini subgroup of G. One such condition on H is that K is nilpotent for each normal subgroup K of G such that K/H is nilpotent. From this result, it follows that the weakly hyper-central normal subgroups of a finite non-nilpotent group G are generalized Frattini subgroups of G.Let H be a generalized Frattini subgroup of G and let K be a subnormal subgroup of G which properly contains H. Then H is a generalized Frattini subgroup of K.Let ϕ(G) be the Frattini subgroup of G. Suppose that G/ϕ(G) is nonnilpotent, but every proper subgroup of G/ϕ(G) is nilpotent. Then ϕ(G) is the unique maximal generalized Frattini subgroup of G.

We recall the following definition (see [1]):A finite group G is said to be a Frobenius–Wielandt group provided that there exists a proper subgroup H of G and a proper normal subgroup N of H such that H∩Hg≦N if g∈G–H. Then H/N is said to be the complement of (G, H, N) (see [1] for more details and notation).

The general problem, with a particular instance of which the present paper is concerned, is to obtain a description of the local structure of a group from information about the global structure. The aspect of local structure investigated here is the embedding of subgroups, especially of nilpotent subgroups in finite soluble groups. A classification of embeddings of subgroups in finite groups by means of an arithmetic function called abnormal depth was proposed in [6]. Let H be a subgroup of a finite group G. Then a(G:H), the abnormal depth of H in G, is the least number of abnormal links appearing in any balanced chain of subgroups connecting H to G, that is a chain for which each link is either normal or abnormal. Thus a (G:H)= 0 if and only if H is subnormal in G; and a(G:P)__< 1 for every subgroup P of G of prime power order. It was shown in [6] that if H is a nilpotent subgroup of a finite soluble group G, of nilpotent length n, then a (G: H) =< n - 1. Here in w 1 we examine in greater detail the easiest non-trivial case, in which n = 2, and then in w 2 prove certain supplementary results for n = 3 and n = 4. Some simple wreath product properties are established in w 3 and used in w 4 for the construction of examples showing that the embedding results obtained cannot be improved in various obvious ways. Notation and terminology follow common usage. If t; and ~ are classes of groups, then 3s ~ denotes the class of all groups G having a normal subgroup X such that X e 3~ and G/X e ~. This defines a composition of classes of groups which in general is not associative. However, we shall deal only with classes of which the composition is associatNe, and we may therefore omit brackets from products of more than two classes. Since we shall be concerned exclusively with finite groups, we take 91 to denote the class of finite nilpotent groups and 9.1 the class of finite abelian groups. Then for any positive integer n, 9l" is the class of finite soluble groups of nilpotent lengths <__ n; and 9.I" is the class of finite soluble groups of derived lengths __< n. Henceforth the term group is understood to mean finite group. Then any group G has a unique smallest normal subgroup L such that G/L is nilpotent: G/L is called the 91-residual ofG. IfH is any subgroup of G, then there is a unique smallest normal subgroup of G containing H, called the normal closure of H in G and denoted by Ha; and a unique smallest subnormal subgroup of G containing H, called the subnormal closure of H in G and (following Wielandt [8]) denoted by H'" a. If H a = G, we shall say that H is contranormal in G. Then, for any subgroup H of G, it is clear that H is contranormal in H'" a. (This is to be compared with the fact that the hypernormalizer NE(H ) of H in G is self-normalizing in G.) An abnormal subgroup is both self-normalizing and

The purpose of this paper is to generalize some of the fundamental properties of the Frattini subgroup of a finite group. For this purpose we call a proper normal subgroup H of G a generalized Frattini subgroup if and only if G = NG(P) for each normal subgroup L of G and each Sylow p-subgroup P, p is a prime, of L such that G = HNG(P). Here NG(P) is the normalizer of P in G. Among the generalized Frattini subgroups of a finite nonnilpotent group G are the center, the Frattini subgroup, and the intersection L(G) of all selfnormalizing maximal subgroups of G. The product of two generalized Frattini subgroups of a group G need not be a generalized Frattini subgroup, hence G may not have a unique maximal generalized Frattini subgroup. Let H be a generalized Frattini subgroup of G and let K be normal in G. If K/H is nilpotent, then K is nilpotent. Similarly, if the hypercommutator of K is contained in H, then K is nilpotent. We consider the Fitting subgroup FίG) of a nonnilpotent group G, and prove F(G) is a generalized Frattini subgroup of G if and only if every solvable normal subgroup of G is nilpotent. Now let H be a maximal generalized Frattini subgroup of a finite nonnilpotent group G. Following Bechtell we introduce the concept of an iϊ-series for G and prove that if G possesses an iJ-series, then H = L(G).

Suppose G is a finite group and C(G) denotes the set of all conjugacy classes of G. The normal graph of G, N(G), is a finite simple graph such that V(N(G)) = C(G). Two conjugacy classes A and B in C(G) are adjacent if and only if there is a proper normal subgroup N such that A U B ? N. The aim of this paper is to study the normal graph of a finite group G. It is proved, among other things, that the groups with identical character table have isomorphic normal graphs and so this new graph associated to a group has good relationship by its group structure. The normal graphs of some classes of finite groups are also obtained and some open questions are posed.

A finite group G is called a generalized Frobenius group with kernel F if F is a proper nontrivial normal subgroup of G, and for every element Fx of prime order p in the quotient group G/F, the coset Fx of G consists of p-elements. We study generalized Frobenius groups with an insoluble kernel F. It is proved that F has a unique non- Abelian composition factor, and that this factor is isomorphic to $$ {\mathrm{L}}_2\left({3}^{2^{\mathrm{l}}}\right) $$ for some natural number l. Moreover, we look at a (not necessarily finite) group generated by a coset of some subgroup consisting solely of elements of order three. It is shown that such a group contains a nilpotent normal subgroup of index three.