The tag has no wiki summary.

learn more… | top users | synonyms

19
votes
0answers
248 views

Uniform proof that a finite reflection group is determined by its degrees?

Given a finite (real) group $G$ generated by reflections acting on euclidean $n$-space, it was shown by Chevalley in the 1950s that the algebra of invariants of $G$ in the associated polynomial ...
0
votes
2answers
142 views

Decomposition of $G$-harmonic polynomials

Let $G$ be a finite group and let $H_G$ denote the $G$-harmonic polynomials. What is the structure of $H_G$ as a $G$-module? Is it isomorphic to the regular representation?
0
votes
1answer
126 views

The Frattini subgroup of $D_{\infty}$ [closed]

Please hint me. $\phi(D_{\infty})?$ $\phi(G)$ is Frattini subgroup of $G$, intersection of all the maximal subgroup of $G$ and $D_{\infty}=<x,y|x^2=y^2=1>$.
2
votes
0answers
368 views

A question about finite groups (a weak version of the converse of Lagrange theorem) [closed]

Let $G$ be a group of order $n$ and $d$ a positive divisor of $n$. Is it true that there exists a subgroup of $G$ with order $d$ or $n/d$? Of course this does not hold in full generality. -- In ...
6
votes
0answers
239 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 ...
11
votes
1answer
258 views

Finite groups with few double cosets with respect to abelian subgroup

The following question is motivated by the study of certain tensor categories, namely integral near-group categories. Let $G$ be a finite group and $H\subset G$ be a subgroup. Is it possible to give ...
5
votes
2answers
360 views

The number of conjugacy classes of the simple group PSL(2,q)

If $q=p^a$ , where $p$ is a prime number, then I would like to know the number of conjugacy classes related to elements of order $p$ and $2$ in the simple group $PSL(2,q)$ .
3
votes
1answer
274 views

quotient by finite group actions that are smooth

Let $X$ an affine normal scheme of finite type over a field $k$ of characteristic zero. Let $G$ a finite group acting on $X$ and $Y=X/G=Spec(K[X]^{G})$. We assume that ...
6
votes
4answers
757 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 ...
4
votes
1answer
436 views

What natural numbers can be considered as the product of orders of elements of a finite (abelian) group

Problem A5 from putname's competition 2009 asks to prove that there is no finite abelian group such that the product of order of its elements is equal to $2^{2009}$. Starting from this problem, for ...
2
votes
1answer
299 views

Quotients of Hurwitz group

Since my question at Simplicity of infinite groups was not answered (well, at least, my second question), instead of trying to find the isomorhism type of those groups, I will instead try to find the ...
11
votes
3answers
566 views

Dimensions and number of complex irreducible representations for SL3(Z/pZ)

This is my first post here :) I have the following two related questions. While looking in Conway's ATLAS (the 1985 one) for $SL_3(Z/pZ)$, where he does the cases $p=2,3,5,7$, I saw that the ...
1
vote
1answer
286 views

Help understanding a group

I was experimenting with various presentations for groups, and I stumbled upon $G := \langle a, b \ | \ a^2, b^3, (ab)^7, [aba,b]^6 \rangle$. I found that it has order 11741184, but the magma ...
-2
votes
1answer
217 views

A generalization of an old group problem [closed]

Here is an old exercise in group theory: (1) If $G$ is a group of order $2n$ with $n$ odd then $G$ is not simple and in fact $G$ has a normal subgroup of order $n$. I am going for one straight ...
8
votes
2answers
592 views

Easier reference for material like Diaconis's “Group representations in probability and statistics”

I'm teaching a class on the representation theory of finite groups at the advanced undergrad level. One of the things I'd like to talk about, or possibly have a student do any independent project on ...
7
votes
3answers
513 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 ...
-4
votes
1answer
424 views

A question on the number of subgroups of symmetric groups

