Intereting Posts

Numbers of the form $\frac{xyz}{x+y+z}$, second question
When can one expect a classical solution of a PDE?
Orientability of Grassmannians
Suppose $K/F$ is an algebraic extension of fields. Prove that if $R$ is a ring with $F ⊆ R ⊆ K$, then R must also be a field.
Definite integral of $\left(\arctan x \right) ^2$
Equivalence of Archimedian Fields Properties
Divisibility test for $4$
Counting number of moves on a grid
Convergence of Lebesgue integrals
How can I show that $\sum\limits_{n=1}^\infty \frac{z^{2^n}}{1-z^{2^{n+1}}}$ is algebraic?
Convergence of the series $\sum \limits_{n=2}^{\infty} \frac{1}{n\log^s n}$
All the zeroes of $p(z)$ lie inside the unit disk
Is something similar to Robin's theorem known for possible exceptions to Lagarias' inequality?
Prove $\|v\|_{H^1(\Omega )}\leq C(\|f\|_{L^2(\Omega )}+\|v\|_{H^{1/2}(\partial \Omega )}+\|\partial _\nu v\|_{H^{-1/2}(\partial \Omega )})$
Extension of the Birthday Problem

Possible Duplicate:

$\mathbb{Q}/\mathbb{Z}$ has a unique subgroup of order $n$ for any positive integer $n$?

I have the factor group $\Bbb Q/\Bbb Z$, where $\Bbb Q$ is group of rational numbers and $\Bbb Z$ is group of integers (operation in both of them is addition).

It’s necessary to prove that for every natural number $n$ there exists one and only one subgroup of $\Bbb Q/\Bbb Z$ with order equal to $n$.

- Show that any abelian transitive subgroup of $S_n$ has order $n$
- Are $(\mathbb{R},+)$ and $(\mathbb{C},+)$ isomorphic as additive groups?
- $F$ is a free abelian group on a set $X$ , $H \subseteq F$ is a free abelian group on $Y$, then $|Y| \leq |X|$
- Finite abelian $p$-group with only one subgroup size $p$ is cyclic
- Computing the Smith Normal Form
- For finite abelian groups, show that $G \times G \cong H \times H$ implies $G \cong H$

I’ve proved that such group exists (cyclic group suits this condition), but have almost no idea about how to prove its uniqueness.

- Compute $ad_X$, $ad_Y$, and $ad_Z$ relative to a basis
- Why do elements of coprime orders commute in nilpotent groups?
- Ring homomorphism defined on a field
- If $m$ and $n$ are distinct positive integers, then $m\mathbb{Z}$ is not ring-isomorphic to $n\mathbb{Z}$
- Proving that an ideal in a PID is maximal if and only if it is generated by an irreducible
- Constructing a finite field
- Commuting elements with coprime orders, $|xy| = |x||y|$?
- $\frac{SU(2)}{N}= Q$. Examples of finite groups $N$ and $Q$?
- Specific proof that any finitely generated $R$-module over a Noetherian ring is Noetherian.
- nilpotent elements of $M_2(\mathbb{R})$, $M_2(\mathbb{Z}/4\mathbb{Z})$

Remember that every finitely generated subgroup of $\mathbb{Q}$ is cyclic; therefore, the quotient $\mathbb{Q}/\mathbb{Z}$ has the same property. Thus, a subgroup of $\mathbb{Q}/\mathbb{Z}$ of order $n$ must be cyclic, generated by some element $\frac{a}{b}+\mathbb{Z}$; we may assume without loss of generality that $\gcd(a,b)=1$, and $0\leq a\lt b$.

Since it is of order $n$, that means that $\frac{na}{b}+\mathbb{Z} = 0+\mathbb{Z}$, which in turn means that $\frac{na}{b}\in\mathbb{Z}$. Since $\gcd(a,b)=1$, then $b|n$. But since the order is exactly $n$, for any $k$, $1\leq k\lt n$, we have $\frac{ka}{b}\notin \mathbb{Z}$, so $b$ does not divide $k$.

That is: $b|n$, but $b$ does not divide any positive number smaller than $n$. That means that $b=n$.

So a subgroup of order $n$ is generated by an element of the form $\frac{a}{n}+\mathbb{Z}$, with $1\leq a\lt n$, $\gcd(a,n)=1$.

Since $\gcd(a,n)=1$, there exist $x,y\in\mathbb{Z}$ such that $ax+ny=1$. Therefore, $\frac{1}{n} = \frac{ax+ny}{n} = \frac{ax}{n}+y$. Thus, $\frac{1}{n}+\mathbb{Z} \in \langle \frac{a}{n}+\mathbb{Z}\rangle$; since $\frac{a}{n}+\mathbb{Z}\in\langle\frac{1}{n}+\mathbb{Z}\rangle$, the two subgroups are equal. So the only subgroup of order $n$ is $\langle \frac{1}{n}+\mathbb{Z}\rangle$.

Hint: A generator will be of the form m/n, where m is an integer relatively prime to n. Show that all such generators actually generate the same group.

**Hint** $\rm\ \ (a,b) = 1\: \Rightarrow\ \left<\dfrac{a}b\right>\equiv \left<\dfrac{1}b\right>\:\ (mod\ \mathbb Z)\: $ by $\rm\:b^{-1}\:\! (j\:a + k\: b = 1)\ $ by Bezout.

**Remark** $\ $ This Bezout reduction of fractions $\rm\:\! (mod\ 1)\:\! $ often proves handy, e.g. see here.

- Why $I = $ is a $1$-manifold and $I^2$ not?
- If $T: X \to Y$ is norm-norm continuous then it is weak-weak continuous
- Simplifying an Arctan equation
- Formula : (Exact) Sum of $1^1+2^2+3^3+..+n^n$ (modulo $10^m$) with relatively small $m$
- How can using a different definition for the integral be useful?
- Problem about $G_{\delta}$-set and $F_{\sigma}$-set
- Prove uniform distribution
- If an Abelian group $G$ has order $n$ and at most one subgroup of order $d$ for all $d$ dividing $n$ then $G$ is cyclic
- Find the trajectories that follow drops of water on a given surface.
- Does Riemann integrable imply Lebesgue integrable?
- How to integrate $\int_0^{\infty} \frac{e^{ax} – e^{bx}}{(1 + e^{ax})(1+ e^{bx})}dx$ where $a,b > 0$.
- Linearly independent set can be completed to a basis
- Number of permutations of $n$ where no number $i$ is in position $i$
- Proving Holder's inequality using Jensen's inequality
- meaning of normalization