“Noncommutative” should be applied to the operations (up, left, etc.) rather than to the space. Where are you that it’s typical for there to be classes on proofs in high school?
I went to high school in the United States and had a semester in proofs during high school. But now that you mention it, this may not be common and I might be generalizing from non-representative schools...
My understanding of what’s typical in American high schools is that most students only get as far as trigonometry or precalculus. Stronger students will take some form of calculus. But even at that point the closest thing a typical student will come to taking a course on proofs is seeing some “two-column proofs” of statements in Euclidean geometry.
“Noncommutative” should be applied to the operations (up, left, etc.) rather than to the space. Where are you that it’s typical for there to be classes on proofs in high school?
I went to high school in the United States and had a semester in proofs during high school. But now that you mention it, this may not be common and I might be generalizing from non-representative schools...
My understanding of what’s typical in American high schools is that most students only get as far as trigonometry or precalculus. Stronger students will take some form of calculus. But even at that point the closest thing a typical student will come to taking a course on proofs is seeing some “two-column proofs” of statements in Euclidean geometry.
That seems accurate to me.