84:
74:
53:
22:
550:
162:
555:
424:"Another property suggested by geometric intuition is that the localization of a regular local ring should again be regular. Geometrically, this corresponds to the intuition that if a surface contains a curve, and that curve is smooth, then the surface is smooth near the curve."
442:
There needs to be a consensus throughout the entry on whether a regular local ring needs to be a domain. If not, then certainly it needn't be a UFD (as claimed twice). If yes, then that should be added to the definition in the introduction.
528:
For the sake of accuracy and efficiency, I think it's better to have just one article on regular rings and regular local rings (as they are essentially the same concept). Since "regular local ring" is a more common term, that means to merge
613:
That’s not necessarily an argument against the merger, though. By means of merger, the article will acquire a discussion of geometrically regular ring (which may be a good thing from the point of view of this article). The article
427:
What about the example of say the surface of two cones joined at their pointy ends. A straight line that runs from one to the other is smooth, but the surface is not locally smooth around the point of intersection?!?
140:
209:
202:
I think the non-example of the dual numbers is outright false. One can easily check the krull dimension to be 1 and the vector space m/m_2 obviously also has. I recommend its removal.
417:
In the definition of regular, I think a stronger condition than just m=(a_1, \ldots, a_n) is needed. Perhaps that a_1, \ldots a_n is a minimal generating set for m would do.
346:
272:
511:? Is not the localization of k at say (x) a regular local ring, a simpler example? Is there some reason why the only examples given in the article are completions? -
394:
647:
130:
642:
481:
A Noetherian Ring R ist a regular ring, if every localization with a prime ideal a regular lokal ring is (see the last two sentences of the article).
106:
428:
458:
444:
97:
58:
488:
213:
33:
618:
has some examples relevant to this article so that also argues for the merger. But anyway we need a tiebreaker. —-
615:
591:
587:
348:(still the same ring but a different presentation) is a better example?, which is more clearly a local ring. —-
432:
462:
448:
39:
21:
492:
484:
205:
623:
538:
353:
507:
Why are all the examples of regular rings in the article completions, rings of formal power series like k
105:
on
Knowledge (XXG). If you would like to participate, please visit the project page, where you can join
181:
on 14 September 2020. For the contribution history and old versions of the redirected page, please see
83:
562:
174:
401:
291:
279:
178:
89:
73:
52:
619:
603:
571:
534:
349:
227:
188:
594:
isn't mentioned on the page (except as a 'see also'), the case is far from clear. Hence
512:
370:
636:
397:
275:
599:
567:
530:
522:
475:"If A is a regular ring, then it follows that the polynomial ring A is regular."
102:
79:
627:
607:
575:
542:
515:
496:
466:
452:
436:
283:
217:
156:
15:
478:
the ring A is not a lokal ring. We need here the definition
413:(Header to organize random weirdly formatted comments below)
508:
457:
Oops...I see that it is a consequence of the definition.
183:
169:
373:
294:
230:
367:
I disagree that it is "more clearly local." I think
101:, a collaborative effort to improve the coverage of
388:
340:
266:
503:some relationship between regular and complete?
312:
301:
396:is more accessible and therefore preferable.
274:is Artinian, hence has Krull dimension zero.
8:
187:; for the discussion at that location, see
19:
203:
47:
372:
329:
317:
293:
255:
243:
229:
115:Knowledge (XXG):WikiProject Mathematics
49:
210:2A01:CB04:4FF:7600:75C9:DD45:697:4EBF
7:
549:
95:This article is within the scope of
38:It is of interest to the following
14:
648:Low-priority mathematics articles
586:There are June template to merge
198:Problem with dual numbers example
643:Start-Class mathematics articles
553:
548:
160:
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
576:10:56, 14 September 2020 (UTC)
383:
377:
335:
322:
314:
309:
303:
298:
261:
248:
240:
234:
1:
543:01:23, 15 November 2019 (UTC)
284:20:49, 14 November 2019 (UTC)
218:19:27, 14 November 2019 (UTC)
109:and see a list of open tasks.
516:22:10, 18 January 2018 (UTC)
437:15:03, 29 January 2010 (UTC)
341:{\displaystyle k\!]/(x^{2})}
664:
628:07:51, 4 August 2024 (UTC)
616:geometrically regular ring
608:21:13, 3 August 2024 (UTC)
592:Geometrically regular ring
588:Geometrically regular ring
497:19:13, 21 March 2011 (UTC)
467:15:31, 25 July 2010 (UTC)
453:15:28, 25 July 2010 (UTC)
404:) 21:23, 14 November 2019
267:{\displaystyle k/(x^{2})}
134:
67:
46:
590:to here, but given that
141:project's priority scale
98:WikiProject Mathematics
533:into this article. --
390:
342:
268:
28:This article is rated
391:
343:
269:
167:The contents of the
32:on Knowledge (XXG)'s
371:
292:
228:
121:mathematics articles
521:Merger with (from)
386:
338:
313:
302:
264:
179:Regular local ring
90:Mathematics portal
34:content assessment
487:comment added by
389:{\displaystyle k}
220:
208:comment added by
195:
194:
155:
154:
151:
150:
147:
146:
655:
560:
557:
556:
552:
551:
499:
472:In the example
395:
393:
392:
387:
347:
345:
344:
339:
334:
333:
321:
273:
271:
270:
265:
260:
259:
247:
186:
164:
163:
157:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
663:
662:
658:
657:
656:
654:
653:
652:
633:
632:
584:
558:
554:
526:
505:
482:
429:129.215.104.179
415:
369:
368:
325:
290:
289:
251:
226:
225:
224:You are wrong.
200:
182:
161:
120:
117:
114:
111:
110:
88:
81:
61:
29:
12:
11:
5:
661:
659:
651:
650:
645:
635:
634:
631:
630:
583:
582:Merge proposal
580:
579:
578:
525:
519:
504:
501:
470:
459:99.191.229.225
445:99.191.229.225
440:
419:
414:
411:
410:
409:
408:
407:
406:
405:
385:
382:
379:
376:
360:
359:
358:
357:
337:
332:
328:
324:
320:
316:
311:
308:
305:
300:
297:
263:
258:
254:
250:
246:
242:
239:
236:
233:
199:
196:
193:
192:
165:
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:
660:
649:
646:
644:
641:
640:
638:
629:
625:
621:
617:
612:
611:
610:
609:
605:
601:
597:
593:
589:
581:
577:
573:
569:
566:
564:
547:
546:
545:
544:
540:
536:
532:
524:
520:
518:
517:
514:
510:
502:
500:
498:
494:
490:
486:
479:
476:
473:
469:
468:
464:
460:
455:
454:
450:
446:
439:
438:
434:
430:
425:
422:
418:
412:
403:
399:
380:
374:
366:
365:
364:
363:
362:
361:
355:
351:
330:
326:
318:
306:
295:
287:
286:
285:
281:
277:
256:
252:
244:
237:
231:
223:
222:
221:
219:
215:
211:
207:
197:
190:
189:its talk page
185:
180:
176:
172:
171:
166:
159:
158:
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:
595:
585:
561:
531:regular ring
527:
523:regular ring
506:
489:84.146.63.63
480:
477:
474:
471:
456:
441:
426:
423:
420:
416:
204:— Preceding
201:
170:Regular ring
168:
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
483:—Preceding
184:its history
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
637:Categories
421:Hold up,
173:page were
565:complete.
485:unsigned
398:Rschwieb
276:Rschwieb
206:unsigned
600:Klbrain
568:Klbrain
139:on the
596:oppose
563:Merger
288:Maybe
175:merged
36:scale.
513:lethe
177:into
624:talk
620:Taku
604:talk
572:talk
539:talk
535:Taku
493:talk
463:talk
449:talk
433:talk
402:talk
354:talk
350:Taku
280:talk
214:talk
131:Low
639::
626:)
606:)
598:.
574:)
541:)
495:)
465:)
451:)
435:)
282:)
216:)
622:(
602:(
570:(
559:Y
537:(
509:x
491:(
461:(
447:(
431:(
400:(
384:]
381:x
378:[
375:k
356:)
352:(
336:)
331:2
327:x
323:(
319:/
315:]
310:]
307:x
304:[
299:[
296:k
278:(
262:)
257:2
253:x
249:(
245:/
241:]
238:x
235:[
232:k
212:(
191:.
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.