在這篇論文中,我們將會學習Groebner基底和不變量環的一些基本性質。我們將給予一些例題去說明如何利用Groebner基底來解聯立方程式,並將Groebner基底應用在理想元素的隸屬問題以及求兩個理想的交集。我們也將它使用在不變量環的一些性質,這些性質主要描述說當給定一個有限群後,它的不變量環生成元可利用 Groebner基底來求出關係。 這篇論文主要分成三節。第一節是探討有關Groebner基底的基本性質,並且討論當在解聯立方程式時所使用到的消去和擴展定理。第二節探討當給定任何一個有限群時我們如何創造出它的不變量環。在最後一節,我們將給一些可以使用不變量環的例子。第一個例子,我們探討一個立方體於對稱群的所有不變量。而第二個例子我們將會使用電腦來幫我們求出它的不變量環。這篇論文裡我們使用Maple來幫我們計算。 In this thesis, we shall study some basic properties of Groebner basis and ring of invariants. We shall give some examples to show the use of Groebner basis in solving polynomial equation, determining ideal memberships and intersection of ideals. We shall also discuss basic theories on ring of invariant. Some examples on the construction of generators for a ring of invariant of finite group will be given. Relations among the generators will be found by using Groebner basis. This thesis is divided into three sections. Section 1 is about basic properties of Groebner basis, then talk about elimination and extension theorems which is used in solving polynomial equation. Section 2 is about how to construct the ring of invariant when giving a finite group. In the last section, we shall give some examples on calculation of ring of invariant. In particular, we discuss the invariants of the symmetry group of a cube. We also give an example to show how to compute explicitly ring of invariant of an abelian group. Groebner basis calculation is implemented in many computer algebra systems, such as Maple, MATHEMATICA, Cocoa etc. In this thesis, we use Maple to do our calculations.