劉容真李承修2019-09-052013-7-22019-09-052013http://etds.lib.ntnu.edu.tw/cgi-bin/gs32/gsweb.cgi?o=dstdcdr&s=id=%22GN0699400120%22.&%22.id.&http://rportal.lib.ntnu.edu.tw:80/handle/20.500.12235/101828For every even integer n=2k, let q_n be the ideal<x^{2n},y^{2n},(xy+z^2)^n,z^n> in the polynomial ring R=Q[x,y,z]. In her master's thesis [Y], Yao gives a Groebner basis G for q_n and proves that q_n+I_n contain in (q_n:m), where m is the maximal ideal <x,y,z> of R and I_n is the monomial ideal (x^k)(y^k)(z^{2k-1})<x^{2k},y^{2k}><x,y>^{k-1} of R. In this thesis, we prove that (q_n:m) and q_n+I_n are indeed equal. In the process of proving this equality, we give a Groebner basis for the ideals q_n+I_n and find the corner elements of the monomial ideal <LM(q_n)>.For every even integer n=2k, let q_n be the ideal<x^{2n},y^{2n},(xy+z^2)^n,z^n> in the polynomial ring R=Q[x,y,z]. In her master's thesis [Y], Yao gives a Groebner basis G for q_n and proves that q_n+I_n contain in (q_n:m), where m is the maximal ideal <x,y,z> of R and I_n is the monomial ideal (x^k)(y^k)(z^{2k-1})<x^{2k},y^{2k}><x,y>^{k-1} of R. In this thesis, we prove that (q_n:m) and q_n+I_n are indeed equal. In the process of proving this equality, we give a Groebner basis for the ideals q_n+I_n and find the corner elements of the monomial ideal <LM(q_n)>.計算colon idealsGroebner Bases和Corner Elements的應用:計算Colon IdealsAn Application of Groebner Bases and Corner Elements : Computing Colon Ideals