1
$\begingroup$

I'm requested to classify the abelian groups $A$ of order $2^5 \times 3^5 $ where :

  • $| A/A^4 | = 2^4 $

  • $ |A/A^3 | = 3^4 $

I need to write down the canonical form of each group .

My question is, what does it mean $| A/A^4 |$ ? I understand that the meaning is to: $$G⁄H= \{Hg \mid g\in G\}$$

but the usage of it for classifying the groups is not clear to me.

How does it help me with this case ?

Regards

EDIT:

Suppose that I say $A=B \times C$ where $|B|=2^5$ and $|C|=3^5$ and $|A|=2^5 * 3^5$ .

Now , the goals are :

  • $|A|/|A|^3 = (2^5 * 3^5) /|A|^3 = 3^4 $

:meaning I need to make $|A^3|=3*2^5$

  • $|A|/|A|^4 = (2^5 * 3^5) /|A|^4 = 2^4 $

:meaning I need to make $|A^4|=2*3^5$

So now after A=BC , how can I find the exact $|A^4|$ and $|A^3|$ ?

thanks again

  • 0
    No, your goals are $|C|/|C^3| = 3^4$ and $|B|/|B^4| = 2^4$. Now, write $B$ as a direct sum of cyclic $2$-groups (that is, cyclic groups of order a power of $2$), and see what $B^4$ is; write $C$ as a direct sum of cyclic groups of order a power of $3$, and see what $C^3$ is. You need $|B^4| = 2$, and you need $|C^3| = 3$2012-03-18
  • 0
    @ArturoMagidin: But how did you get to $|C/C^3|$ and $|B/B^4|$ ? What I mean is , how do you know what is $|A^3|$ and $|A^4|$ ?2012-03-18
  • 0
    As was already explained, $A = B\times C$, so $A^k = B^k\times C^k$ for any $k$. Since the order of $C$ is relatively prime to $2$, then $C^4 = C$, so $A/A^4 = (B/B^4)\times (C/C^4) = (B/B^4)\times (C/C) \cong B/B^4$. And since the order of $B$ is relatively prime to $3$, then $B^3=B$, so again we have $A/A^3 = (B/B^3)\times (C/C^3) \cong C/C^3$. If there was no simplification in considering $B$ and $C$, then *what's the point of introducing them in the first place?* If you didn't understand *why* you should introduce them, then you should have asked, not just put them in and then ignore them.2012-03-18
  • 0
    I lost you with $C^4 = C$ , can you please explain ?2012-03-18
  • 0
    Look at the hint I wrote in my answer; the one you've been studiously *not trying to prove.* But even more generally: if the order of $g$ is $n$, and $k$ is relatively prime to $n$, then $g$ is a $k$th power: write $1 = an+bk$ for some integers $a$ and $b$. Then $g = g^1 = g^{an+bk} = (g^n)^a(g^b)^k = 1^a(g^b)^k = (g^b)^k$. Since every element of $C$ has order relatively prime to $4$, every element of $C$ is the fourth power of *someone in $C$*. That means that $C\subseteq C^4$; since $C^4\subseteq C$ *always* holds, you get equality.2012-03-18
  • 0
    @ArturoMagidin : Something is not clear to me , can I say that $|A^4|=2*3^5$ ?2012-03-18
  • 0
    $|A^4| = |(B\times C)^4| = |B^4\times C^4|= |B^4|\times|C^4| = |B^4|\times|C| = |B^4|\times 3^5$. Whether you can say that it equals $2\times 3^5$ depends on what $B$ is.2012-03-18

1 Answers 1