The restriction is injective because , and it is surjective because every image equals after decomposing . It is therefore a isomorphism, so and . Also . Hencehas all the required properties.
Articles by others on the same topic
There are currently no matching articles.