Let D be an integral domain.
((a)) Prove that FD is an abelian group under the operation of addition.
((b)) Show that the operation of multiplication is well-defined in the field of fractions, FD.
((c)) Verify the associative and commutative properties for multiplication in FD.