Our main goal in this talk is to define a Gröbner basis in a polynomial ring over a field and show how it is important to solve the ideal membership problem and other problems.