11 ms·

Connections between Abstract Algebra and High School Algebra (2015)

126 points by jpelecanos 9y ago

galobtter 9y ago
"For example, we teach students in high school that if the product of two polynomials is zero, then to solve we set each one separately equal to zero. Yet this does not hold with nonzero numbers. For example, working in polynomials with real coefficients, we know that f(x) * g(x)=0 implies either f(x) = 0 or g(x) = 0. Yet it is not the case that if f(x) * g(x) = 4, then either f(x) = 2 or g(x) = 2." Does this really require knowing abstract algebra? Seems obvious to anyone doing any sort of multiplication that if the output is 0 then one of variables/functions has to be 0, if it is nonzero then the variable/function can be anything but 0.
- sedeki 9y ago
  It was a long time since I studied this, but it is not true in all situations, e.g. when working with congruences modulo some non-prime number.
  - ImNotDeadYet 9y ago
    In abstract algebra those would be rings with zero divisors. But all my early algebra education was in integral domains (ring without zero divisors like the integers) or fields which are even nicer.
  - galobtter 9y ago
    I was talking mainly about the simple case presented above. x*y can be 0 (mod 6) but I don't think it takes knowing abstract algebra and a deep knowledge of modulo and axioms to figure that out. I hope math teachers that don't know abstract algebra know that!
- dboreham 9y ago
  Reading this I thought the same thing. Then I remembered one of my high school teachers telling the class that Bertrand Russell wrote a multi-volume book with the goal to prove that 1+1 = 2. At that point I realized that you don't need to work in abstract algebra in the high school mathematics curriculum, but rather you need teachers who have a deep understanding of mathematics. Unfortunately given economic reality that's hard to achieve in the present day.
  - kindfellow92 9y ago
    You only need multi volumes to prove 1 + 1 = 2 if you start with first order logic. If you start with the rules of basic arithmetic, it takes less than a page. There is no fundamental difference when changing your starting assumptions other than one set of assumptions might prove more things than the other. From the perspective of single proof, either is equally as good. We axiomatically know basic arithmetic to be true, just as we axiomatically know first order logic to be true.
    - dboreham 9y ago
      Boy, I didn't realize I needed to set the explicit "irony flag" on that post! The idea is that my math teacher was making a math joke, stimulating his students' curiosity to think about deep things like "what does it mean to add and how do you prove things that seem intuitive" and informing the class that people have written serious and long books on the foundations of mathematics. None of my kids' math teachers (so far) have made any math jokes...
      - posterboy 9y ago
        It's not really a joke, just an understatement. Very dry humor indeed. Could be modesty or exageration, but at its core, it's true.
  - galobtter 9y ago
    Well I know there are entire books written to codify basic math. I don't knowing that, or say reading and understanding Russell's book, would help teach a child that 1+1 = 2
- deleted 9y ago
  [deleted]
