?? algebraic integers -> [algebraic integers]/p ... ????

cyclotomic integers -> [cyclotomic integers]/p

??? ....

??? ??? adjoin to Z all algebraic integers whose defining equations are solvable over f_q .... ???? .... ???maybe we thought about this a pretty long time ago ??? ....

???adjoin to Z all cyclotomic integers whose defining equations are solvable over f_3 .... ??? ....

??? equivariance wrt galois groups .... ???? .....