Proposition (a) is false. It says that there is a number in the domain that has the property that it times any other number in the domain equals 1: clearly false.
Its negation is (For all x)(there exists a y)[xy<>1].
Proposition (b) is of course true for the nonzero reals are an Abelian group.