The tag has no wiki summary.

learn more… | top users | synonyms

7
votes
2answers
950 views

Aut(G) = $C_3$, G = ?

Is there a group G such that Aut(G) = $C_3$? What if we replace 3 with a prime number p?
7
votes
3answers
2k views

Faithful characters of finite groups

Related to a previous question I am asking furthermore a proof for the following: Question 1: If $\chi$ is a faithful irreducible character of a finite group $G$ then the regular character of $G$ is ...
7
votes
3answers
536 views

Is there a Cayley graph of a non-abelian group that is not isomorphic to any Cayley graph of any abelian group?

It's the first question I post here :) I'm sorry if the question is too specific or if it's somehow repeating others. In other words, my question is the following. Consider a Cayley graph $\Gamma$ of ...
7
votes
3answers
1k views

What about the classification of big finite simple groups?

How hard is it to classify all big finite simple groups, i.e., all finite simple groups larger than some sufficiently large constant? Alternatively - how hard is it to classify all finite simple ...
7
votes
2answers
274 views

Subgroup property stronger than being characteristic

In what follows, all groups are assumed to be finite. Recall that if $K \leq H \leq G$ are groups, $K$ is said to be a weakly closed subgroup of $H$ in $G$ if, for all $g \in G$, $g^{-1}Kg \leq H$ ...
7
votes
2answers
759 views

How to compute all irreducible representations of a finite group ? (how GAP is doing this?)

Let us "take" a finite group G. Here "take" I mean any type of group-theoretic description you prefer: e.g. as an explicit subset of GL (or other group) or Cayley table, whatever. Question: How ...
7
votes
2answers
372 views

Finite groups with centerless quotients

Is there a description of finite groups whose all quotients have trivial center? Is it true that only direct products of non-abelian simple groups have this property?
7
votes
4answers
710 views

Is the classification of finite p-groups a smooth problem?

Fix a prime $p$. Then the question is about the difficulty of classifying finite $p$-groups. Originally I was going to ask if this was a "wild" problem but thanks to Joel David Hamkins' answer to ...
7
votes
2answers
577 views

