# Answer to Question #24419 in Algebra for siavosh

Question #24419

Show that : every homomorphic image of a Dedekind module is again Dedekind.

Expert's answer

If M is Dedekind module thenfor any submodule N of M we have N*N' = M, where N' =(M:N) in RT^-1, and T={t -

non zero divisor, that tm=0 implies m=0}. If we take any K - submodule of M

then submodules in M/K are only submodules N that contain K. But property

N*N' = M will be preserved since K c M and (M:K) c (M:N).

non zero divisor, that tm=0 implies m=0}. If we take any K - submodule of M

then submodules in M/K are only submodules N that contain K. But property

N*N' = M will be preserved since K c M and (M:K) c (M:N).

Need a fast expert's response?

Submit orderand get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!

## Comments

## Leave a comment