The connection between ideals and varieties for polynomial rings over finite fields is investigated. An extension to Hilbert's NullstellenSatz is given for these ideals. Furthermore projections and embeddings of these is examined. These results basically give ideal theoretic formulations for several algebro-geometric questions. This in turn is translated to Grobner basis and polynomial remainder calculations. Anexample implementation in Mathematica is also given.