2
$\begingroup$

I tried getting $n_{2}$ and $n_{7}$ , denote the number of Sylow-2-Subgroups and Sylow-7-Subgroups respectively.

I got two cases for $n_{2} = 1 , 7 $ and for $n_{7} = 1 , 8$ , i noticed that if $n_{2} = 1$ and $n_{7}= 1$ ,then we are done since they are unique subgroups and hence will be normal in $G$.

Next how to proceed with the cases of $n_{2} = 7$ and $n_7 = 8$.

Please help?

$\endgroup$
0

2 Answers 2

Reset to default
5
$\begingroup$

We have $o(G)=56=2^3.7$

Possible no. of sylow 2 subgroup $n_2=1+2k|7$ i.e either $1$ or $7$.

Similarly possible no. of sylow $7$ subgroup $n_7=1+7k|8$ i.e either $1$ or $8$.If there are $1$ sylow $7$ subgroup,then we are done because unique sylow-$p$ subgroups are normal.Suppose there are $8$ distinct sylow-$7$ subgroup say, $p_1,p_2\cdots p_8$.

Now $$|p_i\cap p_j||_{|p_i|or|p_j|}$$ $$|p_i\cap p_j|=1;i\neq j$$ $$|p_1\cup p_2\cdots\cup p_8|=56-7=49$$ i.e there are $48 $ elements of order $7$.We know that order of sylow- $2$ subgroup of $G$ is $8$.If there are $8$ sylow-$7$ subgroup then, there can only $1$ sylow-$2$ subgroup is possible which will be normal.

$\endgroup$
2
  • $\begingroup$ How the pairwise distinct intersection order is $1$? . $\endgroup$
    – BAYMAX
    Jan 28, 2017 at 10:12
  • 3
    $\begingroup$ Because $ p_i\cap p_j$ are subgroups of $p_i$ and $p_j$.So, $| p_i\cap p_j|$ is either $1$ or $7$ (by Lagrange's theorem) but $7$ is not possible because $p_i$'s are distinct sylow-$7$ subgroup of $G$. $\endgroup$
    – MatheMagic
    Jan 28, 2017 at 10:17
2
$\begingroup$

Count the total number of elements. Suppose neither $n_2$ nor $n_7$ is equal to $1$. Then $n_7=8$, which makes $8\cdot 6$ elements which belong to a $7$-Sylow subgroup, and to no other Sylow subgroup.

On the other hand, since $n_2=7$, each $2$-Sylow subgroup contains at least $4$ elements which belong to no other Sylow subgroup. In all $7\cdot 4$ elements.

Summing up, the group would contain at least $48+28+1$ elements. This is more than $56$, if I'm not mistaken.

$\endgroup$
7
  • $\begingroup$ For the case of $n_{7} = 8$ i think you are removing the trivial cases of identity and the group itself thus remaining with $6$ elements in each Sylow -7-subgroup thus giving $8.6 = 48$ elements belonging to all $8$ Sylow 7 subgroups.Is this correct? $\endgroup$
    – BAYMAX
    Jan 28, 2017 at 10:07
  • $\begingroup$ Perfectly correct! $\endgroup$
    – Bernard
    Jan 28, 2017 at 10:08
  • $\begingroup$ Now for $n_{2}=7$ we must have $5$ elements left , but why there are atleast $4$ mentioned ? $\endgroup$
    – BAYMAX
    Jan 28, 2017 at 10:09
  • $\begingroup$ I considered the worst case: all $2$-Sylow all intersect in the same subgroup of order $4$: there remains $4$ elements in each $2$-Sylow. $\endgroup$
    – Bernard
    Jan 28, 2017 at 10:12
  • 1
    $\begingroup$ The identity and the group itself are not Sylow subgroups! $\endgroup$
    – Bernard
    Jan 28, 2017 at 10:21

Not the answer you're looking for? Browse other questions tagged .