Equivalence of GFp and Gp in LTL
No, not equivalent and not redundant.

Consider $p$ being true if and only if $j$ is even.  $\mathbf{G}p$ is not true (obviously, since $p$ is false in every odd state), but $\mathbf{GF}p$ is always true.