My Math Forum  

Go Back   My Math Forum > College Math Forum > Abstract Algebra

Abstract Algebra Abstract Algebra Math Forum


Reply
 
LinkBack Thread Tools Display Modes
September 30th, 2015, 11:06 PM   #1
Senior Member
 
Joined: Jan 2015
From: usa

Posts: 104
Thanks: 1

height of prime ideal

can someone please help me to show this result:
Let A be a factoriel ring,and P included in A be a prime ideal
show this equivalence:
a)p is a principal ideal
b) ht(p) ≤1
thanks in advance
mona123 is offline  
 
October 11th, 2015, 11:56 AM   #2
Newbie
 
Joined: Oct 2015
From: Toronto

Posts: 14
Thanks: 1

Suppose that $P$ is a principal prime ideal generated by $a$, let $Q$ be a prime strictly contained in $P$ and $b$ an element of $Q$. We can write $b =ca$. Since A is factoriel, $c = p_1...p_n$ where $p_i$ is irredcible. We deduce that $b = p_1...p_na$. Thus, $p_1(p_2...p_na)$ is an element of $Q$. Since $Q$ is a prime, $p_1\in Q$ or $p_2...p_nc \in Q$.
Suppose that $p_1\in Q$ since $Q$ is contained in $P$, we can write $p_1 = da$ we deduce that $d$ is invertible since $p_1$ is irreducible.This implies that $a\in Q$ and henceforth $P = Q$.This is a contradiction. Thus $p_2(p_3..p_n)a \in Q$. We repeat the previous step $n-1$ times to deduce that $a\in Q$. This is a contradiction thus the height of $P$ is 1.

On the other hand, suppose that the height of the prime ideal $P$ is 1. Let $a$ be a non zero element of $P$, we can write $a = p_1...p_n$ where $p_i$ is irreducible since $A$ is factoriel, suppose that $p_i$ is not in $P$ for every $i$, this implies that $p_1p_2$ is not in $P$ since $P$ is a prime. For the same reason, $p_1p_2p_3,....,p_1...p_n =a$ is not in $P$ a fact which is a contradiction. Thus $P$ contains an irreducible element that we call $a$ Since $(a)$ the ideal generated by $a$ is a prime (since $A$ is factoriel and $a$ irreducible) and the height of $P$ is 1, we deduce that $(a) = P$.

Last edited by Aristide Tsemo; October 11th, 2015 at 12:00 PM.
Aristide Tsemo is offline  
Reply

  My Math Forum > College Math Forum > Abstract Algebra

Tags
height, ideal, prime



Thread Tools
Display Modes


Similar Threads
Thread Thread Starter Forum Replies Last Post
inclusion of ideals, relations, prime ideal, proof rayman Abstract Algebra 0 September 24th, 2012 04:34 AM
Prime Ideal talisman Abstract Algebra 2 August 12th, 2012 12:17 AM
ideal ely_en Real Analysis 0 March 4th, 2012 11:22 AM
Prime ideal iamiam Abstract Algebra 2 December 5th, 2010 12:48 PM
algebraic number theory - proving an ideal is prime nilap Number Theory 2 April 14th, 2009 04:46 PM





Copyright © 2019 My Math Forum. All rights reserved.