Assume . Then
Set , choose a direct-sum complement such that , and choose a complement such that .
The restriction is injective because , and it is surjective because every image equals after decomposing . It is therefore a isomorphism, so and . Also . Hence
has all the required properties.

Articles by others on the same topic (0)

There are currently no matching articles.