News for hackers. Stuff that matters.
Re:A monad is a monoid in the category of endofunctors, what... by Koshkin on Sunday February 10, 2019 @12:31PM (#19128787)
> knowing that a ring is “like a group...” is useful

Turns out, not so much, though. The ring theory bears surprisingly little resemblance to the group theory, to the point that these concepts seem to have nothing to do with each other...

Re:A monad is a monoid in the category of endofunctors, what... by nerdponx on Sunday February 10, 2019 @12:37PM (#19128836)
Except that a ring is literally a group under addition?

Do you seriously mean to suggest there's no pedagogical value in using groups to teach rings?

Re:A monad is a monoid in the category of endofunctors, what... by ginnungagap on Sunday February 10, 2019 @03:05PM (#19129673)
There's actually a big debate between math educators on whether abstract algebra courses should follow a groups first or a rings first approach so it is totally possible to teach rings without appealing to groups. (I'd still argue that both approaches have their advantages and disadvantages and that there can be value in using groups to teach rings though, I just wanted to say it's not as obvious as you might think)
Re:A monad is a monoid in the category of endofunctors, what... by throwawaymath on Sunday February 10, 2019 @12:58PM (#19128994)
I could be wrong here, but my read of that comment is that they're talking about the structural differences between rings and groups at the research level. Which I guess makes sense, since you're in very different territories if you're talking about something like representation theory of finite groups...

Otherwise I agree with you, there's a lot of pedagogical value in combining coverage of algebraic structures.

Re:A monad is a monoid in the category of endofunctors, what... by dnautics on Sunday February 10, 2019 @01:24PM (#19129149)
Yes obviously you need to know what a group is to even begin ring theory but ring theory looks and feels nothing like group theory.