Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [finite-groups]

Questions on group theory which concern finite groups.

0
votes
0answers
14 views

On class-preserving automorphism of finite $p$-group

Let $G$ be a finite non-abelian $p$-group, where $p$ is a prime. An automorphism $\alpha$ of $G$ is called a class-preserving if for each $x\in G$, there exists an element $g_x\in G$ such that $\alpha(...
2
votes
1answer
104 views

Fixed points of the automorphisms of sporadic groups

Sporadic groups have very few outer automorphisms (in fact, $|\mathrm{Out}(G)|\leqslant2$), so it is very natural to ask what are the fixed points subgroups. For a group of Lie type (and a suitable ...
2
votes
0answers
109 views

Metrics on finite groups and generalizations of central limit theorems for balls volumes (à la Diaconis-Graham)

In wonderful lectures by P. Diaconis "Group representations in probability and statistics, Chapter 6. Metrics on Groups, and Their Statistical Use" metrics on permutation groups are considered and ...
6
votes
1answer
163 views

Why is Nagao's theorem the “Module theoretic version of Brauer's second main theorem”?

Let $G$ be a finite group, $p\in\mathbb{P}$ a prime, $\mathbb{F}$ an algebraically closed field of characteristic $p$, and $D\leq G$ a $p$-subgroup. Brauer second main theorem states If $\chi\in ...
0
votes
0answers
59 views

$2$-power-torsion elements of a group

Let $G$ be a finite group, let $P$ be one of its $2$-sylow subgroups. Let $H$ be a proper subgroup of $P$, namely $H<P$ with $H\neq P$. Is it possible that $$\bigcup_{g\in G}g^{-1}Hg=\bigcup_{g\in ...
3
votes
0answers
51 views

Efficient implementation of the Clifford group for $n$ qubits

I'm looking for an efficient implementation of the Clifford group $\mathcal{C}_n$ of $n$ qubits. The Clifford group $\mathcal{C}_n$ has stucture $(2_+^{1+2n} \circ C_8).Sp(2,n)$, where $2_+^{1+2n}$ ...
7
votes
0answers
83 views

Permutation groups with diameter $O(n \log n)$

I suspect that many permutation puzzles can be solved in $O(n \log n)$ moves, which has led me to the following question/conjecture: Suppose that 1. $P_i$ for $i<k=O(1)$ are permutations on an $n$ ...
6
votes
0answers
226 views

Symmetry group and irreducible representation

Let $S$ be a bounded geometric shape in the Euclidean space $E=\mathbb{R^n}$. Assume that the origin of $E$ is a fixed point of every element of the symmetry group $G(S)$ of $S$, and assume that $G(S) ...
1
vote
0answers
25 views

Decomposition into irreducible of a representation of the wreath product $S_d \wr S_n$ (3)

Let: $$ R_m^n= \bigl( F^{\widetilde{\otimes n-m}} \boxtimes S^{\widetilde{\otimes m}} \bigr)\bigl\uparrow_{S_{n-m} \times S_{m}}^{S_m} : $$ This is an irreducible representation of $S_d \wr S_n$. I'd ...
1
vote
0answers
40 views

Decomposition into irreducible of a representation of the wreath product $S_d \wr S_m$ (2)

This is a question following Decomposition into irreducible of a representation of the wreath product $S_d\wr S_n$ I call: $$ R_m= \bigl( F^{\widetilde{\otimes n-m}} \boxtimes S^{\widetilde{\otimes m}...
2
votes
1answer
159 views

Decomposition into irreducible of a representation of the wreath product $S_d\wr S_n$

Let $S_d, S_n$ be the permutation groups of $d,n$ elements. An intuitive representation of the wreath product $S_d\wr S_n$ is $V_1\otimes...\otimes V_n$, where each $V_i$ is of dimension $d$. Writing ...
8
votes
1answer
193 views

Nonabelian finite groups with “locally commuting” presentation

Let $G = \left\langle S | R \right\rangle$ be a finitely presented group where S is a set of generators and R is a set of relations. We say that the presentation is "locally commuting" if whenever two ...
11
votes
3answers
271 views

Finite groups with few conjugacy classes of maximal subgroups

Let $c$ be a positive integer, $G$ a finite group with at most $c$ conjugacy classes of maximal subgroup. What can we say about $G$? Same question, but this time $G$ is a finite group with at most $c$...
7
votes
1answer
361 views

Simple groups of the same order

I heard that there are no 3 nonisomorphic simple groups of the same order. Question: Is there an elementary proof of this? In case this is not the case, here a modified question: Question: Is ...
9
votes
1answer
267 views

Does the union of all finite groups yield a complete knot invariant for prime knots?

It is established in Whitten - Knot complements and groups together with the Gordon-Luecke theorem (that knot complements determine knot type) that the type of a prime knot is determined by the ...
1
vote
0answers
78 views

On $n$th class-preserving automorphism of finite $p$-group

Let $G$ be a finite non-abelian $p$-group, where $p$ is a prime. An automorphism $\alpha$ of $G$ is called an $n$th class-preserving if for each $x\in G$, there exists an element $g_x\in \gamma_n(G)$ ...
3
votes
0answers
121 views

How can I get my hands on McKay's “Finite p-Groups” lecture notes?

The notes I'm talking about are these. I emailed Peter Cameron, but he has since moved to a different university, and has no copies himself. I also emailed the school manager at Queen Mary, but they ...
-1
votes
1answer
111 views

class structure constants relation

Let $C_{j,k}^l$ ,usually called class structure constants, eg Jansen and Boon and/or JQ Chen, be the number of times the class $l$ is generated from the product of classes $j,k$ and $c_j=c_{-j}$ (a ...
2
votes
1answer
157 views

Symmetric subgroups of simple algebraic groups over finite fields

Let $G$ be a simply connected simple algebraic group over a field $k$. Let $\theta\colon G\to G$ be an involution of $G$ over $k$ (an automorphism of order 2). Let $H=(G^\theta)^0$, the identity ...
7
votes
0answers
153 views

Cyclic and prime factorizations of finite groups

A tuple $(A_1,\dots,A_n)$ of subsets of a finite group $G$ is called a factorization of $G$ if $G=A_1\cdots A_n$ and $|A_1|\cdots|A_n|=G$. In Cryptology factorizations of groups are known as ...
10
votes
3answers
409 views

Is each finite group multifactorizable?

Definition. A finite group $G$ is called multifactorizable if for any positive integer numbers $a_1,\dots,a_n$ with $a_1\cdots a_n=|G|$ there are subsets $A_1,\dots,A_n\subset G$ such that $A_1\cdots ...
12
votes
2answers
507 views

Factorizable groups

Definition. A finite group $G$ is factorizable if for any positive integer numbers $a,b$ with $ab=|G|$ there are subsets $A,B\subset G$ of cardinality $|A|=a$ and $|B|=b$ such that $AB=G$. Problem ...
11
votes
0answers
252 views

Is the norm element characteristic in modular group rings?

Let $G$ be a finite $p$- group and let $\varphi$ be an automorphism of $\mathbb{F}_pG$ as $\mathbb{F}_p$-algebras and let $n = \sum_{g\in G} g$ be the norm element. Does it follow that $\varphi(n)=n$? ...
4
votes
2answers
106 views

A question on UCS p-groups

A $p$-group $G$ is called a ${\it UCS}$ $p$-group if $G$ has precisely three characteristic subgroups, namely $1$, $\Phi(G)$ and $G$. Let $G$ be a finite UCS $p$-group of order $p^{2n}$ such that $\...
13
votes
2answers
295 views

A finite group that has no decomposition of given cardinality

Let $a,b$ be two positive integer numbers. A group $G$ is called $a{\times}b$-decomposable if there are subsets $A,B\subset G$ of cardinality $|A|=a$ and $|B|=b$ such that $AB=G$ where $AB=\{xy:x\in A,...
7
votes
1answer
294 views

Finite groups containing no subgroups of a given order or index

The classical Lagrange's Theorem says that the order of any subgroup of a finite group divides the order of the group. For abelian groups this theorem can be completed by the following simple fact: ...
6
votes
2answers
387 views

Explicit computation of the Burnside ring

I would like to see explicit computations of the Burnside ring $A(G)$ when $G$ is a small Abelian group, such as $G=\mathbb{Z}/2,\mathbb{Z}/2^n,\mathbb{Z}/p^n$ where $p$ is an odd prime and $n\...
2
votes
1answer
99 views

Groups with a maximal subgroup which is solvable

I would like to know results on the structure of a finite group $G$ which possesses a maximal subgroup $H$, with $H$ solvable. More precisely, about supplements of $H$, that is, decompositions $G=HK$ ...
17
votes
2answers
936 views

A character identity

This is related to my question, but it concerns a specific point of the proof of Schur's Theorem. Let $G$ be a finite group and $\chi$ an irreducible character of $G$. Is it true that $$\forall g\in ...
0
votes
1answer
170 views

A question on Frobenius groups [closed]

Please change the title if needed. Let $p$ and $q$ be distinct primes and $G\cong(\underbrace{\mathbb{Z}_{q}\times\mathbb{Z}_{q}\times\dots\times\mathbb{Z}_{q}}_{n\,\,times})\rtimes\mathbb{Z}_{p}$, ...
6
votes
0answers
73 views

Numbers where there is a unique group with integral character table

Call a number $n$ special in case there is a unique group of order n whose character table consists of only integers. This should be equivalent to the condition that the number of conjugacy classes ...
29
votes
1answer
688 views

Number of irreducible representations of a finite group over a field of characteristic 0

Let $G$ be a finite group and $K$ a field with $\mathbb{Q} \subseteq K \subseteq \mathbb{C}$. For $K=\mathbb{C}$ the number of irreducible representations of $KG$ is equal to the number of conjugacy ...
12
votes
3answers
490 views

Which partitions realise group algebras of finite groups?

Fix an algebraically closed field $K$ (maybe of characteristic zero first for simplicity, like $\mathbb{C}$). Given a partition $p=[a_1,...,a_m]$ of an integer $n$. We can identify $p$ with the ...
3
votes
1answer
165 views

How large can a symmetric generating set of a finite group be?

Let $G$ be a finite group of order $n$ and let $\Delta$ be its generating set. I'll say that $\Delta$ generates $G$ symmetrically if for every permutation $\pi$ of $\Delta$ there exists $f:G\...
3
votes
1answer
141 views

Littlewood Richardson Rule for general linear group over finite field

I just finished reading Green's 1955 paper on characters of general linear groups and have also been reading Macdonald's Symmetric Functions and Hall Polynomials. I see that there is a recursive ...
6
votes
1answer
225 views

Subsets of a group with special property

Let $G$ be a finite group. We say a subset $A$ of $G$, $|A|=m$, is $(m,i)$-good, $m\geq 1$ and $0\leq i\leq m$, if there exist $g_A\in G$ such that we have $|gA\cap A|=m-i$. I need some groups such ...
1
vote
0answers
130 views

Does there exist an unramified $PSL_2(\mathbb{F}_p)$ extension of a quadratic field $K$?

Does there exist an unramified $PSL_2(\mathbb{F}_p)$ extension of a quadratic field $K$ for $p\geq 5$?
5
votes
1answer
330 views

Is the following variant of Shafarevich's theorem known?

Let $Q$ be a finite simple group which may be realized as the Galois group of some extension of $\mathbb{Q}$ (like for instance $PSL_2(\mathbb{F}_p)$ for $p\geq 5$, or the monster group) and let $G$ ...
3
votes
1answer
94 views

Bounding the derived length of a solvable group given the degrees of the irreducible monomial characters

Much is known about the derived length of a solvable group given the degrees and cardinality of the set of degrees of the irreducible characters. Martin Isaacs and Donald Passman pretty much started ...
3
votes
1answer
124 views

Conditions for a solvable group to have a non-trivial center

I am working on a problem in character theory where I try to bound the derived length of a solvable group using information about its characters. In my specific case, it will be extremely helpful for ...
3
votes
0answers
50 views

Zero divisors with support size 3 in complex group algebras of residually finite groups

Conjecture. There exists a function $f:\mathbb{N} \rightarrow \mathbb{N}$ such that if $\beta$ is a non-zero element of the complex group algebra $\mathbb{C}[G]$ of a finite group $G$ such that $1\...
6
votes
1answer
193 views

Zero divisors in complex group algebras of residually finite groups

Conjecture. There exists a function $f:\mathbb{N} \rightarrow \mathbb{N}$ such that if $\alpha$ and $\beta$ are non-zero elements of the complex group algebra $\mathbb{C}[G]$ of a finite group $G$ ...
10
votes
1answer
182 views

Low dimensional representations of $SL_n(\mathbb{Z}/p^\ell \mathbb{Z})$

When $\ell = 1$ I know that the smallest non-trivial irreducible complex representations of $SL_n(\mathbb{Z}/p\mathbb{Z})$ has dimension $\frac{p^n - 1}{p-1} - 1$ (with maybe some exceptions for ...
4
votes
0answers
103 views

Examples for Bogomolov multiplier of finite group

Take $G$ to be a finite group. The projective representations of $G$ are classified by the group cohomology $H^2(G,U(1))$. Here $G$ has a trivial action on $U(1)$. We focus on the restriction map $H^...
1
vote
0answers
82 views

What is an upper limit of relative size of conjugacy class of the transitive finite group?

What is $$ \limsup_{n\to\infty} \sup_{\deg(G)=n} \left( \frac{\max_{x\in G} \left|\operatorname{conj}(x)\right|}{\operatorname{ord}(G)}\right),$$ $G$ transitive permutation group? And what are the ...
20
votes
1answer
464 views

Does $\mathrm{SL}_{n}(\mathbb{Z}/p^{2})$ have the same number of conjugacy classes as $\mathrm{SL}_{n}(\mathbb{F}_{p}[t]/t^{2})$?

Let $p$ be a prime; $\mathbb{F}_{p}$ is the field with $p$ elements and $\mathbb{F}_{p}[t]$ the ring of polynomials in $t$ over $\mathbb{F}_{p}$. Does $\mathrm{SL}_{n}(\mathbb{Z}/p^{2})$ have the ...
3
votes
1answer
113 views

On decomposition of finite Abelian groups

It is easy to see that for any finite Abelian group $G$ and any numbers $a,b$ with $|G|=ab$ there exist a subgroup $A\subset G$ and a subset $B\subset G$ such that $|A|=a$, $|B|=b$ and $G=A+B$, where $...
6
votes
1answer
199 views

Reference request: an elementary result on characters of finite abelian groups

The referee of a paper I submitted to a journal asked me to include a reference of the following elementary result on characters of finite abelian groups: Let $A$ be a finite abelian group of order $...
4
votes
1answer
199 views

Determining the conjugacy classes of a wreath product $G \wr S_n$

If $G$ is a finite group and its conjugacy classes are known, can the conjugacy classes of the wreath product $G \wr S_n \cong G^n \rtimes S_n$ be determined?
5
votes
1answer
122 views

Is there a subgroup of dual depth 3?

This post is motivated by an exchange with Zhengwei Liu. It is more than the dual version of this post, because we consider any subgroup (instead of just maximal), and even more at the end... Let's ...