The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
3answers
155 views

quasiprimitive non-solvable groups

I'm looking for the reference about quasiprimitive unsoluble groups. Actually we can find a lot of useful things about quasiprimitive solvable groups in "Representations of solvable groups by Manz and ...
6
votes
1answer
509 views

Are there workable algebraic geometry approaches for the pentagon equation?

A pentagon equation is a system of polynomial equations of degree $3$ with several variables and integer coefficients, given by a fusion ring. A fusion ring is given by a finite set of integer ...
2
votes
0answers
100 views

Are there workable numerical approaches for the pentagon equation?

Warning: this post is the "numerical" analog of Are there workable algebraic geometry approaches for the pentagon equation? I've replaced "algebraic geometry" by "numerical" in its content, ...
5
votes
5answers
842 views

Groups of order $p(p^2+1)/2$

It seems that when $p>3$ is a prime, then each group of order $p(p^2+1)/2$ is abelian as I checked by Gap for small $p$. Is it true for each $p$? Thanks for your answers
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 ...
3
votes
1answer
224 views

Generating finite groups

Let $G$ be a finite group possessing a generating set of order $n \in \mathbb{N}$. Let $H \leq G$ and $x_1, \dots, x_n \in G$ for which $\langle H, x_1, \dots, x_n \rangle = G$. Must there be $h_1, ...
3
votes
2answers
281 views

groups of order $ p(p^2-1) / 4 $ where $p$ is a prime

Let $p> 3$ be a prime number and $G$ be a finite group of order $p(p^2-1) / 4 $. If $ 4 \mid (p+1)$ then easily we can see that the $ p$-Sylow subgroup of $G$ is a normal subgroup of $G$. As I ...
13
votes
0answers
451 views

What's the big deal about $M_{13}$?

$M_{13}$ is the Mathieu groupoid defined by Conway in Conway, J. H. $M_{13}$. Surveys in combinatorics, 1997 (London), 1–11, London Math. Soc. Lecture Note Ser., 241, Cambridge Univ. Press, ...
5
votes
0answers
77 views

representable functions on FinGrp

We look at functions $f: \text{FinGrp} \rightarrow \mathbb{N}$ such that $f$ is constant on isomorphism classes. Let's say that $f$ is representable if there is a (possibly infinite) group $K$ such ...
1
vote
1answer
123 views

Products of subgroups that generate a finite group

Consider the following general problem. There is a finite group $G$ and $H_1,H_2 < G$. Suppose we know that $\langle H_1, H_2 \rangle = G$, i.e. $G$ is generated by $H_1$ and $H_2$. Denote by $n_0$ ...
0
votes
1answer
188 views

Where can I find the classification of groups of order 16p? [closed]

I need to classify the groups of order $16p$ by their generators and relations between the generators. Can I find this classification anywhere?
5
votes
2answers
350 views

What is natural about the well-known bijection between conjugacy classes and irreps of a symmetric group?

Symmetric groups possess a well-known bijection between conjugacy classes and irreducible representations. More precisely, both sets are indexed by Young diagrams. Question: To what extent is this ...
5
votes
0answers
203 views

A particular example of solvable group

Let be $m$ an integer, $m>0$, $n=p_1^{a_1}...p_t^{a_t}$. Define $f(n)=a_1+...+a_t$. Let $G$ be a finite group and define $f(G)=\max\left\{\,f(\lvert g\rvert):g\in G\,\right\}$. Is there a finite ...
6
votes
3answers
270 views

Union of conjugates of a subgroup

