3
$\begingroup$

$G=Z_{10}\times Z_{15}$ Then $G$ contains exactly

  1. one element of order $2$

  2. five element of order $3$

  3. 24 elements of order $5$

  4. 24 elements of order $10$

what I think is 1 is correct, not able to guess others.

  • 4
    Then don't guess. :) How would you *find* an element of order 3? What properties must one have? How might one describe a particular one? Could you then count descriptions?2012-06-13

3 Answers 3

4

Let's go back to basics.

Suppose $a$ is a generator of $Z_{10}$ and $b$ is a generator of $Z_{15}$, then every element of your group is of the form $a^rb^s$ with $0 \leq r \leq 9$ and $0 \leq s \leq 14.$

That makes 150 elements.

Suppose $a^r$ has order $p$ (which must be 1, 2, 5 or 10) and $b^s$ has order $q$ (which must be 1, 3, 5 or 15) [these orders by Lagrange]. Then, since your group is abelian, it is trivial that the order of $a^rb^s$ is lcm($p,q$).

That should give you enough to determine the possible orders of elements in the product, to do some computations for each order, and to check (by counting elements) that your computations are correct.

3

The Chinese remainder theorem can help here: $G \cong Z_2 \times Z_5 \times Z_3 \times Z_5$

A tuple $(\bar x_1,\bar x_2,\bar x_3, \bar x_4)$ of order 3, for example, must have $x_1 = 0$, $x_2 = 0$, $x_4 = 0$, since $3$ is invertible mod $2$ and $5$.

1

I thought maybe this approach could help you. I did your question by GAP as:

g:=DirectProduct( CyclicGroup(10), CyclicGroup(15) );;

I:=[2,3,5,10];

for i in I do

S:=Size(Filtered(g,x->Order(x)=i));

Print("There are "); Print(S); Print(" element(s) of order "); Print(i); Print("\n");

od;

Result

There are 1 element(s) of order 2 There are 2 element(s) of order 3 There are 24 element(s) of order 5 There are 24 element(s) of order 10 
  • 0
    Nice, I am relatively new to GAP...used it about a year ago for a bit, but I need to get it up and running again! +12013-03-06