I am wondering if the nonzero rationals with operation $x\circ y = xy/7$ a group. I think it may be and I found the identity to be 7 and found inverses for each element. Mark
groups and checking group properties
3
$\begingroup$
abstract-algebra
group-theory
-
0Yes sorry I meant to specify that 0 is not in the set and that the operation is in Q* . I hope this makes the question a little clearer Thnx Mark – 2011-03-20
1 Answers
3
The question is: Is $(\mathbb{Q}^\times, \circ)$ a group if $a \circ b = \dfrac{ab}{7}$?
Yes, it is a group. Firstly, note that this is a commutative operation, so that if it is a group, then it is abelian.
- $\circ$ is easily seen to be associative and closed: $(\frac{a}{b}\frac{c}{d})\frac{e}{f} = \frac{ac}{7bd}\frac{e}{f} = \frac{ace}{49bdf} = \frac{a}{b}\frac{ce}{7df} = \frac{a}{b}(\frac{c}{d}\frac{e}{f})$
- $7$ is an identity: $\frac{p}{q} \circ 7 = \frac{7p}{7q} = \frac{p}{q}$
- $\left( \frac{p}{q} \right)^{-1} = \frac{49q}{p}$: $\frac{p}{q} \circ \frac{49q}{p} = \frac{49pq}{7qp} = 7$
So it's a group.
-
0@fretty: whoops! You're exactly right! – 2012-08-15