84:
74:
53:
165:
22:
345:
438:) and the norm is a Euclidean function for only very few examples. The fact that multiplicative Euclidean functions are generally not mentionad in this contex suggests that it is unknown whether these non-norm Euclidean functions are multiplicative or not, and that the multiplicative property is not important.
282:
I have corrected the paragraph to remove "concreteness", which is an editor's opinion, and thus has not its place in WP. I have also corrected the implicit assertion that GCD is computable in ED. In fact, GCD and BĂ©zout's identity are easily computable as soon as one has an algorithm for
Euclidean
425:
defines the concept of a multiplicative
Euclidean function without any evidence that this concept is commonly considered. In view of the high number of textbooks that consider Euclidean domains, a reference to a textbook is required to establish the notability of the concept. Knowledge is an
259:
The second paragraph is really about the difference between PIDs and EDs for which a
Euclidean function is given and there is additionally an algorithm for computing q and r. Otherwise, it's not so clear that EDs are any more concrete than PIDs, as neither come with explicit algorithms for
319:
It would be nice to list some examples of some things that are NOT euclidean rings. I'm not an algebraist and it's been a very long time since I studied such things, so I was looking back to determine if the polynomials in several variable was a euclidean ring.
371:
I think it should be the naturals union the zero element, and not just the naturals as the article says, because in that case for the polinomials over a field the degree of a constant polinomial should be zero, or the degree shouldn't be an euclidean function.
223:
At the top of the article, it says that
Euclidean domains are a superset of fields, but in the examples for Euclidean domain, it says "any field". But wouldn't this mean that these terms equivalent...?
140:
434:
have a multiplicative
Ruclidean funcion. Indeed, as mentioned in the article, most rings of integers of a number field that are principal ideal domains are Euclidean (possibly under a
444:
Recently a user insists to add to this paragraph the fact that somebody proved that there are
Euclidean domains which do not have a multiplicative Euclidean function. This is
283:
division (that is an algorithm for the quotient). But for most
Euclidean domains the computation of the quotient is not easy. For Euclidean domains that occur in
426:
encyclopedia, not a database for all definitions that have been ever given. Also, if the concept would be notable, it would have been studied which
Euclidean
239:
Every field is a
Euclidean domain, not every Euclidean domain is a field. A field (any field) is an example of a Euclidean domain. I don't see the problem.
491:
130:
106:
486:
225:
327:
379:
267:
463:
So, I'll revert again the recent addition, and wait for a consensus for removing the definition of multiplicative
Euclidean functions.
97:
58:
178:
435:
287:, when the Euclidean function is the square root of the norm, Euclidean division amounts to find the closest vector in a
33:
453:
208:
452:
that seems to not have been mentioned in any textbook. So, unless reliable secondary source are provided, this is
187:
449:
331:
229:
383:
271:
260:
instantiating Bezout's identity. It would be nice if the language of the paragraph made this more explicit.
431:
244:
39:
394:
Please, place the new sections at the end of the talk page and sign your posts with four tildes (~~~~).
83:
441:
So, I suggest to remove this paragraph unless a source is provided for the notability of the concept.
296:
375:
323:
263:
21:
456:, and therefore not suitable for Knowledge. In any case such a property does not belong to section
105:
on Knowledge. If you would like to participate, please visit the project page, where you can join
468:
406:
356:
304:
193:
89:
73:
52:
457:
427:
422:
189:
164:
292:
288:
398:
480:
464:
402:
352:
300:
284:
240:
401:
commonly include zero. Nevertheless, I have edited the article for clarification.
102:
79:
191:
299:. For more general Euclidean functions, the problem is much more dificult.
472:
410:
387:
360:
335:
308:
275:
248:
233:
194:
158:
15:
445:
101:, a collaborative effort to improve the coverage of
291:, which is a difficult problem related to the
202:This page has archives. Sections older than
8:
373:
47:
49:
19:
212:when more than 5 sections are present.
7:
315:Things which are not euclidean rings
95:This article is within the scope of
38:It is of interest to the following
417:Multiplicative Euclidean functions
14:
492:Mid-priority mathematics articles
206:may be automatically archived by
115:Knowledge:WikiProject Mathematics
343:
163:
118:Template:WikiProject Mathematics
82:
72:
51:
20:
255:PIDs vs EDs in second paragraph
135:This article has been rated as
436:generalized Riemann hypothesis
421:The last paragraph of section
367:Codomain of euclidean function
1:
309:19:07, 18 November 2013 (UTC)
276:17:24, 18 November 2013 (UTC)
234:00:05, 23 February 2012 (UTC)
109:and see a list of open tasks.
487:C-Class mathematics articles
411:18:32, 1 December 2014 (UTC)
388:18:13, 1 December 2014 (UTC)
508:
249:15:45, 20 April 2012 (UTC)
134:
67:
46:
473:14:57, 29 May 2024 (UTC)
448:, since the source is a
361:10:41, 22 May 2014 (UTC)
336:06:36, 22 May 2014 (UTC)
141:project's priority scale
432:algebraic number fields
98:WikiProject Mathematics
209:Lowercase sigmabot III
28:This article is rated
454:WP:original research
397:In mathematics, the
121:mathematics articles
297:Minkowski's theorem
90:Mathematics portal
34:content assessment
450:WP:primary source
428:rings of integers
390:
378:comment added by
326:comment added by
266:comment added by
216:
215:
155:
154:
151:
150:
147:
146:
499:
351:
347:
346:
338:
278:
211:
195:
167:
159:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
507:
506:
502:
501:
500:
498:
497:
496:
477:
476:
419:
399:natural numbers
369:
344:
342:
321:
317:
293:lattice problem
261:
257:
226:128.146.164.146
221:
219:Small Confusion
207:
196:
190:
172:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
505:
503:
495:
494:
489:
479:
478:
418:
415:
414:
413:
395:
368:
365:
364:
363:
328:98.155.236.135
316:
313:
312:
311:
295:and effective
256:
253:
252:
251:
220:
217:
214:
213:
201:
198:
197:
192:
188:
186:
183:
182:
174:
173:
168:
162:
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:
504:
493:
490:
488:
485:
484:
482:
475:
474:
470:
466:
461:
459:
455:
451:
447:
442:
439:
437:
433:
429:
424:
416:
412:
408:
404:
400:
396:
393:
392:
391:
389:
385:
381:
380:181.29.18.118
377:
366:
362:
358:
354:
350:
341:
340:
339:
337:
333:
329:
325:
314:
310:
306:
302:
298:
294:
290:
286:
285:number theory
281:
280:
279:
277:
273:
269:
268:99.37.200.120
265:
254:
250:
246:
242:
238:
237:
236:
235:
231:
227:
218:
210:
205:
200:
199:
185:
184:
181:
180:
176:
175:
171:
166:
161:
160:
157:
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:
462:
458:§ Definition
443:
440:
423:§ Definition
420:
374:— Preceding
370:
348:
322:— Preceding
318:
262:— Preceding
258:
222:
203:
177:
169:
156:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
112:Mathematics
103:mathematics
59:Mathematics
481:Categories
465:D.Lazard
403:D.Lazard
376:unsigned
353:D.Lazard
324:unsigned
301:D.Lazard
264:unsigned
241:Pirround
204:365 days
170:Archives
289:lattice
139:on the
30:C-class
36:scale.
446:WO:OR
469:talk
407:talk
384:talk
357:talk
349:Done
332:talk
305:talk
272:talk
245:talk
230:talk
430:of
131:Mid
483::
471:)
460:.
409:)
386:)
359:)
334:)
307:)
274:)
247:)
232:)
467:(
405:(
382:(
355:(
330:(
303:(
270:(
243:(
228:(
179:1
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.