84:
74:
53:
22:
717:
587:
is a limit of objects in the category of rings. But a limit of objects is always a product. And the product in the category of rings is just a
Cartesian product of rings. Is this actually correct? There's no citation. What are the restriction maps here?
585:
140:
763:
614:
508:
IMO, this article contains too much general rubbish. Just focus on the connections to geometry. Schemes are a generalisation of this setting and reside in a seperate article.
836:
856:
913:
130:
908:
106:
283:) for the field of rational numbers together with a square root of −1 (which is a complex number—note that we've implicitly chosen a copy of
209:
385:
97:
58:
381:
765:
is the localisation map? This should correspond to repeatedly localising. which is what I intuitively would've expected.--
33:
712:{\displaystyle \Gamma \left(\bigcup _{i\in I}D_{fi},{\mathcal {O}}_{X}\right)=\operatorname {colim} _{i\in I}\phi _{i}}
166:
is? The article mentions that a vector space, equipped with a linear operator on it, can be viewed as a module over
544:
722:
377:
520:
213:
21:
875:
495:
The technical term "represented" is not explained. The functor F is not represented by Spec(B), but by B.
39:
83:
205:
523:. It is permissible (and arguably more correct) to leave off plural in the case of a single link. -
509:
478:=0}. Then F is represented by Spec(B) where B is the quotient of K by the ideal I generated by the p
452:
402:
861:
766:
589:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
883:
788:
89:
801:
198:
instead supposed to be something like "the polynomial ring mod out by the minimal polynomial of
73:
52:
878:
with respect to a preordered set that is not directed. I have edited the article accordingly.
865:
770:
593:
373:
275:
This kind of notation turns up in other places. For instance, it's analogous to the notation
328:. The map is obviously surjective, and the kernel is generated by the minimal polynomial of
362:
335:
By the way, on
Knowledge talk pages it's conventional to write new comments at the bottom.
448:
502:
340:
841:
902:
879:
784:
401:
A special but quite typical case of an affine scheme is obtained as follows. Take a
780:
492:
This uses functors, but the article hasn't mentioned the functor connection yet.
358:
102:
524:
426:
79:
858:
doesn't form a directed set. It's likely to be the colimit I described above.
887:
869:
792:
774:
597:
527:
389:
366:
344:
336:
217:
444:
459:
15:
661:
563:
783:. I have fixed notation and added a link to dirct limit.
380:
by B, as over the category of algebras it is covariant.
498:
A more useful example would describe Spec(B) in detail.
844:
804:
725:
617:
547:
101:, a collaborative effort to improve the coverage of
850:
830:
757:
711:
579:
860:I think this needs to be given in more detail. --
248:(determined by diagonal matrices) and an element
162:Can someone please elaborate on what the object
170:, but then subsequently only mentions the ring
580:{\displaystyle \Gamma (U,{\mathcal {O}}_{X})}
178:is just another name for the polynomial ring
8:
758:{\displaystyle \phi _{i}:R\rightarrow R_{f}}
537:of objects in the category of rings? Really?
332:by the definition of the minimal polynomial.
182:, then how are the spectral properties of a
19:
798:It's not a direct limit because the basis
47:
843:
822:
812:
803:
749:
730:
724:
703:
684:
666:
660:
659:
646:
630:
616:
568:
562:
561:
546:
519:See the relevant manual of style entry:
190:supposed to manifest in the spectrum of
611:: In other words, should we not define
306:. Indeed by the universal property of
49:
7:
95:This article is within the scope of
38:It is of interest to the following
618:
548:
14:
914:Mid-priority mathematics articles
397:I removed the following example:
302:modulo the minimal polynomial of
115:Knowledge:WikiProject Mathematics
909:Start-Class mathematics articles
521:External link vs. External links
118:Template:WikiProject Mathematics
82:
72:
51:
20:
357:Header added. —Nils von Barth (
252:(given to us). The subring of
135:This article has been rated as
819:
805:
742:
574:
551:
1:
888:12:10, 27 December 2023 (UTC)
870:19:03, 26 December 2023 (UTC)
793:18:42, 26 December 2023 (UTC)
775:17:23, 26 December 2023 (UTC)
598:17:14, 26 December 2023 (UTC)
528:06:59, 25 February 2006 (UTC)
109:and see a list of open tasks.
541:As expressed at the moment,
390:03:16, 7 December 2023 (UTC)
367:07:48, 7 December 2009 (UTC)
831:{\displaystyle (D_{f})_{f}}
930:
310:, there is a homomorphism
533:The value of \Gamma is a
505:16:07, 18 Jan 2004 (UTC)
462:characterized by F(A)={(x
382:Fourier-Deligne Transgirl
345:14:04, 10 June 2013 (UTC)
294:General facts imply that
218:12:38, 10 June 2013 (UTC)
134:
67:
46:
439:in these variables over
141:project's priority scale
876:limit (category theory)
158:Spectrum of an operator
98:WikiProject Mathematics
852:
832:
759:
713:
581:
28:This article is rated
853:
833:
760:
714:
603:Should this not be a
582:
842:
802:
723:
615:
545:
244:), there is a field
224:You should think of
121:mathematics articles
874:In fact, this is a
859:
848:
828:
755:
709:
641:
577:
90:Mathematics portal
34:content assessment
851:{\displaystyle U}
797:
626:
369:
298:is isomorphic to
228:as living inside
208:comment added by
155:
154:
151:
150:
147:
146:
921:
857:
855:
854:
849:
837:
835:
834:
829:
827:
826:
817:
816:
764:
762:
761:
756:
754:
753:
735:
734:
718:
716:
715:
710:
708:
707:
695:
694:
676:
672:
671:
670:
665:
664:
654:
653:
640:
586:
584:
583:
578:
573:
572:
567:
566:
378:co-representable
356:
319:
220:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
929:
928:
924:
923:
922:
920:
919:
918:
899:
898:
840:
839:
818:
808:
800:
799:
745:
726:
721:
720:
699:
680:
658:
642:
625:
621:
613:
612:
560:
543:
542:
539:
517:
483:
477:
473:
469:
465:
451:of commutative
438:
432:
421:
415:
353:
351:Removed example
311:
260:) generated by
203:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
927:
925:
917:
916:
911:
901:
900:
897:
896:
895:
894:
893:
892:
891:
890:
847:
825:
821:
815:
811:
807:
752:
748:
744:
741:
738:
733:
729:
706:
702:
698:
693:
690:
687:
683:
679:
675:
669:
663:
657:
652:
649:
645:
639:
636:
633:
629:
624:
620:
576:
571:
565:
559:
556:
553:
550:
538:
531:
516:
513:
500:
499:
496:
493:
486:
485:
479:
475:
471:
467:
463:
434:
430:
417:
413:
395:
394:
393:
392:
352:
349:
348:
347:
333:
292:
273:
210:129.97.226.227
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:
926:
915:
912:
910:
907:
906:
904:
889:
885:
881:
877:
873:
872:
871:
867:
863:
845:
823:
813:
809:
796:
795:
794:
790:
786:
782:
778:
777:
776:
772:
768:
750:
746:
739:
736:
731:
727:
704:
700:
696:
691:
688:
685:
681:
677:
673:
667:
655:
650:
647:
643:
637:
634:
631:
627:
622:
610:
606:
602:
601:
600:
599:
595:
591:
569:
557:
554:
536:
532:
530:
529:
526:
522:
515:External link
514:
512:
511:
506:
504:
497:
494:
491:
490:
489:
482:
461:
457:
455:
450:
446:
443:, there is a
442:
437:
428:
425:
420:
411:
407:
404:
400:
399:
398:
391:
387:
383:
379:
375:
371:
370:
368:
364:
360:
355:
354:
350:
346:
342:
338:
334:
331:
327:
323:
318:
314:
309:
305:
301:
297:
293:
290:
286:
282:
278:
274:
271:
267:
263:
259:
255:
251:
247:
243:
239:
235:
231:
227:
223:
222:
221:
219:
215:
211:
207:
201:
197:
193:
189:
185:
181:
177:
173:
169:
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:
781:direct limit
608:
604:
540:
534:
518:
507:
501:
487:
480:
453:
440:
435:
423:
418:
412:variables, x
409:
405:
396:
329:
325:
321:
316:
312:
307:
303:
299:
295:
288:
284:
280:
276:
269:
265:
261:
257:
253:
249:
245:
241:
237:
233:
229:
225:
204:— Preceding
199:
195:
191:
187:
183:
179:
175:
171:
167:
163:
161:
137:Mid-priority
136:
96:
62:Mid‑priority
40:WikiProjects
719:where each
447:F from the
427:polynomials
320:that sends
287:containing
236:). Inside
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
903:Categories
779:This is a
184:particular
609:morphisms
510:agrosquid
503:AxelBoldt
488:Reasons:
456:-algebras
186:operator
880:D.Lazard
785:D.Lazard
470:) in A|p
449:category
422:. Given
206:unsigned
194:? Or is
862:Svennik
767:Svennik
605:colimit
590:Svennik
445:functor
374:functor
139:on the
474:=...=p
466:,...,x
433:,...,p
416:,...,x
359:nbarth
36:scale.
682:colim
535:limit
525:Gauge
403:field
376:F is
174:. If
884:talk
866:talk
789:talk
771:talk
594:talk
460:sets
408:and
386:talk
372:The
363:talk
341:talk
337:Ozob
264:and
214:talk
202:"?
838:of
607:of
458:to
429:, p
361:) (
324:to
268:is
131:Mid
905::
886:)
868:)
791:)
773:)
743:→
728:ϕ
701:ϕ
697:
689:∈
635:∈
628:⋃
619:Γ
596:)
588:--
549:Γ
388:)
365:)
343:)
315:→
291:).
254:GL
238:GL
230:GL
216:)
882:(
864:(
846:U
824:f
820:)
814:f
810:D
806:(
787:(
769:(
751:f
747:R
740:R
737::
732:i
705:i
692:I
686:i
678:=
674:)
668:X
662:O
656:,
651:i
648:f
644:D
638:I
632:i
623:(
592:(
575:)
570:X
564:O
558:,
555:U
552:(
484:.
481:j
476:m
472:1
468:n
464:1
454:K
441:K
436:m
431:1
424:m
419:n
414:1
410:n
406:K
384:(
339:(
330:T
326:T
322:x
317:K
313:K
308:K
304:T
300:K
296:K
289:Q
285:C
281:i
279:(
277:Q
272:.
270:K
266:T
262:K
258:V
256:(
250:T
246:K
242:V
240:(
234:V
232:(
226:K
212:(
200:T
196:K
192:K
188:T
180:K
176:K
172:K
168:K
164:K
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.