Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
Sam Hopkins's user avatar
  • 24.2k
6 votes
0 answers
245 views

A group action on another group action quotient: how to best describe the resulting structure and does it have a name?

Suppose I have an action $\alpha:G\times X\to X$ of a group $G$ on a set $X$ and, on top of that, an action $\beta:H\times(X/G)\to(X/G)$ of another group $H$ on the set of $G$-orbits. Is there a nice ...
მამუკა ჯიბლაძე's user avatar
0 votes
0 answers
186 views

Subset of reals associated to pairs of matrices in $\mathrm{SL}(2,\mathbb{R})$

Let $\Gamma$ be a subgroup of $\mathrm{SL}(2,\mathbb{R})$. I would like to ask if there is any research on the following set: $$\Gamma*\Gamma:=\bigg\{\dfrac{(a+b)(a'+b')}{(c+d)(c'+d')}\bigg|\begin{...
Markiff's user avatar
  • 333
5 votes
1 answer
316 views

Connected permutation groups and wreath product

Let $G$ and $H$ be subgroups of the symmetric groups $\mathfrak S_m$ and $\mathfrak S_n$. Assume that $n>1$ and that $H$ is a 'connected' permutation group, that is, there is no non-trivial $H$-...
Martin Rubey's user avatar
  • 5,822
21 votes
1 answer
564 views

Partitions of ${\rm Sym}(\mathbb{N})$ induced by convergent, but not absolutely convergent series

Let $(a_n) \subset \mathbb{R}$ be a sequence such that the series $\sum_{n=1}^\infty a_n$ converges, but does not converge absolutely. Then there is a partition of the symmetric group ${\rm Sym}(\...
Stefan Kohl's user avatar
  • 19.6k
5 votes
1 answer
889 views

A generalized Burnside's lemma

Let $G$ be a finite group acting on a set $X$, and let $S\subseteq G$ be a union of conjugacy classes. Then I believe I can prove: $$ \sum_{[x]\in X/G} \frac{|G_x \cap S|}{|G_x|} = \sum_{g\in S} \...
Mike Shulman's user avatar
  • 66.8k
13 votes
1 answer
1k views

When taking the fixed points commutes with taking the orbits

Let $G$ and $H$ be groups, both acting on a set $X$ on the left, in such a way that the two actions commute. (Equivalently, let $G \times H$ act on $X$.) The set $\text{Fix}_H(X)$ of $H$-fixed ...
Tom Leinster's user avatar
  • 27.7k