Hi everyone.
I have a soft question.
The direct product operation of finite groups up to isomorphism forms a commutative monoid.
Do you think it's possible to take this as multiplicative and form a ring?
In other words, is there an additive operation on finite groups?