Intereting Posts

Conditions for a smooth manifold to admit the structure of a Lie group
Can two perfect squares average to a third perfect square?
Concavity of a function
Calculate the series expansion at $x=0$ of the integral $\int \frac{xy\arctan(xy)}{1-xy}dx$
Polynomial Interpolation and Security
Integral of Bessel function multiplied with sine
Existence of a group isomorphism between $(\mathbb K,+)$ and $(\mathbb K^\times,\cdot)$
Expand $\binom{xy}{n}$ in terms of $\binom{x}{k}$'s and $\binom{y}{k}$'s
Find coefficient of $x^{50}$ in $(\sum_{i=1}^{\infty}x^n)^3$
Is $M_g$ NEVER proper? And why does $T_g$ contain products?
If series $\sum a_n$ is convergent with positive terms does $\sum \sin a_n$ also converge?
Slight generalisation of the distribution of Brownian integral
Convergence rate of Newton's method
Christoffel symbols and fundamental forms
When is a divisible group a power of the multiplicative group of an algebraically closed field?

I’m trying to work out this question:

Prove that if $H$ is a proper subgroup of $\mathbb{Q}$ then $\mathbb{Q}/H$ is infinite, but each of its elements have finite order.

I thought, for the first part, that I could assume for contradiction that $\mathbb{Q}/H$ is finite of order $n$, then for all $\dfrac{a}{b}\in\mathbb{Q}$, $\dfrac{a^n}{b^n}$ is in $H$. And somehow prove this is a contradiction. Any help?

- Let $G$ a group of order $6$. Prove that $G \cong \Bbb Z /6 \Bbb Z$ or $G \cong S_3$.
- Which groups are derived subgroups?
- Shorter proof for some equvalences
- Cyclic group with exactly 3 subgroups: itself $\{e\}$ and one of order $7$. Isn't this impossible?
- What are the length of the longest element in a Coexter group for every type?
- How to prove that a group is simple only from its class equation

- If $\gcd(m,n)=1$, then $\mathbb{Z}_n \times \mathbb{Z}_m$ is cyclic.
- How many associative binary operations there are on a finite set?
- For given prime number $p \neq 2$, construct a non-Abelian group with exponent $p$
- Proof on a particular property of cyclic groups
- Subgroup of maximal order is normal
- Prove that $N$ is normal
- Is trace of regular representation in Lie group a delta function?
- What does it mean when two Groups are isomorphic?
- Only two groups of order $10$: $C_{10}$ and $D_{10}$
- Subgroups of Prime Power Index

Note that $\mathbb{Q}$ is a *divisible* group: for every $x\in \mathbb{Q}$ and every $n\gt 0$, there exists $y\in\mathbb{Q}$ such that $ny=x$.

Therefore, any *quotient* of $\mathbb{Q}$ is also divisible. Thus, if $H$ is a subgroup of $\mathbb{Q}$, then $\mathbb{Q}/H$ is divisible.

But if $\mathbb{Q}/H$ is finite, then there exists $n\gt 0$ such that $n\left(\frac{a}{b}+H\right) = H$ for every $\frac{a}{b}\in\mathbb{Q}$; thus, if there is a nonzero element $\frac{r}{s}+H$ in $\mathbb{Q}/H$, can you find a $y+H\in\mathbb{Q}/H$ such that $n(y+H) = \frac{r}{s}+H$? What can we conclude from that?

To show every element is of finite order, let $x\neq 0$ be such that $x\in H$, and let $y\in\mathbb{Q}$. Show that there exists a $z\in\mathbb{Q}$ such that $\langle x,y\rangle = z$; conclude that there is a nonzero power of $y$ that is equal to a power of $x$ to deduce that $y+H$ has finite order in $\mathbb{Q}/H$.

- Easy visualizations of small countable ordinals
- $A_n$ is the only subgroup of $S_n$ of index $2$.
- Showing $\left \lvert \sum_{k=1}^n x_k y_k \right \rvert \le \frac{1}{\alpha} \sum_{k=1}^n x_k^2 + \frac{\alpha}{4} \sum_{k=1}^n y_k^2 $
- Unary intersection of the empty set
- probability of picking a specific card from a deck
- How to evaluate $ \int_0^1 {\log x \log(1-x) \log^2(1+x) \over x} \,dx $
- Integral of Dirac delta function/distribution $\delta(x)$ with upper boundary equal to zero
- Mathematics in French
- Please prove: $ \lim_{n\to \infty}\sqrt{\frac{1}{n!}} = 0 $
- Calculate sum of series $\sum \frac{n^2}{n!}$
- Divisibility rules and congruences
- Nearly, but not almost, continuous
- integrals of vector fields that yield vectors, not scalars
- How do I convince my students that the choice of variable of integration is irrelevant?
- Convergence of random variables in probability but not almost surely.