777:. One has to infer that they are referring to the same thing, since the linked article does not use or define the notation. A nutshell definition here would be appropriate. Also, one may have a left, right or two-sided principal ideal (all the same for a commutative ring), which is a little confusing given that this article does not firmly commit to being within the framework of commutative rings. It would be nice if it actually defined divisors in the non-commutative context if this use is notable, even if the dominant use might be in the commutative case. —
253:
243:
222:
191:
831:
745:
729:
is only interesting if it is defined as a divisor of zero with definition (d). It seems to me that we must give weight to more than one definition of divisor, taking care to distinguish (b) and (c). Since (d) seems only to have utility to define a particular useful concept, and this does not seem to
724:
section then makes statements that are only true with definition (a). In general it seems to me that statements of theorems become more complicated if other than definition (a) is used, but it is not for me to dictate to notable sources. There seems to me to be no utility in excluding zero elements
950:
technical and deep math theory for something that is an everyday lay-public and school-student idea. It may be true that the (ring theory) article is the fundamental article we currently have on the topic of divisibility, with the ...rules article being an application, but I think having (ring
153:
358:. But maybe that's only for domains. I do think divisibility is studied in general; in particular, polynomials and investigating the extent to which Euclid's lemma holds. In any case, I'm moving the article. --
963:
as PRIMARYTOPIC, which introduces the idea of what it means to be divisible by something, with then links to the mathmatically technical (ring theory) and the ...rules applications articles.
309:
1046:", etc. With all the variations already present, giving possible variants of how to express each becomes cumbersome. Maybe we should leave inference of verb forms to the reader? —
147:
44:
335:; and this article is probably going to be more about divisibility in rings than specifically about a divisor of an element. Also, this is somewhat of a content fork of
422:
459:
887:
1070:
299:
79:
1065:
354:
That's good point. ("Divisor" in algebraic geometry didn't occur to me when I imported the article from citizendium.) I think what we really need is
275:
85:
1024:
867:
Subsequent comments should be made in a new section on the talk page. Editors desiring to contest the closing decision should consider a
168:
135:
266:
227:
844:
823:
99:
30:
104:
20:
915:– Currently "divisibility" redirects to "divisibility rules". But this article should be the primary topic of divisibility.
129:
74:
332:
202:
960:
65:
125:
943:
906:
24:
982:
858:
175:
880:. Additional changes not requiring the technical abilities of an administrator of a page mover can be done per
1028:
331:
I think "Divisibility (ring theory)" is a better title for this article. Otherwise, it sounds like it's about
190:
557:
It seems clear to me that there are at least two definitions in general notable use, and I'll assume these:
109:
896:
363:
992:
868:
208:
252:
141:
916:
355:
920:
339:, so that should be tidied up. Finally, how often is divisibility studied in non-integral domains?
161:
55:
274:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
931:
258:
70:
242:
221:
1047:
892:
839:
818:
778:
753:
731:
359:
51:
720:
This article is self-contradictory, in that it gives a definition equivalent to (b), but the
968:
401:
344:
730:
be helpful otherwise and I'm guessing is not notable, I'd suggest leaving out this case. —
814:
774:
482:
336:
435:
1050:
1032:
972:
924:
900:
881:
783:
758:
736:
367:
348:
1059:
813:
point to this article. The concepts make sense in a general ring (and indeed in any
809:
956:
951:
theory) be the PRIMARYTOPIC does a disservice to the vast majority of our readers.
935:
803:
726:
713:
964:
340:
271:
991:
Subsequent comments should be made in a new section on this talk page or in a
248:
1019:
are common, but are not included in the definition. This does show up under
1038:
In commutative ring this is not a problem, but otherwise one needs to say "
474:
374:
Fixing internal inconsistency in article: which definitions are notable?
1020:
517:
483:
Integral domain#Divisibility, prime_elements, and irreducible elements
184:
15:
337:
Integral domain#Divisibility, prime and irreducible elements
788:
1023:, but it seems harmless enough to include here as well.
911:
160:
981:
The above discussion is preserved as an archive of a
438:
404:
270:, a collaborative effort to improve the coverage of
871:. No further edits should be made to this section.
995:. No further edits should be made to this section.
725:as zero divisors, with the following exception: a
453:
416:
33:for general discussion of the article's subject.
934:(via redirect) is the proper content to see at
174:
8:
752:- just noting that this has been remedied. —
188:
884:or further discussion outside of this RM.
857:The following is a closed discussion of a
667:The difference is essentially as follows:
216:
437:
403:
537:if and only if there exists an element
218:
817:). Should they not be defined here? —
7:
876:The result of the move request was:
497:are elements of the integral domain
264:This article is within the scope of
207:It is of interest to the following
23:for discussing improvements to the
946:there. The ring-theory article is
663:... other variations are possible.
14:
1071:Low-priority mathematics articles
284:Knowledge:WikiProject Mathematics
1066:Start-Class mathematics articles
829:
769:This article uses the notation (
743:
287:Template:WikiProject Mathematics
251:
241:
220:
189:
45:Click here to start a new topic.
304:This article has been rated as
1051:19:01, 26 September 2023 (UTC)
1009:Statements along the lines of
737:21:06, 10 September 2013 (UTC)
682:With (b), 0 | 0 is undefined.
368:15:45, 12 September 2011 (UTC)
1:
784:18:20, 16 November 2013 (UTC)
424:) if there exists an element
390:is said to divide an element
349:03:44, 9 September 2011 (UTC)
278:and see a list of open tasks.
42:Put new text under old text.
765:Notation for principal ideal
333:Divisor (algebraic geometry)
961:Knowledge:Set index article
850:Requested move 2 April 2017
50:New to Knowledge? Welcome!
1087:
944:Divisibility (ring theory)
907:Divisibility (ring theory)
845:18:17, 20 March 2014 (UTC)
704:With (d), 0 | 0 is false.
693:With (c), 0 | 0 is false.
25:Divisibility (ring theory)
973:20:15, 9 April 2017 (UTC)
925:02:04, 2 April 2017 (UTC)
901:22:37, 9 April 2017 (UTC)
824:21:53, 4 March 2014 (UTC)
759:20:19, 4 March 2014 (UTC)
671:With (a), 0 | 0 is true.
303:
236:
215:
80:Be welcoming to newcomers
1033:20:49, 2 July 2017 (UTC)
988:Please do not modify it.
864:Please do not modify it.
712:that is not a (nonzero)
310:project's priority scale
417:{\displaystyle b\mid a}
267:WikiProject Mathematics
455:
418:
386:of a commutative ring
197:This article is rated
75:avoid personal attacks
708:| 0 is false for any
456:
419:
100:Neutral point of view
697:| 0 is true for any
686:| 0 is true for any
675:| 0 is true for any
461:. We also say that
454:{\displaystyle a=bx}
436:
402:
327:Suggestions/comments
290:mathematics articles
105:No original research
932:divisibility rules
801:The two redirects
451:
414:
382:A nonzero element
378:This article says
259:Mathematics portal
203:content assessment
86:dispute resolution
47:
891:
888:non-admin closure
324:
323:
320:
319:
316:
315:
183:
182:
66:Assume good faith
43:
1078:
990:
914:
885:
866:
837:
833:
832:
751:
747:
746:
465:is a divisor of
460:
458:
457:
452:
423:
421:
420:
415:
292:
291:
288:
285:
282:
261:
256:
255:
245:
238:
237:
232:
224:
217:
200:
194:
193:
185:
179:
178:
164:
95:Article policies
16:
1086:
1085:
1081:
1080:
1079:
1077:
1076:
1075:
1056:
1055:
1007:
999:
986:
910:
862:
852:
830:
828:
799:
775:principal ideal
773:) and links to
767:
744:
742:
434:
433:
400:
399:
376:
329:
289:
286:
283:
280:
279:
257:
250:
230:
201:on Knowledge's
198:
121:
116:
115:
114:
91:
61:
12:
11:
5:
1084:
1082:
1074:
1073:
1068:
1058:
1057:
1054:
1053:
1025:47.142.151.211
1006:
1000:
998:
997:
983:requested move
977:
976:
975:
904:
874:
873:
859:requested move
853:
851:
848:
798:
787:
766:
763:
762:
761:
718:
717:
702:
691:
680:
665:
664:
661:
634:
607:
581:
555:
554:
501:, we say that
479:
478:
450:
447:
444:
441:
413:
410:
407:
375:
372:
371:
370:
356:Divisor theory
328:
325:
322:
321:
318:
317:
314:
313:
302:
296:
295:
293:
276:the discussion
263:
262:
246:
234:
233:
225:
213:
212:
206:
195:
181:
180:
118:
117:
113:
112:
107:
102:
93:
92:
90:
89:
82:
77:
68:
62:
60:
59:
48:
39:
38:
35:
34:
28:
13:
10:
9:
6:
4:
3:
2:
1083:
1072:
1069:
1067:
1064:
1063:
1061:
1052:
1049:
1045:
1042:left-divides
1041:
1037:
1036:
1035:
1034:
1030:
1026:
1022:
1018:
1015:
1012:
1005:
1001:
996:
994:
989:
984:
979:
978:
974:
970:
966:
962:
958:
954:
949:
945:
941:
937:
933:
930:I'm not sure
929:
928:
927:
926:
922:
918:
913:
908:
903:
902:
898:
894:
889:
883:
879:
872:
870:
865:
860:
855:
854:
849:
847:
846:
843:
842:
836:
826:
825:
822:
821:
816:
812:
811:
810:Right divisor
806:
805:
796:
795:right divisor
792:
786:
785:
782:
781:
776:
772:
764:
760:
757:
756:
750:
741:
740:
739:
738:
735:
734:
728:
723:
715:
711:
707:
703:
700:
696:
692:
689:
685:
681:
678:
674:
670:
669:
668:
662:
659:
655:
651:
647:
643:
639:
635:
632:
628:
624:
620:
616:
612:
608:
606:
602:
598:
594:
590:
586:
582:
580:
576:
572:
568:
564:
560:
559:
558:
552:
548:
544:
540:
536:
532:
528:
524:
520:
519:
514:
510:
507:
504:
500:
496:
492:
488:
487:
486:
484:
476:
472:
468:
464:
448:
445:
442:
439:
431:
427:
411:
408:
405:
397:
393:
389:
385:
381:
380:
379:
373:
369:
365:
361:
357:
353:
352:
351:
350:
346:
342:
338:
334:
326:
311:
307:
301:
298:
297:
294:
277:
273:
269:
268:
260:
254:
249:
247:
244:
240:
239:
235:
229:
226:
223:
219:
214:
210:
204:
196:
192:
187:
186:
177:
173:
170:
167:
163:
159:
155:
152:
149:
146:
143:
140:
137:
134:
131:
127:
124:
123:Find sources:
120:
119:
111:
110:Verifiability
108:
106:
103:
101:
98:
97:
96:
87:
83:
81:
78:
76:
72:
69:
67:
64:
63:
57:
53:
52:Learn to edit
49:
46:
41:
40:
37:
36:
32:
26:
22:
18:
17:
1043:
1039:
1016:
1013:
1010:
1008:
1003:
987:
980:
957:divisibility
955:, I propose
952:
947:
939:
936:divisibility
912:Divisibility
905:
893:TonyBallioni
877:
875:
863:
856:
840:
834:
827:
819:
808:
804:Left divisor
802:
800:
794:
791:left divisor
790:
779:
770:
768:
754:
748:
732:
727:zero divisor
721:
719:
714:zero divisor
709:
705:
698:
694:
687:
683:
676:
672:
666:
657:
653:
649:
645:
641:
637:
630:
626:
622:
618:
614:
610:
604:
600:
596:
592:
588:
584:
578:
574:
570:
566:
562:
556:
550:
546:
542:
538:
534:
530:
526:
522:
516:
512:
508:
505:
502:
498:
494:
490:
480:
470:
466:
462:
429:
425:
398:(notation:
395:
391:
387:
383:
377:
330:
306:Low-priority
305:
265:
231:Low‑priority
209:WikiProjects
171:
165:
157:
150:
144:
138:
132:
122:
94:
19:This is the
993:move review
869:move review
281:Mathematics
272:mathematics
228:Mathematics
199:Start-class
148:free images
31:not a forum
1060:Categories
797:be defined
789:Shouldn't
722:Properties
545:such that
469:, or that
1002:Defining
917:GeT RiGhT
878:not moved
652:for some
625:for some
603:for some
577:for some
88:if needed
71:Be polite
21:talk page
938:, but I
656:≠ 0 and
583:(b) if
531:multiple
481:whereas
475:multiple
56:get help
29:This is
27:article.
1048:Quondum
1021:divisor
1014:divides
1004:divides
953:Instead
942:having
882:WP:BOLD
841:Quondum
820:Quondum
780:Quondum
755:Quondum
733:Quondum
518:divisor
506:divides
308:on the
154:WP refs
142:scholar
965:DMacks
940:oppose
341:RobHar
205:scale.
126:Google
959:be a
815:magma
587:≠ 0,
529:is a
515:is a
485:says
477:of b.
473:is a
432:with
169:JSTOR
130:books
84:Seek
1029:talk
969:talk
948:very
921:talk
897:talk
835:Done
807:and
793:and
749:Done
701:≠ 0.
690:≠ 0.
636:(d)
629:and
609:(c)
561:(a)
493:and
364:talk
360:Taku
345:talk
162:FENS
136:news
73:and
985:.
660:≠ 0
644:if
633:≠ 0
617:if
595:if
569:if
541:in
533:of
525:or
521:of
511:or
489:If
428:in
394:in
300:Low
176:TWL
1062::
1031:)
971:)
923:)
909:→
899:)
861:.
650:bk
648:=
640:|
623:bk
621:=
613:|
601:bk
599:=
591:|
575:bk
573:=
565:|
549:=
547:ax
409:∣
366:)
347:)
156:)
54:;
1044:b
1040:a
1027:(
1017:b
1011:a
967:(
919:(
895:(
890:)
886:(
838:—
771:a
716:.
710:b
706:b
699:b
695:b
688:b
684:b
679:.
677:b
673:b
658:b
654:k
646:a
642:a
638:b
631:b
627:k
619:a
615:a
611:b
605:k
597:a
593:a
589:b
585:b
579:k
571:a
567:a
563:b
553:.
551:b
543:R
539:x
535:a
527:b
523:b
513:a
509:b
503:a
499:R
495:b
491:a
471:a
467:a
463:b
449:x
446:b
443:=
440:a
430:R
426:x
412:a
406:b
396:R
392:a
388:R
384:b
362:(
343:(
312:.
211::
172:·
166:·
158:·
151:·
145:·
139:·
133:·
128:(
58:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.