It is a true or false question. Sorry. I am coming up with true, because if c=n then ac=bc is true as well?
The problem was, as I understand it,
Is the following true or false?
For every a, b, c ∈ N, if ac ≡ bc (mod n) then a ≡ b (mod n).
You appear to be unfamiliar with what this sort of question means (which is not unusual for students facing their first course involving proof). They are asking whether this is
always true: that
whenever you have three numbers such that ac ≡ bc (mod n) then it
must be true that a ≡ b (mod n).
That is why, in post #5, a
counterexample was suggested - that is, an example in which ac ≡ bc (mod n), but it is
not true that a ≡ b (mod n).
It was also suggested that you look at the theorems you have been taught, and think about whether any of them state (or imply) the fact you are asked about, or whether some additional condition is required (as it is). Have you done that?
When you say,
if c=n then ac=bc is true as well?
you appear to be thinking that if you take c to be n itself, then ac ≡ bc (mod n), since it is
always true that an ≡ bn (mod n). Correct. But don't you see that this is reason to say that the statement is
false? You've seen that the condition of the statement can be true without the conclusion having to be true.