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.