# Math Help - indecomposable R-module

1. ## indecomposable R-module

i) Let p in R be a prime of a PID R. If A ad B are submodules of R/(p^n), n >=1 .
Show that either A belongs to B or B belongs to A. Deduce that R/(p^n) is an indecomposable R-module.
(ii) Let R be a PID and d is non_zero, non_unit. If R/(d) is indecomposable, show that d~p^n for some prime p in R.

Can you give me some hints how to do this question please?

Thank you so much

2. Originally Posted by dangkhoa
i) Let p in R be a prime of a PID R. If A ad B are submodules of R/(p^n), n >=1 .
Show that either A belongs to B or B belongs to A. Deduce that R/(p^n) is an indecomposable R-module.
an R-submodule of $S=\frac{R}{}$ is in the form $\frac{I}{},$ where $I$ is an ideal of $R$ containing $.$ so $A=\frac{}{}, \ B=\frac{}{},$ for some $a,b \in R$ and $a \mid p^n, \ b \mid p^n.$ thus $a=p^i u, \ b = p^j v,$

for some $i,j \leq n,$ and units $u,v.$ it's clear now that if $i \leq j,$ then $B \subseteq A$ and if $i \geq j,$ then $A \subseteq B.$ it's now obvious that $S$ is indecomposable because if $S=A \oplus B,$ for some submoules $A,B,$

then we'll have $A \cap B=(0).$ but, as we just showed either $A \cap B = A$ or $A \cap B=B.$ so we must have either $A=(0)$ or $B=(0).$

(ii) Let R be a PID and d is non_zero, non_unit. If R/(d) is indecomposable, show that d~p^n for some prime p in R.

Can you give me some hints how to do this question please?

Thank you so much
suppose $d$ has at least two distinct prime factors. let $p$ be a prime factor of $d.$ so we have $d=p^n a,$ where $\gcd(p,a)=1.$ therefore $ + =R.$ see that $\frac{}{} \cap \frac{}{} = (0)$ and so

$\frac{R}{}=\frac{}{} \oplus \frac{}{},$ which contradicts indecomposablity of $\frac{R}{}.$ thus $p$ is the only prime factor of $d$ and hence $d$ and $p^n$ are associates.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 36, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.987338125705719, "perplexity": 331.7431947210564}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2015-48/segments/1448398462686.42/warc/CC-MAIN-20151124205422-00330-ip-10-71-132-137.ec2.internal.warc.gz"}