Mathematics – Group Theory
Scientific paper
2009-10-05
Theoret. Comput. Sci. 412 (2011), 300-306
Mathematics
Group Theory
Scientific paper
10.1016/j.tcs.2010.09.020
When $G$ is an arbitrary group and $V$ is a finite-dimensional vector space, it is known that every bijective linear cellular automaton $\tau \colon V^G \to V^G$ is reversible and that the image of every linear cellular automaton $\tau \colon V^G \to V^G$ is closed in $V^G$ for the prodiscrete topology. In this paper, we present a new proof of these two results which is based on the Mittag-Leffler lemma for projective sequences of sets. We also show that if $G$ is a non-periodic group and $V$ is an infinite-dimensional vector space, then there exist a linear cellular automaton $\tau_1 \colon V^G \to V^G$ which is bijective but not reversible and a linear cellular automaton $\tau_2 \colon V^G \to V^G$ whose image is not closed in $V^G$ for the prodiscrete topology.
Ceccherini-Silberstein Tullio
Coornaert Michel
No associations
LandOfFree
On the reversibility and the closed image property of linear cellular automata does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with On the reversibility and the closed image property of linear cellular automata, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the reversibility and the closed image property of linear cellular automata will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-356962