characters on a finite group with `extremal' behaviour

The following question is a bit technical, and I haven't got to grips with it enough to be able to present it as a well-focused question. However, my hope is that the collective group-theoretic ...
7
votes
1answer
357 views

Paths in groups

Given a finite group $G$, write $K(G)$ for the complete digraph on the elements of $G$. Label the edge from $g$ to $h$ by element $g^{-1}h$. Question: For what groups does there exist a Hamiltonian ...
7
votes
4answers
1k views

Orthogonal Groups over finite fields

Hello Let $\mathbb{F}_p$ be the finite field with $p$ elements. One can show that over finite fields, there are just two non-degenerate quadratic forms. So here I want to pick any non-degenerate ...
7
votes
1answer
397 views

Is there a precise notion of “almost all” such that almost all finite groups are Galois groups of extensions of the rationals?

I vainly tried to define a notion of "almost solvable group" such that every "almost solvable group" is the Galois group of a finite extension of the rationals, but I can't figure out the right way to ...
7
votes
2answers
425 views

Automorphism Group of a p-group : Looking for a Reference

In the following post by DavidLHarden : See Here He quoted the following claim: "There is a theorem that says that if $p$ is a prime and $|G|=p^n $ , then $|AutG| $ divides $ \Pi_{k=0}^{n-1} ...
7
votes
2answers
525 views

What groups have a second maximal subgroup below exactly four maximal subgroups?

I am looking for a finite group $G$ with the following property: there is a (core-free) subgroup $H < G$ such that the interval $\{ K : H < K < G\}$ in Sub[$G$] contains exactly four maximal ...
7
votes
3answers
1k views

Steinberg Representations of Finite Groups of Lie Type

Let G be a finite group of Lie type. Assume G is also of universal type. Is the Steinberg representation of G generic, i.e., does the Steinberg representation admit a Whittaker model? A Whittaker ...
7
votes
2answers
261 views

On non-split extensions of $\mathrm{SL}_d(q)$

Throughout this question, the following notation holds: Let $q$ be a power of a prime $p$, and let $d>4$ be a positive integer. Let $G$ be a finite group with a normal subgroup $E$ which is an ...
7
votes
3answers
655 views

Center and representations of finite group - how are related ?

If finite group G has a center how does it influence the representations of this group ? And vice versa - can we see somehow the center (or some of its properties) from representations (from ...
7
votes
2answers
361 views

How many finite loops?

How many finite loops of order $n$ are there? I am interested in the exact values ​​of $n$ if $n <40$ or even reasonable estimates. I am also interested in formulae or bounds for all $n$. Note ...
7
votes
1answer
431 views

Many p,q-Sylow subgroups

It is a fact that the symmetric groups have as many 2-Sylow subgroups as possible. More precisely, for all $n \geq 1$, the number of 2-Sylow subgroups in $S_n$ is exactly $n!/2^{\nu_2(n!)}$, which is ...
7
votes
2answers
299 views

Are there any abelian 2 groups with Complete Holomorphs Other than $C^2_2$ and $C^4_2$?

The title says it. I'm reviewing some group theory concepts I haven't touched in quite a while, since I don't teach abstract algebra in my current position, and could not find the answer to this ...
7
votes
2answers
729 views

Are vertex and edge-transitive graphs determined by their spectrum?

A graph is called vertex and edge transitive if the automorphism group is transitive on both vertices and edges. The spectrum of a graph is the collection (with multiplicities) of eigenvalues of the ...
7
votes
2answers
444 views

Regular elements in the torus of a group of Lie type

Let $G$ be a simple linear algebraic group, and $F$ a Frobenius map, i.e. some power of $F$ is the standard Frobenius map which raises matrix entries to the $q$-th power. Then $G^F$ is a group of Lie ...
7
votes
1answer
980 views

Burnside's Lemma and Geometry

I think one of the most interesting results in Elementary Group Theory is the so-called "Burnside's Lemma", counting the numbers of orbits of a (finite) group action. I wonder if there is any ...
7
votes
2answers
380 views

Good effective versions of theorems of Artin and Brauer

The theorem of Artin and Brauer of the title are the famous theorem in the theory of representation of finite groups. For example, Artin's theorem is the statement that for every character $\chi$ of ...
7
votes
1answer
2k views

Sylow subgroups invariant under an automorphism

Let $G$ be a finite group and $\sigma$ an automorphism of $G$. Suppose $p$ is a prime and $\sigma$ has prime order $q \neq p$. It's easy to see that $\sigma$ fixes a Sylow $p$-subgroup of $G$ if ...
7
votes
1answer
411 views

Extending group actions on varieties

Let $X$ be a (irreducible) variety (over $\mathbb{C}$ if necessary, smooth orbifold if necessary), and $U\subset X$ a nonempty open subset, and let $G$ be a finite group with an algebraic action on ...
7
votes
1answer
373 views

Octonionic reflection groups

Consider Leech lattice definition provided by Wilson (Octonions and Leech lattice, 2008). There are 819 E8 sublattices defined by $ (2\lambda, 0, 0); $ $ (\lambda \overline{s}, (\lambda ...
7
votes
3answers
522 views

Is there order to the number of groups of different orders?

I was always struck by how uncharacteristically erratic the behavior of the following function is: $f: \mathbb{N} \rightarrow \mathbb{N}$ given by $f(n):=$ number of isomorphism classes of groups of ...
7
votes
2answers
386 views

Elements living in the conjugacy class and in the centralizer of an m-cycle in Am

Let m>1 be an odd natural number, x a m-cycle in Am, the alternating group in m letters, C the conjugacy class of x in Am. Questiom: How can I describe the elements in the set { j | x^j in C} in ...
7
votes
1answer
655 views

Generalization of a theorem of Øystein Ore in group theory

Theorem (Øystein Ore, 1938): A finite group $G$ is cyclic iff its lattice of subgroups $\mathcal{L}(G)$ is distributive. Proof: see below. Let $(H \subset G)$ be an inclusion of finite groups and ...
7
votes
1answer
309 views

Solvability of finite groups of order coprime to 15 — proof without using CFSG?

Is the solvability of finite groups of order coprime to 15 essentially easier to prove than the entire Classification of Finite Simple Groups?
7
votes
1answer
280 views

Counting conjugacy classes in simple groups of Lie type

Finite groups of Lie type include those obtained as rational points of a connected simple algebrraic group over a finite field $k = \mathbb{F}_q$ of characteristic $p$: these are split or quasi-split. ...
7
votes
1answer
483 views

Has this “pseudo-quotient” of groups been studied before?

Let $G$ be a (finite) group with subgroup $H$. Pick out (left) coset representatives: $x_1=1, x_2, \dots, x_\ell$ (so $x_1H=1H=H$). Now form an $\ell \times \ell$ table with rows and columns labeled ...
7
votes
1answer
294 views

Isomorphic simple groups

It is known that $SL_{4}(\mathbb{F}_2)\cong A_8$. Obviously, this is equivalent to the existence of a subgroup of $Sl_4(\mathbb{F}_2)$ of index $8$. How to find such a subgroup?
7
votes
2answers
529 views

Automorphisms of subgroup of hamming cube under distance constraint

Let $S$ be a subset of $\{0,1\}^n$ such that any two elements of $S$ are at least (Hamming) distance 5 apart. I'm looking for an upper bound on the size of the automorphism group of $S$. There's a ...
7
votes
0answers
187 views

A strong sum-product “for translates” in finite fields

In the course of some recent research, I've sketched out a proof of the following result. My basis question is: is the result interesting? Proposition There exists an absolute constant $c$ such ...
7
votes
0answers
254 views

Connection between two theorems on character values?

In a recent arXiv preprint here, Dipendra Prasad has revisited a 1976 theorem of Kostant (Theorem 2 in the paper On Macdonald's $\eta$-function formula, the Laplacian and generalized exponents, ...
7
votes
0answers
115 views

Fusion pattern in a cyclic subgroup of order 8

Can a finite simple group $G$ have an element $x$ of order 8 such that $x^2$ is conjugate to $x^{-2}$ but $x$ is not conjugate to any element of $\{x^3,x^5,x^7\}$? In other words, does this fusion ...
7
votes
0answers
256 views

Outer group automorphisms preserving conjugacy classes of pairs of commuting elements

The following problem appears in the study of braided autoequivalences of representation categories of Drinfeld doubles of finite groups. Let $G$ be a finite group. An outer automorphism $\alpha$ of ...
7
votes
0answers
402 views

Cyclic Sylow $p$-subgroup in finite simple groups

Hello, I came accross a beautiful and "simple" (no pun intended) theorem, mentioned here in slide 14 by Jack Schmidt. All finite simple groups have a cyclic Sylow $p$-subgroup for some $p$ I ...
7
votes
0answers
232 views

Why would dim primitive irrep divide size of some conjugacy class ?

From Isaacs et.al. 2005 Conjecture C. Let χ be a primitive irreducible character of an arbitrary finite group G. Then χ(1) divides | clG(g)| for some element g ∈ G. Here, of course, we ...
7
votes
0answers
327 views

The maximal order of an element in orthogonal groups over finite fields of characteristic 2

Let $q$ be a power of $2$ and let $(V,Q)$ be a quadratic space of dimension $2m$ over $\mathbb{F}_q$. Up to isometry, we know that we have exactly two classes of such quadratic spaces: the plus type ...
6
votes
4answers
2k views

Real representation of finite groups

I want to know if there is complete theory on real representation of finite groups. Say, given a finite group G, can we know all the injections from G to GL(n,R) for a particular n?
6
votes
3answers
354 views

character degree and solvability

There is an unsolved problem in Berkovich's book "Characters of Finite Groups Part 2" I state here: Is $G$ solvable if $\chi(1)^2$ divides $|G|$ for all $\chi \in {\rm Irr}(G)$? Can any one tell me ...
6
votes
7answers
552 views

Classifications of finite simple objects

I'm curious to know if other classifications are known of "finite simple structures" in the same spirit of the monumental classification of finite simple groups. Here I mean "classification" in the ...
6
votes
2answers
344 views

Sylow 3-subgroups of symmetric group

Is there any routine technique to find a set of permutations which generate a Sylow $3$-subgroup of the symmetric group $S_{n}$?
6
votes
1answer
949 views

A question on the product of element orders of a finite group

Let $G$ be a finite group of order $n$ and $\psi(G)$ be the sum of element orders of $G$. Then $\psi(G)\leq\psi(C_n)$, where $C_n$ is the cyclic group of order $n$ (see "Sums of element orders in ...
6
votes
4answers
813 views

Presentation of the Monster Group

I was reading about the monster group, and how hard it was to do calculations in it, and I wondered: Is there a known presentation of the monster group? I know that it is a hurwitz group, but other ...
6
votes
4answers
619 views

How many finite simple groups of order $p+1$?

I'm looking at finite simple groups of order $p+1$ where $p$ is a prime number. But they don't seem to fall into any classification - have these all been determined? Is the number of them even ...
6
votes
4answers
782 views

For a representation V of a finite group G, when is Hom(W, W⊗V) trivial for all irreps W?

This is probably really easy, but I just need someone to help me get mentally unstuck. As part of a description of the McKay correspondence, I want to show that if $G$ is a finite subgroup of $SU(2)$ ...