84:
74:
53:
22:
812:
512:
Hi, I am new to studying this part of math, but I was wondering if there is a mistake on this page. In the beginning of the page, we write that if B consists only of elements that are integral over A, then we say B is integral over A. This makes sense, especially noting that B contains A. Later on
321:
I think the idea is that this page discusses the notion of integrality to various degress of generality. Not everything discussed here is about integral extensions, some of it is about integral morphisms, or integrality of non-affine schemes. I think integrality is probably a more appropriate title.
257:
the merger. It looks like this page is already set up to easily incorporate everything on the integrally closed page regarding rings (in the normal schemes subsection for example). I think it would be unnatural, the way this article is heading, to not encompass all the information from the ring part
471:
Just to explain it a bit more: what Atiyah and
Macdonald call 'integral closure' in case of no ring extension it is just the radical. But the earlier Zariski-Samuel, and all later texts and all articles, and indeed this Knowledge article are not talking about the operation in Atiyah-Macdonald where
355:
The fact that something is in a ring is a convention (functions from any set to the real numbers can be thought of as belonging to a ring of functions but you also can consider them without knowing about rings -- you could say such-and-such function is integral when talking about such-and-such type
689:
are fields, then the notions of "integral over" and of an "integral extension" are precisely "algebraic over" and "algebraic extensions" in field theory (since the root of any polynomial is the root of a monic polynomial). The special case of greatest interest in number theory is that of complex
340:
I just noticed last night that
Neukrick's new book on Class Field theory calls his section on Integrality, "Integrality." I also noticed that many Knowledge math articles add a qualifier to specify what kind of Integrality they are talking about. I.e., this page does not talk about round (or
166:
for speedy deletion. This is only a stub — it's meant to be expanded, and it was created literally hours ago. It's intended to have more than just the definition, eventually. I think anybody who knows some commutative algebra knows that this will be a useful topic to have done.
302:
When I first saw the link to "Integrality" on the "Integrally Closed" page, I almost didn't go to it because I thought it would be talking about whether or not a rational number is an integer. In other words, I thought it might be an extremely elementary article.
298:
Regarding the title of this, I think "Integral
Extensions" would be a better title than "Integrality." I like the plural (s) in the title because the page discusses Integral Extensions in a number of different contexts.
229:
It might be easier to maintain them as two separate pages. For example, the comment regarding
Integrally Closed Groups in the Integrally Closed Talk section fits more natually with the context of separate pages.
443:
Is this definition right? The same definition but with I replaced by powers of I occurs in some papers and for elements of the ring is proven to be equivalent to the same equivalent formulation.
140:
539:
The phrase "integral closure" is used several times before it is defined (even casually). I suggest that at least a modest definition be given that precedes the first use of the phrase.
513:
in the page, we define a ring homomorphism f:A to B to be integral if f(A) is integral over B. This doesn't make sense to me since f(A) is a subring of B? I'm probably just confused.
226:
I think "if it ain't broke don't fix it" applies here. Also the merge operation has the possibility of "breakage" since the two pages contain different (and valuable IMHO) information.
189:(without considering the ring generated by the base ring and that element), but "integral extension" is a more likely search phrase than "integrality". I suppose an alternative would be
258:
of the integrally closed page. Then the only reason to keep the integrally closed page would be if it were extensive enough to merit a "See main article" link from the integrality page.
824:
233:
I think that if the two pages are kept like they are, they should cross-reference each other at the "See also" section at the bottom because they have different information.
223:
I vote for keeping them as separate pages. They are both useful in their own way, and, they really are two different concepts, even though they are within the same subject.
654:
856:
130:
306:
Either "Integral extension" or
Integral extensions" communicates the idea that this is advanced math, not elementary school (or grammar school) stuff.
834:
106:
851:
626:
they don't have to be in the field of complex numbers. A root of unity is a root of 1; i.e., a solution of x^n = 1. For nilpotent, replace
520:
475:
458:
444:
387:
360:
261:
As for the content on ordered groups, this looks like it could be easily included as another paragraph in the article on ordered groups.
820:
804:
97:
58:
767:, these subpages are now deprecated. The comments may be irrelevant or outdated; if so, please feel free to remove this section.
33:
831:
346:
311:
284:
243:
493:
I moved the article to "integral element". Now that we have "integrally closed", this seems more appropriate. --
524:
479:
462:
448:
391:
364:
342:
307:
280:
239:
828:
816:
742:
661:
616:
498:
426:
406:
39:
83:
827:
until a consensus is reached, and readers of this page are welcome to contribute to the discussion.
516:
220:" page has a request for discussion regarding merging the "Integrally Closed" page into this page.
21:
787:
194:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
637:
182:
89:
73:
52:
236:
Keeping the two pages separate helps with the "search" problem mentioned in the previous note.
773:
738:
657:
612:
588:
572:
560:
494:
422:
402:
217:
341:
integral) numbers versus numbers with fractional parts - like is done in elementary school).
327:
269:
202:
190:
656:-algebra. Thus, the example makes sense. (But, yes, it could be reworded for clarity.) --
611:? If no one answers this question for me, I am inclined to make this change someday.
783:
727:
584:
544:
401:
No, you don't need "reduced". I rewrote the article and this should be clearer now. --
845:
764:
379:
163:
782:
Normal ring redirects here, but the article only talks mentions normal domains.
323:
265:
198:
168:
102:
825:
Knowledge:Redirects for discussion/Log/2022 November 12#Integrally closed ring
162:
I am the creator of this page and I am writing in response to the proposal by
79:
723:
540:
837:
791:
776:
746:
731:
665:
620:
548:
528:
502:
483:
466:
452:
430:
410:
395:
368:
350:
331:
315:
288:
273:
247:
206:
171:
457:
Me again. I have corrected this. It was an error. Should be a_i \in I^i.
811:
603:
Or was this example meant to include examples of ring extensions of
359:
So it would be wrong to change the title to 'integrality in rings.'
264:
The integrally closed page could then become a disambiguation page.
815:
An editor has identified a potential problem with the redirect
382:. Could someone with access to the reference add a note why/if
711:— which is a field. But it surely is not a "special case" of
15:
722:
So, this is a very poor "special case", since it isn't one.
699:
OK, the case of the algebraic numbers being "integral over
707:
to the case of the algebraic numbers being integral over
185:? This does not directly include the idea of an integral
181:
I'd like input on this: Should the article be renamed to
759:
737:
Yes, the wording can be improved, which I just did. --
640:
101:, a collaborative effort to improve the coverage of
648:
763:, and are posted here for posterity. Following
676:One passage of the article begins as follows:
378:The article defines the integral closure of a
757:The comment(s) below were originally left at
8:
579:the same? If so, this example should read:
472:a_i\in I is allowed rather than a_i\in I^i.
672:Looks as if some wording should be improved
356:of functions without using the word ring).
212:merging "Integrally Closed" into this page
47:
799:Substituted at 18:23, 17 July 2016 (UTC)
642:
641:
639:
535:Yet another problem with integral closure
49:
19:
7:
95:This article is within the scope of
803:"Integrally closed ring" listed at
571:Are not the roots of unity and the
337:How about "Integrality in rings"?
38:It is of interest to the following
14:
857:Mid-priority mathematics articles
765:several discussions in past years
115:Knowledge:WikiProject Mathematics
823:. This discussion will occur at
810:
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
760:Talk:Integral element/Comments
529:23:03, 25 September 2011 (UTC)
1:
838:17:31, 12 November 2022 (UTC)
172:09:59, 13 February 2007 (UTC)
109:and see a list of open tasks.
852:C-Class mathematics articles
649:{\displaystyle \mathbb {Z} }
549:19:11, 4 February 2012 (UTC)
439:Integral closure of an ideal
417:Completely integrally closed
396:11:02, 30 October 2008 (UTC)
747:10:10, 26 August 2014 (UTC)
732:15:55, 22 August 2014 (UTC)
666:20:50, 18 August 2012 (UTC)
634:. Also, note any ring is a
621:20:14, 18 August 2012 (UTC)
503:12:32, 14 August 2011 (UTC)
484:07:27, 8 January 2011 (UTC)
467:07:23, 8 January 2011 (UTC)
453:09:50, 7 January 2011 (UTC)
411:16:36, 16 August 2011 (UTC)
369:07:21, 8 January 2011 (UTC)
873:
431:01:26, 14 March 2009 (UTC)
374:Integral closure of a ring
207:05:29, 13 March 2008 (UTC)
772:
607:other than (subrings of)
332:23:42, 30 June 2008 (UTC)
316:23:07, 30 June 2008 (UTC)
274:23:32, 30 June 2008 (UTC)
248:23:05, 30 June 2008 (UTC)
134:
67:
46:
805:Redirects for discussion
792:14:21, 14 May 2008 (UTC)
777:20:44, 21 May 2007 (UTC)
489:move to integral element
351:16:43, 1 July 2008 (UTC)
289:16:44, 1 July 2008 (UTC)
141:project's priority scale
819:and has thus listed it
559:The roots of unity and
98:WikiProject Mathematics
817:Integrally closed ring
690:numbers integral over
650:
421:What does it mean? --
28:This article is rated
651:
638:
121:mathematics articles
195:Integral dependence
753:Assessment comment
646:
595:are integral over
589:nilpotent elements
573:nilpotent elements
563:are integral over
561:nilpotent elements
183:Integral extension
90:Mathematics portal
34:content assessment
797:
796:
519:comment added by
343:DeaconJohnFairfax
308:DeaconJohnFairfax
281:DeaconJohnFairfax
240:DeaconJohnFairfax
218:Integrally Closed
155:
154:
151:
150:
147:
146:
864:
814:
770:
769:
762:
655:
653:
652:
647:
645:
531:
294:Title of Article
191:Integral element
177:Title of article
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
872:
871:
867:
866:
865:
863:
862:
861:
842:
841:
808:
758:
755:
674:
636:
635:
556:
537:
514:
510:
491:
441:
419:
376:
296:
214:
179:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
870:
868:
860:
859:
854:
844:
843:
821:for discussion
807:
801:
795:
794:
780:
754:
751:
750:
749:
719:being fields.
673:
670:
669:
668:
644:
601:
600:
585:roots of unity
569:
568:
555:
552:
536:
533:
509:
506:
490:
487:
440:
437:
435:
418:
415:
414:
413:
375:
372:
335:
334:
295:
292:
277:
276:
262:
259:
213:
210:
178:
175:
159:
156:
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:
869:
858:
855:
853:
850:
849:
847:
840:
839:
836:
833:
830:
826:
822:
818:
813:
806:
802:
800:
793:
789:
785:
781:
778:
775:
771:
768:
766:
761:
752:
748:
744:
740:
736:
735:
734:
733:
729:
725:
720:
718:
714:
710:
706:
702:
697:
695:
693:
688:
684:
677:
671:
667:
663:
659:
633:
629:
625:
624:
623:
622:
618:
614:
610:
606:
598:
594:
590:
586:
582:
581:
580:
578:
574:
566:
562:
558:
557:
553:
551:
550:
546:
542:
534:
532:
530:
526:
522:
521:24.124.53.126
518:
507:
505:
504:
500:
496:
488:
486:
485:
481:
477:
476:92.14.228.189
473:
469:
468:
464:
460:
459:92.14.228.189
455:
454:
450:
446:
445:92.14.228.189
438:
436:
433:
432:
428:
424:
416:
412:
408:
404:
400:
399:
398:
397:
393:
389:
388:78.52.196.230
386:is required?
385:
381:
373:
371:
370:
366:
362:
361:92.14.228.189
357:
353:
352:
348:
344:
338:
333:
329:
325:
320:
319:
318:
317:
313:
309:
304:
300:
293:
291:
290:
286:
282:
275:
271:
267:
263:
260:
256:
252:
251:
250:
249:
245:
241:
237:
234:
231:
227:
224:
221:
219:
211:
209:
208:
204:
200:
196:
192:
188:
184:
176:
174:
173:
170:
165:
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:
809:
798:
779:
774:Geometry guy
756:
721:
716:
712:
708:
704:
700:
698:
691:
686:
682:
680:
678:
675:
631:
627:
613:Howard McCay
608:
604:
602:
596:
592:
576:
570:
564:
538:
515:— Preceding
511:
492:
474:
470:
456:
442:
434:
420:
383:
380:reduced ring
377:
358:
354:
339:
336:
305:
301:
297:
278:
254:
238:
235:
232:
228:
225:
222:
215:
186:
180:
161:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
279:Good Idea!
112:Mathematics
103:mathematics
59:Mathematics
846:Categories
705:isomorphic
784:GromXXVII
703:" may be
832:1234qwer
829:1234qwer
694:; . . .
554:Examples
517:unsigned
508:Mistake?
384:reduced
253:I vote
187:element
164:SatyrTN
139:on the
30:C-class
324:RobHar
266:RobHar
199:Joeldl
169:Joeldl
36:scale.
591:) in
216:The "
193:, or
158:Hello
788:talk
743:talk
739:Taku
728:talk
724:Daqu
715:and
662:talk
658:Taku
617:talk
583:The
545:talk
541:Daqu
525:talk
499:talk
495:Taku
480:talk
463:talk
449:talk
427:talk
423:Taku
407:talk
403:Taku
392:talk
365:talk
347:talk
328:talk
312:talk
285:talk
270:talk
244:talk
203:talk
681:If
630:by
575:in
255:for
131:Mid
848::
790:)
745:)
730:)
696:"
685:,
664:)
619:)
547:)
527:)
501:)
482:)
465:)
451:)
429:)
409:)
394:)
367:)
349:)
330:)
314:)
287:)
272:)
246:)
205:)
197:.
835:4
786:(
741:(
726:(
717:B
713:A
709:Q
701:Z
692:Z
687:B
683:A
679:"
660:(
643:Z
632:0
628:1
615:(
609:C
605:Z
599:.
597:Z
593:C
587:(
577:C
567:.
565:Z
543:(
523:(
497:(
478:(
461:(
447:(
425:(
405:(
390:(
363:(
345:(
326:(
310:(
283:(
268:(
242:(
201:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.