test whether an ideal is prime - Maple Help

Online Help

All Products    Maple    MapleSim


Home : Support : Online Help : Mathematics : Algebra : Polynomials : PolynomialIdeals : PolynomialIdeals/IsPrime

PolynomialIdeals[IsPrime] - test whether an ideal is prime

PolynomialIdeals[IsPrimary] - test whether an ideal is primary

PolynomialIdeals[IsMaximal] - test whether an ideal is maximal

PolynomialIdeals[IsProper] - test whether an ideal is proper

Calling Sequence

IsPrime(J, k)

IsPrimary(J, k)

IsMaximal(J, k)

IsProper(J, X)

Parameters

J

-

polynomial ideal

k

-

(optional) field extension

X

-

(optional) ring variables

Description

• 

The IsPrime, IsPrimary, and IsMaximal commands test whether an ideal is prime, primary, or maximal, respectively.  An ideal is prime if fg in J implies either f in J or g in J.  It is primary if fg in J implies that some power of f or of g is in J, and it is maximal if it is not contained within a larger ideal, other than the entire polynomial ring.

• 

Prime ideals are primary and radical. Maximal ideals are zero-dimensional and prime.  By convention, prime, primary, and maximal ideals must also be proper, meaning that they are not the entire polynomial ring.  The IsProper command can be used to test this condition separately.  An optional second argument allows you to override the ring variables.

• 

Primality tests are performed over the domain implied by the coefficients - usually the rationals or the integers mod p.  Additional field extensions can be specified with an optional second argument k, which may be a single RootOf or radical, or a list or set of RootOfs and radicals.

• 

Of particular interest is the fact that any ideal can be decomposed into the finite intersection of primary ideals. The PrimaryDecomposition command can be used to do this.  The solution set of a primary ideal is an irreducible affine variety.

• 

The algorithms employed by these commands require polynomials over a perfect field.  Infinite fields of positive characteristic are not supported, and over finite fields only zero-dimensional ideals can be handled because the dimension reducing process generates infinite fields.

  

Note: In contrast with Groebner[IsProper], PolynomialIdeals[IsProper] does not consider the zero ideal 0 to be proper.

Examples

withPolynomialIdeals:

J:=x2+1,y22,z2+2

J:=x2+1,y22,z2+2

(1)

f:=zxy

f:=xy+z

(2)

g:=z+xy

g:=xy+z

(3)

f∈Jorg∈J

false

(4)

fg∈J

true

(5)

IsPrimeJ

false

(6)

PrimaryDecompositionJ

x2+1,y22,z2+2,xy+z,x2+1,y22,z2+2,xy+z

(7)

K:=xyz2,y2+z3+1

K:=yz+x2,z3+y2+1

(8)

xyz∈K

false

(9)

IsPrimeK

false

(10)

IsPrimaryK

true

(11)

L:=x42,y2+z

L:=x42,y2+z

(12)

IsPrimeL

true

(13)

IsMaximalL

false

(14)

HilbertDimensionL

1

(15)

aliasα=RootOfz22

α

(16)

IsPrimeL,α

false

(17)

PrimaryDecompositionL,α

x2α,y2+z,x2+α,y2+z

(18)

J:=x,x+1

J:=x,x+1

(19)

IsProperJ

false

(20)

SimplifyJ

1

(21)

See Also

alias, Groebner[IsProper], PolynomialIdeals, PolynomialIdeals[HilbertDimension], PolynomialIdeals[IdealMembership], PolynomialIdeals[IsRadical], PolynomialIdeals[PrimaryDecomposition], PolynomialIdeals[Simplify], PolynomialIdeals[ZeroDimensionalDecomposition]

References

  

Gianni, P.; Trager, B.; and Zacharias, G. "Grobner bases and primary decompositions of polynomial ideals." J. Symbolic Comput., Vol. 6 (1988): 149-167.


Download Help Document

Was this information helpful?



Please add your Comment (Optional)
E-mail Address (Optional)
What is ? This question helps us to combat spam