312:, with very few links between them. This article is not confusing, because of the footnote explaining "(artinian)". IMO, the terminology is not fixed in the literature, but, because of the importance of W.A. theorem, the use of "semisimple" for "semisimple Artinian" is dominant (that is that I was teached during my studies, where only "semisimple ring" and "Jacobson ring" were used; but it was in France and Bourbaki's terminology was the standard). But, whichever terminology we use, it should be said that "some authors use ..." where needed. It appears also important to reduce the number of articles devoted to only two strongly related concepts.
95:
85:
64:
462:. More precisely, the introduction of the beginning of Chapter 1 has described briefly the history of the Wedderburn-Artin Theorem. According to the introduction, I believe that the reason why it is more common to say "Wedderburn-Artin Theorem" is that the theory was first developed by Wedderburn and then generalized by Artin. Moreover, almost all researchers in mathematical community call this theorem as "Wedderburn-Artin Theorem". We can search some of them on Zbmath here
33:
576:
263:(D) for some n and some (uniquely determined) division ring D; . Note that (ii) is symmetric. So the left-hand version of (i) and (iii) are also valid, and hence R is Artinian. 1.11 Theorem. The following conditions on R are equivalent (i) R is a finite direct product of simple Artinian rings; (ii) R
173:
I took this out because it is circular to say "The Artin
Wedderburn theorem determines the structure of semisimple artinian rings as products of matrix rings. A ring which satisfies these (equivalent) descriptions is sometimes called semisimple Artinian". The A-W Theorem is not used to define
334:
It is not unknown for texts to write something like "Theorem: The following are equivalent properties of an X: A,B,C,D. We define an X to be P if it satisfies the equivalent conditions on X". It is perhaps more common to see "We define an X to be P if it satisfies A. Theorem: the following
188:
This doesn't seem to solve the ambiguity of what "semisimple ring" means. It only makes the page more confusing, in my opinion. And the defintion of "semisimple
Artinian" by the equivalent properties of the theorem is not circular for some authors (including the ones you deleted):
395:
I tried to improve the footnote because I found it a bit confusing. I wanted to emphasize that with
Knowledge's definition of "semisimple", it automatically follows that every semisimple ring is Artinian, though some authors use the term differently.
243:
R is semisimple. By (13.5) we have that every simple artinian ring is semisimple." Prop 13.5 is a long list of equivalent properties, including that "R is simple and left
Artinian" iff "R is simple and right Artinian" iff "R is simple and
600:
I added a sketch of the proof of the
Wedderburn-Artin theorem, and moved the links to two other proofs that appear elsewhere on Knowledge to the end of that proof. By the way, there was a completely bogus proof of Wedderburn-Artin on
353:
semisimple rings. I didn't think it was appropriate also because there was no more than one description mentioned (being a product of matrix rings over division rings). Secondly, I do not believe that it is at all standard to
372:
I would be very willing to help make the clarification about semisimple rings more clear. I can see how my last version might be improved in some ways. Feedback is welcome. (I'll start with the feedback given above, too.
228:
R is a semisimple module; (3) R is isomorphic to a finite sum of rings of n × n matrices over division rings. Defintion 3.3.3: A ring which satisfies the conditions of
Theorem 3.3.2 is said to be
365:@Tijfo098 I never meant to dispute that it is an equivalent condition to being semisimple. What I'm disputing is that nobody uses it as a definition. I also mean to dispute your edit summary that
151:
217:) if every descending (ascending) chain of right ideals in the ring stabilizes. A semiprimitive ring is right Artinian if and only if it is left Artinian, and so it is called a
416:
This is a famous theorem which was due to two mathematicians
Wedderburn and Artin. In the literature, it is more common to refer this theorem as "Wedderburn-Artin theorem".
349:@Deltahedron While I'm perfectly familiar with that phenomenon, and that is exactly what the Artin-Wedderburn Theorem is, I wanted to say that it shouldn't be used to
174:
semisimple rings. Moreover, the use of "equivalent descriptions" was also unclear in the deleted sentence... I could not see any more than one description.
232:. Corollary 3.3.4. The following conditions are equivalent for a ring with identity: (1) R is semisimple Artinian; (2) R is left Artinian and semiprime; "
633:
201:
if ρ(R) = 0. For every radical ρ, the quotient ring R/ρ(R) is semisimple. If ρ is the
Jacobson or the Baer radical, then a ρ-semisimple ring is called a
141:
628:
224:
Beachy, p. 156: "Theorem 3.3.2 (Artin–Wedderburn): For any ring R the following conditions are equivalent: (1) R is left
Artinian and J(R)=(0); (2)
117:
267:
is semisimple; (iii) Every right R-module is semisimple; . Note again the symmetry, provided here by (i) and 1.10. Such a ring R is called a
431:
108:
69:
605:, which many editors had been complaining about since 2005. I deleted that proof and added more information about simple rings.
442:
Sources are needed, such as number of hits returned by
Scholar Google. in any case "Wedderburn-Artin theorem" redirects here.
255:
McConnel and Robson, rev. ed., p.3 "1.9 The next few facts connect module properties with ring properties. They comprise the
44:
209:
ring, respectively. Semiprimitive rings are also often called Jacobson semisimple (or semisimple) rings. A ring is
259:. 1.10 Theorem. The following conditions on R are equivalent: (i) R is a simple right Aritnian ring; (ii) R ≃ M
305:
538:
470:
427:
32:
584:
504:
490:
340:
50:
94:
419:
369:. I think it makes a lot more sense to let the semisimple ring/ algebra pages discuss the definition.
610:
547:
534:
466:
423:
401:
301:
116:
on Knowledge. If you would like to participate, please visit the project page, where you can join
559:
518:
447:
378:
317:
293:
280:
179:
100:
84:
63:
614:
587:
563:
542:
522:
508:
494:
451:
435:
405:
382:
358:
a semisimple ring as a finite product of matrix rings over division rings. Every source I have
344:
321:
284:
183:
169:
Explanation of removing "rings satisfying these equivalent definitions are artinian semisimple"
500:
486:
458:
I suggest to read the book "A first course in non-commutative rings" which can be found here
17:
336:
483:
297:
482:
seem the OP has a point: W-A is more common. For example, encyclopedia of math uses W-A
606:
551:
397:
463:
622:
555:
514:
443:
374:
313:
309:
276:
175:
459:
602:
499:
If there is no objection in a few days, I will be implementing the renaming. --
113:
90:
533:
It seems that there is no way to change the title of an article in Knowledge.
362:
them in a different way, and then proves this theorem about their structure.
26:
412:
The title of the article should be "Wedderburn-Artin theorem"
367:
it makes more sense to make the theorem page the defining one
335:
conditions on an X are equivalent to it being P: B,C,D".
235:
Anderson-Fuller, 2nd ed., p. 153: "A ring R is said to be
112:, a collaborative effort to improve the coverage of
464:
https://www.zbmath.org/?q=wedderburn-artin+theorem+
460:https://www.springer.com/gp/book/9780387951836
8:
30:
478:I did a very brief Google research and it
58:
193:Kelarev, p. 13: "A ring R is said to be
248:R is semisimple" iff "R is simple and R
60:
7:
106:This article is within the scope of
49:It is of interest to the following
25:
634:Mid-priority mathematics articles
126:Knowledge:WikiProject Mathematics
629:Start-Class mathematics articles
574:
239:in case the left regular module
129:Template:WikiProject Mathematics
93:
83:
62:
31:
146:This article has been rated as
292:Outside this article, we have
1:
485:. I support the renaming. —-
120:and see a list of open tasks.
18:Talk:Artin–Wedderburn theorem
550:, Such a change is called a
383:13:11, 15 October 2012 (UTC)
345:20:06, 13 October 2012 (UTC)
322:19:03, 13 October 2012 (UTC)
285:14:04, 13 October 2012 (UTC)
184:12:01, 13 October 2012 (UTC)
650:
269:semisimple (Artinian) ring
615:19:11, 12 June 2023 (UTC)
588:08:07, 25 June 2021 (UTC)
564:11:34, 19 June 2021 (UTC)
543:18:00, 19 June 2021 (UTC)
523:08:16, 19 June 2021 (UTC)
509:04:28, 19 June 2021 (UTC)
495:05:34, 16 June 2021 (UTC)
452:12:30, 15 June 2021 (UTC)
436:06:54, 15 June 2021 (UTC)
406:19:10, 12 June 2023 (UTC)
145:
78:
57:
306:Jacobson semisimple ring
152:project's priority scale
257:Artin–Wedderburn theory
109:WikiProject Mathematics
39:This article is rated
132:mathematics articles
302:semisimple Artinian
230:semisimple Artinian
219:semisimple Artinian
294:semisimple algebra
101:Mathematics portal
45:content assessment
422:comment added by
166:
165:
162:
161:
158:
157:
16:(Redirected from
641:
582:
578:
577:
438:
134:
133:
130:
127:
124:
103:
98:
97:
87:
80:
79:
74:
66:
59:
42:
36:
35:
27:
21:
649:
648:
644:
643:
642:
640:
639:
638:
619:
618:
598:
583:—usernamekiran
575:
573:
417:
414:
298:semisimple ring
266:
262:
252:is semisimple".
251:
247:
242:
227:
171:
131:
128:
125:
122:
121:
99:
92:
72:
43:on Knowledge's
40:
23:
22:
15:
12:
11:
5:
647:
645:
637:
636:
631:
621:
620:
597:
594:
592:
571:
570:
569:
568:
567:
566:
548:Huynhvietkhanh
535:Huynhvietkhanh
528:
527:
526:
525:
497:
475:
474:
467:Huynhvietkhanh
455:
454:
424:Huynhvietkhanh
413:
410:
409:
408:
392:
391:
390:
389:
388:
387:
386:
385:
370:
363:
327:
326:
325:
324:
273:
272:
264:
260:
253:
249:
245:
240:
233:
225:
222:
211:right Artinian
170:
167:
164:
163:
160:
159:
156:
155:
144:
138:
137:
135:
118:the discussion
105:
104:
88:
76:
75:
67:
55:
54:
48:
37:
24:
14:
13:
10:
9:
6:
4:
3:
2:
646:
635:
632:
630:
627:
626:
624:
617:
616:
612:
608:
604:
595:
593:
590:
589:
586:
581:
565:
561:
557:
553:
549:
546:
545:
544:
540:
536:
532:
531:
530:
529:
524:
520:
516:
512:
511:
510:
506:
502:
498:
496:
492:
488:
484:
481:
477:
476:
472:
468:
465:
461:
457:
456:
453:
449:
445:
441:
440:
439:
437:
433:
429:
425:
421:
411:
407:
403:
399:
394:
393:
384:
380:
376:
371:
368:
364:
361:
357:
352:
348:
347:
346:
342:
338:
333:
332:
331:
330:
329:
328:
323:
319:
315:
311:
310:Jacobson ring
307:
303:
299:
295:
291:
290:
289:
288:
287:
286:
282:
278:
270:
258:
254:
238:
234:
231:
223:
220:
216:
212:
208:
204:
203:semiprimitive
200:
196:
192:
191:
190:
186:
185:
181:
177:
168:
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:
34:
29:
28:
19:
599:
591:
579:
572:
479:
418:— Preceding
415:
366:
359:
355:
350:
274:
268:
256:
236:
229:
218:
214:
210:
206:
202:
199:ρ-semisimple
198:
194:
187:
172:
148:Mid-priority
147:
107:
73:Mid‑priority
51:WikiProjects
603:Simple ring
596:Added proof
337:Deltahedron
123:Mathematics
114:mathematics
70:Mathematics
41:Start-class
623:Categories
237:semisimple
215:Noetherian
195:semisimple
607:John Baez
398:John Baez
308:and also
207:semiprime
556:D.Lazard
515:D.Lazard
444:D.Lazard
432:contribs
420:unsigned
375:Rschwieb
314:D.Lazard
277:Tijfo098
176:Rschwieb
552:WP:move
360:defines
150:on the
585:(talk)
356:define
351:define
221:ring."
47:scale.
611:talk
580:Done
560:talk
539:talk
519:talk
513:OK.
505:talk
501:Taku
491:talk
487:Taku
480:does
471:talk
448:talk
428:talk
402:talk
379:talk
341:talk
318:talk
281:talk
180:talk
275:--
205:or
197:or
142:Mid
625::
613:)
562:)
554:.
541:)
521:)
507:)
493:)
450:)
434:)
430:•
404:)
381:)
343:)
320:)
304:,
300:,
296:,
283:)
271:."
182:)
609:(
558:(
537:(
517:(
503:(
489:(
473:)
469:(
446:(
426:(
400:(
377:(
339:(
316:(
279:(
265:R
261:n
250:R
246:R
241:R
226:R
213:(
178:(
154:.
53::
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.