[SOLVED] Abstract Algebra: Integers Modulo n

Güten Tag!

Here's another one. This is one of those questions where the answer seems so obvios to me that I don't know how they expect me to do it.

__Problem:__

Prove that for all

__Things that may come in handy:__

Nothing really. I assume that anyone who would be able to help me on this will already know what all those symbols I used mean. We really don't need to know anything but their defintions I think.

__What I've Tried:__

Stared at the problem for many minutes wondering..."Uh, isn't this obvios? and are associative and commutative on . Does the result not immediately follow from that? Maybe they are asking me to prove: , in which case, the solution is again obvios and trivial! (and when i say that, you know it's true. I'm only a Nascent Mathematician, after all)"

Can anyone help me to rise above my inclinations and be rigorous with this problem?

Thanks guys and gals (of course, for future reference, unless otherwise stated, gals refers to JaneBennet -- are there anymore female mathematicians otu there?)