The tag has no usage guidance.

learn more… | top users | synonyms

0
votes
0answers
131 views

A finite group with O_{p}(G)=1

Let $G$ be a finite group of order $p(p^2-1)/2$, where $p$ is prime number. If $O_{p}(G)=1$, then what is the number of Sylow $p$-subgroups G?
3
votes
0answers
81 views

Generalized identities of (soluble) groups

Let $G$ be a group. Let us say that $G$ satisfies a generalized identity of degree $n$ if there exist $a_1,a_2,\dots a_n \in G$ such that $$x^{a_1}x^{a_2}\dots x^{a_n}=1,$$ for all $x\in G$. ...
6
votes
0answers
95 views

Rings that are $K_0$ of finite groups

Is there a simple characterisation of all rings which appear as $K_0$ of finite groups? By $K_0$ of a finite group $G$ I mean $K_0(\mathbb C[G])$ which in the same as a ring of virtual characters of ...
0
votes
0answers
46 views

Equivalence classes of pairs linear transformations

Consider the set of 4-tuples: $$S_{(x, y), k} = \{ (a_i, b_i, a_j, b_j) : \|a_ixb_i - a_jyb_j\|_F^2 = k \}$$ for $a \in GL(m, \mathbb{R})$, $b \in GL(n, \mathbb{R})$, $x, y \in \mathbb{R}^{m \times ...
8
votes
1answer
316 views

Three involutions on the set of 6-box Young diagrams

The set of $n$-box Young diagrams classifies both conjugacy classes in $S_n$ and equivalence classes of irreducible representations of $S_n$. There is an outer automorphism of $S_6$, of order 2. ...
1
vote
0answers
99 views

Discrete group action on the sphere

Let $f$ be a continuous function on $S^3$ and let $\xi^{\perp}=\{x\in S^3:\,x\cdot\xi=0\}$ be a two-dimensional equator of $S^3$ orthogonal to the direction $\xi\in S^3$ (here $x\cdot\xi$ stands for a ...
3
votes
1answer
123 views

Center of an irreducible representation over $\mathbb{Q}$

Let $G$ be a finite group, $\rho\colon G \rightarrow \mathrm{GL}_n(\mathbb{Q})$ its irreducible representation, and $D$ the division algebra of $G$-endomorphisms of $\mathbb{Q}^n$. The division ...
0
votes
0answers
47 views

What is the size of the automorphism group of an abstract polytope with Schläfli symbol $\{p,q\}$?

Let $\Gamma_{p,q}$ be the automorphism group of the aforementioned abstract polytope. What is the size of this group?
26
votes
2answers
1k views

How much of the ATLAS of finite groups is independently checked and/or computer verified?

In a recent talk Serre made some comments about proofs that rely on the classification of finite simple groups (CFSG) and on the ATLAS of Finite Groups. Namely, he said that a proof that relied on the ...
2
votes
1answer
177 views

Finite sequences which happen to be the sequence of orders of elements of a simple group

Let $n\in \Bbb N$. Any finite group $G$ with $|G|=n$ has a solution for the Diophantine equation $$\sum_{d|n}x_d\phi(d)=n~~~~~~~~~~~~~~~~~~~~~~~(1)$$ where $\phi$ is the Euler's totient function, $d$ ...
-2
votes
1answer
70 views

On Sylow subgroup of a finite group [closed]

Let $p\mid n$, then by $n_p$ we mean the $p$-part of $n$, i.e. $n_p = p^k$ if $p^k\mid n$ but $p^{k+1}\nmid n$. Let $G$ be a finite group, $M\leq G$ and $P\in Syl_p(G)$. Is It true that $|M\cap ...
3
votes
1answer
86 views

Classification of finite abelian hypergroups and table algebras

Update: Originally, I formulated this question for finite abelian hypergroups, but in a discussion with Geoff Robinson below I realized that the abelian hypergroups defined below are equivalent to ...
0
votes
1answer
215 views

Classification of finite group schemes over a field

What is known about the classification of finite group schemes over a field? By a finite group scheme I mean $Spec A$ where $A$ is a finite-dimensional algebra over a field. Is there a full ...
6
votes
2answers
329 views

How simple does a $\mathbb{Q}$-simple group remain after base change to $\mathbb{Q}_{\ell}$?

Of course the general answer to the question in the title is: not very simple. I could not think of a better title, so let me explain my question in more detail. I have a number field $E/\mathbb{Q}$, ...
0
votes
0answers
72 views

When is a group generated by three involutions two of which commute a Coxeter group?

Let's say the group is generated by three involutions $a$, $b$, and $c$ such that $ord(ab)= 2$, $ord(bc)=3$, and $ord(ac)=m$. Under which conditions is it isomorphic to the rank 3 Coxeter group $(2, ...
2
votes
4answers
160 views

Are the orders of the generators of a group and the product of pairs of thereof enough for this group to be isomorphic to a Coxeter group?

Let's say we have $n$ generators $x_1, x_2, \cdots, x_n$ along with the following facts concerning their orders: \begin{eqnarray*} ord(x_i) &=& 2 \text{ for } i = 1, 2, \cdots, n \\ ord(x_i ...
1
vote
1answer
82 views

embedding of finite groups into product

Our situation is following. Assume that we have free product $\star_{i<n} G_i$ each $G_i$ finite group and assume that we have normal subgroup $K$ such that composition of canonical embedding and ...
2
votes
1answer
108 views

What is a good program for matrix groups computations?

I need a computer program, to help me with some very basic group computations. Specifically, I want to know if some group generated by a few small matrices over a finite field is solvable. Is there a ...
4
votes
0answers
106 views

Non averaging sequences in finite groups

Let us say that a non averaging sequence in a group $G$ is a sequence $x_1, \dots, x_n$ such that $$x_i^2 \neq x_j x_k$$ for any indices $i, j, k$ such that two at least are distinct. My question is: ...
0
votes
0answers
50 views

Commutator subgroup of rotational symmetries of the hypercube

I would like to know which is the commutator subgroup of the group of rotational isometries of the $n$-dimensional cube. The group i am talking about is the subgroup of $\{ \pm 1 \} \wr S_n$ ...
1
vote
0answers
103 views

Classification of Automorphism set of a Regular graph

Let $A$ be the adjacency matrix of an $r$-regular graph $G$ with $n$ vertices (Not complete or cycle graph) . Also, let $Aut(G)$ be the set of all its automorphisms (i.e. set of permutation ...
5
votes
2answers
349 views

What is the permutation group generated by those three given morphisms of the affine space $\mathbb{F}_q^3$?

Let $\mathbb{A}^3 = \mathbb{F}_q^3$. Consider the following three functions $\mathbb{A}^3\to\mathbb{A}^3$: \begin{eqnarray*} h: (x, y, z) &\mapsto& (x, y, xy - z) \\ u: (x, y, z) ...
1
vote
1answer
170 views

Generalization of a theorem of Steinberg

Steinberg has a beautiful theorem counting $F$-stable maximal tori in a reductive group. Here's the version of the result that you can find as Theorem 3.4.1 of Carter's Finite groups of Lie type: ...
8
votes
1answer
499 views

Which finite groups have no irreducible representations other than characters?

A classical result states that all the irreducible representations of a finite group over $\mathbb{C}$ are characters if and only if $G$ is abelian. I would like to know what happens if we consider a ...
1
vote
1answer
115 views

Involutive automorphisms of a finite abelian p-group

First, let $A$ be a finitely generated free abelian group, and $s$ an automorphism of order $2$ of $A$. Set $G=\{1,s\}$. Then we know that $A$ is a sum of indecomposable $G$-lattices $A_i$, where ...
6
votes
4answers
428 views

SO$(4)$ (& SO$(n)$) characterization?

I believe it is the case that any finite subgroup of SO$(3)$ (the $3 \times 3$ orthogonal matrices of determinant $1$) is either a cyclic group $C_n$, or a dihedral group $D_n$, or one of the groups ...
2
votes
1answer
118 views

Counting elements with certain word length in abelian groups

Given a (finite) abelian group $G = \langle S \mid R \rangle$, has the problem of counting the number of elements which can be expressed as a word (in $S$) of length $\leq k$ been studied? If so, ...
3
votes
1answer
142 views

Is there a way to find an efficient set of relations for presenting the subgroup generated by two matrices in $SL(2, q)$?

Given two elements $a, b \in SL(2, \mathbb{F}_q)$, is there a way to find an efficient presentation $$\langle x, y \mid \text{relations}\rangle$$ of the subgroup $\langle a, b \rangle$? My intention ...
2
votes
2answers
125 views

What are the 2-generated subgroups of the special linear group $SL(2, q)$ over a finite field?

What is the subgroup structure of the subgroups $\langle a, b\rangle$ where $a, b \in SL(2, q)$?
6
votes
1answer
220 views

Is every nonabelian finite simple group a quotient of a triangle group $(a,b,c)$ with $a,b,c$ coprime?

Here by triangle group $(a,b,c)$ I mean the group with presentation $$\langle x,y \;|\; x^a = y^b = (xy)^c = 1\rangle$$ In other words, for every finite simple nonabelian group $G$, do there exist ...
4
votes
1answer
474 views

Is there a structure theorem or group law for finite groups generated by two elements?

Say that $a, b \in G$ are two elements of a finite group $G$. Is there a structure theorem for the structure of $\langle a,b\rangle$? Is there a way to derive group laws for the group operation in the ...
3
votes
1answer
165 views

A representation of a finite group where every nonzero vector has a trivial stabilizer [duplicate]

What are the finite groups which admit a non-zero representation in char 0 where every non-zero vector has stabilizer equal to $\left<1\right>$? Cyclic groups of prime order is one obvious ...
4
votes
0answers
181 views

A class 3 group of order 243

Let G be a group of order $243=3^5$. We denote by $(G_i)$ its lower central series and assume that $G$ has class $3$ and that $|G:G_2|=|G_3|=9$. We assume moreover that the cubing map factors as a ...
48
votes
1answer
3k views

Why can't a nonabelian group be 75% abelian?

This question asks for intuition, not a proof. An earlier question, Measures of non-abelian-ness was thoroughly answered by Arturo Magidin. A paper by Gustafson1 proves that, for a nonabelian group, ...
0
votes
0answers
25 views

Is there a non-solvable integral fusion category of square-free dimension?

A finite group of square-free order is solvable (see here). You can find the definition for a solvable fusion category in this paper. Question: Is there a non-solvable integral fusion category of ...
2
votes
0answers
194 views

Does knowing $g, g^r, g^{r^2}, g^{r^3}, \dotsc$ sometimes offer a significant advantage in finding $r$?

Is there a cyclic group $\mathcal G$ with generator $g$ for which the discrete log problem is assumed to be hard, but knowing $g, g^r, g^{r^2}, g^{r^3}, \dotsc$ for random $r$ makes finding $r$ easy? ...
1
vote
1answer
71 views

Isotropic subspaces in a symplectic vectorspace over $GF(q)$

Let $V$ be a symplectic vectorspace of dimension $2n$, and $r\mid n$. Is this statement true?"There is an isotropic spread of $r$ dimensional subspaces in $V$". By an isotropis subspace I mean a ...
1
vote
2answers
244 views

Subgroup of Projective general linear group on complete discrete valuation ring

Let $R$ be a complete dvr and $k$ its residue field of positive characteristic. Let $H$ be a finite subgroup of $PGL_2(k)$ such that the order of $H$ is prime with $char(k)$. Is there some ...
2
votes
1answer
142 views

Asymptotic of min(#generators times diameter), for a Cayley graph of Sn

This post is a sequel of Diameter of symmetric group. Let $\Sigma$ a generating subset of $S_n$, $\Gamma(S_n, \Sigma)$ the Cayley graph and $d_{\Sigma}$ the diameter of $\Gamma(S_n, \Sigma)$. Let ...
2
votes
2answers
168 views

Permutation covering of a $G$-lattice

Let $G$ be a finite group. By a $G$-lattice we mean a finitely generated free abelian group $L$ with an action of $G$. We say that $L$ is a permutation $G$-lattice if $L$ has a ${{\mathbf{Z}}}$-basis ...
3
votes
0answers
251 views

On Thompson conjecture

Let $N(G)$ be the set of conjugacy class sizes of finite group $G$. Let $G$ be a finite group for which $N(G)=N(A_n)$, where $A_n$ is the alternating group of degree $n$. Let $p$ and $q$ be distinct ...
22
votes
0answers
435 views

Next steps on formal proof of classification of finite simple groups

While people are steaming ahead on finessing the proof of the classification of finite simple groups (CFSG), we have a formal proof in Coq of one of the first major components: the Feit-Thompson ...
0
votes
0answers
126 views

Representation of finite group

Let $\Gamma$ be a finite index subgroup of $SL_2(\mathbb{Z})$. Let $\pi$ be a natural covering from $\Gamma\backslash\mathbb{H}$ to $SL_2(\mathbb{Z})\backslash\mathbb{H}$. Denote by $\text{Deck}(\pi)$ ...
2
votes
2answers
137 views

Finite groups which have elements $g$ of order $pq$ such that the sizes of the conjugacy classes of $g^p$, of $g^q$ and of $g^{q-p}$ coincide [closed]

Let $G$ be a finite group and let $g \in G$ be an element of order $pq$, where $p < q$ are prime numbers. Denote by $g^G$ the conjugacy class of $g$ in $G$. Under which conditions does the ...
1
vote
0answers
163 views

Are the finite groups inclusions, almost all relatively cyclic?

Definition: An inclusion of finite groups $(A \subset B)$ is relatively cyclic if $\exists b \in B$ such that $\langle A,b \rangle = B$. Definition: Two inclusions of finite groups are equivalent, ...
1
vote
1answer
125 views

Groups with many vanishing elements

It is well-known that every non-linear character $\chi$ of a finite group $G$ vanishes on some elements of $G\setminus Z(\chi)$. The question is What can be said about a finite group $G$ for which ...
13
votes
2answers
449 views

Origin of group theory problem (bound on number of Sylow subgroups)

This problem (prove that the number of Sylow subgroups of a finite group $G$ is bounded by $\frac{2}{3}|G|$) posted on MSE proved rather difficult to solve. The OP has been silent about where the ...
2
votes
1answer
186 views

Finite quotients of an infinite product of finite groups

Let $G$ be a finite group. Consider the direct product $\Gamma=\prod_{i=1}^{\infty}G$ of (countably) infinitely many copies of $G$. For every finite set of numbers $\{i_1,\ldots,i_n\}$ we have the ...
17
votes
2answers
538 views

Is there a big solvable subgroup in every finite group?

Definition: Let $G$ be a group, and let $H \leq G$ be a subgroup. We say that $H$ is big in $G$ if for every intermediate subgroup $H \leq L \leq G$ there exists some $x \in L$ such that $\langle H ...
0
votes
0answers
99 views

Subgroups of powers of the alternating group on 5 elements

Definition: Let $G$ be a group, and let $H \leq G$ be a subgroup. We say that $H$ is big in $G$ if for every intermediate subgroup $H \leq L \leq G$ there exists some $x \in L$ such that $\langle H ...