This paper discusses some algebraic structures and their geometric counterparts associated with a rational-in-the-state representation (RSR) and a polynomial-in-the-state representation (PSR) obtained via system immersion of a given nonlinear system. First, all of RSRs and PSRs obtained by an identical immersion are parameterized in terms of the relation ideal of the immersion. Second, the notions of an invariant ideal and an invariant variety of a nonlinear system over a ring are introduced, which are closely related to a differential algebraic equation. Then, it is shown that a RSR and a PSR have invariant ideals and invariant varieties associated with an immersion. In particular, an invariant variety of a RSR or a PSR is the Zariski closure of the image of the immersion, i.e., the smallest variety containing the image of the immersion.