You should be careful with addition and multiplication - to use them, you would have to define them first, and this is not trivial if you have the natural numbers plus A->B->C->A, infinite chains and so on.

In addition, "group" has a specific mathematical meaning, if you use it for arbitrary sets this is quite confusing.