84:
74:
53:
22:
232:
cellular automata. Moreover the statement of Garden-of-Eden theorem is "pre-injectivity is equivalent to surjectivity" which implies "injectivity implies surjectivity" but is stronger. In particular, the surjunctivity holds on the free group while Garden-of-Eden doesn't. The classical proof of
188:
The theorem is often given as this special case: If P is an injective polynomial function from an n-dimensional complex vector space to itself then P is bijective. That is, if P always maps distinct arguments to distinct values, then the values of P cover all of
205:
statement of the Ax-Grothendieck theorem that appears in the current article, the "polynomial mapping" P is not defined as a polynomial mapping over the same field as the vector space. This may be implicit, but it should be explicit.
210:
140:
272:
130:
267:
106:
228:
I don't see why the Ax-Grothendieck theorem implies Garden-of-Eden theorem for general cellular automata. The reference given is only about
214:
244:
194:
But for any article about a mathematical object like a theorem or a definition, there needs to be a rigorous definition of the object
164:
97:
58:
209:
We are also never told over which fields this theorem has been proved for. The theorem needs to be stated clearly and fully.
33:
21:
248:
168:
39:
83:
240:
160:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
89:
73:
52:
252:
218:
172:
261:
183:
The only statement of the Ax-Grothendieck theorem in the article is as follows:
102:
234:
79:
233:
Garden-of-Eden for any cellular automata on any amenable group (
15:
179:
This article needs a rigorous statement of its subject
101:, a collaborative effort to improve the coverage of
8:
19:
238:
47:
211:2600:1700:E1C0:F340:E11E:B0DE:F074:B85C
49:
157:The theorem is not precisely stated!
7:
95:This article is within the scope of
198:in the article. But this has none.
38:It is of interest to the following
14:
273:Mid-priority mathematics articles
115:Knowledge:WikiProject Mathematics
268:Start-Class mathematics articles
237:) doesn't use Ax-Grothendieck.
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
1:
173:21:12, 10 February 2012 (UTC)
109:and see a list of open tasks.
253:12:09, 6 November 2018 (UTC)
235:cellular automata and groups
289:
134:
67:
46:
224:Link with Garden of Eden
219:22:36, 28 May 2018 (UTC)
141:project's priority scale
98:WikiProject Mathematics
28:This article is rated
121:mathematics articles
90:Mathematics portal
34:content assessment
255:
243:comment added by
163:comment added by
155:
154:
151:
150:
147:
146:
280:
175:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
288:
287:
283:
282:
281:
279:
278:
277:
258:
257:
226:
181:
158:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
286:
284:
276:
275:
270:
260:
259:
225:
222:
180:
177:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
285:
274:
271:
269:
266:
265:
263:
256:
254:
250:
246:
242:
236:
231:
223:
221:
220:
216:
212:
207:
204:
199:
197:
192:
190:
184:
178:
176:
174:
170:
166:
162:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
245:147.94.77.12
239:— Preceding
229:
227:
208:
202:
200:
195:
193:
187:
185:
182:
159:— Preceding
156:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
165:157.92.4.75
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
262:Categories
230:algebraic
196:somewhere
241:unsigned
203:informal
201:(In the
161:unsigned
139:on the
36:scale.
249:talk
215:talk
169:talk
131:Mid
264::
251:)
217:)
191:"
171:)
247:(
213:(
189:C
186:"
167:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.