On infinite modules M over a Dedekind domain for which N~M for ...

3 downloads 1077 Views 236KB Size Report
Jul 7, 2005 - As a consequence, we get ... free modules over a Dedekind domain: ... in which all torsion elements of S have prime annihilators in R. Proof.
    

        

                                Ê         Å   !  Ê"   #  Å  $    $  #  $ Å $  #   # Å # #%  Å & ' (   ##!     %#     " # & # %%  ) # #    ##$    #    *+  #  #,    %  #% $  -.##  # $  *+ 

                                                           

                          !"       !"        !"                        !     !"                  "  !"            #      

 ! "  

                            #  -  / 0112   # $   31 0114

 !"#$  %%%%& '()*+, ­-  -.( /,0)/ 0,+0,)-1 /1,)

#

%$ #&'

 

 ! "  # $                 !               %

( )   *$#+   

   

             !           #         

 ! "  $ !,  "

-            .   

            / !  0  %)1'+"               2       3 

&"   4      5      

 3  .  3           

                 .  3         6        3  

 ! "  '                   !                                 

3 

&"  # 4   3  7     '                  

   

8    8   '        '

 &5&&  *6  Å

#&1

(                                         6                    '                    9 

&"  $ 4         3               !      3 "             (   

 ! "  (              

#   ! 

             %

.      ))+

             

  *               #   !                           

  % :         0                                        ! "  -         0   ½        ;     5      .  

     ½ ¾            ½ !                  5      0 "

  ! "   <               ! "    6         #  Æ       '            

    '          ½      ½      ½            .   



#&#

 

&"  ' 4                    .  3     3       3              !  "   !"           !"            3      /;      0        /               !        "               '    '        !"

 ! "  +





%

( )#   #* #$+

 ! "  ,          /  &               ! "    1 '

     !"          !"          ( !"  ! "        !"              ! " %

( )   #&$+

.        

 ! "  )    !   "            

             !          ! " 

                    !  "   !  "           



 &5&&  *6  Å

#&*

# - .&."  "-                                                       

             "    "     !     !  "   !  :    !  "  3        3            /    = <                        .       !  "  !   " <            !"   !  " !"   >      3 .  3      3                 3 3  >       !"  

    !"               !"   .              )!" !"+     7 !"          

 )!" !"+ 6  !"      )!" !"+ 7 !

"       )!" !"+           .   

 %

 #                            !    !  "  #  % 4    5           2    1 !  "   7         !"             '      5      ?     2

          !  ' 

    " 2     !  " :             !  "           !  "   ! " (          !  "                    :            >                 ! "        2       !  "  

#&@

 

 $                       ! " !" %           .    1    .                   ! " ! "  ! " 8 ! " 8  .      3  9  .         ! " 8    6                   ! "  ! " :      ! " !"               !" .       !"8 ! "8   9       !" .   



 '    #  !         $    

  ) +                 

    ) +   %           .    1     .              (       3                      ) +  >          ) + 7           ) +  

       ) +                -      A              :           ! ") +     2  ! ") + ) +    ) +   .   



 ( $      !  !   "          !   !          

     !           

      ! %

. 

          

- 0              . 

 



 &5&&  *6  Å

#&$

 + $                               #   

   0! " 6               

-   !2            "              #  !

 

                  !1"         #    !#"            !*"              !@"                      #     ! "                  !$"   #   # 

% 4               3                !1" !$"   (               : 4 &        (       

    : /    #                 7                          0!  "  7                                : /    *                     !1" -           60   5      ¼ '      ¼           ¼     

   ¼     >            5      :                  .  

 &5&&  *6  Å

#&C

               7                    3          3        !@"

 #     (             4       !'" .       9                ! "  .      3    

  5                                   .   

  !#" .           : /    @ 

               5      .        2  1    

        3       5       4 ) +           

           /0.   ) +   .   

    ) +     2  1                                1       !*" -                 0!  "                        .                

     !@"

/0. #  ) +    <      !"   4 $       ) + !   3 "        )+ !    3 "   3   3  .         /         )+    6                        2 

          ;       ( 

          )+                                     )+ -  

#&=

 

                    )+  )+       )+    (                 )+ A       ! 

    "    )+   >      4       )+ : 4 @     

      )+           )+ .        )+          4 @          7                              5      EF    

    /D    <    EF     

 &5&&  *6  Å

#&%

               EF                          #  

  )*                 !1"       # !#"            !*"  ! "               # 

  * #

!

% 7       7                        !#" !*"

 !$" 7 ;        !*"  !$"  EF     .         / <         5     !"  :          !"       .   



           

  * $ $              #        #  #     )*                        % 2   Æ             5       4        .        !"  8     9  .      

  

6  0          EF       )# +      )# +3   )# +!!# ""  !# "           )# +

#C'

 

7              EF     !       " $            $    $ .     $          

 ! "  2  $      )*        $  $ $ 4 $       $ (  $ $  . $         $       $$  7  

       $ 4  $ $$         %       $$   )% +       $   %         $ $$ . $$      EF   %3  .    2    # .           $ $  .   

 %



A6A