Solvable groups in which every real element has prime power order

In this paper, we shall deal with periodic groups, in which each element has a prime power order. A group [Formula: see text] will be called a [Formula: see text]-group if each element of [Formula: see text] has a prime power order and for each [Formula: see text] there exists a positive integer [Formula: see text] such that each [Formula: see text]-element of [Formula: see text] is of order [Formula: see text]. A group [Formula: see text] will be called a [Formula: see text]-group if each element of [Formula: see text] has a prime power order and for each [Formula: see text] there exists a positive integer [Formula: see text] such that each finite [Formula: see text]-subgroup of [Formula: see text] is of order [Formula: see text]. Here, [Formula: see text] denotes the set of all primes dividing the order of some element of [Formula: see text]. Our main results are the following four theorems. Theorem 1: Let [Formula: see text] be a finitely generated [Formula: see text]-group. Then [Formula: see text] has only a finite number of normal subgroups of finite index. Theorem 4: Let [Formula: see text] be a locally graded [Formula: see text]-group. Then [Formula: see text] is a locally finite group. Theorem 7: Let [Formula: see text] be a locally graded [Formula: see text]-group. Then [Formula: see text] is a finite group. Theorem 8: Let [Formula: see text] be a [Formula: see text]-group satisfying [Formula: see text]. Then [Formula: see text] is a locally finite group.

Nilpotency in automorphic loops of prime power order

Recently, graphs have started to be used to represent a finite ring. Nikmehr and Khojasteh in the article defined the nilpotent graph of a ring . Denoted , is a graph with the set of vertices being all the elements in the ring Two vertices and are adjacent if and only if is nilpotent elements in the ring . Topological index is a field that discusses graph structure based on the degree of each vertex of a graph and the distance between vertices. In this study, the author will gives the general formula of the Szeged index and Padmakar-Ivan index of the nilpotent graph graph of the modulo ring with prime power order. The result of this research is a general formula for the topological indices of nilpotent graphs of the integer modulo ring, called the Szeged index and the Padmakar-Ivan index.

We can now determine the structure of finite abelian groups. In particular, every such group is isomorphic to a direct product of cyclic groups, each having prime power order. The proof of this result is our main goal in the present chapter.

Polynomial representations of complete sets of frequency hyperrectangles with prime power dimensions

We show that, for any positive integer k, there are only finitely many finite groups, up to isomorphism, with exactly k conjugacy classes of elements of prime power order. This generalizes a result of E. Landau from 1903. The proof of our generalization makes use of the classification of finite simple groups.

In 1968, John Thompson proved that a finite group G is solvable if and only if every 2-generator subgroup of G is solvable. In this paper, we prove that solvability of a finite group G is guaranteed by a seemingly weaker condition: G is solvable if, for all conjugacy classes C and D of G consisting of elements of prime power order, there exist x in C and y in D with x and y generating a solvable group. We also prove the following property of finite nonabelian simple groups, which is the key tool for our proof of the solvability criterion: if G is a finite nonabelian simple group, then there exist two prime divisors a and b of |G| such that, for all elements x, y in G with |x|=a and |y|=b, the subgroup generated by x and y is not solvable. Further, using a recent result of Guralnick and Malle, we obtain a similar membership criterion for any family of finite groups closed under forming subgroups, quotients and extensions.

Let G be a finite group. A gap G-module V is a finite dimensional real G-representation space satisfying the following two conditions: (1) The following strong gap condition holds: dimVP>2dimVH for all P<H≤G such that P is of prime power order, which is a sufficient condition to define a Gsurgery obstruction group and a G-surgery obstruction. (2)V has only one H-fixed point 0 for all large subgroups H, namely H∊L(G). A finite group G not of prime power order is called a gap group if there exists a gap Gmodule. We discuss the question when the direct product K×L is a gap group for two finite groups K and L. According to [5], if K and K×C2 are gap groups, so is K×L. In this paper, we prove that if K is a gap group, so is K×C2. Using [5], this allows us to show that if a finite group G has a quotient group which is a gap group, then G itself is a gap group. Also, we prove the converse: if K is not a gap group, then K×D2n is not a gap group. To show this we define a condition, called NGC, which is equivalent to the non-existence of gap modules.

