Irreducible Components in a Primary Decomposition

1. Mar 8, 2007

ircdan

Let R be a Noetherian Ring and I an ideal in R.

Let I = Q_1 n ... n Q_r = J_1 n ... n J_r be two primary decompositions of I.

How can I show the number of irreducible components in each decomposition is the same?

2. Mar 8, 2007

matt grime

Firstly you shoulnd't have r on both sides of that equality. Secondly, you will need to know the definition of 'primary'. So what is it? What does it imply? Does this seem familiar to any other result you know? Is the result even true? (i.e. think about what a counter example might be and see where it fails to satisfy some hypothesis.)

3. Mar 8, 2007

ircdan

Matt, thank you very much for your reply. Yes the result is true. I'm assuming all uniqueness theorems found in say, Dummit and Foote. I figured it would be easier to prove with some theory in place, hence why I have r on both sides. Whether I need this or not I don't know, but I figured it might make things easier.

Any help would be greatly appreciated.

Last edited: Mar 8, 2007
4. Mar 8, 2007

matt grime

The point was that by writing r on both sides you were assuming the result you wanted to show. And you haven't written out the definition of primary/prime and what it implies in a Noetherian ring. The result will be deducible from the definitions, so what are the definitions? I gave you plenty of help and you ignored it all.

5. Mar 9, 2007

mathwonk

i think you need also to assume the decompositions are irredundant, or it is not true.
{"extraction_info": {"found_math": false, "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": 0, "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.8102344274520874, "perplexity": 558.0829005583199}, "config": {"markdown_headings": false, "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-2016-50/segments/1480698541950.13/warc/CC-MAIN-20161202170901-00138-ip-10-31-129-80.ec2.internal.warc.gz"}