あと気になったのは群は一般的に可換でないから
[個・枚^-1]×[枚]と[枚]×[個・枚^-1]はイコールとは限らないけどいいの?