1 | initial version |

Yes, these

monomials that are not a multiple of any leading monomial of G

form a basis of the quotient ring $R/I$ (by the reduction algorithm), also called a *normal basis* for $I$.

```
sage: R.<x,y,z> = PolynomialRing(QQ,3)
sage: I = Ideal([x^2+y+z-1,x+y^2+z-1,x+y+z^2-1])
sage: B = I.groebner_basis(); B
[x^2 + y + z - 1, y^2 + x + z - 1, z^2 + x + y - 1]
sage: I.normal_basis()
[x*y*z, y*z, x*z, z, x*y, y, x, 1]
```

The number of elements in this basis, or the vector space dimension of $R/I$, can also be found as follows:

```
sage: I.vector_space_dimension()
8
```

The zero set, or variety, of the ideal is the following:

```
sage: I.variety(QQbar)
[{z: 0, y: 0, x: 1},
{z: 0, y: 1, x: 0},
{z: 1, y: 0, x: 0},
{z: -2.414213562373095?, y: -2.414213562373095?, x: -2.414213562373095?},
{z: 0.4142135623730951?, y: 0.4142135623730951?, x: 0.4142135623730951?}]
```

The number of elements is not 8, because we are missing the "multiplicities". Indeed,

```
sage: I.radical() == I
False
```

So perhaps the more interesting quantity is

```
sage: I.radical().vector_space_dimension()
5
```

which agrees with the number of zeros without multiplicity.

(There is an easy algorithm to compute the radical of a zero-dimensional ideal.)

Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.