The minimum genus problem consists on determining the minimum algebraic genus of a surface on which a given group G acts. For cyclic groups G this problem on bordered Klein surfaces was solved in 1989. The next step is to fix the number of boundary components of the surface and to obtain the minimum algebraic genus, and so the minimum topological genus. It was achieved for cyclic groups of prime and prime-power order in the nineties. In this work the corresponding results for cyclic groups of order N = 2q, where q is an odd prime, are obtained. There appear different results depending on the orientability of the surface. Finally, using the above mentioned results and those of this paper, we state explicitly, the general values for arbitrary number of boundary components, which are valid for each N < 12, and show how to deal with N = 12.

Let A be a finite group and let n be the number of primes, including multiplicities, which divide the order of A. Suppose further that G is a finite solvable group which admits A as a fixed-point-free operator group and such that (i A I, G|I ) = 1. Under these assumptions it has been conjectured that l(G), the nilpotent length of G, is at most n, while lp(G), the p-length of G, is at most [(n+1)/2]. These inequalities have been verified and shown to be best-possible in certain special cases ( [3 ][5], [1]). It is the purpose of this note to show that these conjectured upper bounds are actually obtained provided A is solvable. Specifically we will prove

Let G be a finite group. I. M. Isaacs and G. Seitz have conjectured that if G is a solvable group, then Taketa’s inequality holds, where is the set of irreducible character degrees of G and is the derived length of G. In this paper, we show that this inequality holds if G is a solvable Frobenius group. Also, we prove that if for some normal Sylow p-subgroup P of G, then . Moreover, we investigate this conjecture for some sets of the real-valued irreducible character degrees.

We give efficient quantum algorithms for the problems of Hidden Translation and Hidden Subgroup in a large class of non-abelian solvable groups including solvable groups of constant exponent and of constant length derived series. Our algorithms are recursive. For the base case, we solve efficiently Hidden Translation in $\Z_{p}^{n}$, whenever $p$ is a fixed prime. For the induction step, we introduce the problem Translating Coset generalizing both Hidden Translation and Hidden Subgroup, and prove a powerful self-reducibility result: Translating Coset in a finite solvable group $G$ is reducible to instances of Translating Coset in $G/N$ and $N$, for appropriate normal subgroups $N$ of $G$. Our self-reducibility framework combined with Kuperberg's subexponential quantum algorithm for solving Hidden Translation in any abelian group, leads to subexponential quantum algorithms for Hidden Translation and Hidden Subgroup in any solvable group.

We give efficient quantum algorithms for the problems of Hidden Translation and Hidden Subgroup in a large class of non-abelian solvable groups including solvable groups of constant exponent and of constant length derived series. Our algorithms are recursive. For the base case, we solve efficiently Hidden Translation in $\Z_{p}^{n}$, whenever $p$ is a fixed prime. For the induction step, we introduce the problem Translating Coset generalizing both Hidden Translation and Hidden Subgroup, and prove a powerful self-reducibility result: Translating Coset in a finite solvable group $G$ is reducible to instances of Translating Coset in $G/N$ and $N$, for appropriate normal subgroups $N$ of $G$. Our self-reducibility framework combined with Kuperberg's subexponential quantum algorithm for solving Hidden Translation in any abelian group, leads to subexponential quantum algorithms for Hidden Translation and Hidden Subgroup in any solvable group.

If a graph is cut along each edge and can be divided into many faces, the graph has been defined to be a map when each face is homomorphic to an open disk and a bipartite map called dessin. A dessin D is regular Aut (D) if action transfer on the edge set. In particular, given a finite group G, a regular dessin is uniquely regular dessin if there is only one isomorphism class of Aut (D) are isomorphic to G. In this paper, for a nilpotent automorphism group of odd prime power order and nilpotency class four, we employ group-theoretical methods to classify these uniquely regular dessins.

Let G G be a finite group, and p p a prime number; a character of G G is called p p -constant if it takes a constant value on all the elements of G G whose order is divisible by p p . This is a generalization of the very important concept of characters of p p -defect zero. In this paper, we characterize the finite p p -solvable groups having a faithful irreducible character that is p p -constant and not of p p -defect zero, and we will show that a non- p p -solvable group with this property is an almost-simple group.