bridging the group definition gap
TRANSCRIPT
![Page 1: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/1.jpg)
Bridging the Group
Definition Gap
Matthew Dawson
![Page 2: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/2.jpg)
Evariste Galois (1811-1832)
Political revolutionary
Died in a duel under
mysterious circumstances
May have sacrificed his life
(Rigatteli)
Very sad, short life
![Page 3: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/3.jpg)
Evariste Galois (1811-1832)
Discovered criterion for
polynomial equations to be
solvable by radicals
Founded group theory
Defined groups differently
from modern texts
Thought of groups as sets of arrangements
![Page 4: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/4.jpg)
A Project is Born
Most students never get exposed to Galois’s original definition
Group theory can be seen from interesting perspective
Dr. Lunsford
![Page 5: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/5.jpg)
A Project is Born
Demonstrate connection of Galois’s arrangement sets to modern groups
Determine what is meant by solvability in the context of Galois’s arrangement sets
Provide correct and rigorous mathematical proofs
Provide concrete example of showing that an arrangement set is solvable
![Page 6: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/6.jpg)
Arrangements: The “New” Concept
![Page 7: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/7.jpg)
Arrangements: The “New” Concept
Example:
Let S = {a, b, c}
(a, b, b) is not an arrangement of S
(a, c, b) is an arrangement of S
![Page 8: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/8.jpg)
Arrangements: The “New” Concept
Shorthand: write instead of
Arrangements and permutations on S:
or
Sym(S) is a group in the modern sense
![Page 9: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/9.jpg)
How to Apply a Permutation to an
Arrangement
![Page 10: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/10.jpg)
How to Apply a Permutation to an
Arrangement
Example:
Notation won’t be used again
![Page 11: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/11.jpg)
How to Apply a Permutation to an
Arrangement
![Page 12: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/12.jpg)
Where Are we Going?
Question: What do arrangements have to do with groups?
Answer: Permutations
Next step: associate two kinds of permutation sets with arrangement sets
Determine when these permutation sets form groups
![Page 13: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/13.jpg)
Permutation Sets of the First Kind
Example:
![Page 14: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/14.jpg)
Total Permutation Sets
Example:
![Page 15: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/15.jpg)
The Permutation Sets are Different
In our previous example,
Thus,
In general,
When are the sets equal?
Stay tuned!
![Page 16: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/16.jpg)
A Lemma Along the Way
Examples:
Note that is a group
![Page 17: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/17.jpg)
A Lemma Along the Way
In other example, we did not get a group:
Thus,
![Page 18: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/18.jpg)
Galois Makes an Entrance
Example:
but , C is not a GSA
Consider
Since
![Page 19: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/19.jpg)
Galois Makes an Entrance
Example:
,
M is a GSA
![Page 20: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/20.jpg)
The Big Theorem: GSAs and Groups
![Page 21: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/21.jpg)
The Big Theorem: GSAs and Groups
Let’s prove (part of) it!
![Page 22: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/22.jpg)
The Big Theorem: Proof
![Page 23: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/23.jpg)
Where Are we Going?
We know how groups relate to arrangement sets
Next question: how does normality relate to arrangements?
Answer: partitions
First, we must know two ways to create GSAs
![Page 24: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/24.jpg)
Permutation Groups Applied To
Arrangement
Applying a group of permutations to an arrangement produces a GSA
Example
![Page 25: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/25.jpg)
Right Partitions
N=H(abc)
Example:
H(bca) H(cab)
We can form a right partition of M using N
![Page 26: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/26.jpg)
A Permutation Applied to a GSA
Applying a permutation to all elements of a GSA yields a new GSA
Example
![Page 27: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/27.jpg)
Right Partitions
Example:
We can form a left partition of M using N
![Page 28: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/28.jpg)
Two Important Partitions
Summary:
In this case, the left and right partitions are not equal Question: will they ever be equal?
![Page 29: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/29.jpg)
Normality
If then we say that N is a normal subset of M
In previous example, N was not a normal subset of M
Very important group property; implies the existence of quotient group
Next task: When is a quotient group cyclic?
![Page 30: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/30.jpg)
Cyclic Quotient Groups
A group is solvable when a normal chain exists:
where is cyclic
We say that a GSA is solvable when its associated permutation set is solvable
![Page 31: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/31.jpg)
A Simple Example
Our final task is to show that quartic (degree four) polynomials are solvable by radicals
Example was used by Galois in his memoir
Notation a little different
We must show that the set of all arrangements of a set with four elements forms is solvable
![Page 32: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/32.jpg)
A Simple Example
Let S = {a, b, c, d}
Task: Show that Arr(S) is solvable
![Page 33: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/33.jpg)
A Simple Example
Let S = {a, b, c, d}
Task: Show that Arr(S) is solvable
Permutation set is alternating group.
![Page 34: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/34.jpg)
A Simple Example
Let S = {a, b, c, d}
Task: Show that Arr(S) is solvable
Quotient group formed by permutation sets must be
cyclic; it contains only two elements
Must be a normal subset; there is only one partition.
![Page 35: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/35.jpg)
A Simple Example
Problem reduces to:
Is the set solvable?
Because forms a group (Klein four group), is a GSA.
![Page 36: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/36.jpg)
A Simple Example
Left partition of by Right partition of
by
The left and right partitions of by are the same, so that is a normal subset of
One permutation (i.e., (bcd)) connects arrangement sets in partition; quotient group is cyclic
![Page 37: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/37.jpg)
A Simple Example
Problem reduces to:
Is the set solvable?
The set can be partitioned into two GSAs:
![Page 38: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/38.jpg)
A Simple Example
Problem reduces to:
Is the set solvable?
The set can be partitioned into two GSAs:
![Page 39: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/39.jpg)
A Simple Example
Problem reduces to:
Is the set solvable?
The associated permutation set of consists of identity permutation.
![Page 40: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/40.jpg)
A Simple Example
We have just created a normal chain of GSAs:
Quotient groups are cyclic
Yippee!
(i.e., Arr(S)) is solvable!
Fourth degree polynomials can be solved by radicals.
![Page 41: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/41.jpg)
Parting Thoughts
Inculcated in my mind the centrality of permutations
Proving the theorems was fun
Perhaps algebra students should be exposed to arrangements
Much work can still be done
Hunch:
![Page 42: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/42.jpg)
Acknowledgements
Dr. Lunsford
Made original suggestion
Always helpful
Undergraduate research program
The grant money was nice
An excuse to keep working into spring
![Page 43: Bridging the Group Definition Gap](https://reader034.vdocuments.mx/reader034/viewer/2022051813/628332768003e96dfe439716/html5/thumbnails/43.jpg)
References
Rigatelli, Laura Toti. Evariste Galois.
Basel, Switzerland: Birkhauser, 1996.
Tignol, Jean-Pierre. Galois’ Theory of Algebraic Equations.
New Jersey: World Scientific, 2001.
Edwards, Harold M. Galois Theory.
New York: Springer-Verlag, 1984.
May your arrangements always be normal!