This is interesting, although I got pretty lost in the music theory
section. There were two odd things about it-she used multiplication as the
name for the group binary operator, and I think addition is standard. Also,
she omitted closure under the group operator from her axioms defining a
group. She mentioned then in the paragraph before, but it didn’t really
point out that she wouldn’t be repeating the point.

All in all, I think I have the same impression as someone who went in with
music theory knowledge but not group theory: interesting, but would
appreciate a little more detail.

This is interesting, although I got pretty lost in the music theory section. There were two odd things about it-she used multiplication as the name for the group binary operator, and I think addition is standard. Also, she omitted closure under the group operator from her axioms defining a group. She mentioned then in the paragraph before, but it didn’t really point out that she wouldn’t be repeating the point.

All in all, I think I have the same impression as someone who went in with music theory knowledge but not group theory: interesting, but would appreciate a little more detail.

Most groups are written with multiplication syntax. Addition syntax is usually reserved for Abelian (commutative) groups.

Good to know! I thought otherwise for a long time.