Faces Behind Great Mathematics
While studying mathematics I have often asked myself the question, "Who on earth thought about all these equations, theorems, definitions, and proofs?". If you have ever found yourself wondering the same thing, or something similar, then you are in the right place. The purpose of this blog is to shed some light on the faces behind great mathematics.
Frieze Groups
The First Isomorphism Theorem Proof
~A proof for my Dad, with help from Ben, my teacher.
Definitions
Isomorphism:
* To be an isomorphism the function must be a homomorphism and be surjective (everyone has a room) and injective (no one is sharing a room), this means it is a bijection.
Homomorphism:
We say that a function f from G to H is a group homomorphism if f preserves the group structures, which means $f(a\cdot b)=f(a)\times f(b)$ for every a and b in G.
Surjective:
- A function f from A to B
f is surjective if and only if (y∈B ) implies (there existsx∈A such thatf(x)=y ).
Injective:
- A function f from A to B
ff is injective if and only if (x1,x2∈A such thatf(x1)=f(x2) ) implies (x1=x2 ).
The First Isomorphism Theorem that I prove below:
Let f from G to H be a surjective homomorphism with kernel $K$. Because we know that $f(x)=f(y)$ for any $y\in Kx$ (elements in the same coset of the kernel have the same image under $f$), then we can define a map $\phi:G/K\to H$ by defining $\phi(Kg)=f(g)$. This map $\phi$ is always an isomorphism.
POOF TIME!!!
To prove this theorem we must show that $\phi: G/K\to H$ is injective and surjective, thus it is an isomorphism.
First, let $f:G\to H$ be a surjective homomorphism with kernel $K$. Also, let $\phi:G/K\to H$ be defined for all $gK\in G/K$ by $\phi(gK)=f(g)$.
Now let's show that $\phi$ is a function.
This means we must show that for every $X\in G/K$ there exists a unique $h\in H$ such that $\phi(X)=h$.
To start let $X\in G/K$.
Next pick $g, j\in G$ such that $X=gK=jK$.
Since there are different ways to represent the same coset, we have chosen two of them, and will now show that the choice $g$ or $j$ does not change the outcome of the rules given by $\phi$. (Similar to how some people know me as Haylee Zierow and some know me as Haylee Lau, but despite the different names I am the same person).
We will now show that $\phi(X)\in H$ and that $\phi(X)$ is unique.
We compute $$\phi(X)=\phi(gK)=f(g)\in H.$$
Also, $$\phi(X)=\phi(jK)=f(j)\in H.$$
This shows that $\phi(X)\in H$.
Now, since $gK=jK$, we know that $g\in jK$ (refer to problem $82$).
This implies that $g=jk$ for some $k\in K$ which implies that $$f(g)=f(jk)=f(j)f(k)=f(j)e_H=f(j).$$
Since $f(g)=f(j)$ it follows that $\phi(gK)=\phi(jK)$ because of how $\phi$ is defined, hence $\phi(X)$ is unique.
We have now shown that $\phi$ is a function.
Next, with $gK, jK\in G/K$ we will show that $\phi(gKjK)=\phi(gK)\phi(jK)$.
We compute $$\phi(gKjK)=\phi((gj)K)=f(gj)=f(g)f(j)=\phi(gK)\phi(jK).$$
So $\phi$ is a group homomorphism.
Now suppose that $\phi(gK)=\phi(jK)$ for some $gK, jK\in G/K$.
Then we know that $f(g)=f(j)$ and we also know that $f(g)(f(j))^{-1}=f(gj^{-1})=e_H$.
This shows that $gj^{-1}\in K$, so $gK=jK$, thus we know $\phi$ is injective.
Now suppose that $h\in H$.
Since $f$ is surjective, that means there exists $g\in G$ such that $f(g)=h$.
We then have $$\phi(gK)=f(g)=h.$$
Thus $\phi$ is surjective.
Therefore, $\phi:G/K\to H$ is an isomorphism.
The Magic Cube
True to His Standards in Politics, Religion, and Math
Augustin Louis Cauchy
Aug. 21, 1789-May 23, 1857
In Abstract Algebra we work with permutations a lot. What is a permutation you may ask? A permutation is essentially when you have a set of items and you change the order of the items, you then have created a permutation. In an earlier blog post we worked with permutations of a square. Here is a more specific definition of permutations from my text book, Contemporary Abstract Algebra by Joseph A. Gallian-
"A permutation of a set $A$ is a function from $A$ to $A$ that is both one-to-one and onto. A permutation group of a set $A$ is a set of permutations of $A$ that forms a group under function composition."
Why am I interested in permutations? Well first off they are super cool, secondly, it is because this guy, Augustin Cauchy was interested in permutations too! Cauchy was one of the pioneers of analysis and the theory of permutation groups. He, like many mathematicians, added to several different areas of mathematics and physics including studying differential equations, infinite series and their convergence and divergence, determinants, calculus, probability, and optics.
Cauchy lived through the French Revaluation and when he was very young his parents feared for their safety and health as they had very little food and resources. However things got better as time passed. Laplace and Lagrange both visited Cauchy's home and encouraged his studies. In 1807 he graduated from the Ecole Polytechnique. He then attended an engineering school and eventually, in 1810, worked as an engineer for Napoleons' English invasion fleet at Cherbourg while continuing to do mathematical research on the side.
Around 1813 Laplace and Lagrange had convinced Cauchy to focus solely on mathematics. He came back to Paris and spent time teaching and doing research for years. Though Cauchy produced many important papers for mathematics, he had a way of offending his colleagues... he was very Catholic and came off as self-righteous and judgmental. Even poor, kind Mr. Abel was offended by this man! Abel exclaimed-"Cauchy is mad, and there is no way of being on good terms with him, although at present he is the only man who knows how mathematics should be treated. What he does is excellent, but very confused…"
In 1830 when Charles X was exiled and Louis-Philippe took the throne, Cauchy also went into exile since he refused to take an oath of allegiance. Because of this he lost all of his positions and chairs that he held in Paris. He began to teach in Turin and eventually attempted to teach the grandson of Charles X. This was an interesting experience I'm sure... Most articles reveal that the grandson was not the best of students and Cauchy was not the best of teachers, so the two made a less than stellar pair to say the least.
Finally, in 1838 Cauchy returned to Paris and gained back his seat at the Academy, the Ecole Polytechnique, but was not allowed to teach as he still refused to take the oath of allegiance. By 1848 when Louis-Philippe was overthrown, Cauchy regained his chair at Sorbonne and held that position till he died. Some of his last words were, "Men pass away, but their deeds abide." Cauchy's works certainly abide today, and we are so thankful for that.
Thanks bunches,
-Haylee Jo Lau
Works Cited:
https://en.wikipedia.org/wiki/Permutation_group
https://www.britannica.com/biography/Augustin-Louis-Baron-Cauchy
https://en.wikipedia.org/wiki/Augustin-Louis_Cauchy
https://math.unm.edu/cauchy/cauchy.html
https://mathshistory.st-andrews.ac.uk/Biographies/Cauchy/
http://nonagon.org/ExLibris/cauchy-permutations-origin-group-theory#:~:text=Cauchy%20himself%20wrote%20extensively%20on,of%20Sylow's%20first%20theorem%2C%20or
https://faculty.math.illinois.edu/~kapovich/417-05/book.pdf
https://todayinsci.com/C/Cauchy_Augustin/CauchyAugustin-Quotations.htm
Contemporary Abstract Algebra, by Joseph A. Gallian, Ninth Edition
A Revolution of Her Own
Sophie Germain
*My favorite quote by Sophie Germain, "Algebra is but written geometry and geometry is but figured algebra."
Graphs, Tables, and Groups- Oh My!
Arthur Cayley
It is in beautiful condition, but in awhile will need new tires. You buy tire 1, tire 2, tire 3, and tire 4. There is no specific order you have to put the tires on even though they are numbered. How many different combinations can you come up with? (*You should be able to put together 8 different combinations!)
Mathematics is the Music of Reason- J.J.S.
James Joseph Sylvester
https://mathigon.org/timeline/sylvester