Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
Note that .
The linear isomorphism given by
takes to the standard simplex
|
|
|
and hence
|
|
|
Write as the kernel of defined
by . Then
, ,
and the exact sequence
|
|
|
gives as desired
|
|
|
Finally, the first assertion is clear.
∎