isomorphism between an ideal and its double dual
up vote
0
down vote
favorite
Let $R=mathbb{Z}[sqrt{-14}]$, $I_1 = (3, 1 + sqrt{-14})$ and $I_2 = (3, 1 - sqrt{-14})$.
I need to check that the natural maps $I_1 longrightarrow I_1^{veevee}$ and $I_2 longrightarrow I_2^{veevee}$ are isomorphisms.
By natural map I mean the map that sends every element $a longrightarrow ev_a$. Where $ev_a$ is the evaluation map $ev_a: phi longrightarrow phi(a)$.
I have already proved that $I_1^{vee} cong I_2$ and $I_2^{vee} cong I_1$.
But I do not know how to check that these maps are isomorphisms.
abstract-algebra commutative-algebra modules ideals
add a comment |
up vote
0
down vote
favorite
Let $R=mathbb{Z}[sqrt{-14}]$, $I_1 = (3, 1 + sqrt{-14})$ and $I_2 = (3, 1 - sqrt{-14})$.
I need to check that the natural maps $I_1 longrightarrow I_1^{veevee}$ and $I_2 longrightarrow I_2^{veevee}$ are isomorphisms.
By natural map I mean the map that sends every element $a longrightarrow ev_a$. Where $ev_a$ is the evaluation map $ev_a: phi longrightarrow phi(a)$.
I have already proved that $I_1^{vee} cong I_2$ and $I_2^{vee} cong I_1$.
But I do not know how to check that these maps are isomorphisms.
abstract-algebra commutative-algebra modules ideals
To check isomorphism, it suffices to localize and this will become free module as those ideals are rank 1 projective line bundle over spec(R). This reduces to checking the localized morphism being canonical map ismorphism $Vto V^{starstar}$ of 1 generator. The result is trivial for PID which will be the case after localization.
– user45765
Nov 17 at 0:51
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
Let $R=mathbb{Z}[sqrt{-14}]$, $I_1 = (3, 1 + sqrt{-14})$ and $I_2 = (3, 1 - sqrt{-14})$.
I need to check that the natural maps $I_1 longrightarrow I_1^{veevee}$ and $I_2 longrightarrow I_2^{veevee}$ are isomorphisms.
By natural map I mean the map that sends every element $a longrightarrow ev_a$. Where $ev_a$ is the evaluation map $ev_a: phi longrightarrow phi(a)$.
I have already proved that $I_1^{vee} cong I_2$ and $I_2^{vee} cong I_1$.
But I do not know how to check that these maps are isomorphisms.
abstract-algebra commutative-algebra modules ideals
Let $R=mathbb{Z}[sqrt{-14}]$, $I_1 = (3, 1 + sqrt{-14})$ and $I_2 = (3, 1 - sqrt{-14})$.
I need to check that the natural maps $I_1 longrightarrow I_1^{veevee}$ and $I_2 longrightarrow I_2^{veevee}$ are isomorphisms.
By natural map I mean the map that sends every element $a longrightarrow ev_a$. Where $ev_a$ is the evaluation map $ev_a: phi longrightarrow phi(a)$.
I have already proved that $I_1^{vee} cong I_2$ and $I_2^{vee} cong I_1$.
But I do not know how to check that these maps are isomorphisms.
abstract-algebra commutative-algebra modules ideals
abstract-algebra commutative-algebra modules ideals
asked Nov 16 at 16:16
idrisk
214
214
To check isomorphism, it suffices to localize and this will become free module as those ideals are rank 1 projective line bundle over spec(R). This reduces to checking the localized morphism being canonical map ismorphism $Vto V^{starstar}$ of 1 generator. The result is trivial for PID which will be the case after localization.
– user45765
Nov 17 at 0:51
add a comment |
To check isomorphism, it suffices to localize and this will become free module as those ideals are rank 1 projective line bundle over spec(R). This reduces to checking the localized morphism being canonical map ismorphism $Vto V^{starstar}$ of 1 generator. The result is trivial for PID which will be the case after localization.
– user45765
Nov 17 at 0:51
To check isomorphism, it suffices to localize and this will become free module as those ideals are rank 1 projective line bundle over spec(R). This reduces to checking the localized morphism being canonical map ismorphism $Vto V^{starstar}$ of 1 generator. The result is trivial for PID which will be the case after localization.
– user45765
Nov 17 at 0:51
To check isomorphism, it suffices to localize and this will become free module as those ideals are rank 1 projective line bundle over spec(R). This reduces to checking the localized morphism being canonical map ismorphism $Vto V^{starstar}$ of 1 generator. The result is trivial for PID which will be the case after localization.
– user45765
Nov 17 at 0:51
add a comment |
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3001329%2fisomorphism-between-an-ideal-and-its-double-dual%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
To check isomorphism, it suffices to localize and this will become free module as those ideals are rank 1 projective line bundle over spec(R). This reduces to checking the localized morphism being canonical map ismorphism $Vto V^{starstar}$ of 1 generator. The result is trivial for PID which will be the case after localization.
– user45765
Nov 17 at 0:51