{"id":275,"date":"2025-01-01T21:03:33","date_gmt":"2025-01-01T21:03:33","guid":{"rendered":"https:\/\/qpr.ca\/blogs\/mathstuff\/?p=275"},"modified":"2025-01-01T21:03:33","modified_gmt":"2025-01-01T21:03:33","slug":"what-galois-did","status":"publish","type":"post","link":"https:\/\/qpr.ca\/blogs\/mathstuff\/2025\/01\/01\/what-galois-did\/","title":{"rendered":"What Galois Did"},"content":{"rendered":"<p>I think this is worth saving:<\/p>\n<blockquote>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">This is a question where historical context helps a lot, I think.<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">Certainly, one can write about the specific results that Galois proved without any reference to the context in which they appeared, and they are beautiful. I really love Galois theory<\/p>\n<div id=\"cite-viZJw\" class=\"q-box QTextCitations___StyledBox-sc-9vzzum-0 kwbZz\"><a class=\"q-text qu-dynamicFontSize--tiny qu-verticalAlign--super\" href=\"https:\/\/www.quora.com\/In-layman-s-terms-what-did-Evariste-Galois-give-to-humanity-and-how-has-it-helped-us\/answer\/Senia-Sheydvasser#viZJw\">[1]<\/a><\/div>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">. But I fear that if one asks about the\u00a0applications\u00a0of Galois theory, the answers may seem very niche. And that does a grave injustice to a man (barely a man\u2014he was only 20 when he died) who helped revolutionize how we think about mathematics.<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">So, let\u2019s set the scene a little.<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">The 19th century was a time of revolution in Europe. The political revolutions of that time are certainly more famous, but it was a tumultuous time in science and mathematics as well.<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">Prior to the 19th century, mathematics was mostly very concrete. Whatever mathematical objects were considered were primarily pulled from real-world experience: all of Euclidean geometry arose from physical drawings with straightedges and compasses; the real numbers arose from ideas about magnitudes and measurements;\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-1-Frame\" class=\"mjx-chtml MathJax_CHTML\" style=\"display: inline-block; line-height: 0; text-indent: 0px; text-align: left; text-transform: none; font-style: normal; font-weight: normal; font-size: 16.95px; font-size-adjust: none; letter-spacing: normal; overflow-wrap: normal; word-spacing: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; margin: 0px; padding: 1px 0px; position: relative;\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mi&gt;e&lt;\/mi&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-1\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-2\" class=\"mjx-mrow\"><span id=\"MJXc-Node-3\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">e<\/span><\/span><\/span><\/span><span class=\"MJX_Assistive_MathML\" role=\"presentation\">e<\/span><\/span><\/span>\u00a0arose from studies of compound interest, and so on, and so on. What didn\u2019t come from such concrete considerations was viewed with suspicion\u2014complex numbers, for instance, were often treated as black magic, despite the fact that the rules for working with them are dead simple and they are incredibly useful.<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">In the 19th century, all of this changed. Mathematicians began exploring objects that didn\u2019t seem like they could be pulled from real-world experience, even if you could describe their mathematical properties perfectly well. This was the era in which non-Euclidean geometry was discovered<\/p>\n<div id=\"cite-WXoec\" class=\"q-box QTextCitations___StyledBox-sc-9vzzum-0 kwbZz\"><a class=\"q-text qu-dynamicFontSize--tiny qu-verticalAlign--super\" href=\"https:\/\/www.quora.com\/In-layman-s-terms-what-did-Evariste-Galois-give-to-humanity-and-how-has-it-helped-us\/answer\/Senia-Sheydvasser#WXoec\">[2]<\/a><\/div>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">, for example. While, today, we recognize that hyperbolic geometry is, in some ways, even\u00a0more\u00a0closely related to the actual geometry of space than Euclidean geometry is<\/p>\n<div id=\"cite-wIZIv\" class=\"q-box QTextCitations___StyledBox-sc-9vzzum-0 kwbZz\"><a class=\"q-text qu-dynamicFontSize--tiny qu-verticalAlign--super\" href=\"https:\/\/www.quora.com\/In-layman-s-terms-what-did-Evariste-Galois-give-to-humanity-and-how-has-it-helped-us\/answer\/Senia-Sheydvasser#wIZIv\">[3]<\/a><\/div>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">, at the time it seemed like something utterly devoid of application. Mathematicians as a whole had to be dragged kicking and screaming to embrace these kinds of ideas, but ultimately they did, and the field became so much richer for it.<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">And at the same time as Gauss, Lobachevsky, Bolyai, and Riemann were reinventing what it means to study geometry, Galois was doing the same thing for algebra.<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">Picture it. It\u2019s France, 1829. Politically, it is tense: a year from now, Charles X will be deposed\u2014to be replaced by his cousin, Louis Philippe I. But, for the moment, there is something more pressing. A young man\u2014only 17 years old\u2014storms out from his examinations; he has been denied entry to the prestigious \u00c9cole Polytechnique for a second time. He finds his examiners inane and plodding; they find him sloppy and explosively hot-headed. He is filled with fire and rage; his father had committed suicide just days before. His head is bubbling with ideas that are decades ahead of his time.<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">This is \u00c9variste Galois.<\/p>\n<div class=\"q-box\">\n<div class=\"c18fjxbz\">\n<div class=\"q-box unzoomed\" tabindex=\"-1\"><img decoding=\"async\" class=\"q-image qu-display--block\" src=\"https:\/\/qph.cf2.quoracdn.net\/main-qimg-378d5e895b4824111dba1119c2bc76cd.webp\" \/><\/div>\n<\/div>\n<\/div>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">He had already published a paper the previous year; he would publish three more over the next few years while in and out of prison. (He was a fierce republican and made no attempts to hide his disdain for the monarchy.) In 1832, at just 20 years old, he was pulled into a duel and shot to death.<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">Having now a sense of the man and the environment in which he was, let\u2019s actually discuss his work.<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">What was algebra prior to the work of Galois? As a field, it was almost entirely about solving equations. When can one get write down a solution to a polynomial equation in terms of radicals? When can one get integer solutions to such an equation? These were the kinds of questions that mathematicians were asking (and sometimes answering). To the extent that new algebraic objects were introduced, it was solely in the service of such concrete goals\u2014this is how complex numbers came to be, and modular arithmetic, and so on.<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">Galois did produce results and solutions in this vein, but he also intuitively understood\u2014in a way almost no one else did at that time\u2014that one could study these algebraic objects themselves, their properties, and how they related to one another. When he published his paper on what is now called Galois theory, it did provide a way to prove that the roots of various polynomials cannot be written down in terms of radicals, yes\u2014but Galois himself wrote that this was merely an\u00a0application\u00a0of the theory, and not what it was principally about. This was completely missed by his contemporaries, who tried to make sense of Galois\u2019 work by focusing on this one element that they judged as actually important. It was only decades later that this fundamental shift in perspective was understood and appreciated.<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">The core of Galois theory\u2014what he is principally remembered for\u2014can be roughly explained thus, in modern language:<\/p>\n<\/blockquote>\n<blockquote class=\"q-relative qu-color--gray\">\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">There are algebraic structures called groups and fields, and there is a fundamental connection between the two that allows you to transform difficult problems about one into easy problems about the other.<\/p>\n<div class=\"q-absolute qu-borderRadius--pill QTextBlockQuote___StyledAbsolute-an1wlz-0 gYaYDc\"><\/div>\n<\/blockquote>\n<blockquote>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">Of course, this is a little anachronistic, since Galois did not have a modern definition of either groups or fields\u2014those didn\u2019t come until the 1880s and 1890s, respectively. He still thought about them in much more concrete terms. But if I may be allowed to continue this anachronism for the ease of exposition, I can give a little insight into what these are.<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">What are\u00a0groups? These are pretty much the most fundamental algebraic structures there are<\/p>\n<div id=\"cite-KQuUx\" class=\"q-box QTextCitations___StyledBox-sc-9vzzum-0 kwbZz\"><a class=\"q-text qu-dynamicFontSize--tiny qu-verticalAlign--super\" href=\"https:\/\/www.quora.com\/In-layman-s-terms-what-did-Evariste-Galois-give-to-humanity-and-how-has-it-helped-us\/answer\/Senia-Sheydvasser#KQuUx\">[4]<\/a><\/div>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">, with many, many,\u00a0many\u00a0examples<\/p>\n<div id=\"cite-SpouA\" class=\"q-box QTextCitations___StyledBox-sc-9vzzum-0 kwbZz\"><a class=\"q-text qu-dynamicFontSize--tiny qu-verticalAlign--super\" href=\"https:\/\/www.quora.com\/In-layman-s-terms-what-did-Evariste-Galois-give-to-humanity-and-how-has-it-helped-us\/answer\/Senia-Sheydvasser#SpouA\">[5]<\/a><\/div>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">\u00a0in very varied fields\u2014they just seem to worm their way in pretty much everywhere. Instead of giving the general definition, though, let\u2019s think about them very concretely, in a manner similar to how Galois himself would have. Start with a collection of points.<\/p>\n<div class=\"q-box\">\n<div class=\"q-box\"><img decoding=\"async\" class=\"q-image qu-cursor--default qu-display--block\" src=\"https:\/\/qph.cf2.quoracdn.net\/main-qimg-74665b683ec1c80557085fcf90a1fe70\" \/><\/div>\n<\/div>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">Now, consider any way of shuffling these points around\u2014we call this a\u00a0permutation. Here are some examples.<\/p>\n<div class=\"q-box\">\n<div class=\"q-box\"><img decoding=\"async\" class=\"q-image qu-cursor--default qu-display--block\" src=\"https:\/\/qph.cf2.quoracdn.net\/main-qimg-93174c9fa850c24adc1bbd9306613112\" \/><\/div>\n<\/div>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">Given any two permutations, we can get a new one by just doing one and then the next. To help illustrate this, let\u2019s draw our permutations a bit differently. For example, here the second one from our list above.<\/p>\n<div class=\"q-box\">\n<div class=\"q-box\"><img decoding=\"async\" class=\"q-image qu-cursor--default qu-display--block\" src=\"https:\/\/qph.cf2.quoracdn.net\/main-qimg-c1e54ff211e37abed1d30f6feec7c998\" \/><\/div>\n<\/div>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">We\u2019re moving each point to the left, other than the last one, which we move back to the beginning. But now, we can do this twice, and this amounts to stacking this permutation on top of itself. And this gives a new permutation.<\/p>\n<div class=\"q-box\">\n<div class=\"q-box\"><img decoding=\"async\" class=\"q-image qu-cursor--default qu-display--block\" src=\"https:\/\/qph.cf2.quoracdn.net\/main-qimg-93c0d1a5244f8f10008def1f740ab0cf\" \/><\/div>\n<\/div>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">Here\u2019s an example with two different permutations.<\/p>\n<div class=\"q-box\">\n<div class=\"q-box\"><img decoding=\"async\" class=\"q-image qu-cursor--default qu-display--block\" src=\"https:\/\/qph.cf2.quoracdn.net\/main-qimg-f07a615d59a9b80ae52d53011cdc4b98\" \/><\/div>\n<\/div>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">If we call the bottom permutation\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-2-Frame\" class=\"mjx-chtml MathJax_CHTML\" style=\"display: inline-block; line-height: 0; text-indent: 0px; text-align: left; text-transform: none; font-style: normal; font-weight: normal; font-size: 16.95px; font-size-adjust: none; letter-spacing: normal; overflow-wrap: normal; word-spacing: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; margin: 0px; padding: 1px 0px; position: relative;\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mi&gt;g&lt;\/mi&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-4\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-5\" class=\"mjx-mrow\"><span id=\"MJXc-Node-6\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">g<\/span><\/span><\/span><\/span><span class=\"MJX_Assistive_MathML\" role=\"presentation\">g<\/span><\/span><\/span>\u00a0and the top permutation\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-3-Frame\" class=\"mjx-chtml MathJax_CHTML\" style=\"display: inline-block; line-height: 0; text-indent: 0px; text-align: left; text-transform: none; font-style: normal; font-weight: normal; font-size: 16.95px; font-size-adjust: none; letter-spacing: normal; overflow-wrap: normal; word-spacing: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; margin: 0px; padding: 1px 0px; position: relative;\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mi&gt;h&lt;\/mi&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-7\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-8\" class=\"mjx-mrow\"><span id=\"MJXc-Node-9\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">h<\/span><\/span><\/span><\/span><span class=\"MJX_Assistive_MathML\" role=\"presentation\">h<\/span><\/span><\/span>, then we call the permutation obtained by doing\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-4-Frame\" class=\"mjx-chtml MathJax_CHTML\" style=\"display: inline-block; line-height: 0; text-indent: 0px; text-align: left; text-transform: none; font-style: normal; font-weight: normal; font-size: 16.95px; font-size-adjust: none; letter-spacing: normal; overflow-wrap: normal; word-spacing: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; margin: 0px; padding: 1px 0px; position: relative;\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mi&gt;g&lt;\/mi&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-10\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-11\" class=\"mjx-mrow\"><span id=\"MJXc-Node-12\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">g<\/span><\/span><\/span><\/span><span class=\"MJX_Assistive_MathML\" role=\"presentation\">g<\/span><\/span><\/span>\u00a0then\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-5-Frame\" class=\"mjx-chtml MathJax_CHTML\" style=\"display: inline-block; line-height: 0; text-indent: 0px; text-align: left; text-transform: none; font-style: normal; font-weight: normal; font-size: 16.95px; font-size-adjust: none; letter-spacing: normal; overflow-wrap: normal; word-spacing: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; margin: 0px; padding: 1px 0px; position: relative;\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mi&gt;h&lt;\/mi&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-13\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-14\" class=\"mjx-mrow\"><span id=\"MJXc-Node-15\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">h<\/span><\/span><\/span><\/span><span class=\"MJX_Assistive_MathML\" role=\"presentation\">h<\/span><\/span><\/span>\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-6-Frame\" class=\"mjx-chtml MathJax_CHTML\" style=\"display: inline-block; line-height: 0; text-indent: 0px; text-align: left; text-transform: none; font-style: normal; font-weight: normal; font-size: 16.95px; font-size-adjust: none; letter-spacing: normal; overflow-wrap: normal; word-spacing: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; margin: 0px; padding: 1px 0px; position: relative;\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mi&gt;h&lt;\/mi&gt;&lt;mo&gt;&amp;#x2218;&lt;\/mo&gt;&lt;mi&gt;g&lt;\/mi&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-16\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-17\" class=\"mjx-mrow\"><span id=\"MJXc-Node-18\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">h<\/span><\/span><span id=\"MJXc-Node-19\" class=\"mjx-mo MJXc-space2\"><span class=\"mjx-char MJXc-TeX-main-R\">\u2218<\/span><\/span><span id=\"MJXc-Node-20\" class=\"mjx-mi MJXc-space2\"><span class=\"mjx-char MJXc-TeX-math-I\">g<\/span><\/span><\/span><\/span><span class=\"MJX_Assistive_MathML\" role=\"presentation\">h\u2218g<\/span><\/span><\/span>\u2014it is their\u00a0composition, or\u00a0product.<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">Observe that in the second example above, we got that\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-7-Frame\" class=\"mjx-chtml MathJax_CHTML\" style=\"display: inline-block; line-height: 0; text-indent: 0px; text-align: left; text-transform: none; font-style: normal; font-weight: normal; font-size: 16.95px; font-size-adjust: none; letter-spacing: normal; overflow-wrap: normal; word-spacing: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; margin: 0px; padding: 1px 0px; position: relative;\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mi&gt;h&lt;\/mi&gt;&lt;mo&gt;&amp;#x2218;&lt;\/mo&gt;&lt;mi&gt;g&lt;\/mi&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-21\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-22\" class=\"mjx-mrow\"><span id=\"MJXc-Node-23\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">h<\/span><\/span><span id=\"MJXc-Node-24\" class=\"mjx-mo MJXc-space2\"><span class=\"mjx-char MJXc-TeX-main-R\">\u2218<\/span><\/span><span id=\"MJXc-Node-25\" class=\"mjx-mi MJXc-space2\"><span class=\"mjx-char MJXc-TeX-math-I\">g<\/span><\/span><\/span><\/span><span class=\"MJX_Assistive_MathML\" role=\"presentation\">h\u2218g<\/span><\/span><\/span>\u00a0became the permutation where we don\u2019t move any of our points at all. We call this \u201cdo-nothing\u201d permutation the\u00a0identity, and we say that if\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-8-Frame\" class=\"mjx-chtml MathJax_CHTML\" style=\"display: inline-block; line-height: 0; text-indent: 0px; text-align: left; text-transform: none; font-style: normal; font-weight: normal; font-size: 16.95px; font-size-adjust: none; letter-spacing: normal; overflow-wrap: normal; word-spacing: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; margin: 0px; padding: 1px 0px; position: relative;\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mi&gt;h&lt;\/mi&gt;&lt;mo&gt;&amp;#x2218;&lt;\/mo&gt;&lt;mi&gt;g&lt;\/mi&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-26\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-27\" class=\"mjx-mrow\"><span id=\"MJXc-Node-28\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">h<\/span><\/span><span id=\"MJXc-Node-29\" class=\"mjx-mo MJXc-space2\"><span class=\"mjx-char MJXc-TeX-main-R\">\u2218<\/span><\/span><span id=\"MJXc-Node-30\" class=\"mjx-mi MJXc-space2\"><span class=\"mjx-char MJXc-TeX-math-I\">g<\/span><\/span><\/span><\/span><span class=\"MJX_Assistive_MathML\" role=\"presentation\">h\u2218g<\/span><\/span><\/span>\u00a0is the identity then\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-9-Frame\" class=\"mjx-chtml MathJax_CHTML\" style=\"display: inline-block; line-height: 0; text-indent: 0px; text-align: left; text-transform: none; font-style: normal; font-weight: normal; font-size: 16.95px; font-size-adjust: none; letter-spacing: normal; overflow-wrap: normal; word-spacing: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; margin: 0px; padding: 1px 0px; position: relative;\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mi&gt;h&lt;\/mi&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-31\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-32\" class=\"mjx-mrow\"><span id=\"MJXc-Node-33\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">h<\/span><\/span><\/span><\/span><span class=\"MJX_Assistive_MathML\" role=\"presentation\">h<\/span><\/span><\/span>\u00a0is the\u00a0inverse\u00a0of\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-10-Frame\" class=\"mjx-chtml MathJax_CHTML\" style=\"display: inline-block; line-height: 0; text-indent: 0px; text-align: left; text-transform: none; font-style: normal; font-weight: normal; font-size: 16.95px; font-size-adjust: none; letter-spacing: normal; overflow-wrap: normal; word-spacing: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; margin: 0px; padding: 1px 0px; position: relative;\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mi&gt;g&lt;\/mi&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-34\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-35\" class=\"mjx-mrow\"><span id=\"MJXc-Node-36\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">g<\/span><\/span><\/span><\/span><span class=\"MJX_Assistive_MathML\" role=\"presentation\">g<\/span><\/span><\/span>\u2014we write\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-11-Frame\" class=\"mjx-chtml MathJax_CHTML\" style=\"display: inline-block; line-height: 0; text-indent: 0px; text-align: left; text-transform: none; font-style: normal; font-weight: normal; font-size: 16.95px; font-size-adjust: none; letter-spacing: normal; overflow-wrap: normal; word-spacing: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; margin: 0px; padding: 1px 0px; position: relative;\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mi&gt;h&lt;\/mi&gt;&lt;mo&gt;=&lt;\/mo&gt;&lt;msup&gt;&lt;mi&gt;g&lt;\/mi&gt;&lt;mrow class=&quot;MJX-TeXAtom-ORD&quot;&gt;&lt;mo&gt;&amp;#x2212;&lt;\/mo&gt;&lt;mn&gt;1&lt;\/mn&gt;&lt;\/mrow&gt;&lt;\/msup&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-37\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-38\" class=\"mjx-mrow\"><span id=\"MJXc-Node-39\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">h<\/span><\/span><span id=\"MJXc-Node-40\" class=\"mjx-mo MJXc-space3\"><span class=\"mjx-char MJXc-TeX-main-R\">=<\/span><\/span><span id=\"MJXc-Node-41\" class=\"mjx-msubsup MJXc-space3\"><span class=\"mjx-base\"><span id=\"MJXc-Node-42\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">g<\/span><\/span><\/span><span class=\"mjx-sup\"><span id=\"MJXc-Node-43\" class=\"mjx-texatom\"><span id=\"MJXc-Node-44\" class=\"mjx-mrow\"><span id=\"MJXc-Node-45\" class=\"mjx-mo\"><span class=\"mjx-char MJXc-TeX-main-R\">\u2212<\/span><\/span><span id=\"MJXc-Node-46\" class=\"mjx-mn\"><span class=\"mjx-char MJXc-TeX-main-R\">1<\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><span class=\"MJX_Assistive_MathML\" role=\"presentation\">h=g\u22121<\/span><\/span><\/span>. It is readily checked that\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-12-Frame\" class=\"mjx-chtml MathJax_CHTML\" style=\"display: inline-block; line-height: 0; text-indent: 0px; text-align: left; text-transform: none; font-style: normal; font-weight: normal; font-size: 16.95px; font-size-adjust: none; letter-spacing: normal; overflow-wrap: normal; word-spacing: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; margin: 0px; padding: 1px 0px; position: relative;\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mi&gt;g&lt;\/mi&gt;&lt;mo&gt;&amp;#x2218;&lt;\/mo&gt;&lt;msup&gt;&lt;mi&gt;g&lt;\/mi&gt;&lt;mrow class=&quot;MJX-TeXAtom-ORD&quot;&gt;&lt;mo&gt;&amp;#x2212;&lt;\/mo&gt;&lt;mn&gt;1&lt;\/mn&gt;&lt;\/mrow&gt;&lt;\/msup&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-47\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-48\" class=\"mjx-mrow\"><span id=\"MJXc-Node-49\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">g<\/span><\/span><span id=\"MJXc-Node-50\" class=\"mjx-mo MJXc-space2\"><span class=\"mjx-char MJXc-TeX-main-R\">\u2218<\/span><\/span><span id=\"MJXc-Node-51\" class=\"mjx-msubsup MJXc-space2\"><span class=\"mjx-base\"><span id=\"MJXc-Node-52\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">g<\/span><\/span><\/span><span class=\"mjx-sup\"><span id=\"MJXc-Node-53\" class=\"mjx-texatom\"><span id=\"MJXc-Node-54\" class=\"mjx-mrow\"><span id=\"MJXc-Node-55\" class=\"mjx-mo\"><span class=\"mjx-char MJXc-TeX-main-R\">\u2212<\/span><\/span><span id=\"MJXc-Node-56\" class=\"mjx-mn\"><span class=\"mjx-char MJXc-TeX-main-R\">1<\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><span class=\"MJX_Assistive_MathML\" role=\"presentation\">g\u2218g\u22121<\/span><\/span><\/span>\u00a0is then the identity as well.<\/p>\n<div class=\"q-box\">\n<div class=\"q-box\"><img decoding=\"async\" class=\"q-image qu-cursor--default qu-display--block\" src=\"https:\/\/qph.cf2.quoracdn.net\/main-qimg-24263a93c9d43f71d13473f58cfcbfb0\" \/><\/div>\n<\/div>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">We are finally ready to introduce groups. A\u00a0group\u00a0is a collection of permutations with the properties that:<\/p>\n<ol class=\"q-box\">\n<li class=\"q-relative\">if\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-13-Frame\" class=\"mjx-chtml MathJax_CHTML\" style=\"display: inline-block; line-height: 0; text-indent: 0px; text-align: left; text-transform: none; font-style: normal; font-weight: normal; font-size: 16.95px; font-size-adjust: none; letter-spacing: normal; overflow-wrap: normal; word-spacing: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; margin: 0px; padding: 1px 0px; position: relative;\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mi&gt;g&lt;\/mi&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-57\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-58\" class=\"mjx-mrow\"><span id=\"MJXc-Node-59\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">g<\/span><\/span><\/span><\/span><span class=\"MJX_Assistive_MathML\" role=\"presentation\">g<\/span><\/span><\/span>,\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-14-Frame\" class=\"mjx-chtml MathJax_CHTML\" style=\"display: inline-block; line-height: 0; text-indent: 0px; text-align: left; text-transform: none; font-style: normal; font-weight: normal; font-size: 16.95px; font-size-adjust: none; letter-spacing: normal; overflow-wrap: normal; word-spacing: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; margin: 0px; padding: 1px 0px; position: relative;\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mi&gt;h&lt;\/mi&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-60\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-61\" class=\"mjx-mrow\"><span id=\"MJXc-Node-62\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">h<\/span><\/span><\/span><\/span><span class=\"MJX_Assistive_MathML\" role=\"presentation\">h<\/span><\/span><\/span>\u00a0are permutations in the group, then so is\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-15-Frame\" class=\"mjx-chtml MathJax_CHTML\" style=\"display: inline-block; line-height: 0; text-indent: 0px; text-align: left; text-transform: none; font-style: normal; font-weight: normal; font-size: 16.95px; font-size-adjust: none; letter-spacing: normal; overflow-wrap: normal; word-spacing: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; margin: 0px; padding: 1px 0px; position: relative;\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mi&gt;g&lt;\/mi&gt;&lt;mo&gt;&amp;#x2218;&lt;\/mo&gt;&lt;mi&gt;h&lt;\/mi&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-63\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-64\" class=\"mjx-mrow\"><span id=\"MJXc-Node-65\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">g<\/span><\/span><span id=\"MJXc-Node-66\" class=\"mjx-mo MJXc-space2\"><span class=\"mjx-char MJXc-TeX-main-R\">\u2218<\/span><\/span><span id=\"MJXc-Node-67\" class=\"mjx-mi MJXc-space2\"><span class=\"mjx-char MJXc-TeX-math-I\">h<\/span><\/span><\/span><\/span><span class=\"MJX_Assistive_MathML\" role=\"presentation\">g\u2218h<\/span><\/span><\/span>, and<\/li>\n<li class=\"q-relative\">if\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-16-Frame\" class=\"mjx-chtml MathJax_CHTML\" style=\"display: inline-block; line-height: 0; text-indent: 0px; text-align: left; text-transform: none; font-style: normal; font-weight: normal; font-size: 16.95px; font-size-adjust: none; letter-spacing: normal; overflow-wrap: normal; word-spacing: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; margin: 0px; padding: 1px 0px; position: relative;\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mi&gt;g&lt;\/mi&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-68\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-69\" class=\"mjx-mrow\"><span id=\"MJXc-Node-70\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">g<\/span><\/span><\/span><\/span><span class=\"MJX_Assistive_MathML\" role=\"presentation\">g<\/span><\/span><\/span>\u00a0is a permutation in the group, then so is\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-17-Frame\" class=\"mjx-chtml MathJax_CHTML\" style=\"display: inline-block; line-height: 0; text-indent: 0px; text-align: left; text-transform: none; font-style: normal; font-weight: normal; font-size: 16.95px; font-size-adjust: none; letter-spacing: normal; overflow-wrap: normal; word-spacing: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; margin: 0px; padding: 1px 0px; position: relative;\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;msup&gt;&lt;mi&gt;g&lt;\/mi&gt;&lt;mrow class=&quot;MJX-TeXAtom-ORD&quot;&gt;&lt;mo&gt;&amp;#x2212;&lt;\/mo&gt;&lt;mn&gt;1&lt;\/mn&gt;&lt;\/mrow&gt;&lt;\/msup&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-71\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-72\" class=\"mjx-mrow\"><span id=\"MJXc-Node-73\" class=\"mjx-msubsup\"><span class=\"mjx-base\"><span id=\"MJXc-Node-74\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">g<\/span><\/span><\/span><span class=\"mjx-sup\"><span id=\"MJXc-Node-75\" class=\"mjx-texatom\"><span id=\"MJXc-Node-76\" class=\"mjx-mrow\"><span id=\"MJXc-Node-77\" class=\"mjx-mo\"><span class=\"mjx-char MJXc-TeX-main-R\">\u2212<\/span><\/span><span id=\"MJXc-Node-78\" class=\"mjx-mn\"><span class=\"mjx-char MJXc-TeX-main-R\">1<\/span><\/span><\/span><\/span><\/span><\/span><\/span><\/span><span class=\"MJX_Assistive_MathML\" role=\"presentation\">g\u22121<\/span><\/span><\/span>.<\/li>\n<\/ol>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">That is, a group is closed under composition and inverses. You can check that the example we gave previously\u2014i.e.<\/p>\n<div class=\"q-box\">\n<div class=\"q-box\"><img decoding=\"async\" class=\"q-image qu-cursor--default qu-display--block\" src=\"https:\/\/qph.cf2.quoracdn.net\/main-qimg-93174c9fa850c24adc1bbd9306613112\" \/><\/div>\n<\/div>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">is a group.<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">I should note that this is not the modern definition of a group, although it does turn out to be equivalent to it, in the sense that any group (in the modern sense) can be realized as a group of permutations.<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">Let me give some additional examples of groups, aside from the one above:<\/p>\n<ol class=\"q-box\">\n<li class=\"q-relative\">The integers\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-18-Frame\" class=\"mjx-chtml MathJax_CHTML\" style=\"display: inline-block; line-height: 0; text-indent: 0px; text-align: left; text-transform: none; font-style: normal; font-weight: normal; font-size: 16.95px; font-size-adjust: none; letter-spacing: normal; overflow-wrap: normal; word-spacing: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; margin: 0px; padding: 1px 0px; position: relative;\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mo&gt;&amp;#x2026;&lt;\/mo&gt;&lt;mo&gt;&amp;#x2212;&lt;\/mo&gt;&lt;mn&gt;3&lt;\/mn&gt;&lt;mo&gt;,&lt;\/mo&gt;&lt;mo&gt;&amp;#x2212;&lt;\/mo&gt;&lt;mn&gt;2&lt;\/mn&gt;&lt;mo&gt;,&lt;\/mo&gt;&lt;mo&gt;&amp;#x2212;&lt;\/mo&gt;&lt;mn&gt;1&lt;\/mn&gt;&lt;mo&gt;,&lt;\/mo&gt;&lt;mn&gt;0&lt;\/mn&gt;&lt;mo&gt;,&lt;\/mo&gt;&lt;mn&gt;1&lt;\/mn&gt;&lt;mo&gt;,&lt;\/mo&gt;&lt;mn&gt;2&lt;\/mn&gt;&lt;mo&gt;,&lt;\/mo&gt;&lt;mn&gt;3&lt;\/mn&gt;&lt;mo&gt;,&lt;\/mo&gt;&lt;mo&gt;&amp;#x2026;&lt;\/mo&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-79\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-80\" class=\"mjx-mrow\"><span id=\"MJXc-Node-81\" class=\"mjx-mo\"><span class=\"mjx-char MJXc-TeX-main-R\">\u2026<\/span><\/span><span id=\"MJXc-Node-82\" class=\"mjx-mo MJXc-space2\"><span class=\"mjx-char MJXc-TeX-main-R\">\u2212<\/span><\/span><span id=\"MJXc-Node-83\" class=\"mjx-mn MJXc-space2\"><span class=\"mjx-char MJXc-TeX-main-R\">3<\/span><\/span><span id=\"MJXc-Node-84\" class=\"mjx-mo\"><span class=\"mjx-char MJXc-TeX-main-R\">,<\/span><\/span><span id=\"MJXc-Node-85\" class=\"mjx-mo MJXc-space1\"><span class=\"mjx-char MJXc-TeX-main-R\">\u2212<\/span><\/span><span id=\"MJXc-Node-86\" class=\"mjx-mn\"><span class=\"mjx-char MJXc-TeX-main-R\">2<\/span><\/span><span id=\"MJXc-Node-87\" class=\"mjx-mo\"><span class=\"mjx-char MJXc-TeX-main-R\">,<\/span><\/span><span id=\"MJXc-Node-88\" class=\"mjx-mo MJXc-space1\"><span class=\"mjx-char MJXc-TeX-main-R\">\u2212<\/span><\/span><span id=\"MJXc-Node-89\" class=\"mjx-mn\"><span class=\"mjx-char MJXc-TeX-main-R\">1<\/span><\/span><span id=\"MJXc-Node-90\" class=\"mjx-mo\"><span class=\"mjx-char MJXc-TeX-main-R\">,<\/span><\/span><span id=\"MJXc-Node-91\" class=\"mjx-mn MJXc-space1\"><span class=\"mjx-char MJXc-TeX-main-R\">0<\/span><\/span><span id=\"MJXc-Node-92\" class=\"mjx-mo\"><span class=\"mjx-char MJXc-TeX-main-R\">,<\/span><\/span><span id=\"MJXc-Node-93\" class=\"mjx-mn MJXc-space1\"><span class=\"mjx-char MJXc-TeX-main-R\">1<\/span><\/span><span id=\"MJXc-Node-94\" class=\"mjx-mo\"><span class=\"mjx-char MJXc-TeX-main-R\">,<\/span><\/span><span id=\"MJXc-Node-95\" class=\"mjx-mn MJXc-space1\"><span class=\"mjx-char MJXc-TeX-main-R\">2<\/span><\/span><span id=\"MJXc-Node-96\" class=\"mjx-mo\"><span class=\"mjx-char MJXc-TeX-main-R\">,<\/span><\/span><span id=\"MJXc-Node-97\" class=\"mjx-mn MJXc-space1\"><span class=\"mjx-char MJXc-TeX-main-R\">3<\/span><\/span><span id=\"MJXc-Node-98\" class=\"mjx-mo\"><span class=\"mjx-char MJXc-TeX-main-R\">,<\/span><\/span><span id=\"MJXc-Node-99\" class=\"mjx-mo MJXc-space1\"><span class=\"mjx-char MJXc-TeX-main-R\">\u2026<\/span><\/span><\/span><\/span><span class=\"MJX_Assistive_MathML\" role=\"presentation\">\u2026\u22123,\u22122,\u22121,0,1,2,3,\u2026<\/span><\/span><\/span>\u00a0are a group, if we think of any integer as being shift left\/right\u2014e.g. we think of\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-19-Frame\" class=\"mjx-chtml MathJax_CHTML\" style=\"display: inline-block; line-height: 0; text-indent: 0px; text-align: left; text-transform: none; font-style: normal; font-weight: normal; font-size: 16.95px; font-size-adjust: none; letter-spacing: normal; overflow-wrap: normal; word-spacing: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; margin: 0px; padding: 1px 0px; position: relative;\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mn&gt;3&lt;\/mn&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-100\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-101\" class=\"mjx-mrow\"><span id=\"MJXc-Node-102\" class=\"mjx-mn\"><span class=\"mjx-char MJXc-TeX-main-R\">3<\/span><\/span><\/span><\/span><span class=\"MJX_Assistive_MathML\" role=\"presentation\">3<\/span><\/span><\/span>\u00a0as a shift of the number line three units to the right, and\u00a0<span class=\"QTextMath__QTextMathWrapper-sc-13yf4r2-0 cGfyP qtext_span qtext_math\"><span id=\"MathJax-Element-20-Frame\" class=\"mjx-chtml MathJax_CHTML\" style=\"display: inline-block; line-height: 0; text-indent: 0px; text-align: left; text-transform: none; font-style: normal; font-weight: normal; font-size: 16.95px; font-size-adjust: none; letter-spacing: normal; overflow-wrap: normal; word-spacing: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; margin: 0px; padding: 1px 0px; position: relative;\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mo&gt;&amp;#x2212;&lt;\/mo&gt;&lt;mn&gt;3&lt;\/mn&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-103\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-104\" class=\"mjx-mrow\"><span id=\"MJXc-Node-105\" class=\"mjx-mo\"><span class=\"mjx-char MJXc-TeX-main-R\">\u2212<\/span><\/span><span id=\"MJXc-Node-106\" class=\"mjx-mn\"><span class=\"mjx-char MJXc-TeX-main-R\">3<\/span><\/span><\/span><\/span><span class=\"MJX_Assistive_MathML\" role=\"presentation\">\u22123<\/span><\/span><\/span>\u00a0as a shift of the number line three units to the left.<\/li>\n<li class=\"q-relative\">Rotations of the plane around the origin form a group.<\/li>\n<li class=\"q-relative\">Rotations of 3D space around the origin form a group.<\/li>\n<li class=\"q-relative\">The real numbers are a group, if we think of any real number as being a shift left\/right of the number line.<\/li>\n<li class=\"q-relative\">Lorentz transformations of space-time form a group\n<div id=\"cite-hkAVC\" class=\"q-box QTextCitations___StyledBox-sc-9vzzum-0 kwbZz\"><a class=\"q-text qu-dynamicFontSize--tiny qu-verticalAlign--super\" href=\"https:\/\/www.quora.com\/In-layman-s-terms-what-did-Evariste-Galois-give-to-humanity-and-how-has-it-helped-us\/answer\/Senia-Sheydvasser#hkAVC\">[6]<\/a><\/div>\n<p>.<\/li>\n<li class=\"q-relative\">The symmetries of a molecule form a group\n<div id=\"cite-fNtiI\" class=\"q-box QTextCitations___StyledBox-sc-9vzzum-0 kwbZz\"><a class=\"q-text qu-dynamicFontSize--tiny qu-verticalAlign--super\" href=\"https:\/\/www.quora.com\/In-layman-s-terms-what-did-Evariste-Galois-give-to-humanity-and-how-has-it-helped-us\/answer\/Senia-Sheydvasser#fNtiI\">[7]<\/a><\/div>\n<p>.<\/li>\n<\/ol>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">These examples should hopefully convince you that groups are\u00a0everywhere, in mathematics, physics, chemistry, and beyond. Which is, perhaps, not very surprising: one way that you can think of a group is that it is a collection with an operation on it satisfying some very simple, very natural constraints. As I said in the introduction, they are just about the most fundamental algebraic structures there are.<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">What of fields?<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">A field is also a very fundamental algebraic structure, but unlike a group where you just have\u00a0one\u00a0operation, for a field you have two, usually called\u00a0addition\u00a0and\u00a0multiplication. These have the properties that you expect\u2014they have to be associative, commutative, etc., and multiplication must distribute over addition. You can find formal definitions easily<\/p>\n<div id=\"cite-twlLe\" class=\"q-box QTextCitations___StyledBox-sc-9vzzum-0 kwbZz\"><a class=\"q-text qu-dynamicFontSize--tiny qu-verticalAlign--super\" href=\"https:\/\/www.quora.com\/In-layman-s-terms-what-did-Evariste-Galois-give-to-humanity-and-how-has-it-helped-us\/answer\/Senia-Sheydvasser#twlLe\">[8]<\/a><\/div>\n<div id=\"cite-QyEBf\" class=\"q-box QTextCitations___StyledBox-sc-9vzzum-0 kwbZz\"><a class=\"q-text qu-dynamicFontSize--tiny qu-verticalAlign--super\" href=\"https:\/\/www.quora.com\/In-layman-s-terms-what-did-Evariste-Galois-give-to-humanity-and-how-has-it-helped-us\/answer\/Senia-Sheydvasser#QyEBf\">[9]<\/a><\/div>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">, but it is good to see some examples: the rational numbers, the real numbers, and the complex numbers are all different fields. (Whole numbers are not\u2014you have to be able to perform division in any field.) There are infinitely many different fields of many kinds of varieties, although this was not yet known to mathematicians in the 19th century. Arguably, one of Galois\u2019 important contributions was introducing finite fields (as opposed to the infinite ones listed here)\u2014this is arguable not because this contribution was not important (finite fields are very important in computer science today and they are often called Galois fields in his memory), but because Galois lacked the formal definition of a field, it is a little difficult to definitively say whether or not he properly described finite fields or not.<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">One way to think about fields is that they are the sort of algebraic structure that you want to work with if you want to define polynomials of some kind, or study polynomial equations\u2014this was certainly how Galois found himself studying them. But they have importance far outside of that\u2014in the modern era, the concept of a field is central to linear algebra, which underpins an unfathomable amount of numerical methods and algorithms.<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">In any case, we are now ready to very loosely give the central idea of Galois theory. Suppose that you have two fields, one containing the other (such as the real numbers containing the rational numbers, or the complex numbers containing the real numbers). It turns out that to any such pair, there is a group that you can associate with it (called the\u00a0automorphism group) and if two very natural and very common conditions are met, then we call this the\u00a0Galois group, and it has many wonderful properties. To start, there is a direct correspondence between groups contained inside this Galois group and fields contained in the larger field and containing the smaller one. Various algebraic properties of the fields can be rephrased as algebraic properties of the groups.<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">And this is useful! For one thing, while the fields are usually infinite, the Galois groups are often finite. Thus, intractable problems about fields can sometimes get turned into straightforward computational problems about groups. This is, for example, how Galois proved that there exist polynomials with rational coefficients such that their roots cannot be written down in terms of radicals<\/p>\n<div id=\"cite-DIOXO\" class=\"q-box QTextCitations___StyledBox-sc-9vzzum-0 kwbZz\"><a class=\"q-text qu-dynamicFontSize--tiny qu-verticalAlign--super\" href=\"https:\/\/www.quora.com\/In-layman-s-terms-what-did-Evariste-Galois-give-to-humanity-and-how-has-it-helped-us\/answer\/Senia-Sheydvasser#DIOXO\">[10]<\/a><\/div>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">. You can also use it to prove that various geometric constructions are impossible to do via straightedge and compass (such as angle trisection<\/p>\n<div id=\"cite-iLmwB\" class=\"q-box QTextCitations___StyledBox-sc-9vzzum-0 kwbZz\"><a class=\"q-text qu-dynamicFontSize--tiny qu-verticalAlign--super\" href=\"https:\/\/www.quora.com\/In-layman-s-terms-what-did-Evariste-Galois-give-to-humanity-and-how-has-it-helped-us\/answer\/Senia-Sheydvasser#iLmwB\">[11]<\/a><\/div>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">), to quickly show that various seemingly complicated expressions are\/are not rational<\/p>\n<div id=\"cite-zzQMg\" class=\"q-box QTextCitations___StyledBox-sc-9vzzum-0 kwbZz\"><a class=\"q-text qu-dynamicFontSize--tiny qu-verticalAlign--super\" href=\"https:\/\/www.quora.com\/In-layman-s-terms-what-did-Evariste-Galois-give-to-humanity-and-how-has-it-helped-us\/answer\/Senia-Sheydvasser#zzQMg\">[12]<\/a><\/div>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">, etc.<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">But, again, as Galois himself said, all of these are just\u00a0applications\u00a0of his work. They are not the main idea (which Galois was never quite able to properly formulate, but which we understand very well now) that there are fundamental algebraic structures with deep connections between them, and it is important for us to study them for their own sake. This central lesson went squarely over the heads of his contemporaries, and it wasn\u2019t until decades after his death that Galois\u2019 work was properly understood in that context. There was a philosophical revolution that had to happen to make that possible.<\/p>\n<p class=\"q-text qu-display--block qu-wordBreak--break-word qu-textAlign--start\">And\u00a0that\u00a0I think is more the point of Galois\u2019 importance: he was among the first algebraists in the modern sense of the word and he showed where mathematics had to go\u2014imperfectly, impatiently, but still brilliantly.<\/p>\n<p class=\"q-text qu-bold qu-pb--small\">Footnotes<\/p>\n<div class=\"q-text qu-mb--small qu-wordBreak--break-word\"><a class=\"q-box qu-cursor--pointer qu-hover--textDecoration--underline b2c1r2a puppeteer_test_link\" href=\"https:\/\/www.quora.com\/In-layman-s-terms-what-did-Evariste-Galois-give-to-humanity-and-how-has-it-helped-us\/answer\/Senia-Sheydvasser#cite-viZJw\" target=\"_top\" rel=\"noopener\">[1]\u00a0<\/a><\/p>\n<div id=\"viZJw\" class=\"q-box b17yuhj0\"><\/div>\n<p><a class=\"q-box qu-cursor--pointer qu-hover--textDecoration--underline b2c1r2a puppeteer_test_link\" href=\"https:\/\/qr.ae\/pruKDB\" target=\"_blank\" rel=\"noopener\">Senia Sheydvasser&#8217;s answer to How does Galois theory relate to the solvability of polynomial equations?<\/a><\/div>\n<div class=\"q-text qu-mb--small qu-wordBreak--break-word\"><a class=\"q-box qu-cursor--pointer qu-hover--textDecoration--underline b2c1r2a puppeteer_test_link\" href=\"https:\/\/www.quora.com\/In-layman-s-terms-what-did-Evariste-Galois-give-to-humanity-and-how-has-it-helped-us\/answer\/Senia-Sheydvasser#cite-WXoec\" target=\"_top\" rel=\"noopener\">[2]\u00a0<\/a><\/p>\n<div id=\"WXoec\" class=\"q-box b17yuhj0\"><\/div>\n<p><a class=\"q-box qu-cursor--pointer qu-hover--textDecoration--underline b2c1r2a puppeteer_test_link\" href=\"https:\/\/qr.ae\/pydDNs\" target=\"_blank\" rel=\"noopener\">Senia Sheydvasser&#8217;s answer to Why was the invention of hyperbolic geometry such a drastic mathematical advancement?<\/a><\/div>\n<div class=\"q-text qu-mb--small qu-wordBreak--break-word\"><a class=\"q-box qu-cursor--pointer qu-hover--textDecoration--underline b2c1r2a puppeteer_test_link\" href=\"https:\/\/www.quora.com\/In-layman-s-terms-what-did-Evariste-Galois-give-to-humanity-and-how-has-it-helped-us\/answer\/Senia-Sheydvasser#cite-wIZIv\" target=\"_top\" rel=\"noopener\">[3]\u00a0<\/a><\/p>\n<div id=\"wIZIv\" class=\"q-box b17yuhj0\"><\/div>\n<p><a class=\"q-box qu-cursor--pointer qu-hover--textDecoration--underline b2c1r2a puppeteer_test_link\" href=\"https:\/\/qr.ae\/pGlFf7\" target=\"_blank\" rel=\"noopener\">Senia Sheydvasser&#8217;s answer to What is the point of hyperbolic geometry? How does it apply to real life? Elliptic is for distance and Euclidean is for areas and volumes of objects.<\/a><\/div>\n<div class=\"q-text qu-mb--small qu-wordBreak--break-word\"><a class=\"q-box qu-cursor--pointer qu-hover--textDecoration--underline b2c1r2a puppeteer_test_link\" href=\"https:\/\/www.quora.com\/In-layman-s-terms-what-did-Evariste-Galois-give-to-humanity-and-how-has-it-helped-us\/answer\/Senia-Sheydvasser#cite-KQuUx\" target=\"_top\" rel=\"noopener\">[4]\u00a0<\/a><\/p>\n<div id=\"KQuUx\" class=\"q-box b17yuhj0\"><\/div>\n<p><a class=\"q-box qu-cursor--pointer qu-hover--textDecoration--underline b2c1r2a puppeteer_test_link\" href=\"https:\/\/qr.ae\/pGVGro\" target=\"_blank\" rel=\"noopener\">Senia Sheydvasser&#8217;s answer to What are fields, rings, and groups?<\/a><\/div>\n<div class=\"q-text qu-mb--small qu-wordBreak--break-word\"><a class=\"q-box qu-cursor--pointer qu-hover--textDecoration--underline b2c1r2a puppeteer_test_link\" href=\"https:\/\/www.quora.com\/In-layman-s-terms-what-did-Evariste-Galois-give-to-humanity-and-how-has-it-helped-us\/answer\/Senia-Sheydvasser#cite-SpouA\" target=\"_top\" rel=\"noopener\">[5]\u00a0<\/a><\/p>\n<div id=\"SpouA\" class=\"q-box b17yuhj0\"><\/div>\n<p><a class=\"q-box qu-cursor--pointer qu-hover--textDecoration--underline b2c1r2a puppeteer_test_link\" href=\"https:\/\/qr.ae\/pKnLJn\" target=\"_blank\" rel=\"noopener\">Senia Sheydvasser&#8217;s answer to What are some problems solved by group theory?<\/a><\/div>\n<div class=\"q-text qu-mb--small qu-wordBreak--break-word\"><a class=\"q-box qu-cursor--pointer qu-hover--textDecoration--underline b2c1r2a puppeteer_test_link\" href=\"https:\/\/www.quora.com\/In-layman-s-terms-what-did-Evariste-Galois-give-to-humanity-and-how-has-it-helped-us\/answer\/Senia-Sheydvasser#cite-hkAVC\" target=\"_top\" rel=\"noopener\">[6]\u00a0<\/a><\/p>\n<div id=\"hkAVC\" class=\"q-box b17yuhj0\"><\/div>\n<p><a class=\"q-box qu-cursor--pointer qu-hover--textDecoration--underline b2c1r2a puppeteer_test_link\" href=\"https:\/\/en.wikipedia.org\/wiki\/Lorentz_group\" target=\"_blank\" rel=\"noopener nofollow\">Lorentz group &#8211; Wikipedia<\/a><\/div>\n<div class=\"q-text qu-mb--small qu-wordBreak--break-word\"><a class=\"q-box qu-cursor--pointer qu-hover--textDecoration--underline b2c1r2a puppeteer_test_link\" href=\"https:\/\/www.quora.com\/In-layman-s-terms-what-did-Evariste-Galois-give-to-humanity-and-how-has-it-helped-us\/answer\/Senia-Sheydvasser#cite-fNtiI\" target=\"_top\" rel=\"noopener\">[7]\u00a0<\/a><\/p>\n<div id=\"fNtiI\" class=\"q-box b17yuhj0\"><\/div>\n<p><a class=\"q-box qu-cursor--pointer qu-hover--textDecoration--underline b2c1r2a puppeteer_test_link\" href=\"https:\/\/en.wikipedia.org\/wiki\/Molecular_symmetry\" target=\"_blank\" rel=\"noopener nofollow\">Molecular symmetry &#8211; Wikipedia<\/a><\/div>\n<div class=\"q-text qu-mb--small qu-wordBreak--break-word\"><a class=\"q-box qu-cursor--pointer qu-hover--textDecoration--underline b2c1r2a puppeteer_test_link\" href=\"https:\/\/www.quora.com\/In-layman-s-terms-what-did-Evariste-Galois-give-to-humanity-and-how-has-it-helped-us\/answer\/Senia-Sheydvasser#cite-twlLe\" target=\"_top\" rel=\"noopener\">[8]\u00a0<\/a><\/p>\n<div id=\"twlLe\" class=\"q-box b17yuhj0\"><\/div>\n<p><a class=\"q-box qu-cursor--pointer qu-hover--textDecoration--underline b2c1r2a puppeteer_test_link\" href=\"https:\/\/mathworld.wolfram.com\/Field.html\" target=\"_blank\" rel=\"noopener nofollow\">Field &#8212; from Wolfram MathWorld<\/a><\/div>\n<div class=\"q-text qu-mb--small qu-wordBreak--break-word\"><a class=\"q-box qu-cursor--pointer qu-hover--textDecoration--underline b2c1r2a puppeteer_test_link\" href=\"https:\/\/www.quora.com\/In-layman-s-terms-what-did-Evariste-Galois-give-to-humanity-and-how-has-it-helped-us\/answer\/Senia-Sheydvasser#cite-QyEBf\" target=\"_top\" rel=\"noopener\">[9]\u00a0<\/a><\/p>\n<div id=\"QyEBf\" class=\"q-box b17yuhj0\"><\/div>\n<p><a class=\"q-box qu-cursor--pointer qu-hover--textDecoration--underline b2c1r2a puppeteer_test_link\" href=\"https:\/\/en.wikipedia.org\/wiki\/Field_(mathematics)\" target=\"_blank\" rel=\"noopener nofollow\">Field (mathematics) &#8211; Wikipedia<\/a><\/div>\n<div class=\"q-text qu-mb--small qu-wordBreak--break-word\"><a class=\"q-box qu-cursor--pointer qu-hover--textDecoration--underline b2c1r2a puppeteer_test_link\" href=\"https:\/\/www.quora.com\/In-layman-s-terms-what-did-Evariste-Galois-give-to-humanity-and-how-has-it-helped-us\/answer\/Senia-Sheydvasser#cite-DIOXO\" target=\"_top\" rel=\"noopener\">[10]\u00a0<\/a><\/p>\n<div id=\"DIOXO\" class=\"q-box b17yuhj0\"><\/div>\n<p><a class=\"q-box qu-cursor--pointer qu-hover--textDecoration--underline b2c1r2a puppeteer_test_link\" href=\"https:\/\/qr.ae\/pruKDB\" target=\"_blank\" rel=\"noopener\">Senia Sheydvasser&#8217;s answer to How does Galois theory relate to the solvability of polynomial equations?<\/a><\/div>\n<div class=\"q-text qu-mb--small qu-wordBreak--break-word\"><a class=\"q-box qu-cursor--pointer qu-hover--textDecoration--underline b2c1r2a puppeteer_test_link\" href=\"https:\/\/www.quora.com\/In-layman-s-terms-what-did-Evariste-Galois-give-to-humanity-and-how-has-it-helped-us\/answer\/Senia-Sheydvasser#cite-iLmwB\" target=\"_top\" rel=\"noopener\">[11]\u00a0<\/a><\/p>\n<div id=\"iLmwB\" class=\"q-box b17yuhj0\"><\/div>\n<p><a class=\"q-box qu-cursor--pointer qu-hover--textDecoration--underline b2c1r2a puppeteer_test_link\" href=\"https:\/\/en.wikipedia.org\/wiki\/Angle_trisection\" target=\"_blank\" rel=\"noopener nofollow\">Angle trisection &#8211; Wikipedia<\/a><\/div>\n<div class=\"q-text qu-mb--small qu-wordBreak--break-word\"><a class=\"q-box qu-cursor--pointer qu-hover--textDecoration--underline b2c1r2a puppeteer_test_link\" href=\"https:\/\/www.quora.com\/In-layman-s-terms-what-did-Evariste-Galois-give-to-humanity-and-how-has-it-helped-us\/answer\/Senia-Sheydvasser#cite-zzQMg\" target=\"_top\" rel=\"noopener\">[12]\u00a0<\/a><\/p>\n<div id=\"zzQMg\" class=\"q-box b17yuhj0\"><\/div>\n<p><a class=\"q-box qu-cursor--pointer qu-hover--textDecoration--underline b2c1r2a puppeteer_test_link\" href=\"https:\/\/qr.ae\/pKr9nP\" target=\"_blank\" rel=\"noopener\">Senia Sheydvasser&#8217;s answer to How can I find all positive integers\u00a0<span id=\"MathJax-Element-21-Frame\" class=\"mjx-chtml MathJax_CHTML\" style=\"display: inline-block; line-height: 0; text-indent: 0px; text-align: left; text-transform: none; font-style: normal; font-weight: normal; font-size: 16.95px; font-size-adjust: none; letter-spacing: normal; overflow-wrap: normal; word-spacing: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; margin: 0px; padding: 1px 0px; position: relative;\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;mi&gt;a&lt;\/mi&gt;&lt;mo&gt;,&lt;\/mo&gt;&lt;mi&gt;b&lt;\/mi&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-107\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-108\" class=\"mjx-mrow\"><span id=\"MJXc-Node-109\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">a<\/span><\/span><span id=\"MJXc-Node-110\" class=\"mjx-mo\"><span class=\"mjx-char MJXc-TeX-main-R\">,<\/span><\/span><span id=\"MJXc-Node-111\" class=\"mjx-mi MJXc-space1\"><span class=\"mjx-char MJXc-TeX-math-I\">b<\/span><\/span><\/span><\/span><span class=\"MJX_Assistive_MathML\" role=\"presentation\">a,b<\/span><\/span>\u00a0such that\u00a0<span id=\"MathJax-Element-22-Frame\" class=\"mjx-chtml MathJax_CHTML\" style=\"display: inline-block; line-height: 0; text-indent: 0px; text-align: left; text-transform: none; font-style: normal; font-weight: normal; font-size: 16.95px; font-size-adjust: none; letter-spacing: normal; overflow-wrap: normal; word-spacing: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; margin: 0px; padding: 1px 0px; position: relative;\" tabindex=\"0\" role=\"presentation\" data-mathml=\"&lt;math xmlns=&quot;http:\/\/www.w3.org\/1998\/Math\/MathML&quot;&gt;&lt;msqrt&gt;&lt;mi&gt;a&lt;\/mi&gt;&lt;\/msqrt&gt;&lt;mo&gt;+&lt;\/mo&gt;&lt;msqrt&gt;&lt;mi&gt;b&lt;\/mi&gt;&lt;\/msqrt&gt;&lt;mo&gt;=&lt;\/mo&gt;&lt;msqrt&gt;&lt;mn&gt;2009&lt;\/mn&gt;&lt;\/msqrt&gt;&lt;\/math&gt;\"><span id=\"MJXc-Node-112\" class=\"mjx-math\" aria-hidden=\"true\"><span id=\"MJXc-Node-113\" class=\"mjx-mrow\"><span id=\"MJXc-Node-114\" class=\"mjx-msqrt\"><span class=\"mjx-box\"><span class=\"mjx-surd\"><span class=\"mjx-char MJXc-TeX-main-R\">\u221a<\/span><\/span><span id=\"MJXc-Node-115\" class=\"mjx-mrow\"><span id=\"MJXc-Node-116\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">a<\/span><\/span><\/span><\/span><\/span><span id=\"MJXc-Node-117\" class=\"mjx-mo MJXc-space2\"><span class=\"mjx-char MJXc-TeX-main-R\">+<\/span><\/span><span id=\"MJXc-Node-118\" class=\"mjx-msqrt MJXc-space2\"><span class=\"mjx-box\"><span class=\"mjx-surd\"><span class=\"mjx-char MJXc-TeX-main-R\">\u221a<\/span><\/span><span id=\"MJXc-Node-119\" class=\"mjx-mrow\"><span id=\"MJXc-Node-120\" class=\"mjx-mi\"><span class=\"mjx-char MJXc-TeX-math-I\">b<\/span><\/span><\/span><\/span><\/span><span id=\"MJXc-Node-121\" class=\"mjx-mo MJXc-space3\"><span class=\"mjx-char MJXc-TeX-main-R\">=<\/span><\/span><span id=\"MJXc-Node-122\" class=\"mjx-msqrt MJXc-space3\"><span class=\"mjx-box\"><span class=\"mjx-surd\"><span class=\"mjx-char MJXc-TeX-main-R\">\u221a<\/span><\/span><span id=\"MJXc-Node-123\" class=\"mjx-mrow\"><span id=\"MJXc-Node-124\" class=\"mjx-mn\"><span class=\"mjx-char MJXc-TeX-main-R\">2009<\/span><\/span><\/span><\/span><\/span><\/span><\/span><span class=\"MJX_Assistive_MathML\" role=\"presentation\">a+b=2009<\/span><\/span>?<\/a><\/div>\n<\/blockquote>\n<p>Source: <em><a href=\"https:\/\/www.quora.com\/In-layman-s-terms-what-did-Evariste-Galois-give-to-humanity-and-how-has-it-helped-us\/answer\/Senia-Sheydvasser\">(2) Senia Sheydvasser&#8217;s answer to In layman\u2019s terms, what did Evariste Galois give to humanity and how has it helped us? &#8211; Quora<\/a><\/em><\/p>\n","protected":false},"excerpt":{"rendered":"<p>I think this is worth saving: This is a question where historical context helps a lot, I think. Certainly, one can write about the specific results that Galois proved without any reference to the context in which they appeared, and they are beautiful. I really love Galois theory [1] . But I fear that if&hellip;<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-275","post","type-post","status-publish","format-standard","hentry","category-uncategorized"],"_links":{"self":[{"href":"https:\/\/qpr.ca\/blogs\/mathstuff\/wp-json\/wp\/v2\/posts\/275","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/qpr.ca\/blogs\/mathstuff\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/qpr.ca\/blogs\/mathstuff\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/qpr.ca\/blogs\/mathstuff\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/qpr.ca\/blogs\/mathstuff\/wp-json\/wp\/v2\/comments?post=275"}],"version-history":[{"count":1,"href":"https:\/\/qpr.ca\/blogs\/mathstuff\/wp-json\/wp\/v2\/posts\/275\/revisions"}],"predecessor-version":[{"id":277,"href":"https:\/\/qpr.ca\/blogs\/mathstuff\/wp-json\/wp\/v2\/posts\/275\/revisions\/277"}],"wp:attachment":[{"href":"https:\/\/qpr.ca\/blogs\/mathstuff\/wp-json\/wp\/v2\/media?parent=275"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/qpr.ca\/blogs\/mathstuff\/wp-json\/wp\/v2\/categories?post=275"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/qpr.ca\/blogs\/mathstuff\/wp-json\/wp\/v2\/tags?post=275"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}