{"id":39480,"date":"2025-05-15T13:45:00","date_gmt":"2025-05-15T13:45:00","guid":{"rendered":"https:\/\/www.lifeandnews.com\/articles\/?p=39480"},"modified":"2025-05-16T06:50:39","modified_gmt":"2025-05-16T06:50:39","slug":"algebra-is-more-than-alphabet-soup-its-the-language-of-algorithms-and-relationships","status":"publish","type":"post","link":"https:\/\/www.lifeandnews.com\/articles\/algebra-is-more-than-alphabet-soup-its-the-language-of-algorithms-and-relationships\/","title":{"rendered":"Algebra is more than alphabet soup \u2013 it\u2019s the language of algorithms and&nbsp;relationships"},"content":{"rendered":"\n<figure class=\"wp-block-image\"><img src=\"https:\/\/images.theconversation.com\/files\/613976\/original\/file-20240816-17-tsm19b.jpg?ixlib=rb-4.1.0&amp;rect=12%2C0%2C8634%2C5769&amp;q=45&amp;auto=format&amp;w=754&amp;fit=clip\" alt=\"\" \/><figcaption>Algebra often involves manipulating numbers or other objects using operations like addition and multiplication. <a href=\"https:\/\/www.gettyimages.com\/detail\/photo\/math-symbols-of-addition-subtraction-multiplication-royalty-free-image\/2075934047\">Flavio Coelho\/Moment via Getty Images<\/a><\/figcaption><\/figure>\n\n\n\n<p><a href=\"https:\/\/theconversation.com\/profiles\/courtney-gibbons-1547610\">Courtney Gibbons<\/a>, <em><a href=\"https:\/\/theconversation.com\/institutions\/hamilton-college-2966\">Hamilton College<\/a><\/em><\/p>\n\n\n\n<p>You scrambled up a <a href=\"https:\/\/www.youtube.com\/watch?v=FW2Hvs5WaRY&amp;ab_channel=TED-Ed\">Rubik\u2019s cube<\/a>, and now you want to put it back in order. What sequence of moves should you make?<\/p>\n\n\n\n<p>Surprise: You can answer this question with <a href=\"https:\/\/www.britannica.com\/science\/modern-algebra\">modern algebra<\/a>.<\/p>\n\n\n\n<p>Most folks who have been through high school mathematics courses will have taken a class called algebra \u2013 maybe even a sequence of classes called algebra I and algebra II that asked you to <a href=\"https:\/\/theconversation.com\/x-marks-the-unknown-in-algebra-but-xs-origins-are-a-math-mystery-210440\">solve for <em>x<\/em><\/a>. The word \u201calgebra\u201d may evoke memories of complicated-looking polynomial equations like <em>ax\u00b2<\/em> + <em>bx<\/em> + <em>c<\/em> = 0 or plots of polynomial functions like <em>y<\/em> = <em>ax\u00b2<\/em> + <em>bx<\/em> + <em>c<\/em>.<\/p>\n\n\n\n<p>You might remember learning about the quadratic formula to figure out the solutions to these equations and find where the plot crosses the <em>x<\/em>-axis, too.<\/p>\n\n\n\n<figure class=\"wp-block-image\"><img src=\"https:\/\/images.theconversation.com\/files\/668020\/original\/file-20250514-62-ogszr5.png?ixlib=rb-4.1.0&amp;q=45&amp;auto=format&amp;w=754&amp;fit=clip\" alt=\"\" \/><figcaption>Graph of a quadratic equation and its roots via the quadratic formula. <a href=\"https:\/\/upload.wikimedia.org\/wikipedia\/commons\/6\/63\/Roots_of_a_quadratic_function_via_the_quadratic_formula.png\">Jacob Rus<\/a>, <a href=\"http:\/\/creativecommons.org\/licenses\/by-sa\/4.0\/\">CC BY-SA<\/a><\/figcaption><\/figure>\n\n\n\n<p>Equations and plots like these are part of algebra, but they\u2019re not the whole story. What unifies algebra is the practice of studying things \u2013 like the moves you can make on a Rubik\u2019s cube or the numbers on a clock face you use to tell time \u2013 and the way they behave when you put them together in different ways. What happens when you string together the Rubik\u2019s cube moves or add up numbers on a clock?<\/p>\n\n\n\n<p>In my work <a href=\"https:\/\/scholar.google.ca\/citations?user=mfTZ8K4AAAAJ&amp;hl=en\">as a mathematician<\/a>, I\u2019ve learned that many algebra questions come down to classifying objects by their similarities.<\/p>\n\n\n\n<h2>Sets and groups<\/h2>\n\n\n\n<p>How did equations like <em>ax\u00b2<\/em> + <em>bx<\/em> + <em>c<\/em> = 0 and their solutions lead to abstract algebra?<\/p>\n\n\n\n<p>The short version of the story is that mathematicians found formulas that looked a lot like the quadratic formula for polynomial equations where the highest power of <em>x<\/em> was three or four. But they couldn\u2019t do it for five. It took mathematician <a href=\"https:\/\/www.britannica.com\/biography\/Evariste-Galois\">\u00c9variste Galois<\/a> and techniques he developed \u2013 now called <a href=\"https:\/\/www.ucl.ac.uk\/%7Eucahmto\/0007\/_book\/4-groups.html\">group theory<\/a> \u2013 to make a convincing argument that no such formula could exist for polynomials with a highest power of five or more.<\/p>\n\n\n\n<p>So what is a group, anyway?<\/p>\n\n\n\n<p>It starts with <a href=\"https:\/\/www.britannica.com\/topic\/set-mathematics-and-logic\">a set<\/a>, which is a collection of things. The fruit bowl in my kitchen is a set, and the collection of things in it are pieces of fruit. The numbers 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11 and 12 also form a set. Sets on their own don\u2019t have too many properties \u2013 that is, characteristics \u2013 but if we start doing things to the numbers 1 through 12, or the fruit in the fruit bowl, it gets more interesting.<\/p>\n\n\n\n<figure class=\"wp-block-image\"><img src=\"https:\/\/images.theconversation.com\/files\/667696\/original\/file-20250513-56-f2gv1j.jpg?ixlib=rb-4.1.0&amp;q=45&amp;auto=format&amp;w=237&amp;fit=clip\" alt=\"Diagram of clock with the hands set to 3:15, with an arrow indicating that you'll arrive at the same place 12 hours later\" \/><figcaption>In clock addition, 3 + 12 = 3. <a href=\"https:\/\/openstax.org\/books\/contemporary-mathematics\/pages\/3-7-clock-arithmetic\">OpenStax<\/a>, <a href=\"http:\/\/creativecommons.org\/licenses\/by-sa\/4.0\/\">CC BY-SA<\/a><\/figcaption><\/figure>\n\n\n\n<p>Let\u2019s call this set of numbers 1 through 12 \u201cclock numbers.\u201d Then, we can define an addition function for the clock numbers using the way we tell time. That is, to say \u201c3 + 11 = 2\u201d is the way we would add 3 and 11. It feels weird, but if you think about it, 11 hours past 3 o&#8217;clock is 2 o&#8217;clock.<\/p>\n\n\n\n<p>Clock addition has some nice properties. It satisfies:<\/p>\n\n\n\n<ul><li><em>closure<\/em>, where adding things in the set gives you something else in the set,<\/li><li><em>identity<\/em>, where there\u2019s an element that doesn\u2019t change the value of other elements in the set when added \u2013 adding 12 to any number will equal that same number,<\/li><li><em>associativity<\/em>, where you can add wherever you want in the set,<\/li><li><em>inverses<\/em>, where you can undo whatever an element does, and<\/li><li><em>commutativity<\/em>, where you can change the order of which clock numbers you add up without changing the outcome: <em>a<\/em> + <em>b<\/em> = <em>b<\/em> + <em>a<\/em>.<\/li><\/ul>\n\n\n\n<p>By satisfying all these properties, mathematicians can consider clock numbers with clock addition <a href=\"https:\/\/www.britannica.com\/science\/group-theory\">a group<\/a>. In short, a group is a set with some way of combining the elements layered on top. The set of fruit in my fruit bowl probably can\u2019t be made into a group easily \u2013 what\u2019s a banana plus an apple? But we can make a set of clock numbers into a group by showing that clock addition is a way of taking two clock numbers and getting to a new one that satisfies the rules outlined above.<\/p>\n\n\n\n<h2>Rings and fields<\/h2>\n\n\n\n<p>Along with groups, the two other <a href=\"https:\/\/www.britannica.com\/science\/modern-algebra\">fundamental types of algebraic objects<\/a> you would study in an introduction to modern algebra are rings and fields.<\/p>\n\n\n\n<p>We could introduce a second operation for the clock numbers: clock multiplication, where 2 times 7 is 2, because 14 o&#8217;clock is the same as 2 o&#8217;clock. With clock addition and clock multiplication, the clock numbers meet the criteria for what mathematicians call <a href=\"https:\/\/www.britannica.com\/science\/ring-mathematics#ref894211\">a ring<\/a>. This is primarily because clock multiplication and clock addition together satisfy a key component that defines a ring: the distributive property, where <em>a<\/em>(<em>b<\/em> + <em>c<\/em>) = <em>ab<\/em> + <em>ac<\/em>. Lastly, <a href=\"https:\/\/www.britannica.com\/science\/modern-algebra#ref790511\">fields<\/a> are rings that satisfy even more conditions.<\/p>\n\n\n\n<p>At the turn of the 20th century, mathematicians <a href=\"https:\/\/www.britannica.com\/biography\/David-Hilbert\">David Hilbert<\/a> and <a href=\"https:\/\/theconversation.com\/emmy-noether-faced-sexism-and-nazism-over-100-years-later-her-contributions-to-ring-theory-still-influence-modern-math-163245\">Emmy Noether<\/a> \u2013 who were interested in understanding how the principles in Einstein\u2019s <a href=\"https:\/\/www.discovermagazine.com\/the-sciences\/how-mathematician-emmy-noethers-theorem-changed-physics\">relativity worked mathematically<\/a> \u2013 unified algebra and showed the utility of studying groups, rings and fields.<\/p>\n\n\n\n<h2>It\u2019s all fun and games until you do the math<\/h2>\n\n\n\n<p>Groups, rings and fields are abstract, but they have many useful applications.<\/p>\n\n\n\n<p>For example, the symmetries of molecular structures are categorized by different <a href=\"https:\/\/www.britannica.com\/science\/point-group\">point groups<\/a>. A point group describes ways to move a molecule in space so that even if you move the individual atoms, the end result is indistinguishable from the molecule you started with.<\/p>\n\n\n\n<figure class=\"wp-block-image\"><img src=\"https:\/\/images.theconversation.com\/files\/668016\/original\/file-20250514-56-uhpqp0.png?ixlib=rb-4.1.0&amp;q=45&amp;auto=format&amp;w=754&amp;fit=clip\" alt=\"Two water molecules with labeled hydrogen atoms H_1 and H_2 exchanging places\" \/><figcaption>The water molecule H\u2082O can be flipped horizontally and the end result is indistinguishable from the original position. Courtney Gibbons, <a href=\"http:\/\/creativecommons.org\/licenses\/by-sa\/4.0\/\">CC BY-SA<\/a><\/figcaption><\/figure>\n\n\n\n<p>But let\u2019s take a different example that uses rings instead of groups. You can set up a pretty complicated set of equations to <a href=\"https:\/\/mathvoices.ams.org\/featurecolumn\/2022\/08\/01\/applied-algebra-a-variety-show\/\">describe a Sudoku puzzle<\/a>: You need 81 variables to represent each place you can put a number in the grid, polynomial expressions to encode the rules of the game, and polynomial expressions that take into account the clues already on the board.<\/p>\n\n\n\n<p>To get the spaces on the game board and the 81 variables to correspond nicely, you can use two subscripts to associate the variable with a specific place on the board, like using <em>x\u2083\u2085<\/em> to represent the cell in the third row and fifth column.<\/p>\n\n\n\n<p>The first entry must be one of the numbers 1 through 9, and we represent that relationship with (<em>x\u2081\u2081<\/em> &#8211; 1)(<em>x\u2081\u2081<\/em> &#8211; 2)(<em>x\u2081\u2081<\/em> &#8211; 3) \u22c5\u22c5\u22c5 (<em>x\u2081\u2081<\/em> &#8211; 9). This expression is equal to zero if and only if you followed the rules of the game. Since every space on the board follows this rule, that\u2019s already 81 equations just to say, \u201cDon\u2019t plug in anything other than 1 through 9.\u201d<\/p>\n\n\n\n<p>The rule \u201c1 through 9 each appear exactly once in the top row\u201d can be captured with some sneaky pieces of algebraic thinking. The sum of the top row is going to add up to 45, which is to say <em>x\u2081\u2081<\/em> + <em>x\u2081\u2082<\/em> + \u22c5\u22c5\u22c5 + <em>x\u2081\u2089<\/em> &#8211; 45 will be zero, and the product of the top row is going to be the product of 1 through 9, which is to say <em>x<\/em>\u2081\u2081 <em>x\u2081\u2082<\/em> \u22c5\u22c5\u22c5 <em>x\u2081\u2089<\/em> &#8211; 9\u22c58\u22c57\u22c56\u22c55\u22c54\u22c53\u22c52\u22c51 will be zero.<\/p>\n\n\n\n<p>If you\u2019re thinking that it takes more time to set up all these rules than it does to solve the puzzle, you\u2019re not wrong.<\/p>\n\n\n\n<figure class=\"wp-block-image\"><img src=\"https:\/\/images.theconversation.com\/files\/667049\/original\/file-20250509-56-qdcm0x.png?ixlib=rb-4.1.0&amp;q=45&amp;auto=format&amp;w=754&amp;fit=clip\" alt=\"sudoku grid with variables x_11 through x_99 (x_ij is in the i-th row, j-th column)\" \/><figcaption>Turning Sudoku into algebra takes a fair bit of work. Courtney Gibbons<\/figcaption><\/figure>\n\n\n\n<p>What do we get by doing this complicated translation into algebra? Well, we get to use <a href=\"https:\/\/www.ams.org\/notices\/200510\/what-is.pdf\">late-20th century algorithms<\/a> to figure out what numbers you can plug into the board that satisfy all the rules and all the clues. These algorithms are based on describing the structure of the special ring \u2013 called <a href=\"https:\/\/www.britannica.com\/science\/ideal-mathematics\">an ideal<\/a> \u2013 these game board clues make within the larger ring. The algorithms will tell you if there\u2019s no solution to the puzzle. If there are multiple solutions, the algorithms will find them all.<\/p>\n\n\n\n<p>This is a small example where setting up the algebra is harder than just doing the puzzle. But the techniques generalize widely. You can use algebra to tackle <a href=\"https:\/\/doi.org\/10.48550\/arXiv.2301.13105\">problems in artificial intelligence<\/a>, robotics, cryptography, quantum computing and so much more \u2013 all with the same bag of tricks you\u2019d use to solve the Sudoku puzzle or Rubik\u2019s cube.<\/p>\n\n\n\n<p><a href=\"https:\/\/theconversation.com\/profiles\/courtney-gibbons-1547610\">Courtney Gibbons<\/a>, Associate Professor of Mathematics, <em><a href=\"https:\/\/theconversation.com\/institutions\/hamilton-college-2966\">Hamilton College<\/a><\/em><\/p>\n\n\n\n<p>This article is republished from <a href=\"https:\/\/theconversation.com\">The Conversation<\/a> under a Creative Commons license. Read the <a href=\"https:\/\/theconversation.com\/algebra-is-more-than-alphabet-soup-its-the-language-of-algorithms-and-relationships-234541\">original article<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Courtney Gibbons, Hamilton College You scrambled up a Rubik\u2019s cube, and now you want to put it back in order. What sequence of moves should you make? Surprise: You can answer this question with modern algebra. Most folks who have been through high school mathematics courses will have taken a class called algebra \u2013 maybe [&hellip;]<\/p>\n","protected":false},"author":56,"featured_media":39481,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[30,8025,292,7,291,10,8],"tags":[2468,2341,1632,885,891,886,860,665,3556,16407],"_links":{"self":[{"href":"https:\/\/www.lifeandnews.com\/articles\/wp-json\/wp\/v2\/posts\/39480"}],"collection":[{"href":"https:\/\/www.lifeandnews.com\/articles\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.lifeandnews.com\/articles\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.lifeandnews.com\/articles\/wp-json\/wp\/v2\/users\/56"}],"replies":[{"embeddable":true,"href":"https:\/\/www.lifeandnews.com\/articles\/wp-json\/wp\/v2\/comments?post=39480"}],"version-history":[{"count":1,"href":"https:\/\/www.lifeandnews.com\/articles\/wp-json\/wp\/v2\/posts\/39480\/revisions"}],"predecessor-version":[{"id":39482,"href":"https:\/\/www.lifeandnews.com\/articles\/wp-json\/wp\/v2\/posts\/39480\/revisions\/39482"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.lifeandnews.com\/articles\/wp-json\/wp\/v2\/media\/39481"}],"wp:attachment":[{"href":"https:\/\/www.lifeandnews.com\/articles\/wp-json\/wp\/v2\/media?parent=39480"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.lifeandnews.com\/articles\/wp-json\/wp\/v2\/categories?post=39480"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.lifeandnews.com\/articles\/wp-json\/wp\/v2\/tags?post=39480"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}