Negative in Integral Domain is Unique

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $\struct {D, +, \times}$ be an integral domain.

Let $a \in R$.


Then the negative $-a$ of $a$ is unique.


Proof

From the definition of an integral domain, $\struct {D, +, \times}$ is a ring.

The result follows from Ring Negative is Unique.

$\blacksquare$


Sources