In an elementary group theory course this is the type of problem that would be given when groups are first introduced. It's a good homework/test question and just writing a*c = a as the answer would not suffice (depending on the level of the course and aim of the problem). The point at that level is for the student to learn how to justify their beliefs.

This is especially so if one were in a basic mathematical logic course. Of course, in an algebraic topology course where this group showed up it would be assumed that everyone knows how to find the answer and why. No justification would be needed.