how to list a scheme all elements?

asked 10 years ago

this post is marked as community wiki

This post is a wiki. Anyone with karma >750 is welcome to improve it.

A = AffineSpace(2, GF(3,2))
show(A);
A.rational_points()
show(A.coordinate_ring())
show(A.base_scheme())
A.base_scheme().list()

I want list A.base_scheme Spectrum all elements

Preview: (hide)

Comments

What do you mean by "elements" of a spectrum ? The prime ideals ? The rational points ?

vdelecroix gravatar imagevdelecroix ( 10 years ago )

The prime ideals

cjsh gravatar imagecjsh ( 10 years ago )
1

You know that there are infinitely many of them ? You can not do a list! And if the base scheme is a field, you have only one prime ideal.

vdelecroix gravatar imagevdelecroix ( 10 years ago )

yes,I know base scheme is a field ,there ave only one prime ideal,I want know hot to list it? if base scheme is a finite ring for A = AffineSpace(2, Zmod(17)) hot to list it prime Spectrum elements?

cjsh gravatar imagecjsh ( 10 years ago )