Intereting Posts

Is there such a thing as partial integration?
What are the length of the longest element in a Coexter group for every type?
Hilbert class field of $\mathbb Q(\sqrt{-39})$
How to calculate a heading on the earths surface?
When pseudo inverse and general inverse of a invertible square matrix will be equal or not equal?
$p^2$ misses 2 primitive roots
How can this technique be applied to a different problem?
$f \in L^1$, but $f \not\in L^p$ for all $p > 1$
How many positive numbers need to be added together to ensure that the sum is infinite?
Showing that $n$ is pseudoprime to the base $a$
How is (p ∧ q ∧ ¬r) ∨ (p ∧ ¬q ∧ ¬r) ≡ (p ∧ ¬r) ∨ (¬q ∧ q)? Is it really distributive property?
Proof that the Trace of a Matrix is the sum of its Eigenvalues
Why is this Inequality True for all Positive Real Numbers?
Why is a straight line the shortest distance between two points?
How to prove the inequality between mathematical expectations?

There are several things that confuse me about this proof, so I was wondering if anybody could clarify them for me.

LemmaLet G be a group of order $30$. Then the $5$-Sylow subgroup of G is

normal.

ProofWe argue by contradiction. Let $P_5$ be a $5$-Sylow subgroup of G. Then the

number of conjugates of $P_5$ is congruent to 1 mod 5 and divides 6. Thus, there must be six conjugates of $P_5$. Since the number of conjugates is the index of the normalizer, we see that $N_G(P_5)$ = $P_5$.

Why does the fact that the order of $N_G(P_5)$ is 5 mean that it is equal to $P_5$?

Since the 5-Sylow subgroups of G have order 5, any two of them intersect in the

identity element only. Thus, there are 6 · 4 = 24 elements in G of order 5. This leaves 6 elements whose order does not equal 5. We claim now that the 3-Sylow subgroup, $P_3$, must be normal in G.The number of conjugates of $P_3$ is congruent to 1 mod 3 and divides 10. Thus, if

$P_3$ is not normal, it must have 10 conjugates. But this would give 20 elements of order 3, when there cannot be more than 6 elements of order unequal to 5, so that $P_3$ must indeed be normal.But then $P_5$ normalizes $P_3$, and hence $P_5P_3$ is a subgroup of G. Moreover, the Second Noether Theorem gives

$(P_5P_3)/P_3$ $\cong$ $P_5/(P_5 ∩ P_3)$.

But since $|P_5|$ and $|P_3|$ are relatively prime, $P_5$ ∩ $P_3$ = e, and hence $P_5P_3$ must have order 15.

Why do we need to use the second noether theorem? Why can we just use the formula $\frac{|P_5||P_3|}{|P_3 \cap P_5|}$ to compute the order?

Thus, $P_5P_3 \cong Z_{15}$, by Corollary 5.3.17. But then $P_5P_3$ normalizes $P_5$, which contradicts the earlier statement that $N_G(P_5)$ has order 5.

Why do we have to realize taht $P_5P_3$ is isomorphic to $Z_{15}$? Also, how can we conclude that $P_5P_3$ normalizes $P_5$?

Thanks in advance

- Subgroup of $\mathbb{Q}$ with finite index
- Examples where $H\ne \mathrm{Aut}(E/E^H)$
- Why is abstract algebra so important?
- If a finite group $G$ is solvable, is $$ nilpotent?
- Ideals of $\mathbb{Z}$ geometrically
- Does there exist two non-constant polynomials $f(x),g(x)\in\mathbb Z$ such that for all integers $m,n$, gcd$(f(m),g(n))=1$?
- There exists only two groups of order $p^2$ up to isomorphism.
- Every prime ideal is either zero or maximal in a PID.
- A ring that is not a Euclidean domain
- What properties are shared by isomorphic universal algebras?

Short Answers:

1.- Because $\,P_5\le N_G(P_5)\,$ and $\,|N_G(P_5)|=|P_5|\,$

2.- The “2nd Noether Theorem” seems to be what others (like me) call one (the second or the third, usually) of the isomorphism theorems, and the formula you want to use is precisely the order of the group

$$P_5P_3/P_3\cong P_5/(P_5\cap P_3)$$

otherwise you wouldn’t be able to deduce $\,|P_3P_5|=15\,$ …

3.- The group $\,\Bbb Z_{15}-\,$ the cyclic group of order $\,15\,$ is abelian , so it trivially normalizes its own subgroups…(this means $\,P_5\,$ is normal in $\,P_3P_5\,$ )

A group of order 30 has a normal 5-Sylow subgroup.

$|G|=2.3.5$

The divisors of $|G|$ are $1,2,3,5,6,10,15,30.$

$5|n_5-1\implies n_5=1,6\\3|n_3-1\implies n_3=1,10\\2|n_2-1\implies n_2=1,3,5,15.$

If possible let $n_5=6.$ Then $G$ has at least $5.6-5=25$ elements of order $5.$ Consequently since $|G|=30,n_3=n_2=1.$ Let $H_2,H_3$ be normal Sylow $2$ and Sylow $3$ subgroups of $G.$ Since $H_1H_2\le G$ and $H_2H_3=H_1\times H_2\simeq H_2\oplus H_3, $ $H_2H_3$ has $6$ elements none of which is of order $5.$ Thus $G$ has at least $25+6=31$ elements! So $n_5=1.$

- What is the Conjunction Normal Form of a tautology?
- Show that $\mathbb{Q}$ is dense in the real numbers. (Using Supremum)
- Is there a continuous, strictly increasing function $f: [0,\infty)\to [0,\infty)$ with $f(0) = 0$ such that $\tilde d = f\circ d$ is not a metric?
- Simplification of $G_{2,4}^{4,2}\left(\frac18,\frac12\middle|\begin{array}{c}\frac12,\frac12\\0,0,\frac12,\frac12\\\end{array}\right)$
- A coin is ﬂipped 8 times: number of various outcomes
- How to prove $\bar{m}$ is a zero divisor in $\mathbb{Z}_n$ if and only if $m,n$ are not coprime
- Prove that any two nontrivial subgroups of $\mathbb{Q}$ have nontrivial intersection
- Suppose that $P(x)$ is a polynomial of degree $n$ such that $P(k)=\dfrac{k}{k+1}$ for $k=0,1,\ldots,n$. Find the value of $P(n+1)$
- Is my understanding of antisymmetric and symmetric relations correct?
- What is CDF – Cumulative distribution function?
- Counting subsets containing three consecutive elements (previously Summation over large values of nCr)
- Evaluate $\int_0^1\left(\frac{1}{\ln x} + \frac{1}{1-x}\right)^2 \mathrm dx$
- Why do both sine and cosine exist?
- Linear Algebra determinant reduction
- Set of cluster points of a bounded sequence