- Research Article
144
- 10.1016/0021-8693(90)90163-i
Weights for symmetric and general linear groups
- May 01, 1990
- Journal of Algebra
- J.L Alperin + 1 more +1
Weights for symmetric and general linear groups
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.
Weights for symmetric and general linear groups
Weights for symmetric and general linear groups
Isaacs–Seitz conjecture for certain groups
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.
Read moreSolvable and nonsolvable finite groups of the same order type
Solvable and nonsolvable finite groups of the same order type Pawe PiwekWe construct two groups of size 2 365 3 105 7 104 : a solvable group G and a nonsolvable group H such that for every integer n the groups have the same number of elements of order n.This answers a question posed in 1987 by John G. Thompson.
Read moreSchur indices of characters in blocks of full defect
Let G be a finite group and let w A IrrðGÞ lie in a p-block of full defect for an odd prime p. We investigate mQðwÞp, the p-part of the rational Schur index of w. At the onset of this work, it was suspected that these Schur indices would not be divisible by p, and in Section 2 below, we show this to be the case when G is either supersolvable or p-nilpotent. Further motivation came from the situation in which G has a normal Sylow p-subgroup. Of course in this case all irreducible characters of G lie in p-blocks of full defect. Recall that a p-hyperelementary subgroup is a subgroup with a cyclic, normal p-complement and that by results of Brauer, Witt, and Berman G has a p-hyperelementary subgroup H with z A IrrðHÞ such that mQðwÞp divides mQðzÞ. If the Sylow p-subgroup of G is normal, all p-hyperelementary subgroups of G are nilpotent. Hence, the Schur indices of their irreducible characters are at most 2, and it follows that p does not divide mQðwÞ: One final case is that in which the Sylow p-subgroups of G are abelian. In this situation, Brauer’s height zero conjecture implies that the degrees of the irreducible characters in p-blocks of full defect are not divisible by p. Thus their Schur indices are not divisible by p either. However, in Section 3 we fix an a A N and construct a solvable group G with irreducible character w lying in the principal p-block of G=KerðwÞ and satisfying mQðwÞ 1⁄4 p. It is crucial to regard w as a faithful irreducible character of G=KerðwÞ, as one can always regard an irreducible character c of a group H as an irreducible character of a larger group G which surjects onto H. This does not a¤ect the Schur index of c, but it can easily be set up to ensure c lies in the principal p-block of G: The group SLð2; 3Þ has a rational-valued irreducible character w such that
Read moreStudies on Defect Groups
Studies on Defect Groups
A characterization of blocks with vertices
A characterization of blocks with vertices
Blocks whose defect groups are Klein four groups
Blocks whose defect groups are Klein four groups
Hidden translation and orbit coset in quantum computing
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.
Read moreHidden Translation and Translating Coset in Quantum Computing
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.
Read moreA note on fixed-point-free solvable operator groups
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
Read moreNon-solvable groups having five irreducible character degrees
Let G be a finite group and let be the set of degrees of complex irreducible characters of G. An important program in character theory is to obtain the structure of G when is known. In this article, we consider a dual version of this approach. Indeed, we consider non-solvable groups with five character degrees and present a description of the set of character degrees for such groups. As an application of this result, it is shown that a finite group with five character degrees and containing no prime power must be a solvable group.
Read moreSymmetric local algebras and small blocks of finite groups
Symmetric local algebras and small blocks of finite groups
Glauberman Correspondence of p-Blocks of Finite Groups
Glauberman Correspondence of p-Blocks of Finite Groups
P ∗-Theory and modular representation theory
p ∗-Theory and modular representation theory
Orbits of the Actions of Odd-Order Solvable Groups
Suppose that V is a finite faithful irreducible G-module where G is a finite solvable group of odd order. We prove if the action is quasi-primitive, then either F(G) is abelian or G has at least 212 regular orbits on V. As an application, we prove that when V is a finite faithful completely reducible G-module for a solvable group G of odd order, then there exists v ∈ V such that C G (v) ⊆ F 2(G) (where F 2(G) is the 2nd ascending Fitting subgroup of G). We also generalize a result of Espuelas and Navarro. Let G be a group of odd order and let H be a Hall π-subgroup of G. Let V be a faithful G-module over a finite field of characteristic 2, then there exists v ∈ V such that C H (v) ⊆ O π(G).
Read more