how to list a scheme all elements?

asked 2014-10-21 05:23:16 -0600

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

edit retag flag offensive close merge delete

Comments

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

vdelecroix gravatar imagevdelecroix ( 2014-10-21 05:43:17 -0600 )edit

The prime ideals

cjsh gravatar imagecjsh ( 2014-10-21 05:45:10 -0600 )edit
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 ( 2014-10-21 05:47:02 -0600 )edit

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 ( 2014-10-21 05:59:56 -0600 )edit