MHB Sylow p-Subgroups of Symmetric Group: Orders & Explanation

  • Thread starter Thread starter ibnashraf
  • Start date Start date
ibnashraf
Messages
2
Reaction score
0
Question:

What are the orders of the Sylow p-subgroups of the symmetric group
png.latex
?
Give the possible orders of each Sylow p-subgroup of
png.latex
.
(N.B. If there are many possible orders, then give at least four).Can anyone help me to understand what is meant by the above question please?

So far i understand that
png.latex
is the symmetric group of degree 6.
that is the symmetric group on {
png.latex
}
and i think that the order is given by
png.latex
.
where do i go from there?
 
Physics news on Phys.org
ibnashraf said:
Question:

What are the orders of the Sylow p-subgroups of the symmetric group
png.latex
?
Give the possible orders of each Sylow p-subgroup of
png.latex
.
(N.B. If there are many possible orders, then give at least four).Can anyone help me to understand what is meant by the above question please?

So far i understand that
png.latex
is the symmetric group of degree 6.
that is the symmetric group on {
png.latex
}
and i think that the order is given by
png.latex
.
where do i go from there?

Well, what is a Sylow $p$-subgroup of a given group? What do you know about it? Well, it has order $p^n$ where $p^n$ divides the order of the group. So, what is the prime decomposition of $6!$? This will give you the list of possible primes $p$.

You now need to find an $n$ for each prime $p$. For this, you need to look at your notes on Sylow's theorems. One of the theorems will tell you what $n$ should be.

(Also, when you are using LaTeX you can put in curly brakets using \{ and \}. $\{1, 2, 3, 4, 5, 6\}$ looks much nicer than {$1, 2, 3, 4, 5, 6$} (you need to put a backslash before the curly brackets are curly brackets are part of LaTeX code - they "group" things together. For example, e^{\pi i} gives $e^{\pi i}$).)
 
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...

Similar threads

Back
Top