Intereting Posts

if an ideal is contained in union of two ideals then it is wholly contained in one of them.
Show that $(\mathbb{Z}/(x^{n+1}))^{\times}\cong \mathbb{Z}/2\mathbb{Z}\times\Pi_{i=1}^n\mathbb{Z}$
Integration of a trigonometric function
Why does $\mathbb{R}$ have the same cardinality as $\mathcal{P}(\mathbb{N})$?
How do I compute mean curvature in cylindrical coordinates?
Find the basis of the intersection of two vector subspaces
Relationship between degrees of continued fractions
Sum of squares of sum of squares function $r_2(n)$
What is the role of mathematical intuition and common sense in questions of irrationality or transcendence of values of special functions?
If there exist sequence such that $g(x_n)=f(x_{n+1})$, then we have $g(x_0)=f(x_0)$ for some $x_0$
Two polynomial problem
Proving $E=3σ^4$
When should one learn about $(\infty,1)$-categories?
Integral Definition of Exterior Derivative?
Prove that $\sum_{n=1}^{\infty}\ a_n^2$ is convergent if $\sum_{n=1}^{\infty}\ a_n$ is absolutely convergent

The Burnside Lemma looks like it should have an intuitive explanation. Does anyone have one?

- Is kernel of a function related to symmetry groups?
- Intuitive or visual understanding of the real projective plane
- Characterisation of the squares of the symmetric group
- Classifying the factor group $(\mathbb{Z} \times \mathbb{Z})/\langle (2, 2) \rangle$
- $SL(3,\mathbb{C})$ acting on Complex Polynomials of $3$ variables of degree $2$
- How to find non-cyclic subgroups of a group?
- Usefulness of induced representations.
- Can Someone approve the formula for the number of groups of order $p^2q$
- $G/Z$ cannot be isomorphic to quaternion group
- Calculus of variations, what is a functional

As an example, we consider the number of ways of colouring a cube with n colours with uniqueness up to rotation. We call each unique colouring where rotations are not allowed a static colouring and each unique one where they are allowed a dynamic colouring. We define the the set of orbits to be the (disjoint) static colourings that correspond to each dynamic colouring. We will use rotations to mean a rotation that makes the cube occupy the same space, and as being unique if it is a unique function from the cube to the cube. This includes the identity rotation. Intuitively, the lemma says:

Proposition 1. #Orbits * #Rotations = sum for each rotation r of #static colourings unchanged by this rotation

We will now consider each orbit O separately. Pick a static colouring c inside O. Suppose two (possibly equal) rotations p, q give the same static colouring, d, when applied on c. Then p^-1*q fixes d. Additionally, suppose r (possibly the identity) fixes d. p^-1*(p*r) will also fix d. So p*r will take c to d. Since p*r is different for each r, and p^-1*q is different for each q, the mapping functions are injective in both directions and there is a bijection between the q and r values.

So, for each O, the number of rotations is the sum over each static colorings x in O times the number of rotations producing x. This can be rewritten as the sum over each rotation r of the number of static colourings in O fixed by r (due to the bijection in the previous paragraph). We get proposition 1 by adding over all O.

The general proof is quite similar to this, except that it uses group theory.

You can quickly reduce to the case of a transitive action, in which case we just want to explain why the total number of times that something gets fixed is exactly the size of the group. But in this case everything is symmetric at all points in the (unique) orbit. So to count all the times something gets fixed, we can just count how many times a particular x gets fixed, and multiply by the size of the orbit. Now we’ve reduced to the fact that the size of an orbit is the index of the stabilizer.

- Limit. $\lim_{x \to \infty}{\sin{\sqrt{x+1}}-\sin{\sqrt{x}}}.$
- Do we know that we can't define a well-ordering of the reals?
- Prove $\sum_{k=0}^n k{n\choose k}^2 = {n{2n-1\choose n-1}}$
- Given several integrals calculate $\int\limits_5^6 f(x) dx$
- When is $2^n -7$ a perfect square?
- Distribution of Difference of Chi-squared Variables
- Confused between Nested Quantifiers
- Counting walks on colored graphs
- How to compute $\sqrt{i + 1}$
- Limits and convolution
- Covergence test of $\sum_{n\geq 1}{\frac{|\sin n|}{n}}$
- With infinite size, we can have $P \cdot M = M \cdot D $ (D diagonal) but where $M^{-1}$ does not exist. Can we say “P is diagonalizable”?
- Quick question: Direct sum of zero-dimensional subschemes supported at the same point
- Basic question about nonstandard derivative
- Construct a bijection from $\mathbb{R}$ to $\mathbb{R}\setminus S$, where $S$ is countable