Chapter 9: Problem 33
Consider \(S_{n}\) for a fixed \(n \geq 2\) and let \(\sigma\) be a fixed odd permutation. Show that every odd permatation in \(S_{n}\) is a product of \(\sigma\) and some permutation in \(A_{n}\).
Short Answer
Expert verified
Any odd permutation in \( S_n \) can be expressed as \( \sigma \rho \) where \( \rho \) is in \( A_n \).
Step by step solution
01
Understanding the Problem
We are given an odd permutation \( \sigma \) in the symmetric group \( S_n \). Our goal is to express any odd permutation in \( S_n \) as a product of \( \sigma \) and a permutation from the alternating group \( A_n \). This means we need to show that for any odd permutation \( \tau \) in \( S_n \), there exists a permutation \( \rho \) in \( A_n \) such that \( \tau = \sigma \rho \).
02
Review Definitions and Properties
Recall that an odd permutation is one that can be expressed as a product of an odd number of transpositions (2-cycles), while a permutation in \( A_n \) is an even permutation (product of an even number of transpositions). Furthermore, every permutation in \( S_n \) can be written as a product of transpositions.
03
Expressing an Odd Permutation
Let \( \tau \) be any odd permutation in \( S_n \). Since \( \tau \) is odd, it can be expressed as a product of an odd number of transpositions: \( \tau = (t_1)(t_2)...(t_{2k+1}) \).
04
Using the Fixed Odd Permutation
Consider the permutation \( \rho = \sigma^{-1} \tau \). \( \sigma \) is odd, and \( \tau \) is odd, so the product \( \sigma^{-1} \tau \) will be even (since the composition of two odd permutations is even). Therefore, \( \rho \) belongs to \( A_n \).
05
Combining Permutations
Now, calculate \( \sigma \rho = \sigma (\sigma^{-1} \tau) = \tau \). This confirms that \( \tau \) can indeed be expressed as \( \sigma \rho \), where \( \rho \) is in \( A_n \). Therefore, every odd permutation in \( S_n \) is a product of \( \sigma \) and an even permutation, fulfilling the requirement of the problem.
Unlock Step-by-Step Solutions & Ace Your Exams!
-
Full Textbook Solutions
Get detailed explanations and key concepts
-
Unlimited Al creation
Al flashcards, explanations, exams and more...
-
Ads-free access
To over 500 millions flashcards
-
Money-back guarantee
We refund you if you fail your exam.
Over 30 million students worldwide already upgrade their learning with 91Ó°ÊÓ!
Key Concepts
These are the key concepts you need to understand to accurately answer the question.
Permutations
Permutations are simply the arrangements or rearrangements of elements in a set. It's a concept that illustrates how we can reorganize the order of a set.
- An important aspect of permutations is their role in understanding symmetrical problems and structures.
- For a set with 'n' elements, there are n! (n factorial) possible permutations.
Symmetric Group
The symmetric group, denoted as \( S_n \), represents the set of all permutations of a finite set of 'n' elements. It's a cornerstone of group theory in mathematics as it embodies all possible ways to rearrange 'n' elements.
- Each element in \( S_n \) is a permutation of the set.
- It has a total of n! elements, as it includes all possible arrangements of the given set.
Alternating Group
The alternating group \( A_n \) is a subgroup of the symmetric group \( S_n \). It consists only of the even permutations of a set of 'n' elements. An even permutation is one that can be expressed as an even number of transpositions.
- This group contains exactly half the number of elements as \( S_n \).
- Its significance lies in its property of excluding all odd permutations, which provides a simple group structure to examine solely symmetrical even transformations.
Transpositions
Transpositions are the simplest form of permutation. They swap exactly two elements in a set, leaving all others unchanged. In cycle notation, a transposition is written as \((i ext{ }j)\), representing the interchange of these two positions.
- They are the building blocks for all permutations, as any permutation can be expressed as a product of transpositions.
- The parity of a permutation—whether it's odd or even—is determined by the number of transpositions of which it is a product.