17. $(G,,e)$ 若是代數中的一個群，$$ 是其中的二元運算，$e$ 是運算的單位元 (identity)，下列何者不一定對？ (A) 任意 $a \in G$，一定存在 $b \in G$ 使得 $ab=ba=e$ (B) 若 $a,b \in G$，則 $ab=ba$ (C) 若 $a,b,c \in G$，則 $(ab)c = a(bc)$ (D) 若 $a,b \in G$ 且 $ab=e$，則 $ba=e$