Let $G$ be a finite group, $H \leq G$ a proper subgroup. It is well known that the union of the conjugates of $H$ does not cover $G$. I would like to know of more precise results (even in special ...
2
votes
1answer
174 views

Making a profinite group free

Let $F$ be a free profinite group, $G$ a profinite group. Suppose that the free profinite product $F \amalg G$ is a free profinite group. Must $G$ be a free profinite group? For abstract groups the ...
2
votes
1answer
158 views

The special subgroups of a finite abelian group of rank two

Let $G=\langle a_{1}\rangle\times\langle a_{2}\rangle$ such that $|a_{i}|=2^{k_{i}}$ and $k_{1}>k_{2}$ and $H$ be a subgroup of $G$ that there exists an automorphism of $G$ such that fix only ...
1
vote
1answer
175 views

smooth quotient out of a singular variety?

If $X$ is a smooth quasi-projective variety over $\mathbb{C}$ and $G$ is a finite group acting faithfully on $X$, then the Shepard-Todd theorem gives us some criterion for $X/G$ to be smooth. My ...
3
votes
1answer
392 views

Special automorphisms of extraspecial groups

Let $G$ be an extraspecial group of order $p^{2r+1}$ (where $p$ is an odd prime), and let $V$ be a faithful representation of $G$. Consider the normal subgroup $H$ of $Aut(G)$ consisting of all ...
4
votes
2answers
286 views

Profinite completions

I call a profinite group $G$ Noetherian, if evrey ascending chain of closed subgroups is eventually stable. A standart argument shows that every closed subgroup of a Noetherian profinite group is ...
13
votes
1answer
515 views

Are There Always Group Generators Which Give Unimodal Growth?

Suppose $G$ is a $k$-generated finite group. Is there always a set of $k$ elements which generate the group and have a unimodal counting function? Background: The counting function, $f(n)$, is a ...
4
votes
2answers
262 views

Factor subset of finite group

Let $G$ be a group of order $n$ and $d$ a positive divisor of $n$. Is it true that there exists a subset $A$ of $G$ with $d$ elements and a subset $B$ such that $G=AB$ and $|AB|=|A||B|$ ...
3
votes
2answers
203 views

maximal subgroups of finite simple groups

Is it possible to classify finite simple groups whose every maximal subgroups are not of prime order? Is it possible to answer to this question in the class of finite groups?
-1
votes
1answer
77 views

maximal subgroup of a $p$-group

Let $G$ be a $p$-group of order $p^t$, and also let $exp(G)=p$. Is there such a group $G$, such that every maximal subgroups of it, not being abelian? In fact, I want an example of such a group with ...
6
votes
2answers
259 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$ ...
18
votes
8answers
2k views

Fantastic properties of Z/2Z

Recently I gave a lecture to master's students about some nice properties of the group with two elements $\mathbb{Z}/2\mathbb{Z}$. Typically, I wanted to present simple, natural situations where the ...
2
votes
1answer
148 views

On the Suzuki group

Let $G$ be the Suzuki group over the field with $q=2^{2m+1}$ elements, $m>0$. Then, by Theorem 3.10 from B. Huppert, N. Blackburn, Finite Group III, pp 192-193, or wikipedia, the group $G$ contains ...
19
votes
0answers
243 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 ...
18
votes
1answer
1k views

Order of products of elements in symmetric groups

Let $n \in \mathbb{N}$. Is it true that for any $a, b, c \in \mathbb{N}$ satisfying $1 < a, b, c \leq n-2$ the symmetric group ${\rm S}_n$ has elements of order $a$ and $b$ whose product has order ...
4
votes
1answer
136 views

Generators of Sylow subgroups

Is there a function $f : \mathbb{N} \rightarrow \mathbb{N}$ such that for each finite supersolvable group $G$, and a Sylow subgroup $S \leq G$ we have $d(S) \leq f(d(G))$? Here $d(H)$ denotes the ...
6
votes
3answers
340 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
1answer
214 views

Fast construction of straight line programs?

Given a group $G$ and a set of generators $A$, we can ask ourselves (and do ask ourselves all the time) to bound the diameter of $G$ with respect to $A$. The diameter, let us recall, is defined to be ...
23
votes
1answer
867 views

Enumeration of a finite group

Let $G=\{g_1,g_2,...,g_n\}$ be a group with $e=g_1$ and $n$ is odd, Set $$a_1=g_1$$ $$a_2=g_1g_2$$ $$a_3=g_1g_2g_3$$ $$a_n=g_1g_2...g_n$$ I am looking for example that all $a_i$ are different from ...
11
votes
1answer
395 views

On the order of finite simple groups

About the order of finite simple groups there exists a very interesting result which stated as follows: Let $G$ be an non-solvable simple group of order $g$. If $p\mid g$, where $p>g^{1\over 3}$ ...
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 ...
2
votes
2answers
370 views

Finite groups with trivial Frattini subgroup

Let $G$ be a finite group with trivial Frattini subgroup (i.e. the intersection of all maximal subgroups of $G$ is trivial) such that $G$ has more than two maximal subgroups and at least one of its ...
4
votes
2answers
316 views

Finite groups factorized into two simple alternating groups

My research is somehow related to the following question : Describe and classify all finite groups $G$ such that $G=HK$ with $H \cap K=1$, where $H \cong A_m$ and $K \cong A_n$ for some integers $m, ...
2
votes
2answers
291 views

Finite Quotients and Resolutions of Singularities

So, I feel like I'm missing something obvious, but I have the following situation: Let $X\to Y$ be a finite group quotient of schemes (in fact, varieties) by the finite group $G$. Let $\tilde{Y}\to ...
1
vote
2answers
243 views

A semisimple group ring

Let $n \in \mathbb{N}$, $p$ a prime number, and $G$ a finite group of order coprime to $p$. Let $R = \mathbb{Z} /p^n \mathbb{Z}$ be the ring of integers mod $p^n$. Must $R[G]$ be semisimple? As noted ...
21
votes
7answers
2k views

Applications of Frobenius theorem and conjecture

A theorem of Frobenius states that if $n$ divides the order of a finite group $G$, then the number of solutions to $x^n = 1$ in $G$ is a multiple of $n$. Frobenius conjectured that if the number of ...
10
votes
2answers
251 views

Which finite nonabelian groups have all their quaternionic representations of degree one?

A finite group $G$ has a finite set of irreducible representations over the complex numbers. All of these representations are linear (that is, are maps in 1x1 complex matrices) if and only if $G$ is ...
3
votes
1answer
148 views

Integral representations of groups of small order

I have a problem in which it would be helpful to know about the integral representations of some groups of small order (probably of fairly low degree). From what I've gathered so far, cyclic groups of ...
3
votes
2answers
406 views

Kernel of modular representation of a finite group

Let $G$ be a finite group; let $F$ be a field of characteristic $p > 0$. If I have an irreducible modular representation $\rho: G \to GL_n(F)$, does $\ker \rho$ contain all the normal ...
6
votes
1answer
255 views

What is the Grothendieck group of the category of $\mathbf{Z}_p[G]$-modules?

Let $G$ be a finite group. Let $\mathcal{O}$ be a suitably large finite extension of the $p$-adic integers, with residue field $\mathbf{F}_q$. The Grothendieck group of the category of ...
2
votes
2answers
149 views

Number of generators of the commutator

Can one find a function $f : \mathbb{N} \rightarrow \mathbb{N}$ such that for every finite supersolvable group $G$ we have: $d(G') \leq f(d(G))$? Here $d(K)$ is the cardinality of a minimal set of ...
3
votes
2answers
146 views

Elementary abelian $p$-subgroups of maximal rank in finite groups of Lie type

Let $k$ be an algebraically closed field of characteristic $p>0$, and let $G$ be a reductive group defined over $\mathbb{F}_p$. For any $d\in\mathbb{Z}^+$, let $C_d(G)$ be the set of conjugacy ...
0
votes
0answers
70 views

Eigenvalues of the Cayley-like graph

Let $ F_q $ be a finite field of characteristic 2. Let $ x^2 + Sx +P \in F_q[x] $ be an irreducible polynomial over $ F_q $, and let $ g $ be one of its roots in $ F_{q^2} $. Define a map $ M: ...
3
votes
0answers
168 views

Profinite groups, completions, and Schreier's formula

Let $G$ be a finitely generated profinite group, and $H \leq_o G$. We say that $H$ satisfies Schreier's formula in $G$ if $d(H) - 1 = (d(G)-1)[G:H]$. We say that $G$ satisfies Schreier's formula if ...
4
votes
2answers
198 views

Maximal order of finite subgroups of $GL(n,Z)$

I am interested in the finite subgroups of $GL(n,Z)$ of maximal order. Except for the dimensions $n = 2,4,6,7,8,9,10$ they are -- up to conjugacy in $GL(n,Q)$ -- in each dimension the group of signed ...
7
votes
0answers
171 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 ...
1
vote
0answers
155 views

A question on the poset of classes of isomorphic subgroups of finite groups

Given a finite group $G$, we consider the set $${\rm Iso}(G)=\{[H]\mid H\leq G\},$$where $[H]=\{K\leq G\mid K\cong H\}, \forall H\leq G$. Then ${\rm Iso}(G)$ can be partially ordered by defining ...