Intereting Posts

Complex structure on $\mathbb{C}\mathbb{P}^2\# \dots \# \mathbb{C}\mathbb{P}^2$
Taylor series in two variables
Products and coproducts in the simplex category
When is mapping $g$ to $g^{-1}$ a group homomorphism?
some questions about combinations
Largest prime below a given number N
Analytic solution of: ${u}''+\frac{1}{x}{u}'=-\delta e^{u}$
The logarithm is non-linear! Or isn't it?
Where can I learn about the lattice of partitions?
integrating the secant function, who figured this out?
Why are There No “Triernions”?
Proof that $\dim(U_1+U_2) = \dim U_1 + \dim U_2 – \dim(U_1\cap U_2)$
Convergence of double series $\sum_{n=1}^{\infty} \sum_{m=1}^{\infty} \frac{\sin(\sin(nm))}{n^2+m^2}$
Cutting a cube by plane cuts
Center of the Orthogonal Group and Special Orthogonal Group

I use *Abstract Algebra* by Dummit and Foote to study abstract algebra! At page 120, section 2 in chapter 4, there is a great result form my point of view which proves that, for any group $G$ of order $n$, $G$ is isomorphic to some subgroup of $S_n$.

My question: Is there any way to calculate the subgroup of $S_n$ which is isomorphic to some group $G$ ?

I mean, if we have a group $G$, how can we calculate the subgroup of $S_n$ which $G$ is isomorphic to it ? my question is in general !

- A non-UFD such that $a^2 \mid b^2$ does not lead to $a\mid b$
- calculate (find the type of isomorphism) of $\mathbb Z_p/p\mathbb Z_p$ where p is prime
- Prove that this ring is an integral domain based on newly defined binary operations
- Grothendieck group of the monoid of subsets in a group
- Prove that $H$ is a subgroup of an abelian group $G$
- Artin's proof of the order of $\mathbb Z/(a+bi)$

the question is edited !

- In a monoid, does $x \cdot y=e$ imply $y \cdot x=e$?
- If $G$ is isomorphic to all non-trivial cyclic subgroups, prove that $G\cong \mathbb{Z}$ or $G\cong \mathbb{Z}_p$
- Localisation is isomorphic to a quotient of polynomial ring
- $|G|>2$ implies $G$ has non trivial automorphism
- Existence of Zero Divisors in $C(X,\mathbb{R})$
- For $G$ a group and $H\unlhd G$, then $G$ is solvable iff $H$ and $G/H$ are solvable?
- Divisibility question for non UFD rings
- If $x^m=e$ has at most $m$ solutions for any $m\in \mathbb{N}$, then $G$ is cyclic
- Computing easy direct limit of groups
- Proving the quotient of a principal ideal domain by a prime ideal is again a principal ideal domain

You find a bijective map $\varphi$ from the klein 4-group to $H$ such that $\varphi$ satisfies the *homorphism property*:

For example: Let $V$ denote the Klein 4-group. Then you find a bijective function mapping identity to identity, with $\phi: V \to H$ such that

$$\forall a, b \in V, \;\varphi(ab) = \varphi(a)\circ\varphi(b)$$

where $ab$ denotes the product operation of $V$, and $\circ$ denotes permutation composition.

In answer to your *original* question…

To find the subgroup of $S_n$ generated by $(12)(34)$ and $(13)(24)$, take products and inverses to obtain closure. There will be the identity, each of these elements, and the product of these elements, which will be $(14)(23)$. Each element is its own inverse. So we have a subgroup $H \leq S_4$ of order $4$.

Using the above procedure, you should be able to construct an isomorphism by the proper assignment of elements of $V$ to elements of $H$.

The proof of that theorem tells you exactly how to find the subgroup you are looking for. You number the elements of your group from $1$ to $n$. Left multiplication by an element of your group then corresponds to a permutation of these numbers.

For example the Klien $4$-group is $\mathbb Z/2 \times \mathbb Z/2$ so we number the elements as such:

- $(0, 0)$
- $(0, 1)$
- $(1, 0)$
- $(1, 1)$

Then left ‘multiplication’ (actually addition in this case) by $(1, 0)$ sends

- $(0, 0) \to (1, 0)$
- $(0, 1) \to (1, 1)$
- $(1, 0) \to (0, 0)$
- $(1, 1) \to (0, 1)$

Hence according to our numbering the element $(1, 0)$ is sent to the permutation $(1 \ 3)(2 \ 4)$. Likewise you can show that $(0, 1)$ is sent to $(1 \ 2)(3 \ 4)$ under this map.

- Mean and variance of the order statistics of a discrete uniform sample without replacement
- Are Position and Velocity (or Velocity and Acceleration) Vectors Always Parallel?
- Do you prove all theorems whilst studying?
- why don't we define vector multiplication component-wise?
- Combinatorics problem: $n$ people line up to $m$ clubs
- Possible distinct positive real $x,y,z \neq 1$ with $x^{(y^z)} = y^{(z^x)} = z^{(x^y)}$ in cyclic permutation?
- Express Integer as Sum of Four Squares
- When does the two cars meet
- Finite ring extension and number of maximal ideals
- inclusion of $\sigma$-algebra generated by random variables
- Is this a correct use of the squeeze theorem?
- Meaning of “polynomially larger”
- semi direct of quaternionic group
- Power of prime ideal
- Intuition behind decay of Fourier coefficients