Intereting Posts

Continuous function, not sure what to do here…
Cyclic modules over a polynomial ring
Methods for choosing $u$ and $dv$ when integrating by parts?
Gamma Function Converges
Is there a relationship between local prime gaps and cyclical graphs?
Grothendieck's definition of a universal problem
Derivatives of the Struve functions $H_\nu(x)$, $L_\nu(x)$ and other related functions w.r.t. their index $\nu$
show invariant subspace is direct sum decomposition
Find the value of $\lim_{x \to – \infty} \left( \sqrt{x^2 + 2x} – \sqrt{x^2 – 2x} \right)$
Are the rationals a nowhere dense set?
Is uncountable subset of separable space separable?
“Graded free” is stronger than “graded and free”?
Why are properties lost in the Cayley–Dickson construction?
Partition of ${1, 2, … , n}$ into subsets with equal sums.
How to evaluate this integral$\int_{-\infty}^\infty\dfrac{\omega^\alpha e^{i\omega t}}{(\omega_0^2-\omega^2)^{2}+4(\zeta\omega_0\omega)^2}\,d\omega$

Let $G$ be a finitely generated group and $H$ a subgroup of $G$. If the index of $H$ in $G$ is finite, show that $H$ is also finitely generated.

- If the subgroup $H$ of $G$ is open in pro-$p$ topology, does it inherit the pro-$p$ topology?
- All Sylow $p$-subgroups of $GL_2(\mathbb F_p)$?
- Non-Abelian group $G$ in which $x\mapsto x^3$ is a homomorphism
- Number of normal subgroups of a non abelian group of order $21$… CSIR December $2013$
- Action of $G/H$ on $H_n(H;M)$
- The intersection of two Sylow p-subgroups has the same order
- Are there real world applications of finite group theory?
- What kind of “symmetry” is the symmetric group about?
- $G$ is non abelian simple group of order $<100$ then $G\cong A_5$
- An infinite $p$-group may not be nilpotent

**Hint:** Suppose $G$ has generators $g_1, \ldots, g_n$. We can assume that the inverse of each generator is a generator. Now let $Ht_1, \ldots, Ht_m$ be all right cosets, with $t_1 = 1$. For all $i,j$, there is $h_{ij} \in H$ with $t_i g_j = h_{ij} t_{{k}_{ij}}$, for some $t_{{k}_{ij}}$. It’s not hard to prove that $H$ is generated by all the $h_{ij}$.

Here’s the topological argument. The fact that $G$ is finitely generated means that $G=\pi_1(K)$ for $K$ a CW-complex with finite 1-skeleton. Let $\widehat{K}$ be the covering space corresponding to $H$. Then $H=\pi_1(\widehat{K})$, and $\widehat{K}$ also has finite 1-skeleton, so $H$ is finitely generated.

Well, the standard argument is as follows.

Let

$$

g \mapsto [g] \qquad (g \in G)

$$

be a function which is constant on all right cosets of $H,$ and we require

$$

[e]=e.

$$

It is easy to see that

$$

u [u]^{-1} \in H, \quad [[u]]=[u], \quad [[u]v]=[uv] \qquad (u,v \in G) \qquad \qquad (*)

$$

Now let

$$

S = \{ [g] : g \in G\}

$$

and $Y=Y^{-1}$ be a symmetric generating set of $G.$ Then the set

$$

\{ s y [sy]^{-1} : s \in S, y \in Y\}

$$

is a generating set of $H$ (a *finite* one, if both $S$ and $Y$ are finite $\iff$ the index of $H$ in $G$ is finite and $G$ is finitely generated).

For suppose that a product $y_1 \ldots y_r$ is in $H$ where $y_k \in Y$ ($k=1,\ldots,r$). Let, for example’s sake, $r=3.$ Then

$$

y_1 y_2 y_3 = y_1 [y_1]^{-1} \cdot [y_1] y_2 [[y_1] y_2]^{-1} \cdot [[y_1] y_2] y_3

[[[y_1] y_2] y_3]^{-1} \qquad \qquad (**)

$$

where in the right hand side we have a product of elements of $H$ by (*), since

$$

[[[y_1] y_2] y_3]=[y_1 y_2 y_3]=e;

$$

the same $(*)$ also simplifies the right hand side of $(**)$ as

$$

y_1 [y_1]^{-1} \cdot [y_1] y_2 [y_1 y_2]^{-1} \cdot [y_1 y_2] y_3 [y_1 y_2 y_3]^{-1}=y_1 y_2 y_3 [y_1 y_2 y_3]^{-1}=y_1 y_2 y_3

$$

Now the induction step in general must be easy.

- Integral $\int_0^\infty\sin{(x^4)} dx$
- Probability of 3 people in a room of 30 having the same birthday
- Proof of dilogarithm reflection formula $\zeta(2)-\log(x)\log(1-x)=\operatorname{Li}_2(x)+\operatorname{Li}_2(1-x)$
- Completeness and Topological Equivalence
- Generalisation of $(n+3)^2-(n+2)^2-(n+1)^2+n^2=4$
- Parenthesis vs brackets for matrices
- How to show: $\sin \leq t\sin x+(1-t)\sin y,$ where $0\leq t\leq 1,$ and $\pi\leq x, y\leq 2\pi$.
- Is $ d(X) \le s(X)? $
- An inequality about the sum of distances between points : same color $\le$ different colors?
- Combinations, when placing n objects into k boxes, each box has its own size and the order in them doesn't matter?
- Do we have $\lim_{h\to 0^+}\int_0^\infty|f(t+h)-f(t)|dt=0$?
- Uniform Convergence Implies $L^2$ Convergence and $L^2$ Convergence Implies $L^1$ Convergence
- Determining whether there are solutions to the cubic polynomial equation $x^3 – x = k – k^3$ other than $x = -k$ for a given parameter $k$
- Why is $1^{\infty}$ considered to be an indeterminate form
- inequality using Lagrange Multipliers and Cauchy Schwarz inequality