Linear cellular automata: Garden of Eden Theorem, linear-surjunctivity and group rings