- JadeNB 9y ago
  > Does this really require knowing abstract algebra? Seems obvious to anyone doing any sort of multiplication that if the output is 0 then one of variables/functions has to be 0, if it is nonzero then the variable/function can be anything but 0. Since you mention them specifically, it's not true for functions: multiply the function that is 1 for positive numbers and 0 elsewhere, by the function that is 1 for negative numbers and 0 elsewhere. (One can even produce continuous, or even smooth, examples with only a little more work.) A more traditional example is that it's not true for matrices: multiply the matrix ( ( 0 1 ) ( 0 0 ) ) by itself. (I just noticed sedeki https://news.ycombinator.com/item?id=15860883 https://news.ycombinator.com/item?id=15860883 pointed this out a few minutes earlier, noting that, for example, neither 2 nor 3 is congruent to 0 modulo 6, but their product is.) What I mean to say is: it often doesn't require knowing abstract algebra to think that things are obvious, but it may sometimes require knowing abstract algebra to figure out whether obvious things are true. (Also, the last sentence you quote: > Yet it is not the case that if f(x) * g(x) = 4, then either f(x) = 2 or g(x) = 2. is, I would say, the important operational point. My students, especially in calculus, love to use this style of reasoning, even when specifically told that it doesn't work—although sometimes they change it (usually to conclude that f(x) = 4 or g(x) = 4). As Twain might have approximately said, it's not what's obvious that you don't know that gets you; it's what's obvious that ain't so.)
  - galobtter 9y ago
    Regarding your students, well I don't dispute that there are students that think that - I just don't think that say a teacher knowing more about abstract algebra would be able to explain that better.
- yequalsx 9y ago
  I teach math at a community college. Your question is not so simple to answer. Much of mathematical teaching involves lying and not justifying statements. The details are often way more complicated than the idea. It is "obvious" in the real numbers that if you multiply two numbers and get 0 then one of them must be zero. I doubt you could prove this. It's obvious simply because you are used to it being true. But it is not true for all algebraic systems. The algebraic structure of all 2x2 matrices can be viewed as an extension of the real number system and in the set of 2x2 matrices you can multiply two matrices to get 0 in which neither matrix is 0. One of the goals of abstract algebra is to understand under what conditions certain properties hold in an algebraic system. To truly understand these things requires the oft mentioned mathematical maturity. But to get to the point of gaining this maturity requires just accepting what you've been told is true is indeed true. We tell students in Calculus I that the function 1/x is discontinuous at 0. There's a break in the graph there. But, in reality, it is meaningless to talk about a function being continuous (or not being continuous) at a number not in the domain of the function. Indeed, in the standard subspace topology the function 1/x from R-{0} to R is continuous. But this nuance is way too complicated to get across to students in Calculus I so we fudge things a bit. This happens a lot at lower levels of math. EDIT: So my point is that if your goal is to truly understand things then yes, Abstract Algebra is necessary. If your goal is to be operationally functional in working with polynomials over the real numbers then it isn't.
  - qubex 9y ago
    I studied applied mathematics, but it took me ages to shake away (false) intuition engendered in me about “Calculus” and “infinitesimals” at high school. Sure, it worked, but learning “differentiation from first principles” with the limit taken when δ︎x→︎0 just by cancelling out did an unmeasurable amount of damage to my ability to absorb the formal Weierstrss formulation in terms of limits.
    - romwell 9y ago
      Congratulations. Now that you're a grown-up, you can re-do the damage by learning https://en.wikipedia.org/wiki/Non-standard_analysis https://en.wikipedia.org/wiki/Non-standard_analysis On a more serious note, you can understand most, if not all, of Calculus by saying that dx=0.0001, and that A ~= B if they don't differ by more than, say, 0.01 (say, that's the instrument error). Then you get your limits, FTC, and so on, and verify the results with a four-function calculator. Example: f=x^2, f' = ? (f(x+dx) - f(x))/dx = (x^2 + 2x*dx + dx^2 - x^2)/dx = 2x + dx = 2x + 0.0001 ~= 2x The mental effort you have to make here is that things on the LHS of ~= are "actual" values, and on the RHS are "measured" values, and that ~= is not an equivalence relation. On a yet more serious note, learning about differential forms will help justify some of that high-school notation. On a philosophical note, Weierstrass is not the end-all of Calculus. Neither Newton nor Leibniz did it that way. By adding rigor, some argue that the essence has been obscured (hence the non-standard analysis above).
- wz1000 9y ago
  > Does this really require knowing abstract algebra? Seems obvious to anyone doing any sort of multiplication that if the output is 0 then one of variables/functions has to be 0 No, this is only true when you are doing multiplication in an integral domain. https://en.wikipedia.org/wiki/Integral_domain https://en.wikipedia.org/wiki/Integral_domain There are many rings where this is not true, like Z/nZ where n is not prime. 2*2 = 0 (mod 4) 2 /= 0 (mod 4)
  - posterboy 9y ago
    mod should be part of the signature of the ring, so you are not looking at pure multiplication. Then the domain would be still integral. Why wouldn't it?
    - opportune 9y ago
      An integral domain is any commutative ring with no zero divisors (a,b are zero divisors if ab = 0 but a != 0, b != 0). In this case 2*2 = 0, so 2 is a zero divisor, so Z/4z = Z_4 is not an integral domain.
- blueprint 9y ago
  > Does this really require knowing abstract algebra? No, just the ability to distinguish between what one knows and what one does not actually know yet (self-awareness).
jonsen 9y ago
Great. Teach kids some rote manipulations. Things they will have forgotten if they later stumble upon some math. Or will have to relearn in college math. Will the same mistake happen with the learning to code in school movement? Or will there be a sensible connection between abstract computer science and high school coding?
- noxToken 9y ago
  I think the learning to code movement is a general waste of time. Sure, offer them the class if the child is interested, but shoveling kids through a mandatory Scratch or Python course? Are we really supposed to believe that the ability to create Pong in Python is time better spent than something like auto skills? Computer literacy (not just how to use the Office suite) and very basic IT (passwords, security culture, generalized troubleshooting, basic networking, etc.) would take a child much further as a general purpose class. Think about every time a family member has called and complained that they've lost internet connectivity. It turns out they unplugged something or flipped a hardware switch. Teaching students these basic parts of troubleshooting would be a boon.
  - deleted 9y ago
    [deleted]
  - deleted 9y ago
    [deleted]
- kurthr 9y ago
  I agree that as shown these are wrote abstractions and without motivation, and I wouldn't see their use. It's much easier (for me) to initially learn some wrote rules for solving a problem (algebraic manipulation of Reals) based on examples. Then this Group discussion could be used to show that there was something more general. Then you need to show that the generalization is useful... somewhere? However, it is difficult to motivate even simple algebra (word problems anyone?) in high-school as something other than a game (and perhaps that's enough). It's when moving to the next level (e.g. analytic geometry with sin/cos) where complex numbers are useful. There you could show usefully that there are 2 different systems of math (Groups) and that algebra that allows the sqrt(-1)=i have different solutions than in the reals. Linear algebra and matrix inversion are another case where the introduction of group theory might make sense... and that you can create more generic versions of commutativity/inverses etc. I think you can get from linear algebra to the linkage between LFSRs (Linear Feedback Shift Registers) and their characteristic polynomials by showing the groups are the same, but that's almost certainly college level. The step from there to using it to solve a physical problem in Chemistry (e.g. for IR Spectroscopy) or Materials (e.g. X-ray crystalography) is the next step. You get familiar with one thing (or see physical analogies) and then step to the next, but showing utility and providing intuition along the way is important to most. For some people it's all just a game. I find those people are best at the math... they don't need physical motivation or purpose.
ivan_ah 9y ago
Very cool: closure + associativity + identity + inverse properties we use for addition and multiplication = group structure. See https://en.wikipedia.org/wiki/Group_(mathematics)#Definition https://en.wikipedia.org/wiki/Group_(mathematics)#Definition Simplify and connect for the win!
- cmpb 9y ago
  Yep! And I really wish this concept (of bringing together all of those properties, and exploring some of the resulting structures) was taught (specifically including the introduction of the term "group") in high school algebra. I think that would reduce a lot of the friction between learning secondary and post-secondary mathematics.
  - llamaz 9y ago
    It _is_ taught to 16 year olds in Australia, if they elect to take math C (math a/B is compulsory where math A is remedial). Everyone hated it and wondered what the point was (including me - it was only when I did a course on abstract algebra in university and learned about quotient groups that I was converted) Also covered in math C is the computational parts of linear algebra (e.g. Gaussian elimination, Cramer's rule).
  - qubex 9y ago
    I took the International Baccalaureate (IB) programme when I was in my final two years of High School (September 1997-June 1999) and our Maths Higher unit included ”Group Theory”.
vinchuco 9y ago
6 4 / 1 6 = 6̶ 4 / 1 6̶ = 4 / 1 2 6 / 6 5 = 2 6̶ / 6̶ 5 = 2 / 5 9 5 / 1 9 = 9̶ 5 / 1 9̶ = 5 / 1 ... [1] https://en.wikipedia.org/wiki/Anomalous_cancellation https://en.wikipedia.org/wiki/Anomalous_cancellation

126 points by jpelecanos 9y ago

"For example, we teach students in high school that if the product of two polynomials is zero, then to solve we set each one separately equal to zero. Yet this does not hold with nonzero numbers. For example, working in polynomials with real coefficients, we know that f(x) * g(x)=0 implies either f(x) = 0 or g(x) = 0. Yet it is not the case that if f(x) * g(x) = 4, then either f(x) = 2 or g(x) = 2." Does this really require knowing abstract algebra? Seems obvious to anyone doing any sort of multiplication that if the output is 0 then one of variables/functions has to be 0, if it is nonzero then the variable/function can be anything but 0.

sedeki 9y ago
It was a long time since I studied this, but it is not true in all situations, e.g. when working with congruences modulo some non-prime number.
- ImNotDeadYet 9y ago
  In abstract algebra those would be rings with zero divisors. But all my early algebra education was in integral domains (ring without zero divisors like the integers) or fields which are even nicer.
- galobtter 9y ago
  I was talking mainly about the simple case presented above. x*y can be 0 (mod 6) but I don't think it takes knowing abstract algebra and a deep knowledge of modulo and axioms to figure that out. I hope math teachers that don't know abstract algebra know that!
dboreham 9y ago
Reading this I thought the same thing. Then I remembered one of my high school teachers telling the class that Bertrand Russell wrote a multi-volume book with the goal to prove that 1+1 = 2. At that point I realized that you don't need to work in abstract algebra in the high school mathematics curriculum, but rather you need teachers who have a deep understanding of mathematics. Unfortunately given economic reality that's hard to achieve in the present day.
- kindfellow92 9y ago
  You only need multi volumes to prove 1 + 1 = 2 if you start with first order logic. If you start with the rules of basic arithmetic, it takes less than a page. There is no fundamental difference when changing your starting assumptions other than one set of assumptions might prove more things than the other. From the perspective of single proof, either is equally as good. We axiomatically know basic arithmetic to be true, just as we axiomatically know first order logic to be true.
  - dboreham 9y ago
    Boy, I didn't realize I needed to set the explicit "irony flag" on that post! The idea is that my math teacher was making a math joke, stimulating his students' curiosity to think about deep things like "what does it mean to add and how do you prove things that seem intuitive" and informing the class that people have written serious and long books on the foundations of mathematics. None of my kids' math teachers (so far) have made any math jokes...
    - posterboy 9y ago
      It's not really a joke, just an understatement. Very dry humor indeed. Could be modesty or exageration, but at its core, it's true.
- galobtter 9y ago
  Well I know there are entire books written to codify basic math. I don't knowing that, or say reading and understanding Russell's book, would help teach a child that 1+1 = 2
deleted 9y ago
[deleted]
JadeNB 9y ago
> Does this really require knowing abstract algebra? Seems obvious to anyone doing any sort of multiplication that if the output is 0 then one of variables/functions has to be 0, if it is nonzero then the variable/function can be anything but 0. Since you mention them specifically, it's not true for functions: multiply the function that is 1 for positive numbers and 0 elsewhere, by the function that is 1 for negative numbers and 0 elsewhere. (One can even produce continuous, or even smooth, examples with only a little more work.) A more traditional example is that it's not true for matrices: multiply the matrix ( ( 0 1 ) ( 0 0 ) ) by itself. (I just noticed sedeki https://news.ycombinator.com/item?id=15860883 https://news.ycombinator.com/item?id=15860883 pointed this out a few minutes earlier, noting that, for example, neither 2 nor 3 is congruent to 0 modulo 6, but their product is.) What I mean to say is: it often doesn't require knowing abstract algebra to think that things are obvious, but it may sometimes require knowing abstract algebra to figure out whether obvious things are true. (Also, the last sentence you quote: > Yet it is not the case that if f(x) * g(x) = 4, then either f(x) = 2 or g(x) = 2. is, I would say, the important operational point. My students, especially in calculus, love to use this style of reasoning, even when specifically told that it doesn't work—although sometimes they change it (usually to conclude that f(x) = 4 or g(x) = 4). As Twain might have approximately said, it's not what's obvious that you don't know that gets you; it's what's obvious that ain't so.)
- galobtter 9y ago
  Regarding your students, well I don't dispute that there are students that think that - I just don't think that say a teacher knowing more about abstract algebra would be able to explain that better.
yequalsx 9y ago
I teach math at a community college. Your question is not so simple to answer. Much of mathematical teaching involves lying and not justifying statements. The details are often way more complicated than the idea. It is "obvious" in the real numbers that if you multiply two numbers and get 0 then one of them must be zero. I doubt you could prove this. It's obvious simply because you are used to it being true. But it is not true for all algebraic systems. The algebraic structure of all 2x2 matrices can be viewed as an extension of the real number system and in the set of 2x2 matrices you can multiply two matrices to get 0 in which neither matrix is 0. One of the goals of abstract algebra is to understand under what conditions certain properties hold in an algebraic system. To truly understand these things requires the oft mentioned mathematical maturity. But to get to the point of gaining this maturity requires just accepting what you've been told is true is indeed true. We tell students in Calculus I that the function 1/x is discontinuous at 0. There's a break in the graph there. But, in reality, it is meaningless to talk about a function being continuous (or not being continuous) at a number not in the domain of the function. Indeed, in the standard subspace topology the function 1/x from R-{0} to R is continuous. But this nuance is way too complicated to get across to students in Calculus I so we fudge things a bit. This happens a lot at lower levels of math. EDIT: So my point is that if your goal is to truly understand things then yes, Abstract Algebra is necessary. If your goal is to be operationally functional in working with polynomials over the real numbers then it isn't.
- qubex 9y ago
  I studied applied mathematics, but it took me ages to shake away (false) intuition engendered in me about “Calculus” and “infinitesimals” at high school. Sure, it worked, but learning “differentiation from first principles” with the limit taken when δ︎x→︎0 just by cancelling out did an unmeasurable amount of damage to my ability to absorb the formal Weierstrss formulation in terms of limits.
  - romwell 9y ago
    Congratulations. Now that you're a grown-up, you can re-do the damage by learning https://en.wikipedia.org/wiki/Non-standard_analysis https://en.wikipedia.org/wiki/Non-standard_analysis On a more serious note, you can understand most, if not all, of Calculus by saying that dx=0.0001, and that A ~= B if they don't differ by more than, say, 0.01 (say, that's the instrument error). Then you get your limits, FTC, and so on, and verify the results with a four-function calculator. Example: f=x^2, f' = ? (f(x+dx) - f(x))/dx = (x^2 + 2x*dx + dx^2 - x^2)/dx = 2x + dx = 2x + 0.0001 ~= 2x The mental effort you have to make here is that things on the LHS of ~= are "actual" values, and on the RHS are "measured" values, and that ~= is not an equivalence relation. On a yet more serious note, learning about differential forms will help justify some of that high-school notation. On a philosophical note, Weierstrass is not the end-all of Calculus. Neither Newton nor Leibniz did it that way. By adding rigor, some argue that the essence has been obscured (hence the non-standard analysis above).
wz1000 9y ago
> Does this really require knowing abstract algebra? Seems obvious to anyone doing any sort of multiplication that if the output is 0 then one of variables/functions has to be 0 No, this is only true when you are doing multiplication in an integral domain. https://en.wikipedia.org/wiki/Integral_domain https://en.wikipedia.org/wiki/Integral_domain There are many rings where this is not true, like Z/nZ where n is not prime. 2*2 = 0 (mod 4) 2 /= 0 (mod 4)
- posterboy 9y ago
  mod should be part of the signature of the ring, so you are not looking at pure multiplication. Then the domain would be still integral. Why wouldn't it?
  - opportune 9y ago
    An integral domain is any commutative ring with no zero divisors (a,b are zero divisors if ab = 0 but a != 0, b != 0). In this case 2*2 = 0, so 2 is a zero divisor, so Z/4z = Z_4 is not an integral domain.
blueprint 9y ago
> Does this really require knowing abstract algebra? No, just the ability to distinguish between what one knows and what one does not actually know yet (self-awareness).

jonsen 9y ago

Great. Teach kids some rote manipulations. Things they will have forgotten if they later stumble upon some math. Or will have to relearn in college math. Will the same mistake happen with the learning to code in school movement? Or will there be a sensible connection between abstract computer science and high school coding?

noxToken 9y ago
I think the learning to code movement is a general waste of time. Sure, offer them the class if the child is interested, but shoveling kids through a mandatory Scratch or Python course? Are we really supposed to believe that the ability to create Pong in Python is time better spent than something like auto skills? Computer literacy (not just how to use the Office suite) and very basic IT (passwords, security culture, generalized troubleshooting, basic networking, etc.) would take a child much further as a general purpose class. Think about every time a family member has called and complained that they've lost internet connectivity. It turns out they unplugged something or flipped a hardware switch. Teaching students these basic parts of troubleshooting would be a boon.
- deleted 9y ago
  [deleted]
- deleted 9y ago
  [deleted]
kurthr 9y ago
I agree that as shown these are wrote abstractions and without motivation, and I wouldn't see their use. It's much easier (for me) to initially learn some wrote rules for solving a problem (algebraic manipulation of Reals) based on examples. Then this Group discussion could be used to show that there was something more general. Then you need to show that the generalization is useful... somewhere? However, it is difficult to motivate even simple algebra (word problems anyone?) in high-school as something other than a game (and perhaps that's enough). It's when moving to the next level (e.g. analytic geometry with sin/cos) where complex numbers are useful. There you could show usefully that there are 2 different systems of math (Groups) and that algebra that allows the sqrt(-1)=i have different solutions than in the reals. Linear algebra and matrix inversion are another case where the introduction of group theory might make sense... and that you can create more generic versions of commutativity/inverses etc. I think you can get from linear algebra to the linkage between LFSRs (Linear Feedback Shift Registers) and their characteristic polynomials by showing the groups are the same, but that's almost certainly college level. The step from there to using it to solve a physical problem in Chemistry (e.g. for IR Spectroscopy) or Materials (e.g. X-ray crystalography) is the next step. You get familiar with one thing (or see physical analogies) and then step to the next, but showing utility and providing intuition along the way is important to most. For some people it's all just a game. I find those people are best at the math... they don't need physical motivation or purpose.

ivan_ah 9y ago

Very cool: closure + associativity + identity + inverse properties we use for addition and multiplication = group structure. See https://en.wikipedia.org/wiki/Group_(mathematics)#Definition https://en.wikipedia.org/wiki/Group_(mathematics)#Definition Simplify and connect for the win!

cmpb 9y ago
Yep! And I really wish this concept (of bringing together all of those properties, and exploring some of the resulting structures) was taught (specifically including the introduction of the term "group") in high school algebra. I think that would reduce a lot of the friction between learning secondary and post-secondary mathematics.
- llamaz 9y ago
  It _is_ taught to 16 year olds in Australia, if they elect to take math C (math a/B is compulsory where math A is remedial). Everyone hated it and wondered what the point was (including me - it was only when I did a course on abstract algebra in university and learned about quotient groups that I was converted) Also covered in math C is the computational parts of linear algebra (e.g. Gaussian elimination, Cramer's rule).
- qubex 9y ago
  I took the International Baccalaureate (IB) programme when I was in my final two years of High School (September 1997-June 1999) and our Maths Higher unit included ”Group Theory”.

vinchuco 9y ago

6 4 / 1 6 = 6̶ 4 / 1 6̶ = 4 / 1 2 6 / 6 5 = 2 6̶ / 6̶ 5 = 2 / 5 9 5 / 1 9 = 9̶ 5 / 1 9̶ = 5 / 1 ... [1] https://en.wikipedia.org/wiki/Anomalous_cancellation https://en.wikipedia.org/wiki/Anomalous_cancellation