Search Results

$\DeclareMathOperator{\GL}{GL} \DeclareMathOperator{\SL}{SL}$ The maximum of the function counting square roots is attained at $x_0=1$ and this statement generalises quite well. Let $s(\chi)$ denote …

Let $G$ be a finite group. In an an earlier question, Fedor asked whether the square root counting function $r_2:G\rightarrow \mathbb{N}$, which assigns to $g\in G$ the number of elements of $G$ that …

The question is in the title, but here is some background/reminders: A subgroup $H\neq\{1\}$ of a finite group $G$ is called a Frobenius complement if $H\cap H^g = \{1\}$ for all $g\in G\backslash H$ …

This is the second follow-up to this question on square roots of elements in symmetric groups and is concerned with generalisations to $n$-th roots. Let $G$ be a finite group and let $r_n(g)$ be the n …

There is no complete classification, but some structural results are known. To give you something to search for: such groups are called $\mathbb{Q}$-groups. There is a whole book devoted to their stru …

The answer is no. Counterexamples include the Weyl groups of types E6, E7, and E8. For a proof that the representations of these Weyl groups are indeed all realisable over $\mathbb{Q}$ (equivalently o …

Today in my research, I had to use fairly explicitly the rather tautological property of finite cyclic groups that every normal subgroup is characteristic, i.e. fixed by all automorphisms. This got me …

Here is the MAGMA code to generate your group: G:=sub<Sym(12)|(1,3,5,7,9,11)*(2,4,6,8,10,12), (2,12)*(3,11)*(4,10)*(5,9)*(6,8), (2,3)*(5,6)*(8,9)*(11,12)*(4,10)>; I have a small function written by …

What is known about the Sylow 2-subgroups of $\rm{PGL}_n(\mathbb{F}_q)$, where $q$ is any prime power? For example, according to Theorem 7.9 in Isaacs's Character Theory, these Sylow 2-subgroups canno …

Note that $\text{Inn}(X)$ is isomorphic to $X/Z(X)$. So your requirement is equivalent to $X$ being simple modulo the centre. For example $SL_n(\mathbb F_{p^m})$ satisfies this, since the centre is gi …

In the infinite family $G_p=(\mathbb{Z}/p\mathbb{Z})\rtimes (\mathbb{Z}/p\mathbb{Z})^{\times}$, as $p$ runs over prime numbers, the bound is tight up to $O(1)$, and the representation in question is f …

I think, the article by Vahid Dabbaghian-Abdoly, Journal of Symbolic Computation Volume 39, Issue 6, June 2005, Pages 671-688, entitled "An algorithm for constructing representations of finite groups" …

This is an exercise in writing out the definitions: since the defect group of $B$ is $E$, we have $B|(B_{\delta(E)})^{G\times G}$. So by assumption, $$ b\;|\;B_{H\times H}\;|\;\left((B_{\delta(E)})^{G …

Central simple algebras over local and global fields are classified up to Morita equivalence by class field theory.

A partial answer to Question 2: the following is a theorem of Burnside (see e.g. Isaacs, Theorem 3.8). Theorem. Let $\chi$ be an irreducible character, let $K$ be a conjugacy class of $G$, and let $g\ …