Associativity holds as your multiplication is just the multiplication in the ring, which is associative.
Identity holds as .
So closure and inverses remain to be proven. However, if we prove closure we have proven inverses (why?).
So, , . This means we can find , such that and . Then can you think up an inverse for ?