Intereting Posts

Prove that $ \lim_{n \to \infty}\frac{n}{\sqrt n!}=e$?
When can you treat a limit like an equation?
Structure theorem for finitely generated abelian groups
Given 4 integers, $a, b, c, d > 0$, does $\frac{a}{b} < \frac{c}{d}$ imply $\frac{a}{b} < \frac{a+c}{b+d} < \frac{c}{d}$?
Is infinity larger than 1?
Einstein's summation of integers from 1 to n
How to solve second degree recurrence relation?
How To Formalize the Fact that $(g, h)\mapsto dL_g|_h$ is smooth where $g, h\in G$ a Lie Group
Equivalence relation $(a,b) R (c,d) \Leftrightarrow a + d = b + c$
A secant inequality for convex functions
Deriving the Normalization formula for Associated Legendre functions: Stage $1$ of $4$
Find the condition on $a$ and $b$ so that the two tangents drawn to the parabola $y^2=4ax$ from a point are normals to the parabola $x^2=4by$
Exactness of sequences of modules is a local property, isn't it?
How to calculate the number of possible connected simple graphs with $n$ labelled vertices
Functional Equation : If $(x-y)f(x+y) -(x+y)f(x-y) =4xy(x^2-y^2)$ for all x,y find f(x).

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?

- Automorphisms of projective special linear group
- if o(a) is equal to exponent of finite abelian group G then $G=<a>\times K$
- $H$ is a maximal normal subgroup of $G$ if and only if $G/H$ is simple.
- If $p$ and $q = 2p + 1$ are both odd primes, show that $-4$ and $2(-1)^{(1/2)(p-1)}$ are both primitive roots modulo $q$.
- Group of order $48$ must have a normal subgroup of order $8$ or $16$
- Suppose G be a non-abelian group and H,K be two abelian subgroups of G. Then must HK be an abelian subgroup of G?

- Finding the order of $\mathrm{GL}_n(\mathbb{F}_p)$
- How can I make use of the conjugacy part of Sylow's theorem instead of the second isomorphism theorem to show this?
- Any group of order $85$ is cyclic.
- Simple Group Theory Question Regarding Sylow Theorems
- Does every finite nilpotent group occur as a Frattini subgroup?
- Prove that for any element $b$, $|b|$ divides $|a|$ (order of $b$ divides order of $a$).
- How to see that the polynomial $4x^2 - 3x^7$ is a permutation of the elements of $\mathbb{Z}/{11}\mathbb{Z}$
- Why is there no functor $\mathsf{Group}\to\mathsf{AbGroup}$ sending groups to their centers?
- Prove that $G = \langle x,y\ |\ x^2=y^2 \rangle $ is torsion free.
- No simple group of order $300$

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$.

- Quaternion group as an extension
- The image of an ideal under a homomorphism may not be an ideal
- Show a subspace formed by a Klein bottle is homotopy-equivalent to $S^1 \vee S^1 \vee S^2$
- Is it possible for a closed manifold to deformation retract onto a proper subset of itself?
- Why is important for a manifold to have countable basis?
- Strict inequalities in LP
- Solutions to the matrix equation $\mathbf{AB-BA=I}$ over general fields
- Number of points in the fibre and the degree of field extension
- If the entries of a positive semidefinite matrix shrink individually, will the operator norm always decrease?
- Is this octogon topologically equivalent to the Klein Bottle?
- log of summation expression
- Independence of sigma algebra
- Solving this integral $\int\frac{1}{1+x^n} dx$?
- Is the formal semantics of first-order logic ambiguous?
- Can't come even near to the solution.. Can somebody take a look?