3
$\begingroup$

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

  • 0
    Yes 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 Mark2011-03-20

1 Answers 1

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.

  1. $\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})$
  2. $7$ is an identity: $\frac{p}{q} \circ 7 = \frac{7p}{7q} = \frac{p}{q}$
  3. $\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