Let $G$ be a finite group. Several recent papers (see e.g. http://www.jstor.org/discover/10.2307/2695441) deal with the following notion: $G$ is called a group with perfect order subsets or briefly, a ...
2
votes
2answers
331 views

Automorphism group action leads to a “quotient graph”

Let $G$ be a simple (finite) graph. Consider the next natural equivalence relation $\sim$ on $V(G)$: $u\sim v$ iff there exists and automorphism $\phi\in Aut(G)$, such that $\phi(u)=v$. Define a new ...
11
votes
1answer
360 views

Group theory conjecture on hurwitz groups

Conjecture: Let $p$ be a prime. Then the group $G := \langle a, b \ | \ a^2, b^3, (ab)^7, [a,b]^9, (([a,b]^4)b)^{2p} \rangle$ has a composition series of the form ${\rm PSL}(2,8) - {\rm Z}_p - ...
3
votes
1answer
261 views

Index of $Z(G)$ in the centralizer of an element of a finite 2-group

Let $G$ be a finite 2-group. Let $x$ be a non-central element of $G$ such that $C_G(x)\leq cl(x)\cup Z(G)$ where $cl(x)$ denotes the conjugacy class of $x$ in $G$. Is it true that $|C_G(x):Z(G)|=2$? ...
6
votes
0answers
163 views

A constant associated to the character table of a finite group

Following on from some of myprevious MO questions on finite group theory... $\newcommand{\Irr}{\operatorname{Irr}}\newcommand{\Conj}{\operatorname{Conj}}\newcommand{\AMZL}{{\rm AM}_{\rm Z}}$ Let $G$ ...
5
votes
1answer
168 views

How hard is it to compute the diameter and the growth function of a finite permutation group of small degree?

Let $G \leq {\rm S}_n$ be a finite permutation group, and let $S = \{g_1, \dots, g_k\}$ be a generating set for $G$ which is closed under inversion and which does not contain the identity. The growth ...
9
votes
2answers
305 views

Extension of the Weyl dimension formula

Let $G$ be a compact semisimple group and let $\Gamma$ be a finite subgroup of $G$. I am interested, for $(\pi,V)\in \widehat G$ (irred rep of $G$), in a formula for $\mathrm{dim} V^\Gamma$, the ...
4
votes
1answer
150 views

Number of generators of the automorphism group of an abelian group

Let $G$ be a finite abelian $p$-group. What is known about the minimal number of generators of a $p$-sylow of $Aut(G)$? is it bounded in terms of $d(G)$ the minimal number of generators of $G$ (and ...
5
votes
2answers
604 views

Orthogonal orthomorphisms of order 2

EDIT: There is an additional requirement that the composition of the orthomorphisms will also be order 2 (see my answer below). A full proof is not needed, I will be happy with any argument which ...
1
vote
1answer
78 views

The action of graph automorphism of finite symplectic group on maximal subgroups

Let $G=Sp(4,2^f)$ with $f>1$. Based on the facts when $f$ is small, I would feel the following: $G$ has two conjugacy classes of subgroups isomorphic to $SO^+(4,2^f)$. One is in Aschbacher's class ...
6
votes
1answer
241 views

Reference for embeddings of reflection groups (related to folding ADE Coxeter graphs?

There are a couple of indirect methods, using Lie theory or Springer's general theory of regular elements in (real, complex) reflection groups, to construct natural embeddings among certain Weyl ...
32
votes
3answers
588 views

Word evaluating to a group element and its inverse with different frequency

I'm supervising an undergraduate research project. Among other things, I've got the student to look at this paper of Gene Kopp and John Wiltshire-Gordon. This question arose from a missing complex ...
15
votes
0answers
248 views

Maximum automorphism group for a 3-connected cubic graph

The following arose as a side issue in a project on graph reconstruction. Problem: Let $a(n)$ be the greatest order of the automorphism group of a 3-connected cubic graph with $n$ vertices. Find a ...
19
votes
2answers
719 views

Definition of “finite group of Lie type”?

The list of finite simple groups of Lie type has been understood for half a century, modulo some differences in notation (and identifications between some of the very small groups coming from ...
0
votes
0answers
91 views

Soluble subgroups of 8-dimensional orthogonal groups over GF(4) transitive on nondegenerate 1-subspaces

Let $V$ be an $8$-dimensional vector space over $GF(4)$ equipped with a nondegenerate plus type quadratic form, $G$ be an almost simple group with socle $L=\Omega^+(V)$, and $H$ be a soluble subgroup ...
2
votes
1answer
130 views

Subgroup structure of orthogonal groups of small dimension over finite fields

How much is known about the subgroup structure of the orthogonal groups (of dimension n<=7, say) over finite fields? Can anyone point me in the direction of a good reference? I'm aware of a book by ...
4
votes
1answer
88 views

Generalized system normalizer for insoluble finite groups

For a finite group $G$ is there a subgroup $H$ such that for every chief factor $K/L$ of $G$ one has: $G = K C_G(K/L)$ and $K \leq HL$ (so $K/L$ is inner and covered by $H$) $G \neq K C_G(K/L)$ and ...
2
votes
1answer
196 views

An upper bound for the maximal subgroups at fixed index?

Let us call a subgroup an injective homomorphism between groups. I warn the reader that a subgroup designates here an inclusion $(H \subset G)$, not $H$ alone. A subgroup $H \subset G$ is ...
11
votes
3answers
1k views

Is there a purely group-theoretic reformulation of an equivalence of subgroups?

There is an equivalence relation between inclusion of finite groups coming from the world of subfactors: Definition: $(H_{1} \subset G_{1}) \sim(H_{2} \subset G_{2})$ if $(R^{G_{1}} \subset ...
3
votes
1answer
202 views

non-split extension and Schur multiplier

Let $G$ be a central extension of the group $K$ by the group $H$. If we know that this extension is non-split, is it true that the order of $K$ must divide the Schur multiplier of the group $H$?
4
votes
1answer
607 views

Finite groups with no elements of order $p^2q$

Let $G$ be a finite group. What can be said if $G$ has the following Property P: $G$ has no element of order $p^2q$ for any two distinct primes $p,q$? In particular, which finite simple groups ...
2
votes
1answer
125 views

Embeddings of of quotient singularities

Let $G$ be a finite subgroup of $SL(n,\mathbb{C})$. Let $G$ act on $\mathbb{C}^{n}$ with the action induced by $SL(n,\mathbb{C})$ and the induced action of $G$ on the unit sphere $S^{2n-1}$ is free. ...
12
votes
1answer
252 views

Largest subset of $GL_n(p)$ in which pairwise subtraction is also in $GL_n(p)$

Suppose $X\subset \mathrm{GL}_n(p)$ is a set of invertible matrices such that for every $A,B\in X$ then also $A-B\in \mathrm{GL}_n(p)\cup \{0\}$. (If anyone knows a name for such sets I would be ...
7
votes
1answer
306 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?
0
votes
1answer
216 views

For any n and some prime p there is an elemnet in Zp* of order n [closed]

How can I prove, that for any positive integer $n>0$ there is a prime $p$, such that the multiplicative group of the residue ring $Z_p^*$ contains an element $a$ of order $n$? No ideas at all...
3
votes
1answer
81 views

On Groups of Maximal Class: Reference

I will be happy if one gives references (oncluding current research) for `classification' (structure) of $p$-groups of maximal class which contain abelian maximal subgroup (i.e. abelian subgroup of ...
4
votes
1answer
306 views

Does there exist an order in a number field of deg>1 with a map to F_p for all p?

This question is motivated by a computational issue. Suppose $R$ is a product of orders in numberfields such that there is no ring homomorphism $R \to \mathbb Z$, then can one write an algorithm that ...
5
votes
2answers
201 views

Principal series of finite group of Lie type

I have a naive question on complex representations of finite groups of Lie type. Let $\bf G$ be a reductive group (say connected, with connected center, for safety) defined over a finite field ...
2
votes
3answers
722 views

General bound for the number of subgroups of a finite group

I am interested in the following: Let $G$ be a finite group of order $n$. Is there an explicit function $f$ such that $|s(G)| \leq f(n)$ for all $G$ and for all natural numbers $n$, where $s(G)$ ...
7
votes
1answer
246 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. ...
2
votes
2answers
185 views

Conjugacy classes of the Ree groups

Dear all, Consider the finite simple Ree groups $G=^2\hspace{-1mm}G_2(3^{2n+1})$ where $n$ is a positive integer. I would like to know the orders of conjugacy class representatives of $G$ and from ...
0
votes
1answer
319 views

Example of a finite group

Hi everyone, I am looking for an example of finite group $G$ such that (a) the number of elements of order $2$ group $G$ is $p(p+1)/2$ or $p(p-1)/2$ ($p$ is a prime divisor of order $G$) (b) the ...
2
votes
3answers
404 views

a question about finite simple non-abelian groups

Is this true? Let $G\neq A_5$ be a finite simple non-abelian group. Then $G$ has a cyclic subgroup of order $2p$ and a subgroup isomorphic to the dihedral group of order $2p$, for some prime $p$.
4
votes
2answers
490 views

Transitive subgroup of $S_p$ containing a $p$-cycle and a double transposition

Let $p$ be a prime other than 5 or 7. Are $A_p$ and $S_p$ the only subgroups of $S_p$ that contains a $p$-cycle and a double transposition? As for $p = 5$, the dihedral group $D_{10}$ contains a ...