All Questions
Tagged with reference-request gr.group-theory
700 questions
1
vote
0
answers
287
views
Characters of upper triangular matrices over finite field - reference request
Let $B_n$ be the group of upper matrices and $U_n$ the subgroup of unipotent upper triangular matrices. I would like some references which discusses complex character theory of $B_n(\mathbb{F}_q)$ for ...
- 2,751
9
votes
3
answers
548
views
Spectral radius of a finitely generated group
Let $G$ be a finitely generated group and $\Gamma$ be its Cayley graph with the usual word metric. Let $\mu$ be a symmetric non-degenerate measure on $G$ (maybe with finite support or smooth), and ...
- 1,407
8
votes
0
answers
137
views
Group presentations where discarding generators always yields a subgroup
Consider a group presentation $ \left< G= \left\lbrace \text{generators}\right\rbrace \, \middle|\, R = \left\lbrace \text{relators}\right\rbrace \right>$ (no finiteness assumptions). Given $S\...
- 1,005
2
votes
0
answers
124
views
Heap torsors and dual objects
Suppose that $G$ is a group and $P:G\rightarrow G$ is a permutation of $G$. We would now like to apply a forgetful functor to the algebra $(G,\cdot,P,^{-1},e)$. Whenever $g\in G$, let $gP$ be the ...
8
votes
1
answer
227
views
Non-finitely presented FP groups with cohomological dimension $2$
In this recent preprint, the authors construct a certain uncountable family of non-finitely presented FP groups. Recall that group is an FP group if the trivial $\mathbb Z[G]$-module $\mathbb Z$ has a ...
- 15.8k
1
vote
1
answer
259
views
Which properties can be read off the balls of a Cayley graph?
For which properties (P) [of groups] does the following hold:
given a group $G$ which has a finite presentation with at most $n$ relations of length at most $\ell$, there is a $R(n,\ell)$ so that, if ...
- 4,432
12
votes
1
answer
2k
views
Is there an eigenvalue of modulus larger than 1?
Given a matrix $A\in \operatorname{SL}_d(\mathbb{Z})$ (the special linear group) satisfying the two conditions: (1) no eigenvalue of $A$ is a root of unity, (2) the characteristic polynomial of $A$ is ...
- 43.2k
4
votes
1
answer
225
views
Integer-valued polynomials from Pólya counting
Let finite group $G$ act on a finite set $X$ and hence on colorings $Y^X$, where $Y=\{1,2,\ldots,k\}$ is a set of colors. The Burnside-Pólya-Redfield-etc. counting theorem says that the number of ...
- 24.2k
3
votes
1
answer
224
views
Finiteness of a reflection group
Suppose that $V$ is a finite-dimensional real vector space and that $W\subseteq \operatorname{GL}(V)$
is a subgroup generated by reflections (elements $s$ of order $2$ whose locus of fixed points $H_s$...
- 3,137
5
votes
1
answer
273
views
'Lie correspondence' for formal power series in non-commuting indeterminates
This is related to an earlier question of mine. I would like an argument or a reference (or a missing hypothesis if needed) for the following.
Let $\mathbb{F}\langle\langle \alpha\rangle\rangle$ and ...
- 1,089
9
votes
1
answer
435
views
Questions on the group $\mathrm{GL}(H)$
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\U{U}$Let $H$ be an infinite dimensional complex Hilbert space. Consider the group $\GL(H)$ of bounded invertible operators on $H$.
Question 1. I've ...
- 1,586
7
votes
1
answer
281
views
Question concerning the coefficients of block idempotents
Let $G$ be a finite group. Let $p$ be a prime number such that $p \mid |G|$.
Let Irr$(G)$ denote the set of ordinary irreducible characters of $G$.
For $\chi\in$ Irr$(G)$ define $e_{\chi} := \frac{\...
- 1,755
8
votes
1
answer
200
views
For which planar topological spaces $Z$ does there exist a hyperbolic group $\Gamma$ with $\partial \Gamma \cong Z$?
Recall a topological space is called planar if it can be embedded in $S^2$. I'm interested in understanding hyperbolic groups with planar boundaries.
In [1], it is shown that if a one-ended hyperbolic ...
- 639
5
votes
1
answer
175
views
Growth of the word norm for elementary matrices in $\rm SL_3 (\mathbb{Z})$
This is a reference request, since the answer is probably well known, but I could not find it.
Given a finitely generated group $\Gamma$ with a generating set $S$, define the word norm $l = l_S : \...
- 1,163
3
votes
0
answers
205
views
Status of RFD groups and $C^*$-algebras
Motivated by this question and its great answers, I become very curious to know what do we know about RFD (residually finite dimensional) groups and $C^*$-algebras, e.g. do we know how these ...
- 1,586
2
votes
0
answers
110
views
Moment of the hitting measure of a subgroup
Given a [finitely generated] group $G$ and a finite generating set $S$, a measure $\mu$ will have finite $\alpha$-moment if $\sum_{g \in G} \mu(g) |g|_S^\alpha$ is finite (where $|g|_S$ is the word ...
- 4,432
5
votes
1
answer
217
views
Permutations of a group that are eventually left translations
$\DeclareMathOperator\FSym{FSym}\DeclareMathOperator\Sym{Sym}$Notation: for $X$ a set, $\Sym(X)$ the group of permutations of $X$, and let $\FSym(X)$ be the subgroup of finitely supported permutations ...
- 63.9k
4
votes
0
answers
320
views
Finite subgroup of $\mathrm{SO}(4)$ which acts freely on $\mathbb{S}^3$
Let $\Gamma$ be a finite subgroup of $\mathrm{SO}(4)$ acting freely on $\mathbb{S}^3$. It is known that all such $\Gamma$ can be classified.
Is there any characterization of $\Gamma$ such that $\Gamma$...
- 1,441
7
votes
1
answer
779
views
Reference for the Brauer-Nesbitt theorem
In Wikipedia's article on the Brauer-Nesbitt theorem, they state that given a group $G$ and a field $E$, two semisimple representations $\rho_1,\rho_2 : G\longrightarrow \operatorname{GL}_n(E)$ are ...
- 7,527
3
votes
0
answers
296
views
Amenability, growth and asymptotic dimension
I recently found this question on MSE, relating growth of groups with whether they are amenable, elementary amenable or not. I would like to know if there is an extra relation to finite or infinite ...
- 267
4
votes
1
answer
197
views
Moment integrals and determinants
Let $USp(2n)$ be the compact symplectic group of size $2n$, $dA$ its Haar measure
of total mass one, and $\det(1−A)$ being computed for the standard representation of
$A\in USp(2n)$ as a matrix of ...
- 43.2k
11
votes
1
answer
1k
views
Are groups determined by their morphisms from solvable groups?
$\newcommand{\Grp}{\mathrm{Grp}}$Consider the category of groups $\Grp$, and within it we have the solvable groups $S$. Then any group $G$ determines the functor from solvable groups: $$h_G:=\text{hom}...
- 1,949
3
votes
1
answer
137
views
Pairs of elements in $F_n$ with distinct translation lengths
Let $F_n$ be a free group of rank n and consider all possible non-degenerate length functions on $F_n$.
Could I be directed to a reference that give two non-trivial non-power-conjugate elements $g,h \...
- 1,033
2
votes
0
answers
114
views
understanding the definition of subgroup of the Grothendieck-Teichmuller group
Definition. Let $\widehat{G T}^{1}$ be the set of elements $f$ in the derived subgroup $\hat{F}_{2}^{\prime}$ of $\hat{F}_{2}$ such that $x \mapsto x$ and $y \mapsto f^{-1} y f$ extends to an ...
- 204
2
votes
0
answers
161
views
Monotonicity of the cycle index polynomial under restriction
The cycle index (polynomial) of the symmetric group $\mathfrak{S}_n$ is given by the formula:
$$Z(\mathfrak{S}_n)(x_1,\dots,x_n)=\sum_{1j_1+2j_2+\cdots+nj_n=n}\prod_{k=1}^n\frac{x_k^{j_k}}{k^{j_k}j_k!}...
- 43.2k
7
votes
2
answers
713
views
Total sum of squares of characters of the symmetric group $\mathfrak{S}_n$
In my earlier MO post, I proposed the double sum $\sum_{\mu\vdash n}\sum_{\lambda\vdash n}\chi_{\mu}^{\lambda}$ regarding characters of the symmetric group $\mathfrak{S}_n$. Soon after, I started ...
- 43.2k
5
votes
0
answers
172
views
Finitely generated nilpotent groups with hyperbolic automorphisms
$\DeclareMathOperator\Out{Out}\DeclareMathOperator\GL{GL}$
Let $G$ be a finitely generated nilpotent group.
We call an automorphism of $G$ hyperbolic if the induced automorphism of the free part of ...
- 8,529
16
votes
3
answers
2k
views
What are the main open problems in the theory of amenability of groups?
I have read the Paterson and Runde books about amenability of groups, but I do not know what are the most intriguing questions in this area today.
A survey or a list of questions would be welcome.
3
votes
1
answer
141
views
The stabilizer of a pair of points in the acylindrically hyperbolic group is either finite or virtually cyclic
Given a group $G$, suppose $G$ admits a non-elementary acylindrical action
on a Gromov hyperbolic space $S$.
I heard that stabilizer of a pair of points on $\partial S$ in the acylindrically ...
- 199
9
votes
1
answer
410
views
On a result by Rubin on elementary equivalence of homeomorphism groups and homeomorphisms of the underlying spaces
In the known paper On the reconstruction of topological spaces from their group of homeomorphisms by Matatyahu Rubin several deep reconstruction theorems of the form "if $X$ and $Y$ are ...
- 3,011
1
vote
0
answers
175
views
Cochains with multilinear differentials
Let $G$ be a group and let $M$ be a $G$-module. We denote by $(C^*(M,G),d)$ the complex of inhomogeneous cochains, i.e. $C^n(G,M)=M^{G^n}$.
We say that a cochain $a\in C^n(G,M)$ is multilinear if it ...
6
votes
2
answers
488
views
Quasisplit but not split semisimple groups
In section 35.1 of the book "Linear algebraic groups" by Humphreys, it is stated that the quasi-split but not split semisimple groups can only arise when the root system admits a nontrivial ...
- 321
1
vote
0
answers
92
views
Group structure extension
Let $G$ be a finite group and $X$ a finite $G$-set. Let $H$ be the set-theoretical cartesian product of $G$ and $X$.
Is there an homological theory controlling all possible group structure on $H$ (...
- 2,384
9
votes
1
answer
508
views
When is the augmentation ideal projective as RG-module?
Let $G$ be a finite group and let $R$ be a commutative ring.
I'd like to ask, if there is a theorem of the following kind:
The augmentation ideal $I_G$ is projective as RG-module, if and only if ... ?...
- 1,755
1
vote
1
answer
435
views
Direct proof that free groups are sofic
I am looking for a reference (or a simple proof) of the fact that a free group is sofic. The preferred dynamical definition of a sofic group seems to be that
there is a sequence of finite sets $V_n$ ...
- 23.2k
0
votes
0
answers
169
views
A group acts on a groupoid
Let $G$ be a group. Let $(\Pi,\circ)$ be a groupoid. Suppose I have a $G$-action on every morphism space $\Pi(p,q)$, denoted by $G\times \Pi(p,q)\to \Pi(p,q)$, $(g, \sigma)\mapsto g\cdot \sigma$. (For ...
- 2,789
10
votes
2
answers
932
views
On the Galois group of the compositions of polynomials
We reprint an old math SE question here (see https://math.stackexchange.com/questions/1241224/composition-of-polynomials-and-galois-theory):
"
Let $f(x)$ be a polynomial of degree $n$ over $\...
- 1,755
1
vote
0
answers
96
views
Embedding a family of groups into a certain $2$-generated group (construction by Olshanskii)
While reading "Chain conditions, elementary amenable groups, and descriptive set theory" by Phillip Wesolek and Jay William I stumbled upon the following statement in the proof of ...
- 309
2
votes
1
answer
217
views
A variation of closed-subgroup theorem
$\DeclareMathOperator\SO{SO}$Recall that the closed-subgroup theorem (Wikipedia link) says that a closed subgroup of a Lie group is a Lie group.
I am pretty sure that this theorem should have a "...
- 14.3k
4
votes
0
answers
177
views
Ping pong with parabolic isometries on Gromov hyperbolic spaces
For a group $G$ with a non-elementary general type action by isometries on a Gromov hyperbolic geodesic space $(X,d)$, it is well known that you can construct free subgroups of $G$ via the ping pong ...
- 41
9
votes
0
answers
456
views
Hopficity of Baumslag-Solitar groups
I am struggling to find the exact source (with proofs) of the following ''well-known'' statement:
the Baumslag-Solitar group $BS(m,n)=\langle a,t \mid ta^m t^{-1}=a^n\rangle$ is Hopfian if and only if ...
- 3,181
2
votes
0
answers
66
views
Quasi-isometry of solvable minimax groups
[Edits in brackets]
Consider two finitely generated solvable minimax groups $G_i$ ($i = 1,2$) so that $1 \to N_i \to G_i \to Z_i \to 1$ [splits]
with $N_i$ nilpotent, $Z_i$ infinite cyclic and $G_i$ ...
- 4,432
1
vote
0
answers
340
views
Random walk on non-abelian free group
Let $F_2$ be the free non-abelian group with generators $a, b\in F_2$.
Has the "random walk" where we start with the identity and then multiply it by $a$ or $b$ or $a^{-1}$ or $b^{-1}$ ...
- 11
3
votes
2
answers
449
views
Is there any simple formula for the character of $S_{n}$ represented by the set of $k$-tuples of $\{1,2,...,n\}$?
I'm interested in the representation theory of symmetric groups.
I'm now trying to search for the formula for the characters of $\Omega^{k}$, the set of $k$-tuple of elements of $\Omega$ a set of $n$ ...
- 1,013
3
votes
0
answers
153
views
Metropolis-Hastings sampling as a group action
Suppose that you have a topological space $\Omega \subset \mathbb R^n$ accompanied a measure $\mu$ and you're running an iterative sampling algorithm like Metropolis-Hastings. To sample you choose a ...
4
votes
2
answers
412
views
Generators of the orthogonal group of a quadratic form in odd dimension in characteristic 2
In characteristic not $2$, the Theorem of Cartan-Dieudonné states:
[Grove, Theorem 6.6]: Let $q$ be a nondegenerate symmetric quadratic form of dimension $n$ in characteristic not $2$. Then every ...
- 168
8
votes
0
answers
125
views
The conjugacy problem for two-relator groups
Is the conjugacy problem for two-relator groups known to be undecidable?
The word problem for two-relator groups is a famous open problem (appearing e.g. as Question 9.29 in the Kourovka notebook), ...
3
votes
0
answers
115
views
Reference for the Netto's theorem on the permutation groups which was mentioned in the paper of Frobenius
I'm trying to read 'Uber die Charaktere der mehrfach transitiven Gruppen' written by Frobenius.
There he mentioned some theorems of Netto.
I'm depending on the Google translator. and the translation ...
- 1,013
8
votes
2
answers
482
views
Parabolics and simple roots for a special unitary group: reference request
I am looking for a reference where the relative root system, the relative system of simple roots, and parabolic $\Bbb R$-subgroups for the real algebraic group ${\rm SU}(p,q)$ are explicitly computed.
...
- 14.2k
6
votes
1
answer
252
views
Is there a known classification of regular multiplicity-free permutation groups?
The question is in the title, but let me clarify the terminology. I consider a permutation group $\Sigma\subseteq\mathrm{Sym}(\Omega)$ on a finite set $\Omega$.
$\Sigma$ is regular if it acts ...
- 13.6k