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