Suppose element of . Let us show that there exists a unique element of such that . Let and are the solutions of the equation . Then and . It follows that Since is a group, using left cancellation law we conclude that . After multiplying by from left we have that
Then using compatibility of scalar multiplication with field multiplication we conclude that and hence Using property of identity element of scalar multiplication we conclude that Consequently, there exists a unique element of such that .
Comments