3
votes
Accepted
There is at most one prime $p$ such that if $P\in \operatorname{Syl}_p(G)$, then $N_G\left ( P \right )=P.$
As a hint, let $H$ be a maximal (proper) normal subgroup of $G$, so $|G:H|=p$ is prime. Then by the lemma that you stated, $p$ is the only prime for which a Sylow $p$-subgroup of $G$ can be self-...
2
votes
Are Sylow $p$-subgroups in infinite groups conjugate?
In addition to what has been answered: if $P$ and $Q$ are arbitrary $p$-groups, then $P$ and $Q$ are Sylow $p$-subgroups of their free product $G=P*Q$. Hence, in an infinite group Sylow $p$ subgroups ...
2
votes
Accepted
How to show that two groups are not isomorphic.
If $\mathbb{Z}_{75}$ is isomorphic to $\mathbb{Z}_5 \oplus \mathbb{Z}_{15}$, $\mathbb{Z}_5 \oplus \mathbb{Z}_{15}$ has a element of order $75$.
But for all $(x,y) \in \mathbb{Z}_5 \oplus \mathbb{Z}_{...
2
votes
Accepted
How to we explicitly get that #(G/H) = #G/#H from lagrange's theorem?
For each $j\in\{1,2,\ldots,n\}$, $\#g_jH=\#H$. So, since the union $g_1H\cup g_2H\cup\ldots\cup g_nH$ is a disjoint union,$$
\#G=n\times\#H=\#(G/H)\times\#H.
$$
1
vote
Accepted
$H\le G$. Number of orbits of the induced $H$-action of a transitive $G$-action: why assuming $H\unlhd G$?
Indeed, if $G\curvearrowright\Omega$ transitively then the (general version of the) orbit-stabilizer theorem says $\Omega\cong G/S$ as a $G$-set, where $S$ is the stabilizer of any element in $\Omega$ ...
Only top scored, non community-wiki answers of a minimum length are eligible
Related Tags
group-theory × 44995abstract-algebra × 20369
finite-groups × 8916
abelian-groups × 2588
permutations × 2169
representation-theory × 2054
normal-subgroups × 1951
symmetric-groups × 1677
solution-verification × 1614
cyclic-groups × 1507
group-actions × 1497
sylow-theory × 1427
group-isomorphism × 1414
group-homomorphism × 1335
linear-algebra × 1256
lie-groups × 1073
matrices × 813
ring-theory × 757
group-presentation × 675
combinatorics × 645
reference-request × 633
number-theory × 631
free-groups × 620
galois-theory × 527
automorphism-group × 524