Let $r$, $s$, and $t$ be positive integers greater than $1$. How to prove that there exists a finite group $G$ having elements $x$ and $y$ such that $x$ has order $r$, $y$ has order $s$, and $xy$ has order $t$?
Thanks in advance.
Asked
Active
Viewed 116 times
0
-
Oh thanks, that's very helpful. – user12345 Feb 04 '17 at 15:40
1 Answers
4
The following theorem, proved in Milne's lecture notes on group theory, shows this result:
THEOREM 1.64 For any integers $m,n, r > 1$, there exists a finite group $G$ with elements $a$ and $b$ such that $a$ has order $m$, $b$ has order $n$, and $ab$ has order $r$.
The proof uses the groups $\mathbb{F}_q^{\times}$ and $SL_2(\mathbb{F}_q)$. Other proofs have been given implicitly here on MSE, e.g., here, or here.
Dietrich Burde
- 130,978
-
Thank you very much. That proof seems quite simple, shame that I haven't come up with that. – user12345 Feb 04 '17 at 14:53
-
You are welcome. I don't think it is a shame. It needs a good idea. – Dietrich Burde Feb 04 '17 at 15:32
-
I review that proof and have problems with the existence of $q$. How exactly can we guarantee that there is a prime $q$ such that $2mnr\ |\ q-1$? – user12345 Feb 05 '17 at 07:06