706:'s assessment is correct. The table is a bit of an off-topic intruder in the body of the article, especially as the first paragraph. This is already a good justification to the rollback. Secondarily (just my opinion, that is) it is not a very good table. It seems to suggest that the two notations of addition and multiplication have something to do with the definition of these structures, but that isn't true. It's also half-empty, for whatever reason. Frankly, nothing like this appears in any mathematics textbook. It makes more sense to have structures split apart by number of operations (and I believe that others have successfully contributed such charts.) I do recognize what it is, however. I've drawn many such pictures while learning my way around new disciplines. And I understand it's nice to share such things, but quite often they are not suitable for a wiki math article: they tend to be shaped/organized according to the note-taker's personal ideas.
95:
664:. For including it there, I suggests to remove the heading "Examples" as well as the headings of its subsections, and to make sections from the bold texts such as "simple structures", "group-like structures, "ring-like structures", ... This would allows adding some text explaining that this is a classification by the number of operations and their arity, and also adding tables, like yours for clarifying the relations between structures. When this would be done, one could also modify the template
85:
64:
31:
173:
529:- however, there, the table risks becoming bloated by a complete taxonomy of all algebraic structures. That may be useful in itself, but rings and groups are very important and basic concepts that occur again and again, and they have an associated set of terminology (which is rather confusing, particularly to nonmathematicians who are unused to memorising large amounts of terminology).
22:
458:
two binary operators (typically called "addition" and "multiplication"), satisfying the following: ... ." I think the article might be easier to read and understand if this kind of definition appeared early in the article. Someone with a ring theory book handy should be able to provide this with a reference. Unfortunately, I don't have such handy. Thanks,
239:
It's inclusion, but it doesn't make much sense to use subset symbol, because there aren't any standard "symbols" for "the class of all
Euclidean domains", e.g., unless you want to make up several just for this article. Writing "Euclidean domain contained in PID contained in UFD, etc." is misleading,
457:
What is the definition (or what are the axioms) of a ring? Are they clearly stated in this article? I couldn't find them in a quick review. If they are there, please excuse me for asking. However, I think the first section after the intro / lede should say something like, "A ring is a set with
249:
A ring is called commutative if its multiplication is commutative. The theory of commutative rings resembles the theory of numbers in several respects, and various definitions for commutative rings are designed to recover properties known from the integers. Commutative rings are also important in
617:
does not contain the same information. It is just a list of various structures and does not state the critical properties which distinguish them. Also, as I have explained, there is good reason to focus this information only on the structures culminating in fields. The template has too many
273:
I was wrong, the ring article doesn't require it, it requires unity. My fault. (Although I disagree with unity requirement, as well, that's another matter.) Actually, I just disagree with these universal wikipedia definitions (rather than article by article basis).
513:
I added a table near the top of this article, giving a summary of the principal ring-like and group-like structures, and the distinctions between them. I think this table is a very valuable summary which should appear somewhere prominent on
Knowledge.
330:
Sorry for exaggerating in my edit comment -- the patent nonsense was only in
Knowledge for a little over a day before I reverted it. (I misread the date.) I find it embarrassing, though, that someone who trusts Knowledge asked me for an explanation of
381:
over any of these previous examples are also rings with matrix addition and multiplication. Try to chase some of the links on the ring theory page to arrive at more specific pages: they are likely to have other concrete examples.
277:
There are important examples of rings that do not have a identity. Regardless, and identity can always be formally adjoined by using the adjoint of the forgetful functor from the category of rings with unity to the category of
749:, an article linked to in the first sentence of this article. This article contains many examples that are not always called "examples", especially when they are sufficiently important to be the subject of a specific section.
564:
It seems to me it might more usefully appear either later in a number of pages in this field or as a page of its own, prominently wikilinked from here and others. As a side note, it's also a bit afflicted with Caps
Disease.
521:
article, as a ring is the most "advanced" mathematical concept in this table. I think this is an appropriate place to draw the line, because the various other specialisations of rings are, well, more specialised.
635:
too, at least, and maybe in some of the specific articles. It's a big bulky to make into an infobox and I don't see how to shrink it without losing its usefulness. As for "caps disease", feel free to
288:
There is inconsistency with the definition of "Ring" in the main article about rings. As far as I know a ring is assumed to have an identity unless stated otherwise and not the other way around.
151:
793:
813:
345:
I don't know much about ring theory, other than that it keeps popping up on wikipedia everywhere... Could someone give some examples of rings and the 2 binary operators?
783:
798:
255:
Except that the ring article contradicts this and requires commutativity, which adds credence to my belief that this shouldn't be required in the definition.
35:
808:
141:
778:
542:
I am going to revert D. Lazard's revert. I would like to ask D.Lazard to please discuss the matter here instead of simply reverting my change again.
314:
Here is my site with ring theory example problems. Someone please put this link in the external links section if you think it's helpful and relevant.
402:
The first two sentences are awful. Repeating the idea that ring theory is the study of rings. Very informative - not. Too much premature jargon.
788:
117:
803:
536:
295:
409:
631:
Where do you think it should go specifically? Should we make a template out of it? I think it could usefully appear in the article
490:
486:
108:
69:
593:, which contains in a more compact presentation the list of related structure. Therefore I'll replace this table by this template.
730:
the word "example" appears no more than three times in this article, yet examples of rings are what makes ring theory important.
773:
668:
611:
587:
193:
678:. This would make the information that you want to add easily accessible from each article about a specific structure.
208:
44:
498:
189:
535:
reverted my contribution, simply saying "This does not belongs to this article". I think this was contrary to
240:
because it makes it sound like a ED is set-theoretically contained in a PID, contained in a UFD, not the same.
299:
262:
No, multiplication in rings is not generally required to be commutative. I double-checked this in
Herstein's
413:
436:
494:
197:
463:
50:
735:
539:. I am disappointed that apparently D. Lazard didn't even consider where else this table ought to go.
94:
647:
553:
405:
291:
21:
675:
661:
580:
570:
526:
731:
320:
116:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
754:
746:
711:
683:
641:
623:
598:
547:
478:
474:
443:
429:
387:
100:
84:
63:
459:
332:
357:
267:
566:
371:
172:
767:
750:
707:
703:
679:
637:
619:
594:
543:
532:
439:
383:
256:
241:
674:
for linking phrases such as "ring-like structures" to the corresponding section of
632:
315:
233:
518:
482:
425:
378:
364:
113:
90:
437:
Talk:Ring_(mathematics)#Sorting_out_ring_theory_and_ring_.28mathematics.29
232:
Is the above a hierarchy of inclusion? If so, use the subset symbol. --
487:
Talk:Ring (mathematics)/Archive 4#merging ring theory into this article
350:
196:. Specific illustrations, plots or diagrams can be requested at the
758:
739:
715:
687:
651:
602:
574:
557:
502:
467:
447:
417:
391:
335:
303:
657:
Please sign your posts with four tildes (~~~~) instead of three.
321:
http://www.exampleproblems.com/index.php/Abstract_Algebra#Rings
167:
15:
377:
all under their ordinary addition and multiplication. Square
171:
579:
Again, this content is not about ring theory, but about
491:
Talk:Ring (mathematics)/Archive 3#New picture, new text
112:, a collaborative effort to improve the coverage of
618:structures and too little information about each.
794:Knowledge level-4 vital articles in Mathematics
477:. However, there's been discussion on whether
8:
745:The right place for examples of rings is in
645:
551:
58:
814:Knowledge requested mathematical diagrams
435:Discussion started (and will proceed) at
398:Too Many Math Articles In Knowledge Suck
784:Knowledge vital articles in Mathematics
583:. Moreover, we have already a template
60:
19:
799:B-Class vital articles in Mathematics
7:
537:Knowledge:Revert_only_when_necessary
106:This article is within the scope of
49:It is of interest to the following
226:unique factorization domain =: -->
14:
809:Top-priority mathematics articles
126:Knowledge:WikiProject Mathematics
779:Knowledge level-4 vital articles
129:Template:WikiProject Mathematics
93:
83:
62:
29:
20:
203:For more information, refer to
146:This article has been rated as
789:B-Class level-4 vital articles
509:Table of Ring/Group properties
473:There's a separate article at
1:
418:23:54, 17 December 2011 (UTC)
392:15:25, 14 November 2011 (UTC)
225:Principal ideal domain =: -->
120:and see a list of open tasks.
804:B-Class mathematics articles
759:11:01, 5 November 2023 (UTC)
740:21:33, 4 November 2023 (UTC)
525:Other possibilities include
448:15:47, 7 February 2013 (UTC)
336:04:48, 21 January 2006 (UTC)
660:IMO, your table belongs to
485:should be merged, see e.g.
830:
310:Vote for new external link
209:Knowledge:Requested images
503:10:48, 2 March 2016 (UTC)
468:03:46, 2 March 2016 (UTC)
270:02:19, 11 Jun 2004 (UTC)
259:02:08, 11 Jun 2004 (UTC)
145:
78:
57:
716:16:47, 18 May 2017 (UTC)
688:16:23, 17 May 2017 (UTC)
652:14:27, 17 May 2017 (UTC)
603:08:27, 17 May 2017 (UTC)
575:19:03, 16 May 2017 (UTC)
558:18:27, 16 May 2017 (UTC)
304:11:28, 29 May 2009 (UTC)
244:02:08, 11 Jun 2004 (UTC)
224:Euclidean domain =: -->
152:project's priority scale
205:discussion on this page
180:It is requested that a
109:WikiProject Mathematics
774:B-Class vital articles
227:integral domain =: -->
207:and/or the listing at
176:
175:
36:level-4 vital article
669:algebraic structures
612:algebraic structures
588:algebraic structures
581:algebraic structures
341:Could use an example
182:mathematical diagram
132:mathematics articles
726:Examples are needed
676:Algebraic structure
662:Algebraic structure
527:Algebraic structure
266:as a sanity check.
194:improve its quality
192:in this article to
747:Ring (mathematics)
479:ring (mathematics)
475:ring (mathematics)
430:ring (mathematics)
250:algebraic geometry
219:comment by Tarquin
177:
101:Mathematics portal
45:content assessment
654:
560:
453:need a definition
408:comment added by
294:comment added by
264:Topics in Algebra
228:Commutative ring.
216:
215:
212:
166:
165:
162:
161:
158:
157:
821:
673:
667:
616:
610:
592:
586:
495:Tobias Bergemann
420:
358:rational numbers
306:
202:
168:
134:
133:
130:
127:
124:
103:
98:
97:
87:
80:
79:
74:
66:
59:
42:
33:
32:
25:
24:
16:
829:
828:
824:
823:
822:
820:
819:
818:
764:
763:
728:
671:
665:
614:
608:
590:
584:
511:
455:
433:
403:
400:
372:complex numbers
343:
328:
326:Patent nonsense
312:
289:
221:
131:
128:
125:
122:
121:
99:
92:
72:
43:on Knowledge's
40:
30:
12:
11:
5:
827:
825:
817:
816:
811:
806:
801:
796:
791:
786:
781:
776:
766:
765:
762:
761:
727:
724:
723:
722:
721:
720:
719:
718:
695:
694:
693:
692:
691:
690:
658:
650:comment added
629:
628:
627:
556:comment added
510:
507:
506:
505:
454:
451:
432:
422:
399:
396:
395:
394:
342:
339:
327:
324:
311:
308:
296:192.115.21.171
286:
285:
284:
283:
282:
281:
280:
279:
246:
245:
230:
229:
220:
217:
214:
213:
201:
178:
164:
163:
160:
159:
156:
155:
144:
138:
137:
135:
118:the discussion
105:
104:
88:
76:
75:
67:
55:
54:
48:
26:
13:
10:
9:
6:
4:
3:
2:
826:
815:
812:
810:
807:
805:
802:
800:
797:
795:
792:
790:
787:
785:
782:
780:
777:
775:
772:
771:
769:
760:
756:
752:
748:
744:
743:
742:
741:
737:
733:
725:
717:
713:
709:
705:
701:
700:
699:
698:
697:
696:
689:
685:
681:
677:
670:
663:
659:
656:
655:
653:
649:
643:
639:
634:
630:
625:
621:
613:
607:The template
606:
605:
604:
600:
596:
589:
582:
578:
577:
576:
572:
568:
563:
562:
561:
559:
555:
549:
545:
540:
538:
534:
533:User:D.Lazard
530:
528:
523:
520:
515:
508:
504:
500:
496:
492:
488:
484:
480:
476:
472:
471:
470:
469:
465:
461:
452:
450:
449:
445:
441:
438:
431:
427:
423:
421:
419:
415:
411:
410:86.27.193.180
407:
397:
393:
389:
385:
380:
376:
373:
369:
366:
362:
359:
355:
352:
348:
347:
346:
340:
338:
337:
334:
325:
323:
322:
318:
317:
309:
307:
305:
301:
297:
293:
276:
275:
272:
271:
269:
265:
261:
260:
258:
254:
253:
252:
251:
243:
238:
237:
236:
235:
223:
222:
218:
210:
206:
199:
195:
191:
187:
183:
179:
174:
170:
169:
153:
149:
143:
140:
139:
136:
119:
115:
111:
110:
102:
96:
91:
89:
86:
82:
81:
77:
71:
68:
65:
61:
56:
52:
46:
38:
37:
27:
23:
18:
17:
729:
633:Group_theory
541:
531:
524:
517:I chose the
516:
512:
456:
434:
424:sorting out
404:â Preceding
401:
379:matrix rings
374:
367:
365:real numbers
360:
353:
344:
329:
319:
313:
287:
263:
248:
247:
231:
204:
185:
181:
148:Top-priority
147:
107:
73:Topâpriority
51:WikiProjects
34:
646:âPreceding
552:âPreceding
519:Ring theory
483:ring theory
460:DavidMCEddy
426:ring theory
333:GraemeMcRae
290:âPreceding
198:Graphic Lab
123:Mathematics
114:mathematics
70:Mathematics
768:Categories
268:Isomorphic
567:Pinkbeast
39:is rated
751:D.Lazard
708:Rschwieb
704:D.Lazard
702:I think
680:D.Lazard
638:Ijackson
620:Ijackson
595:D.Lazard
544:Ijackson
440:Rschwieb
406:unsigned
384:Rschwieb
351:integers
292:unsigned
257:Revolver
242:Revolver
190:included
186:diagrams
732:西米é²å欢æ©å
648:undated
554:undated
316:Tbsmith
234:Tarquin
150:on the
41:B-class
363:, the
356:, the
278:rings.
47:scale.
28:This
755:talk
736:talk
712:talk
684:talk
642:talk
636:fix.
624:talk
599:talk
571:talk
548:talk
499:talk
493:. â
489:and
481:and
464:talk
444:talk
428:and
414:talk
388:talk
370:the
349:The
331:it.â
300:talk
644:)
550:)
188:be
184:or
142:Top
770::
757:)
738:)
714:)
686:)
672:}}
666:{{
615:}}
609:{{
601:)
591:}}
585:{{
573:)
501:)
466:)
446:)
416:)
390:)
302:)
211:.
200:.
753:(
734:(
710:(
682:(
640:(
626:)
622:(
597:(
569:(
546:(
497:(
462:(
442:(
412:(
386:(
375:C
368:R
361:Q
354:Z
298:(
154:.
53::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.