0

If $G$ is Abelian, and it has subgroups $|A|$ and $|B|$ aren't relatively prime (its means they have mutual divisor). what is $|AB|$?

NOTE: I succeeded in proving that if $|A|$ and $|B|$ were relatively prime (which means that $gcd (|A|,|B|)=1)$ then $|AB|=|A||B|$. now im stuck at this one, any kind of help would be appreciated.

F1sargyan
  • 727

3 Answers3

2

It depends on whether $A$ and $B$ have any elements in common (it's not enough to know just the numbers $|A|$ and $|B|$). The general result is $$ |AB| = \frac{|A|\cdot |B|}{|A\cap B|} $$ This is true even for non-abelian $G$, although in that case $AB$ need not be a subgroup, but rather just the set $\{ab\mid a\in A, b \in B\}$.

Note that $A\cap B$ is a subgroup of both $A$ and $B$, so if $|A|$ and $|B|$ are coprime, then by Lagrange's theorem we must have $|A\cap B| = 1$ and we recover your result.

Arthur
  • 199,419
0

Since $G$ is abelian, the map $\mu\colon A\times B\to AB$ defined by $(a,b)\mapsto ab$ is a (surjective) group homomorphism, so $$ A\times B/\ker\mu \cong AB $$ So all you need to compute is $|\ker\mu|$. Now $(a,b)\in\ker\mu$ if and only if $b=a^{-1}\in A\cap B$. So…

egreg
  • 238,574
0

We have for every finite group $G$, and subgroups $A$ and $B$ the following formula:

$$ |AB|=\frac{|A|\cdot |B|}{A\cap B}. $$ Here $AB$ is a subgroup of $G$ if and only if $AB=BA$. If $|A|$ and $|B|$ are coprime then $|A\cap B|=1$ by Lagrange. If not, then $|AB|$ is just a divisor of $|A|\cdot |B|$, but need not be equal.

Dietrich Burde
  • 130,978