سوال ۳۷ کنکور ارشد علوم کامپیوتر ۱۴۰۲

رابطه همارزی $E$ را روی $\mathbb{Z}_9 = \{0,1,2,\dots,8\}$ بهصورت $a\,E\,b \iff a^2 \equiv b^2 \pmod 9$ تعریف میکنیم. از دو گزاره زیر کدام درست است؟

الف) مجموعه تمام ردههای همارزی $E$ عبارتست از: $\{[0],[2],[3],[6],[8]\}$

ب) مجموعه تمام ردههای همارزی $E$ عبارتست از: $\{[1],[2],[3],[4]\}$