202:
1386:
3047:
Below we present four theorems, labelled A, B, C and D. They are often numbered as "First isomorphism theorem", "Second..." and so on; however, there is no universal agreement on the numbering. Here we give some examples of the group isomorphism theorems in the literature. Notice that these theorems
1221:
1098:
6976:
2987:
7466:
1381:{\displaystyle \operatorname {PGL} _{2}(\mathbb {C} ):=\operatorname {GL} _{2}\left(\mathbb {C} )/(\mathbb {C} ^{\times }\!I\right)\cong \operatorname {SL} _{2}(\mathbb {C} )/\{\pm I\}=:\operatorname {PSL} _{2}(\mathbb {C} )}
998:
2923:
2861:
2823:
6494:
2779:
1213:
969:
911:
7280:
6377:
7226:
2544:
2741:
2715:
7091:
5777:
2928:
5343:
5268:
5081:
4319:
4244:
4057:
3982:
3795:
3340:
2677:
2054:
1979:
1792:
1717:
1530:
7372:
7190:
7144:
6802:
6120:
5598:
4486:
6807:
1139:
5928:
2468:
2434:
2266:
6022:
3585:
3507:
6218:
5624:
4754:
6756:
6701:
5399:
4375:
2110:
667:
6602:
6544:
6168:
5884:
5803:
6666:
3531:
3466:
3419:
3372:
2636:
7032:
7004:
6630:
6094:
5834:
567:
2582:
2506:
627:
7342:
7300:
6397:
6306:
5858:
7723:
5656:
5564:
5427:
5196:
5168:
5137:
5109:
4700:
4672:
4582:
4403:
4172:
4144:
4113:
4085:
3910:
3882:
3851:
3823:
2334:
2138:
1907:
1879:
1848:
1820:
1645:
1617:
1586:
1558:
334:
838:
535:
469:
7164:
7118:
6776:
6730:
6564:
6514:
6417:
6326:
6286:
6266:
6246:
6066:
6046:
5972:
5952:
5742:
5696:
5676:
5536:
5516:
5496:
5476:
5456:
5311:
5291:
5236:
5216:
5049:
5029:
4642:
4622:
4602:
4554:
4534:
4514:
4452:
4432:
4287:
4267:
4212:
4192:
4025:
4005:
3950:
3930:
3763:
3743:
3551:
3443:
3392:
3308:
3288:
2602:
2306:
2286:
2232:
2212:
2192:
2022:
2002:
1947:
1927:
1760:
1740:
1685:
1665:
1498:
1478:
1454:
1434:
1414:
1159:
993:
815:
795:
775:
755:
735:
711:
691:
587:
512:
489:
439:
419:
399:
379:
359:
7377:
1093:{\displaystyle \mathbb {C} ^{\times }\!I=\left\{\left({\begin{smallmatrix}a&0\\0&a\end{smallmatrix}}\right):a\in \mathbb {C} ^{\times }\right\}}
2890:
2828:
8007:
7979:
7955:
7792:
7592:
7556:
7520:
2340:
2784:
196:
6422:
7908:
7699:
7572:
2925:. In an abelian category, all monomorphisms are also normal, and the diagram may be extended by a second short exact sequence
122:
2746:
1168:
8062:
8044:
927:
869:
8080:
7231:
5887:
51:
6331:
7199:
2876:
2982:{\displaystyle 0\rightarrow G/\operatorname {ker} f\rightarrow H\rightarrow \operatorname {coker} f\rightarrow 0}
2511:
541:
4761:
2720:
2694:
333:
4757:
2437:
2397:
446:
7037:
5750:
5316:
5241:
5054:
4292:
4217:
4030:
3955:
3768:
3313:
2648:
2027:
1952:
1765:
1690:
1503:
6971:{\displaystyle \Phi /\Psi =\{(_{\Psi },_{\Psi }):(a',a'')\in \Phi \}=_{\Psi }\circ \Phi \circ _{\Psi }^{-1}}
863:
859:
7966:
7351:
7169:
7123:
6781:
6099:
5569:
4457:
2389:
7872:
111:
1103:
5901:
2871:. In general, the existence of a right split does not imply the existence of a left split; but in an
2447:
2407:
2237:
7345:
5977:
5745:
4711:
3556:
3478:
3009:
2884:
2547:
2385:
921:
75:
7881:
7747:
6025:
5711:
5627:
4846:
4827:
4804:
4727:
3620:
3398:
3259:
2393:
257:
184:
164:
144:
136:
91:
83:
63:
7784:
6175:
5603:
4737:
7717:
7548:
6735:
6671:
5348:
4324:
3255:
3036:
2688:
2373:
2059:
632:
230:
140:
67:
6571:
6522:
6129:
5863:
5782:
5626:. This correspondence commutes with the processes of taking sums and intersections (i.e., is a
8058:
8040:
8003:
7975:
7951:
7904:
7788:
7705:
7695:
7588:
7552:
7516:
7512:
6638:
5836:
into an algebra of the same type by defining the operations via representatives; this will be
5806:
5722:
5707:
3516:
3451:
3404:
3357:
3343:
2607:
2479:
914:
280:
87:
17:
7009:
6981:
6607:
6071:
5811:
2148:. The first four statements are often subsumed under Theorem D below, and referred to as the
546:
7776:
7580:
7540:
7536:
7504:
7193:
4812:
3469:
3351:
2872:
2561:
2485:
2357:
595:
238:
156:
132:
115:
102:
The isomorphism theorems were formulated in some generality for homomorphisms of modules by
35:
7305:
7285:
6382:
6291:
5843:
201:
7937:
7896:
7618:
4850:
4715:
3238:
2880:
2377:
2369:
2169:
1162:
246:
127:
5633:
5541:
5404:
5173:
5145:
5114:
5086:
4677:
4649:
4559:
4380:
4149:
4121:
4090:
4062:
3887:
3859:
3828:
3800:
2311:
2115:
1884:
1856:
1825:
1797:
1622:
1594:
1563:
1535:
7777:
2360:(also known as the butterfly lemma) is sometimes called the fourth isomorphism theorem.
820:
517:
451:
7541:
7461:{\displaystyle \alpha :\left\to \operatorname {Con} (A/\Phi ),\Psi \mapsto \Psi /\Phi }
7149:
7103:
6761:
6715:
6549:
6499:
6402:
6311:
6271:
6251:
6231:
6051:
6031:
5957:
5937:
5727:
5681:
5661:
5521:
5501:
5481:
5461:
5441:
5296:
5276:
5221:
5201:
5034:
5014:
4644:
4627:
4607:
4587:
4539:
4519:
4499:
4437:
4417:
4272:
4252:
4197:
4177:
4010:
3990:
3935:
3915:
3748:
3728:
3536:
3428:
3377:
3293:
3273:
2864:
2587:
2551:
2291:
2271:
2217:
2197:
2177:
2007:
1987:
1932:
1912:
1745:
1725:
1670:
1650:
1483:
1463:
1439:
1419:
1399:
1144:
978:
918:
800:
780:
760:
740:
720:
696:
676:
572:
497:
474:
424:
404:
384:
364:
344:
284:
8074:
7864:
7505:
7500:
4731:
3473:
3025:
2997:
2555:
160:
7884:, "Emmy Noether's 'Set Theoretic' Topology: From Dedekind to the rise of functors".
5931:
5837:
4723:
2381:
148:
103:
71:
55:
7579:. Graduate Texts in Mathematics 251. Vol. 251. Springer-Verlag London. p. 7.
5805:
considered as an algebra with componentwise operations. One can make the set of
2482:, all epimorphisms are normal). This is represented in the diagram by an object
7889:
1032:
972:
79:
31:
7869:
Abstrakter Aufbau der
Idealtheorie in algebraischen Zahl- und Funktionenkörpern
3258:
are similar, with the notion of a normal subgroup replaced by the notion of an
2550:
running from the lower left to the upper right of the diagram. The use of the
108:
Abstrakter Aufbau der
Idealtheorie in algebraischen Zahl- und Funktionenkörpern
7584:
6123:
3032:
2336:. Under this correspondence normal subgroups correspond to normal subgroups.
714:
303:
152:
90:, the isomorphism theorems can be generalized to the context of algebras and
7709:
4719:
4493:
59:
7836:
6220:, so one recovers the notion of kernel used in group theory in this case.)
2918:{\displaystyle \operatorname {im} \kappa \oplus \operatorname {im} \sigma }
2856:{\displaystyle \operatorname {im} \kappa \times \operatorname {im} \sigma }
7689:
3246:, as one of isomorphism theorems, but when included, it is the last one.
2436:. The diagram shows that every morphism in the category of groups has a
2401:
265:
147:
approach to the subject. Van der
Waerden credited lectures by Noether on
7886:
The
Architecture of Modern Mathematics: Essays in history and philosophy
337:
Diagram for theorem B4. The two quotient groups (dotted) are isomorphic.
3422:
47:
2818:{\displaystyle \rho \circ \kappa =\operatorname {id} _{{\text{ker}}f}}
4489:
7892:
and José Ferreirós), Oxford
University Press (2006) pp. 211–35.
2268:
defines a bijective correspondence between the set of subgroups of
114:. Less general versions of these theorems can be found in work of
7694:. Richard M. Foote (Third ed.). Hoboken, NJ. pp. 97–98.
332:
200:
3236:
It is less common to include the
Theorem D, usually known as the
6489:{\displaystyle ^{\Phi }=\{K\in A/\Phi :K\cap B\neq \emptyset \}}
167:
as the main references. The three isomorphism theorems, called
7925:
6170:
3179:
Fundamental homomorphism theorem or first isomorphism theorem
858:
An application of the second isomorphism theorem identifies
3052:
Comparison of the names of the group isomorphism theorems
2641:
If the sequence is right split (i.e., there is a morphism
2440:
in the category theoretical sense; the arbitrary morphism
7837:"Is there a general form of the correspondence theorem?"
4714:
are particularly simple, since it is possible to form a
2774:{\displaystyle \rho :G\rightarrow \operatorname {ker} f}
2376:
is (normal epi, mono)-factorizable; in other words, the
1208:{\displaystyle SN=\operatorname {GL} _{2}(\mathbb {C} )}
2546:(kernels are always monomorphisms), which complete the
964:{\displaystyle S=\operatorname {SL} _{2}(\mathbb {C} )}
906:{\displaystyle G=\operatorname {GL} _{2}(\mathbb {C} )}
2879:), left splits and right splits are equivalent by the
7380:
7354:
7308:
7288:
7234:
7202:
7172:
7152:
7126:
7106:
7040:
7012:
6984:
6810:
6784:
6764:
6738:
6718:
6674:
6641:
6610:
6574:
6552:
6525:
6502:
6496:
the collection of equivalence classes that intersect
6425:
6405:
6385:
6334:
6314:
6294:
6274:
6254:
6234:
6178:
6132:
6102:
6074:
6054:
6034:
5980:
5960:
5940:
5904:
5866:
5846:
5814:
5785:
5753:
5730:
5684:
5664:
5636:
5606:
5572:
5544:
5524:
5504:
5484:
5464:
5444:
5407:
5351:
5319:
5299:
5279:
5244:
5224:
5204:
5176:
5148:
5117:
5089:
5057:
5037:
5017:
4760:
vector spaces, all of these theorems follow from the
4740:
4680:
4652:
4630:
4610:
4590:
4562:
4542:
4522:
4502:
4460:
4440:
4420:
4383:
4327:
4295:
4275:
4255:
4220:
4200:
4180:
4152:
4124:
4093:
4065:
4033:
4013:
3993:
3958:
3938:
3918:
3890:
3862:
3831:
3803:
3771:
3751:
3731:
3559:
3539:
3519:
3481:
3454:
3431:
3407:
3380:
3360:
3316:
3296:
3276:
2931:
2893:
2831:
2787:
2749:
2723:
2697:
2651:
2610:
2590:
2564:
2514:
2488:
2450:
2410:
2314:
2294:
2274:
2240:
2220:
2200:
2180:
2118:
2062:
2030:
2010:
1990:
1955:
1935:
1915:
1887:
1859:
1828:
1800:
1768:
1748:
1728:
1693:
1673:
1653:
1625:
1597:
1566:
1538:
1506:
1486:
1466:
1442:
1422:
1402:
1224:
1171:
1147:
1106:
1001:
981:
930:
872:
823:
803:
783:
763:
743:
723:
699:
679:
635:
598:
575:
549:
520:
500:
477:
454:
427:
407:
387:
367:
347:
155:
on algebra, as well as a seminar conducted by Artin,
7275:{\displaystyle \left\subseteq \operatorname {Con} A}
3031:
The third isomorphism theorem is generalized by the
7748:"An Introduction to the Theory of Field Extensions"
2144:The last statement is sometimes referred to as the
1215:. Then the second isomorphism theorem states that:
205:
Diagram of the fundamental theorem on homomorphisms
7460:
7366:
7336:
7294:
7274:
7220:
7184:
7158:
7138:
7112:
7085:
7026:
6998:
6970:
6796:
6770:
6750:
6724:
6695:
6660:
6624:
6596:
6558:
6538:
6508:
6488:
6411:
6391:
6371:
6320:
6300:
6280:
6260:
6240:
6212:
6162:
6114:
6088:
6060:
6040:
6016:
5966:
5946:
5922:
5878:
5852:
5828:
5797:
5771:
5736:
5690:
5670:
5650:
5618:
5592:
5558:
5530:
5510:
5490:
5470:
5450:
5421:
5393:
5337:
5305:
5285:
5262:
5230:
5210:
5190:
5162:
5131:
5103:
5075:
5043:
5023:
4748:
4694:
4666:
4636:
4616:
4596:
4576:
4548:
4528:
4508:
4480:
4446:
4426:
4397:
4369:
4313:
4281:
4261:
4238:
4206:
4186:
4166:
4138:
4107:
4079:
4051:
4019:
3999:
3976:
3944:
3924:
3904:
3876:
3845:
3817:
3789:
3757:
3737:
3579:
3545:
3525:
3501:
3460:
3437:
3413:
3386:
3366:
3334:
3302:
3282:
2981:
2917:
2855:
2817:
2773:
2735:
2709:
2671:
2630:
2596:
2576:
2538:
2500:
2462:
2428:
2368:The first isomorphism theorem can be expressed in
2328:
2300:
2280:
2260:
2226:
2206:
2186:
2132:
2104:
2048:
2016:
1996:
1973:
1941:
1921:
1901:
1873:
1842:
1814:
1786:
1754:
1734:
1711:
1679:
1659:
1639:
1611:
1580:
1552:
1524:
1492:
1472:
1448:
1428:
1408:
1380:
1207:
1153:
1133:
1092:
987:
963:
905:
832:
809:
789:
769:
749:
729:
705:
685:
661:
621:
581:
561:
529:
506:
483:
463:
433:
413:
393:
373:
353:
5498:. There is a bijection between the submodules of
2404:whose existence can be deduced from the morphism
1298:
1014:
183:We first present the isomorphism theorems of the
2743:. If it is left split (i.e., there exists some
6372:{\displaystyle \Phi _{B}=\Phi \cap (B\times B)}
4710:The statements of the isomorphism theorems for
2992:In the second isomorphism theorem, the product
2883:, and a right split is sufficient to produce a
7965:Burris, Stanley; Sankappanavar, H. P. (2012).
7374:, moreover it is a sublattice), then the map
7221:{\displaystyle \Phi \in \operatorname {Con} A}
3090:"often called the first isomorphism theorem"
8:
7946:Dummit, David S.; Foote, Richard M. (2004).
7775:Dummit, David S.; Foote, Richard M. (2004).
6913:
6825:
6483:
6445:
2554:convention saves us from having to draw the
1348:
1339:
1128:
1119:
8055:Algebra (Graduate Texts in Mathematics, 73)
7941:, vol. 1 (9 ed.), Springer-Verlag
2539:{\displaystyle \kappa :\ker f\rightarrow G}
175:when applied to groups, appear explicitly.
7722:: CS1 maint: location missing publisher (
5710:, normal subgroups need to be replaced by
2736:{\displaystyle \operatorname {im} \sigma }
2710:{\displaystyle \operatorname {im} \kappa }
817:is still a normal subgroup of the product
7450:
7427:
7379:
7353:
7307:
7287:
7233:
7201:
7171:
7151:
7125:
7105:
7069:
7058:
7047:
7039:
7016:
7011:
6988:
6983:
6959:
6954:
6929:
6870:
6846:
6814:
6809:
6783:
6763:
6737:
6717:
6687:
6678:
6673:
6652:
6640:
6614:
6609:
6588:
6573:
6551:
6530:
6524:
6501:
6457:
6436:
6424:
6404:
6384:
6339:
6333:
6313:
6293:
6273:
6253:
6233:
6192:
6177:
6131:
6101:
6078:
6073:
6053:
6033:
5979:
5959:
5939:
5903:
5865:
5845:
5818:
5813:
5784:
5752:
5729:
5683:
5663:
5640:
5635:
5605:
5582:
5571:
5548:
5543:
5523:
5503:
5483:
5463:
5443:
5411:
5406:
5380:
5369:
5358:
5350:
5318:
5298:
5278:
5243:
5223:
5203:
5180:
5175:
5152:
5147:
5121:
5116:
5093:
5088:
5056:
5036:
5016:
4742:
4741:
4739:
4684:
4679:
4656:
4651:
4629:
4609:
4589:
4566:
4561:
4541:
4521:
4501:
4470:
4459:
4439:
4419:
4387:
4382:
4356:
4345:
4334:
4326:
4294:
4274:
4254:
4219:
4199:
4179:
4156:
4151:
4128:
4123:
4097:
4092:
4069:
4064:
4032:
4012:
3992:
3957:
3937:
3917:
3894:
3889:
3866:
3861:
3835:
3830:
3807:
3802:
3770:
3750:
3730:
3563:
3558:
3538:
3518:
3485:
3480:
3453:
3430:
3406:
3379:
3359:
3315:
3295:
3275:
2941:
2930:
2892:
2830:
2825:), then it must also be right split, and
2805:
2804:
2786:
2748:
2722:
2696:
2655:
2650:
2614:
2609:
2589:
2563:
2513:
2487:
2449:
2409:
2318:
2313:
2293:
2273:
2250:
2239:
2219:
2199:
2179:
2122:
2117:
2091:
2080:
2069:
2061:
2029:
2009:
1989:
1954:
1934:
1914:
1891:
1886:
1863:
1858:
1832:
1827:
1804:
1799:
1767:
1747:
1727:
1692:
1672:
1652:
1629:
1624:
1601:
1596:
1570:
1565:
1542:
1537:
1505:
1485:
1465:
1441:
1421:
1401:
1371:
1370:
1358:
1334:
1327:
1326:
1314:
1292:
1288:
1287:
1278:
1271:
1270:
1256:
1242:
1241:
1229:
1223:
1198:
1197:
1185:
1170:
1146:
1105:
1079:
1075:
1074:
1030:
1008:
1004:
1003:
1000:
980:
954:
953:
941:
929:
896:
895:
883:
871:
822:
802:
782:
762:
742:
722:
698:
678:
639:
634:
611:
597:
574:
548:
519:
499:
476:
453:
426:
406:
386:
366:
346:
7282:the set of all congruences that contain
7086:{\displaystyle (A/\Psi )/(\Phi /\Psi ).}
5772:{\displaystyle \Phi \subseteq A\times A}
3050:
2234:. The canonical projection homomorphism
7483:
7481:
7477:
5338:{\displaystyle T\subseteq S\subseteq M}
5263:{\displaystyle T\subseteq S\subseteq M}
5076:{\displaystyle T\subseteq S\subseteq M}
4314:{\displaystyle I\subseteq J\subseteq R}
4239:{\displaystyle I\subseteq J\subseteq R}
4052:{\displaystyle I\subseteq J\subseteq R}
3977:{\displaystyle I\subseteq A\subseteq R}
3790:{\displaystyle I\subseteq A\subseteq R}
3335:{\displaystyle \varphi :R\rightarrow S}
3039:and more general maps between objects.
2672:{\displaystyle G/\operatorname {ker} f}
2049:{\displaystyle N\subseteq K\subseteq G}
1974:{\displaystyle N\subseteq K\subseteq G}
1787:{\displaystyle N\subseteq K\subseteq G}
1712:{\displaystyle N\subseteq K\subseteq G}
1525:{\displaystyle N\subseteq K\subseteq G}
995:the normal subgroup of scalar matrices
7825:Burris and Sankappanavar (2012), p. 49
7816:Burris and Sankappanavar (2012), p. 37
7715:
4767:In the following, "module" will mean "
3196:Second or Diamond isomorphism theorem
62:. Versions of the theorems exist for
7903:, vol. 1 (2nd ed.), Dover,
7511:. American Mathematical Soc. p.
7367:{\displaystyle \operatorname {Con} A}
7185:{\displaystyle \operatorname {Con} A}
7139:{\displaystyle \operatorname {Con} A}
6126:. (Note that in the case of a group,
5630:between the lattice of submodules of
3098:Fundamental theorem of homomorphisms
3080:Fundamental theorem of homomorphisms
2339:This theorem is sometimes called the
843:This theorem is sometimes called the
673:Technically, it is not necessary for
50:that describe the relationship among
7:
6797:{\displaystyle \Psi \subseteq \Phi }
6115:{\displaystyle \operatorname {im} f}
5593:{\displaystyle A\leftrightarrow A/N}
4481:{\displaystyle A\leftrightarrow A/I}
3048:have analogs for rings and modules.
1822:has a normal subgroup isomorphic to
693:to be a normal subgroup, as long as
197:Fundamental theorem on homomorphisms
4756:) are special cases of these. For
3254:The statements of the theorems for
321:This theorem is usually called the
7455:
7447:
7441:
7432:
7392:
7314:
7289:
7240:
7203:
7074:
7066:
7052:
7021:
6993:
6955:
6938:
6930:
6910:
6871:
6847:
6819:
6811:
6791:
6785:
6745:
6739:
6684:
6653:
6619:
6589:
6527:
6480:
6462:
6437:
6386:
6348:
6336:
6295:
6083:
5981:
5847:
5823:
5754:
2308:and the set of (all) subgroups of
25:
7489:Theorems concerning homomorphisms
7228:is a congruence and we denote by
5886:. The resulting structure is the
5658:and the lattice of submodules of
5566:. The correspondence is given by
1134:{\displaystyle S\cap N=\{\pm I\}}
1031:
163:, and van der Waerden himself on
110:, which was published in 1927 in
8026:Grillet, Pierre Antoine (2007),
5923:{\displaystyle f:A\rightarrow B}
4722:. The isomorphism theorems for
2463:{\displaystyle \iota \circ \pi }
2429:{\displaystyle f:G\rightarrow H}
2261:{\displaystyle G\rightarrow G/N}
862:: for example, the group on the
118:and previous papers by Noether.
8000:Modern Algebra: An Introduction
7935:van der Waerden, B. I. (1994),
7807:Dummit and Foote (2004), p. 349
6017:{\displaystyle \Phi :f(x)=f(y)}
3580:{\displaystyle R/\ker \varphi }
3502:{\displaystyle R/\ker \varphi }
2396:in the margin, which shows the
8053:Hungerford, Thomas W. (1980),
7783:. Hoboken, NJ: Wiley. p.
7736:Scott (1964), secs 2.2 and 2.3
7444:
7435:
7421:
7412:
7146:the set of all congruences on
7077:
7063:
7055:
7041:
6951:
6944:
6926:
6919:
6904:
6882:
6876:
6867:
6855:
6843:
6831:
6828:
6649:
6642:
6585:
6578:
6433:
6426:
6366:
6354:
6201:
6182:
6157:
6151:
6142:
6136:
6011:
6005:
5996:
5990:
5914:
5576:
5388:
5374:
5366:
5352:
4464:
4364:
4350:
4342:
4328:
3326:
2973:
2961:
2955:
2935:
2759:
2530:
2420:
2244:
2099:
2085:
2077:
2063:
1375:
1367:
1331:
1323:
1283:
1275:
1246:
1238:
1202:
1194:
958:
950:
900:
892:
656:
644:
608:
599:
44:Noether's isomorphism theorems
27:Group of mathematical theorems
18:First ring isomorphism theorem
1:
8039:(2 ed.), Prentice Hall,
7968:A Course in Universal Algebra
7688:Dummit, David Steven (2004).
7678:Fraleigh (2003), Chap. 14, 34
7096:Theorem D (universal algebra)
6708:Theorem C (universal algebra)
6668:is isomorphic to the algebra
6224:Theorem B (universal algebra)
5894:Theorem A (universal algebra)
4771:-module" for some fixed ring
1560:has a subgroup isomorphic to
7487:Milne (2013), Chap. 1, sec.
6758:two congruence relations on
6213:{\displaystyle f(xy^{-1})=1}
5619:{\displaystyle A\supseteq N}
4749:{\displaystyle \mathbb {Z} }
4496:between the set of subrings
3146:Other convention per Grillet
2372:language by saying that the
777:is not a normal subgroup of
441:. Then the following hold:
7755:UChicago Department of Math
6751:{\displaystyle \Phi ,\Psi }
6696:{\displaystyle B/\Phi _{B}}
5779:that forms a subalgebra of
5394:{\displaystyle (M/T)/(S/T)}
5345:, then the quotient module
4556:and the set of subrings of
4370:{\displaystyle (R/I)/(J/I)}
3182:Second isomorphism theorem
3168:Second isomorphism theorem
3157:Second isomorphism theorem
3133:Second isomorphism theorem
3119:Second isomorphism theorem
3104:Second isomorphism theorem
2683:-preimage of itself), then
2392:. This is captured in the
2105:{\displaystyle (G/N)/(K/N)}
662:{\displaystyle S/(S\cap N)}
8097:
8035:Rotman, Joseph J. (2003),
8017:Knapp, Anthony W. (2016),
7507:Algebra: A Graduate Course
7468:is a lattice isomorphism.
6597:{\displaystyle \ ^{\Phi }}
3199:Third isomorphism theorem
3193:First isomorphism theorem
3185:Third isomorphism theorem
3171:Third isomorphism theorem
3165:First isomorphism theorem
3154:Third isomorphism theorem
3151:First isomorphism theorem
3136:First isomorphism theorem
3122:First isomorphism theorem
3101:First isomorphism theorem
3085:Second isomorphism theorem
2351:fourth isomorphism theorem
2167:
2158:fourth isomorphism theorem
2056:, then the quotient group
845:second isomorphism theorem
194:
125:published his influential
8021:(Digital second ed.)
7920:, Chapter II.3 p. 57
7841:Mathematics StackExchange
7607:Jacobson (2009), sec 1.10
7585:10.1007/978-1-84800-988-2
7196:ordered by inclusion. If
7120:be an algebra and denote
6539:{\displaystyle \Phi _{B}}
6163:{\displaystyle f(x)=f(y)}
5879:{\displaystyle A\times A}
5798:{\displaystyle A\times A}
4321:, then the quotient ring
3654: } is a subring of
3203:
3140:
3073:
3068:
3065:
3062:
3059:
3056:
3043:Note on numbers and names
3016:, while the intersection
2146:third isomorphism theorem
1909:for some normal subgroup
1853:Every normal subgroup of
323:first isomorphism theorem
7998:Durbin, John R. (2009).
7924:Milne, James S. (2013),
7660:Grillet (2007), sec. I 5
7641:essentially the same as
7577:The Finite Simple Groups
6661:{\displaystyle ^{\Phi }}
5974:, the relation given by
3526:{\displaystyle \varphi }
3461:{\displaystyle \varphi }
3414:{\displaystyle \varphi }
3367:{\displaystyle \varphi }
3141:Three numbered theorems
3095:van der Waerden, Durbin
2631:{\displaystyle G/\ker f}
2478:is an epimorphism (in a
2004:is a normal subgroup of
1742:is a normal subgroup of
860:projective linear groups
569:is a normal subgroup of
514:is a normal subgroup of
421:be a normal subgroup of
8037:Advanced Modern Algebra
7669:Rotman (2003), sec. 2.6
7027:{\displaystyle A/\Phi }
6999:{\displaystyle A/\Psi }
6625:{\displaystyle A/\Phi }
6089:{\displaystyle A/\Phi }
5829:{\displaystyle A/\Phi }
3216:Correspondence theorem
2691:of the normal subgroup
864:complex projective line
562:{\displaystyle S\cap N}
173:two laws of isomorphism
135:textbook that took the
8030:(2 ed.), Springer
7950:. Hoboken, NJ: Wiley.
7651:Knapp (2016), sec IV 2
7631:Durbin (2009), sec. 54
7462:
7368:
7338:
7296:
7276:
7222:
7186:
7160:
7140:
7114:
7087:
7028:
7000:
6972:
6798:
6772:
6752:
6726:
6697:
6662:
6626:
6598:
6560:
6540:
6510:
6490:
6413:
6393:
6373:
6322:
6302:
6282:
6262:
6242:
6214:
6164:
6116:
6090:
6062:
6042:
6018:
5968:
5948:
5924:
5880:
5854:
5830:
5799:
5773:
5738:
5706:To generalise this to
5692:
5672:
5652:
5620:
5594:
5560:
5538:and the submodules of
5532:
5512:
5492:
5472:
5452:
5423:
5395:
5339:
5307:
5287:
5264:
5232:
5212:
5192:
5164:
5133:
5105:
5077:
5045:
5025:
4962:The quotient modules (
4750:
4696:
4668:
4638:
4618:
4604:(a subring containing
4598:
4578:
4550:
4530:
4510:
4482:
4448:
4428:
4399:
4371:
4315:
4283:
4263:
4240:
4208:
4188:
4168:
4140:
4109:
4081:
4053:
4021:
4001:
3978:
3946:
3926:
3906:
3878:
3847:
3819:
3791:
3759:
3739:
3581:
3547:
3527:
3503:
3462:
3439:
3415:
3388:
3368:
3336:
3304:
3284:
3244:correspondence theorem
2983:
2919:
2877:that of abelian groups
2857:
2819:
2775:
2737:
2711:
2673:
2632:
2598:
2578:
2577:{\displaystyle \ker f}
2540:
2502:
2501:{\displaystyle \ker f}
2474:is a monomorphism and
2464:
2430:
2342:correspondence theorem
2330:
2302:
2282:
2262:
2228:
2208:
2188:
2154:correspondence theorem
2134:
2106:
2050:
2018:
1998:
1975:
1943:
1923:
1903:
1875:
1844:
1816:
1788:
1756:
1736:
1713:
1681:
1661:
1641:
1613:
1582:
1554:
1526:
1494:
1474:
1450:
1430:
1410:
1382:
1209:
1155:
1135:
1094:
989:
965:
907:
834:
811:
791:
771:
751:
731:
707:
687:
663:
623:
622:{\displaystyle (SN)/N}
583:
563:
531:
508:
485:
465:
435:
415:
395:
375:
355:
338:
206:
8002:(6 ed.). Wiley.
7989:Scott, W. R. (1964),
7878:(1927) pp. 26–61
7873:Mathematische Annalen
7463:
7369:
7339:
7337:{\displaystyle \left}
7297:
7295:{\displaystyle \Phi }
7277:
7223:
7187:
7161:
7141:
7115:
7088:
7029:
7001:
6973:
6799:
6773:
6753:
6727:
6698:
6663:
6627:
6599:
6561:
6541:
6511:
6491:
6414:
6394:
6392:{\displaystyle \Phi }
6374:
6323:
6303:
6301:{\displaystyle \Phi }
6283:
6263:
6243:
6215:
6165:
6117:
6091:
6063:
6048:) is a congruence on
6043:
6019:
5969:
5949:
5934:. Then the image of
5925:
5881:
5855:
5853:{\displaystyle \Phi }
5831:
5800:
5774:
5739:
5693:
5673:
5653:
5621:
5595:
5561:
5533:
5513:
5493:
5473:
5453:
5424:
5396:
5340:
5308:
5288:
5265:
5233:
5213:
5193:
5165:
5134:
5106:
5078:
5046:
5026:
4892:be a module, and let
4751:
4697:
4669:
4639:
4619:
4599:
4579:
4551:
4531:
4511:
4483:
4454:. The correspondence
4449:
4429:
4400:
4372:
4316:
4284:
4264:
4241:
4209:
4189:
4169:
4141:
4110:
4082:
4054:
4022:
4002:
3979:
3947:
3927:
3907:
3879:
3848:
3820:
3792:
3760:
3740:
3582:
3548:
3528:
3504:
3463:
3440:
3416:
3389:
3369:
3337:
3305:
3285:
3224:Homomorphism theorem
3210:Homomorphism theorem
3130:Homomorphism theorem
2984:
2920:
2858:
2820:
2776:
2738:
2712:
2674:
2633:
2599:
2579:
2541:
2503:
2465:
2431:
2331:
2303:
2283:
2263:
2229:
2214:a normal subgroup of
2209:
2189:
2135:
2107:
2051:
2019:
1999:
1976:
1944:
1924:
1904:
1876:
1845:
1817:
1789:
1757:
1737:
1714:
1682:
1662:
1642:
1614:
1583:
1555:
1527:
1495:
1475:
1451:
1436:a normal subgroup of
1431:
1411:
1383:
1210:
1156:
1136:
1095:
990:
966:
908:
853:parallelogram theorem
835:
812:
792:
772:
752:
732:
713:is a subgroup of the
708:
688:
664:
624:
584:
564:
532:
509:
486:
466:
436:
416:
396:
376:
356:
336:
204:
112:Mathematische Annalen
8081:Isomorphism theorems
7746:Moy, Samuel (2022).
7378:
7352:
7306:
7286:
7232:
7200:
7170:
7150:
7124:
7104:
7038:
7010:
6982:
6808:
6782:
6762:
6736:
6716:
6672:
6639:
6608:
6572:
6550:
6523:
6500:
6423:
6403:
6383:
6332:
6312:
6292:
6272:
6252:
6232:
6176:
6130:
6100:
6072:
6052:
6032:
5978:
5958:
5938:
5902:
5864:
5844:
5812:
5783:
5751:
5746:equivalence relation
5728:
5712:congruence relations
5682:
5662:
5634:
5604:
5570:
5542:
5522:
5502:
5482:
5462:
5442:
5405:
5349:
5317:
5297:
5277:
5242:
5222:
5202:
5174:
5146:
5115:
5087:
5055:
5035:
5015:
4940:} is a submodule of
4791:be modules, and let
4762:rank–nullity theorem
4738:
4678:
4650:
4628:
4608:
4588:
4560:
4540:
4520:
4500:
4458:
4438:
4418:
4381:
4325:
4293:
4273:
4253:
4218:
4198:
4178:
4150:
4122:
4091:
4063:
4031:
4011:
3991:
3956:
3936:
3916:
3888:
3860:
3829:
3801:
3769:
3749:
3729:
3676:The quotient rings (
3557:
3537:
3517:
3479:
3452:
3429:
3405:
3378:
3358:
3314:
3294:
3274:
3227:Isomorphism theorem
3213:Isomorphism theorem
3010:lattice of subgroups
2929:
2891:
2829:
2785:
2747:
2721:
2695:
2649:
2608:
2588:
2562:
2548:short exact sequence
2512:
2486:
2448:
2408:
2386:factorization system
2370:category theoretical
2312:
2292:
2272:
2238:
2218:
2198:
2178:
2116:
2060:
2028:
2008:
1988:
1953:
1933:
1913:
1885:
1857:
1826:
1798:
1766:
1746:
1726:
1691:
1671:
1651:
1623:
1595:
1564:
1536:
1504:
1484:
1464:
1440:
1420:
1400:
1222:
1169:
1145:
1104:
999:
979:
928:
870:
866:starts with setting
821:
801:
781:
761:
741:
721:
697:
677:
633:
596:
592:The quotient groups
573:
547:
518:
498:
475:
452:
425:
405:
385:
365:
345:
169:homomorphism theorem
123:B.L. van der Waerden
84:algebraic structures
40:isomorphism theorems
6978:is a congruence on
6967:
6604:is a subalgebra of
6546:is a congruence on
6288:, and a congruence
6068:, and the algebras
5954:is a subalgebra of
5860:is a subalgebra of
5807:equivalence classes
5651:{\displaystyle M/N}
5628:lattice isomorphism
5559:{\displaystyle M/N}
5434:Theorem D (modules)
5422:{\displaystyle M/S}
5198:for some submodule
5191:{\displaystyle S/T}
5163:{\displaystyle M/T}
5142:Every submodule of
5132:{\displaystyle M/T}
5104:{\displaystyle S/T}
4991:Theorem C (modules)
4884:Theorem B (modules)
4868:is surjective then
4805:module homomorphism
4779:Theorem A (modules)
4695:{\displaystyle R/I}
4667:{\displaystyle A/I}
4577:{\displaystyle R/I}
4398:{\displaystyle R/J}
4167:{\displaystyle J/I}
4139:{\displaystyle R/I}
4108:{\displaystyle R/I}
4080:{\displaystyle J/I}
3905:{\displaystyle A/I}
3877:{\displaystyle R/I}
3846:{\displaystyle R/I}
3818:{\displaystyle A/I}
3533:is surjective then
3190:Dummit & Foote
3074:No "third" theorem
3053:
2508:and a monomorphism
2394:commutative diagram
2378:normal epimorphisms
2329:{\displaystyle G/N}
2133:{\displaystyle G/K}
1902:{\displaystyle K/N}
1874:{\displaystyle G/N}
1843:{\displaystyle K/N}
1815:{\displaystyle G/N}
1640:{\displaystyle K/N}
1612:{\displaystyle G/N}
1581:{\displaystyle K/N}
1553:{\displaystyle G/N}
314: / ker(
290: / ker(
217:be groups, and let
121:Three years later,
7458:
7364:
7334:
7292:
7272:
7218:
7182:
7156:
7136:
7110:
7083:
7024:
6996:
6968:
6950:
6794:
6768:
6748:
6732:be an algebra and
6722:
6693:
6658:
6622:
6594:
6556:
6536:
6506:
6486:
6409:
6389:
6369:
6318:
6298:
6278:
6258:
6238:
6210:
6160:
6112:
6086:
6058:
6038:
6014:
5964:
5944:
5920:
5876:
5850:
5826:
5795:
5769:
5734:
5688:
5668:
5648:
5616:
5590:
5556:
5528:
5508:
5488:
5468:
5448:
5419:
5391:
5335:
5303:
5293:is a submodule of
5283:
5260:
5228:
5208:
5188:
5160:
5129:
5111:is a submodule of
5101:
5073:
5041:
5031:is a submodule of
5021:
4955:is a submodule of
4864:In particular, if
4834:is a submodule of
4819:is a submodule of
4758:finite-dimensional
4746:
4692:
4664:
4634:
4614:
4594:
4574:
4546:
4526:
4506:
4478:
4444:
4424:
4395:
4367:
4311:
4279:
4259:
4236:
4204:
4184:
4164:
4136:
4105:
4077:
4049:
4017:
3997:
3974:
3942:
3922:
3902:
3874:
3843:
3815:
3787:
3755:
3735:
3577:
3543:
3523:
3513:In particular, if
3499:
3458:
3435:
3411:
3384:
3364:
3332:
3310:be rings, and let
3300:
3280:
3051:
3037:abelian categories
2979:
2915:
2853:
2815:
2771:
2733:
2707:
2689:semidirect product
2669:
2628:
2594:
2574:
2536:
2498:
2460:
2426:
2374:category of groups
2326:
2298:
2278:
2258:
2224:
2204:
2184:
2164:Theorem D (groups)
2130:
2102:
2046:
2014:
1994:
1971:
1939:
1919:
1899:
1871:
1840:
1812:
1784:
1752:
1732:
1709:
1677:
1657:
1647:for some subgroup
1637:
1609:
1591:Every subgroup of
1578:
1550:
1522:
1490:
1470:
1446:
1426:
1406:
1392:Theorem C (groups)
1378:
1205:
1151:
1131:
1090:
1058:
1057:
985:
971:, the subgroup of
961:
917:2 × 2
903:
833:{\displaystyle SN}
830:
807:
787:
767:
747:
727:
703:
683:
659:
619:
579:
559:
530:{\displaystyle SN}
527:
504:
481:
464:{\displaystyle SN}
461:
431:
411:
391:
371:
351:
339:
329:Theorem B (groups)
298:In particular, if
207:
191:Theorem A (groups)
8009:978-0-470-38443-5
7981:978-0-9880552-0-9
7957:978-0-471-43334-7
7918:Universal algebra
7794:978-0-471-43334-7
7616:van der Waerden,
7594:978-1-4471-2527-3
7573:Wilson, Robert A.
7558:978-0-471-87731-8
7547:. Wiley. p.
7522:978-0-8218-4799-2
7159:{\displaystyle A}
7113:{\displaystyle A}
7034:is isomorphic to
6949:
6924:
6771:{\displaystyle A}
6725:{\displaystyle A}
6577:
6559:{\displaystyle B}
6509:{\displaystyle B}
6412:{\displaystyle B}
6321:{\displaystyle A}
6281:{\displaystyle A}
6261:{\displaystyle B}
6241:{\displaystyle A}
6228:Given an algebra
6061:{\displaystyle A}
6041:{\displaystyle f}
5967:{\displaystyle B}
5947:{\displaystyle f}
5737:{\displaystyle A}
5708:universal algebra
5702:Universal algebra
5691:{\displaystyle N}
5671:{\displaystyle M}
5531:{\displaystyle N}
5511:{\displaystyle M}
5491:{\displaystyle M}
5471:{\displaystyle N}
5451:{\displaystyle M}
5401:is isomorphic to
5306:{\displaystyle M}
5286:{\displaystyle S}
5231:{\displaystyle M}
5211:{\displaystyle S}
5044:{\displaystyle M}
5024:{\displaystyle S}
4986:) are isomorphic.
4947:The intersection
4900:be submodules of
4876: / ker(
4872:is isomorphic to
4856: / ker(
4637:{\displaystyle R}
4624:) is an ideal of
4617:{\displaystyle I}
4597:{\displaystyle A}
4549:{\displaystyle I}
4529:{\displaystyle R}
4509:{\displaystyle A}
4447:{\displaystyle R}
4427:{\displaystyle I}
4410:Theorem D (rings)
4377:is isomorphic to
4282:{\displaystyle R}
4262:{\displaystyle J}
4207:{\displaystyle R}
4187:{\displaystyle J}
4020:{\displaystyle R}
4000:{\displaystyle J}
3945:{\displaystyle R}
3925:{\displaystyle A}
3912:for some subring
3856:Every subring of
3758:{\displaystyle R}
3738:{\displaystyle A}
3705:Theorem C (rings)
3700:) are isomorphic.
3661:The intersection
3591:Theorem B (rings)
3553:is isomorphic to
3546:{\displaystyle S}
3438:{\displaystyle S}
3387:{\displaystyle R}
3344:ring homomorphism
3303:{\displaystyle S}
3283:{\displaystyle R}
3266:Theorem A (rings)
3234:
3233:
3230:Freshman theorem
2867:decomposition of
2808:
2717:and the subgroup
2597:{\displaystyle H}
2480:conormal category
2301:{\displaystyle N}
2281:{\displaystyle G}
2227:{\displaystyle G}
2207:{\displaystyle N}
2187:{\displaystyle G}
2112:is isomorphic to
2017:{\displaystyle G}
1997:{\displaystyle K}
1942:{\displaystyle G}
1922:{\displaystyle K}
1755:{\displaystyle G}
1735:{\displaystyle K}
1680:{\displaystyle G}
1660:{\displaystyle K}
1493:{\displaystyle G}
1480:is a subgroup of
1473:{\displaystyle K}
1449:{\displaystyle G}
1429:{\displaystyle N}
1409:{\displaystyle G}
1154:{\displaystyle I}
988:{\displaystyle N}
810:{\displaystyle N}
790:{\displaystyle G}
770:{\displaystyle N}
757:. In this case,
750:{\displaystyle G}
730:{\displaystyle N}
706:{\displaystyle S}
686:{\displaystyle N}
582:{\displaystyle S}
507:{\displaystyle N}
484:{\displaystyle G}
471:is a subgroup of
434:{\displaystyle G}
414:{\displaystyle N}
394:{\displaystyle G}
381:be a subgroup of
374:{\displaystyle S}
361:be a group. Let
354:{\displaystyle G}
310:is isomorphic to
88:universal algebra
16:(Redirected from
8088:
8067:
8049:
8031:
8028:Abstract Algebra
8022:
8013:
7994:
7985:
7973:
7961:
7948:Abstract algebra
7942:
7931:
7913:
7897:Jacobson, Nathan
7852:
7851:
7849:
7847:
7832:
7826:
7823:
7817:
7814:
7808:
7805:
7799:
7798:
7782:
7779:Abstract algebra
7772:
7766:
7765:
7763:
7761:
7752:
7743:
7737:
7734:
7728:
7727:
7721:
7713:
7691:Abstract algebra
7685:
7679:
7676:
7670:
7667:
7661:
7658:
7652:
7649:
7643:
7638:
7632:
7629:
7623:
7614:
7608:
7605:
7599:
7598:
7569:
7563:
7562:
7546:
7537:Paul Moritz Cohn
7533:
7527:
7526:
7510:
7501:I. Martin Isaacs
7497:
7491:
7485:
7467:
7465:
7464:
7459:
7454:
7431:
7411:
7407:
7373:
7371:
7370:
7365:
7343:
7341:
7340:
7335:
7333:
7329:
7301:
7299:
7298:
7293:
7281:
7279:
7278:
7273:
7259:
7255:
7227:
7225:
7224:
7219:
7194:complete lattice
7191:
7189:
7188:
7183:
7165:
7163:
7162:
7157:
7145:
7143:
7142:
7137:
7119:
7117:
7116:
7111:
7092:
7090:
7089:
7084:
7073:
7062:
7051:
7033:
7031:
7030:
7025:
7020:
7005:
7003:
7002:
6997:
6992:
6977:
6975:
6974:
6969:
6966:
6958:
6947:
6934:
6933:
6922:
6903:
6892:
6875:
6874:
6865:
6851:
6850:
6841:
6818:
6803:
6801:
6800:
6795:
6777:
6775:
6774:
6769:
6757:
6755:
6754:
6749:
6731:
6729:
6728:
6723:
6702:
6700:
6699:
6694:
6692:
6691:
6682:
6667:
6665:
6664:
6659:
6657:
6656:
6631:
6629:
6628:
6623:
6618:
6603:
6601:
6600:
6595:
6593:
6592:
6575:
6565:
6563:
6562:
6557:
6545:
6543:
6542:
6537:
6535:
6534:
6515:
6513:
6512:
6507:
6495:
6493:
6492:
6487:
6461:
6441:
6440:
6418:
6416:
6415:
6410:
6398:
6396:
6395:
6390:
6379:be the trace of
6378:
6376:
6375:
6370:
6344:
6343:
6327:
6325:
6324:
6319:
6307:
6305:
6304:
6299:
6287:
6285:
6284:
6279:
6267:
6265:
6264:
6259:
6247:
6245:
6244:
6239:
6219:
6217:
6216:
6211:
6200:
6199:
6169:
6167:
6166:
6161:
6121:
6119:
6118:
6113:
6095:
6093:
6092:
6087:
6082:
6067:
6065:
6064:
6059:
6047:
6045:
6044:
6039:
6023:
6021:
6020:
6015:
5973:
5971:
5970:
5965:
5953:
5951:
5950:
5945:
5929:
5927:
5926:
5921:
5888:quotient algebra
5885:
5883:
5882:
5877:
5859:
5857:
5856:
5851:
5835:
5833:
5832:
5827:
5822:
5804:
5802:
5801:
5796:
5778:
5776:
5775:
5770:
5743:
5741:
5740:
5735:
5697:
5695:
5694:
5689:
5677:
5675:
5674:
5669:
5657:
5655:
5654:
5649:
5644:
5625:
5623:
5622:
5617:
5599:
5597:
5596:
5591:
5586:
5565:
5563:
5562:
5557:
5552:
5537:
5535:
5534:
5529:
5517:
5515:
5514:
5509:
5497:
5495:
5494:
5489:
5477:
5475:
5474:
5469:
5457:
5455:
5454:
5449:
5428:
5426:
5425:
5420:
5415:
5400:
5398:
5397:
5392:
5384:
5373:
5362:
5344:
5342:
5341:
5336:
5312:
5310:
5309:
5304:
5292:
5290:
5289:
5284:
5269:
5267:
5266:
5261:
5237:
5235:
5234:
5229:
5217:
5215:
5214:
5209:
5197:
5195:
5194:
5189:
5184:
5169:
5167:
5166:
5161:
5156:
5138:
5136:
5135:
5130:
5125:
5110:
5108:
5107:
5102:
5097:
5082:
5080:
5079:
5074:
5050:
5048:
5047:
5042:
5030:
5028:
5027:
5022:
4755:
4753:
4752:
4747:
4745:
4726:(modules over a
4701:
4699:
4698:
4693:
4688:
4673:
4671:
4670:
4665:
4660:
4643:
4641:
4640:
4635:
4623:
4621:
4620:
4615:
4603:
4601:
4600:
4595:
4583:
4581:
4580:
4575:
4570:
4555:
4553:
4552:
4547:
4535:
4533:
4532:
4527:
4515:
4513:
4512:
4507:
4487:
4485:
4484:
4479:
4474:
4453:
4451:
4450:
4445:
4433:
4431:
4430:
4425:
4404:
4402:
4401:
4396:
4391:
4376:
4374:
4373:
4368:
4360:
4349:
4338:
4320:
4318:
4317:
4312:
4288:
4286:
4285:
4280:
4268:
4266:
4265:
4260:
4245:
4243:
4242:
4237:
4213:
4211:
4210:
4205:
4193:
4191:
4190:
4185:
4173:
4171:
4170:
4165:
4160:
4145:
4143:
4142:
4137:
4132:
4114:
4112:
4111:
4106:
4101:
4086:
4084:
4083:
4078:
4073:
4058:
4056:
4055:
4050:
4026:
4024:
4023:
4018:
4006:
4004:
4003:
3998:
3983:
3981:
3980:
3975:
3951:
3949:
3948:
3943:
3931:
3929:
3928:
3923:
3911:
3909:
3908:
3903:
3898:
3883:
3881:
3880:
3875:
3870:
3852:
3850:
3849:
3844:
3839:
3825:is a subring of
3824:
3822:
3821:
3816:
3811:
3796:
3794:
3793:
3788:
3764:
3762:
3761:
3756:
3745:is a subring of
3744:
3742:
3741:
3736:
3603:be a subring of
3599:be a ring. Let
3586:
3584:
3583:
3578:
3567:
3552:
3550:
3549:
3544:
3532:
3530:
3529:
3524:
3508:
3506:
3505:
3500:
3489:
3467:
3465:
3464:
3459:
3444:
3442:
3441:
3436:
3420:
3418:
3417:
3412:
3393:
3391:
3390:
3385:
3373:
3371:
3370:
3365:
3341:
3339:
3338:
3333:
3309:
3307:
3306:
3301:
3289:
3287:
3286:
3281:
3054:
2988:
2986:
2985:
2980:
2945:
2924:
2922:
2921:
2916:
2873:abelian category
2862:
2860:
2859:
2854:
2824:
2822:
2821:
2816:
2814:
2813:
2809:
2806:
2780:
2778:
2777:
2772:
2742:
2740:
2739:
2734:
2716:
2714:
2713:
2708:
2682:
2678:
2676:
2675:
2670:
2659:
2637:
2635:
2634:
2629:
2618:
2603:
2601:
2600:
2595:
2583:
2581:
2580:
2575:
2545:
2543:
2542:
2537:
2507:
2505:
2504:
2499:
2469:
2467:
2466:
2461:
2435:
2433:
2432:
2427:
2358:Zassenhaus lemma
2335:
2333:
2332:
2327:
2322:
2307:
2305:
2304:
2299:
2287:
2285:
2284:
2279:
2267:
2265:
2264:
2259:
2254:
2233:
2231:
2230:
2225:
2213:
2211:
2210:
2205:
2194:be a group, and
2193:
2191:
2190:
2185:
2139:
2137:
2136:
2131:
2126:
2111:
2109:
2108:
2103:
2095:
2084:
2073:
2055:
2053:
2052:
2047:
2023:
2021:
2020:
2015:
2003:
2001:
2000:
1995:
1980:
1978:
1977:
1972:
1948:
1946:
1945:
1940:
1928:
1926:
1925:
1920:
1908:
1906:
1905:
1900:
1895:
1880:
1878:
1877:
1872:
1867:
1849:
1847:
1846:
1841:
1836:
1821:
1819:
1818:
1813:
1808:
1793:
1791:
1790:
1785:
1761:
1759:
1758:
1753:
1741:
1739:
1738:
1733:
1718:
1716:
1715:
1710:
1686:
1684:
1683:
1678:
1666:
1664:
1663:
1658:
1646:
1644:
1643:
1638:
1633:
1618:
1616:
1615:
1610:
1605:
1587:
1585:
1584:
1579:
1574:
1559:
1557:
1556:
1551:
1546:
1531:
1529:
1528:
1523:
1499:
1497:
1496:
1491:
1479:
1477:
1476:
1471:
1455:
1453:
1452:
1447:
1435:
1433:
1432:
1427:
1416:be a group, and
1415:
1413:
1412:
1407:
1387:
1385:
1384:
1379:
1374:
1363:
1362:
1338:
1330:
1319:
1318:
1306:
1302:
1297:
1296:
1291:
1282:
1274:
1261:
1260:
1245:
1234:
1233:
1214:
1212:
1211:
1206:
1201:
1190:
1189:
1160:
1158:
1157:
1152:
1140:
1138:
1137:
1132:
1099:
1097:
1096:
1091:
1089:
1085:
1084:
1083:
1078:
1063:
1059:
1013:
1012:
1007:
994:
992:
991:
986:
975:1 matrices, and
970:
968:
967:
962:
957:
946:
945:
912:
910:
909:
904:
899:
888:
887:
839:
837:
836:
831:
816:
814:
813:
808:
796:
794:
793:
788:
776:
774:
773:
768:
756:
754:
753:
748:
736:
734:
733:
728:
712:
710:
709:
704:
692:
690:
689:
684:
668:
666:
665:
660:
643:
628:
626:
625:
620:
615:
588:
586:
585:
580:
568:
566:
565:
560:
536:
534:
533:
528:
513:
511:
510:
505:
490:
488:
487:
482:
470:
468:
467:
462:
440:
438:
437:
432:
420:
418:
417:
412:
400:
398:
397:
392:
380:
378:
377:
372:
360:
358:
357:
352:
157:Wilhelm Blaschke
133:abstract algebra
116:Richard Dedekind
36:abstract algebra
21:
8096:
8095:
8091:
8090:
8089:
8087:
8086:
8085:
8071:
8070:
8065:
8052:
8047:
8034:
8025:
8016:
8010:
7997:
7993:, Prentice Hall
7988:
7982:
7971:
7964:
7958:
7945:
7934:
7923:
7916:Cohn, Paul M.,
7911:
7895:
7861:
7856:
7855:
7845:
7843:
7834:
7833:
7829:
7824:
7820:
7815:
7811:
7806:
7802:
7795:
7774:
7773:
7769:
7759:
7757:
7750:
7745:
7744:
7740:
7735:
7731:
7714:
7702:
7687:
7686:
7682:
7677:
7673:
7668:
7664:
7659:
7655:
7650:
7646:
7639:
7635:
7630:
7626:
7615:
7611:
7606:
7602:
7595:
7571:
7570:
7566:
7559:
7543:Classic Algebra
7535:
7534:
7530:
7523:
7499:
7498:
7494:
7486:
7479:
7474:
7391:
7387:
7376:
7375:
7350:
7349:
7344:is a principal
7313:
7309:
7304:
7303:
7284:
7283:
7239:
7235:
7230:
7229:
7198:
7197:
7168:
7167:
7148:
7147:
7122:
7121:
7102:
7101:
7098:
7036:
7035:
7008:
7007:
6980:
6979:
6925:
6896:
6885:
6866:
6858:
6842:
6834:
6806:
6805:
6780:
6779:
6760:
6759:
6734:
6733:
6714:
6713:
6710:
6683:
6670:
6669:
6648:
6637:
6636:
6606:
6605:
6584:
6570:
6569:
6548:
6547:
6526:
6521:
6520:
6498:
6497:
6432:
6421:
6420:
6401:
6400:
6381:
6380:
6335:
6330:
6329:
6310:
6309:
6290:
6289:
6270:
6269:
6250:
6249:
6248:, a subalgebra
6230:
6229:
6226:
6188:
6174:
6173:
6128:
6127:
6098:
6097:
6070:
6069:
6050:
6049:
6030:
6029:
5976:
5975:
5956:
5955:
5936:
5935:
5900:
5899:
5896:
5862:
5861:
5842:
5841:
5810:
5809:
5781:
5780:
5749:
5748:
5726:
5725:
5704:
5680:
5679:
5660:
5659:
5632:
5631:
5602:
5601:
5568:
5567:
5540:
5539:
5520:
5519:
5500:
5499:
5480:
5479:
5478:a submodule of
5460:
5459:
5440:
5439:
5436:
5403:
5402:
5347:
5346:
5315:
5314:
5295:
5294:
5275:
5274:
5240:
5239:
5220:
5219:
5200:
5199:
5172:
5171:
5170:is of the form
5144:
5143:
5113:
5112:
5085:
5084:
5053:
5052:
5033:
5032:
5013:
5012:
5003:a submodule of
4993:
4886:
4851:quotient module
4795: :
4781:
4736:
4735:
4716:quotient module
4708:
4676:
4675:
4674:is an ideal of
4648:
4647:
4626:
4625:
4606:
4605:
4586:
4585:
4584:. Furthermore,
4558:
4557:
4538:
4537:
4518:
4517:
4498:
4497:
4456:
4455:
4436:
4435:
4434:be an ideal of
4416:
4415:
4412:
4379:
4378:
4323:
4322:
4291:
4290:
4271:
4270:
4269:is an ideal of
4251:
4250:
4216:
4215:
4196:
4195:
4176:
4175:
4174:for some ideal
4148:
4147:
4146:is of the form
4120:
4119:
4118:Every ideal of
4089:
4088:
4087:is an ideal of
4061:
4060:
4029:
4028:
4009:
4008:
4007:is an ideal of
3989:
3988:
3954:
3953:
3934:
3933:
3914:
3913:
3886:
3885:
3884:is of the form
3858:
3857:
3827:
3826:
3799:
3798:
3767:
3766:
3747:
3746:
3727:
3726:
3713:be a ring, and
3707:
3692: / (
3684:) /
3669:is an ideal of
3611:be an ideal of
3593:
3555:
3554:
3535:
3534:
3515:
3514:
3477:
3476:
3450:
3449:
3427:
3426:
3403:
3402:
3376:
3375:
3374:is an ideal of
3356:
3355:
3312:
3311:
3292:
3291:
3272:
3271:
3268:
3252:
3239:lattice theorem
3045:
2927:
2926:
2889:
2888:
2881:splitting lemma
2827:
2826:
2800:
2783:
2782:
2745:
2744:
2719:
2718:
2693:
2692:
2680:
2647:
2646:
2606:
2605:
2586:
2585:
2560:
2559:
2510:
2509:
2484:
2483:
2446:
2445:
2406:
2405:
2366:
2347:lattice theorem
2310:
2309:
2290:
2289:
2270:
2269:
2236:
2235:
2216:
2215:
2196:
2195:
2176:
2175:
2172:
2170:Lattice theorem
2166:
2150:lattice theorem
2114:
2113:
2058:
2057:
2026:
2025:
2006:
2005:
1986:
1985:
1951:
1950:
1931:
1930:
1911:
1910:
1883:
1882:
1881:is of the form
1855:
1854:
1824:
1823:
1796:
1795:
1764:
1763:
1744:
1743:
1724:
1723:
1689:
1688:
1669:
1668:
1649:
1648:
1621:
1620:
1619:is of the form
1593:
1592:
1562:
1561:
1534:
1533:
1502:
1501:
1482:
1481:
1462:
1461:
1438:
1437:
1418:
1417:
1398:
1397:
1394:
1354:
1310:
1286:
1269:
1265:
1252:
1225:
1220:
1219:
1181:
1167:
1166:
1163:identity matrix
1143:
1142:
1102:
1101:
1073:
1056:
1055:
1050:
1044:
1043:
1038:
1026:
1025:
1021:
1002:
997:
996:
977:
976:
937:
926:
925:
913:, the group of
879:
868:
867:
849:diamond theorem
819:
818:
799:
798:
779:
778:
759:
758:
739:
738:
719:
718:
695:
694:
675:
674:
669:are isomorphic.
631:
630:
594:
593:
571:
570:
545:
544:
516:
515:
496:
495:
473:
472:
450:
449:
423:
422:
403:
402:
383:
382:
363:
362:
343:
342:
331:
247:normal subgroup
199:
193:
181:
128:Moderne Algebra
100:
42:(also known as
34:, specifically
28:
23:
22:
15:
12:
11:
5:
8094:
8092:
8084:
8083:
8073:
8072:
8069:
8068:
8063:
8050:
8045:
8032:
8023:
8014:
8008:
7995:
7986:
7980:
7962:
7956:
7943:
7932:
7921:
7914:
7909:
7893:
7882:McLarty, Colin
7879:
7860:
7857:
7854:
7853:
7835:Sun, William.
7827:
7818:
7809:
7800:
7793:
7767:
7738:
7729:
7700:
7680:
7671:
7662:
7653:
7644:
7633:
7624:
7609:
7600:
7593:
7564:
7557:
7528:
7521:
7492:
7476:
7475:
7473:
7470:
7457:
7453:
7449:
7446:
7443:
7440:
7437:
7434:
7430:
7426:
7423:
7420:
7417:
7414:
7410:
7406:
7403:
7400:
7397:
7394:
7390:
7386:
7383:
7363:
7360:
7357:
7332:
7328:
7325:
7322:
7319:
7316:
7312:
7291:
7271:
7268:
7265:
7262:
7258:
7254:
7251:
7248:
7245:
7242:
7238:
7217:
7214:
7211:
7208:
7205:
7181:
7178:
7175:
7155:
7135:
7132:
7129:
7109:
7097:
7094:
7082:
7079:
7076:
7072:
7068:
7065:
7061:
7057:
7054:
7050:
7046:
7043:
7023:
7019:
7015:
6995:
6991:
6987:
6965:
6962:
6957:
6953:
6946:
6943:
6940:
6937:
6932:
6928:
6921:
6918:
6915:
6912:
6909:
6906:
6902:
6899:
6895:
6891:
6888:
6884:
6881:
6878:
6873:
6869:
6864:
6861:
6857:
6854:
6849:
6845:
6840:
6837:
6833:
6830:
6827:
6824:
6821:
6817:
6813:
6793:
6790:
6787:
6767:
6747:
6744:
6741:
6721:
6709:
6706:
6705:
6704:
6690:
6686:
6681:
6677:
6655:
6651:
6647:
6644:
6633:
6621:
6617:
6613:
6591:
6587:
6583:
6580:
6567:
6555:
6533:
6529:
6505:
6485:
6482:
6479:
6476:
6473:
6470:
6467:
6464:
6460:
6456:
6453:
6450:
6447:
6444:
6439:
6435:
6431:
6428:
6408:
6388:
6368:
6365:
6362:
6359:
6356:
6353:
6350:
6347:
6342:
6338:
6317:
6297:
6277:
6257:
6237:
6225:
6222:
6209:
6206:
6203:
6198:
6195:
6191:
6187:
6184:
6181:
6159:
6156:
6153:
6150:
6147:
6144:
6141:
6138:
6135:
6111:
6108:
6105:
6085:
6081:
6077:
6057:
6037:
6013:
6010:
6007:
6004:
6001:
5998:
5995:
5992:
5989:
5986:
5983:
5963:
5943:
5930:be an algebra
5919:
5916:
5913:
5910:
5907:
5895:
5892:
5875:
5872:
5869:
5849:
5825:
5821:
5817:
5794:
5791:
5788:
5768:
5765:
5762:
5759:
5756:
5733:
5703:
5700:
5687:
5667:
5647:
5643:
5639:
5615:
5612:
5609:
5589:
5585:
5581:
5578:
5575:
5555:
5551:
5547:
5527:
5507:
5487:
5467:
5447:
5435:
5432:
5431:
5430:
5418:
5414:
5410:
5390:
5387:
5383:
5379:
5376:
5372:
5368:
5365:
5361:
5357:
5354:
5334:
5331:
5328:
5325:
5322:
5302:
5282:
5271:
5259:
5256:
5253:
5250:
5247:
5227:
5207:
5187:
5183:
5179:
5159:
5155:
5151:
5140:
5128:
5124:
5120:
5100:
5096:
5092:
5072:
5069:
5066:
5063:
5060:
5040:
5020:
4992:
4989:
4988:
4987:
4978: / (
4970:) /
4960:
4945:
4924: |
4916: = {
4885:
4882:
4862:
4861:
4839:
4824:
4780:
4777:
4744:
4734:(modules over
4732:abelian groups
4707:
4704:
4691:
4687:
4683:
4663:
4659:
4655:
4645:if and only if
4633:
4613:
4593:
4573:
4569:
4565:
4545:
4525:
4505:
4477:
4473:
4469:
4466:
4463:
4443:
4423:
4411:
4408:
4407:
4406:
4394:
4390:
4386:
4366:
4363:
4359:
4355:
4352:
4348:
4344:
4341:
4337:
4333:
4330:
4310:
4307:
4304:
4301:
4298:
4278:
4258:
4247:
4235:
4232:
4229:
4226:
4223:
4203:
4183:
4163:
4159:
4155:
4135:
4131:
4127:
4116:
4104:
4100:
4096:
4076:
4072:
4068:
4048:
4045:
4042:
4039:
4036:
4016:
3996:
3985:
3973:
3970:
3967:
3964:
3961:
3941:
3921:
3901:
3897:
3893:
3873:
3869:
3865:
3854:
3842:
3838:
3834:
3814:
3810:
3806:
3786:
3783:
3780:
3777:
3774:
3754:
3734:
3706:
3703:
3702:
3701:
3674:
3659:
3638: |
3630: = {
3592:
3589:
3576:
3573:
3570:
3566:
3562:
3542:
3522:
3511:
3510:
3498:
3495:
3492:
3488:
3484:
3457:
3446:
3434:
3410:
3395:
3383:
3363:
3331:
3328:
3325:
3322:
3319:
3299:
3279:
3267:
3264:
3251:
3248:
3232:
3231:
3228:
3225:
3222:
3218:
3217:
3214:
3211:
3208:
3205:
3201:
3200:
3197:
3194:
3191:
3187:
3186:
3183:
3180:
3177:
3173:
3172:
3169:
3166:
3163:
3159:
3158:
3155:
3152:
3149:
3142:
3138:
3137:
3134:
3131:
3128:
3124:
3123:
3120:
3117:
3110:
3106:
3105:
3102:
3099:
3096:
3092:
3091:
3088:
3081:
3078:
3075:
3071:
3070:
3067:
3064:
3061:
3058:
3044:
3041:
2978:
2975:
2972:
2969:
2966:
2963:
2960:
2957:
2954:
2951:
2948:
2944:
2940:
2937:
2934:
2914:
2911:
2908:
2905:
2902:
2899:
2896:
2887:decomposition
2865:direct product
2852:
2849:
2846:
2843:
2840:
2837:
2834:
2812:
2803:
2799:
2796:
2793:
2790:
2770:
2767:
2764:
2761:
2758:
2755:
2752:
2732:
2729:
2726:
2706:
2703:
2700:
2668:
2665:
2662:
2658:
2654:
2627:
2624:
2621:
2617:
2613:
2593:
2573:
2570:
2567:
2556:zero morphisms
2552:exact sequence
2535:
2532:
2529:
2526:
2523:
2520:
2517:
2497:
2494:
2491:
2459:
2456:
2453:
2425:
2422:
2419:
2416:
2413:
2365:
2362:
2325:
2321:
2317:
2297:
2277:
2257:
2253:
2249:
2246:
2243:
2223:
2203:
2183:
2168:Main article:
2165:
2162:
2142:
2141:
2129:
2125:
2121:
2101:
2098:
2094:
2090:
2087:
2083:
2079:
2076:
2072:
2068:
2065:
2045:
2042:
2039:
2036:
2033:
2013:
1993:
1982:
1970:
1967:
1964:
1961:
1958:
1938:
1918:
1898:
1894:
1890:
1870:
1866:
1862:
1851:
1839:
1835:
1831:
1811:
1807:
1803:
1783:
1780:
1777:
1774:
1771:
1751:
1731:
1720:
1708:
1705:
1702:
1699:
1696:
1676:
1656:
1636:
1632:
1628:
1608:
1604:
1600:
1589:
1577:
1573:
1569:
1549:
1545:
1541:
1521:
1518:
1515:
1512:
1509:
1489:
1469:
1445:
1425:
1405:
1393:
1390:
1389:
1388:
1377:
1373:
1369:
1366:
1361:
1357:
1353:
1350:
1347:
1344:
1341:
1337:
1333:
1329:
1325:
1322:
1317:
1313:
1309:
1305:
1301:
1295:
1290:
1285:
1281:
1277:
1273:
1268:
1264:
1259:
1255:
1251:
1248:
1244:
1240:
1237:
1232:
1228:
1204:
1200:
1196:
1193:
1188:
1184:
1180:
1177:
1174:
1150:
1130:
1127:
1124:
1121:
1118:
1115:
1112:
1109:
1088:
1082:
1077:
1072:
1069:
1066:
1062:
1054:
1051:
1049:
1046:
1045:
1042:
1039:
1037:
1034:
1033:
1029:
1024:
1020:
1017:
1011:
1006:
984:
960:
956:
952:
949:
944:
940:
936:
933:
902:
898:
894:
891:
886:
882:
878:
875:
829:
826:
806:
786:
766:
746:
726:
702:
682:
671:
670:
658:
655:
652:
649:
646:
642:
638:
618:
614:
610:
607:
604:
601:
590:
578:
558:
555:
552:
538:
526:
523:
503:
492:
480:
460:
457:
430:
410:
390:
370:
350:
330:
327:
296:
295:
285:quotient group
273:
254:
221: :
192:
189:
180:
177:
99:
96:
26:
24:
14:
13:
10:
9:
6:
4:
3:
2:
8093:
8082:
8079:
8078:
8076:
8066:
8060:
8056:
8051:
8048:
8042:
8038:
8033:
8029:
8024:
8020:
8019:Basic Algebra
8015:
8011:
8005:
8001:
7996:
7992:
7987:
7983:
7977:
7970:
7969:
7963:
7959:
7953:
7949:
7944:
7940:
7939:
7933:
7929:
7928:
7922:
7919:
7915:
7912:
7910:9780486471891
7906:
7902:
7901:Basic algebra
7898:
7894:
7891:
7887:
7883:
7880:
7877:
7874:
7870:
7866:
7865:Noether, Emmy
7863:
7862:
7858:
7842:
7838:
7831:
7828:
7822:
7819:
7813:
7810:
7804:
7801:
7796:
7790:
7786:
7781:
7780:
7771:
7768:
7756:
7749:
7742:
7739:
7733:
7730:
7725:
7719:
7711:
7707:
7703:
7701:0-471-43334-9
7697:
7693:
7692:
7684:
7681:
7675:
7672:
7666:
7663:
7657:
7654:
7648:
7645:
7642:
7637:
7634:
7628:
7625:
7621:
7620:
7613:
7610:
7604:
7601:
7596:
7590:
7586:
7582:
7578:
7574:
7568:
7565:
7560:
7554:
7550:
7545:
7544:
7538:
7532:
7529:
7524:
7518:
7514:
7509:
7508:
7502:
7496:
7493:
7490:
7484:
7482:
7478:
7471:
7469:
7451:
7438:
7428:
7424:
7418:
7415:
7408:
7404:
7401:
7398:
7395:
7388:
7384:
7381:
7361:
7358:
7355:
7347:
7330:
7326:
7323:
7320:
7317:
7310:
7269:
7266:
7263:
7260:
7256:
7252:
7249:
7246:
7243:
7236:
7215:
7212:
7209:
7206:
7195:
7179:
7176:
7173:
7153:
7133:
7130:
7127:
7107:
7095:
7093:
7080:
7070:
7059:
7048:
7044:
7017:
7013:
6989:
6985:
6963:
6960:
6941:
6935:
6916:
6907:
6900:
6897:
6893:
6889:
6886:
6879:
6862:
6859:
6852:
6838:
6835:
6822:
6815:
6788:
6765:
6742:
6719:
6707:
6688:
6679:
6675:
6645:
6634:
6615:
6611:
6581:
6568:
6553:
6531:
6519:
6518:
6517:
6503:
6477:
6474:
6471:
6468:
6465:
6458:
6454:
6451:
6448:
6442:
6429:
6406:
6363:
6360:
6357:
6351:
6345:
6340:
6315:
6275:
6255:
6235:
6223:
6221:
6207:
6204:
6196:
6193:
6189:
6185:
6179:
6172:
6154:
6148:
6145:
6139:
6133:
6125:
6109:
6106:
6103:
6079:
6075:
6055:
6035:
6027:
6008:
6002:
5999:
5993:
5987:
5984:
5961:
5941:
5933:
5917:
5911:
5908:
5905:
5893:
5891:
5889:
5873:
5870:
5867:
5839:
5819:
5815:
5808:
5792:
5789:
5786:
5766:
5763:
5760:
5757:
5747:
5731:
5724:
5720:
5715:
5713:
5709:
5701:
5699:
5685:
5678:that contain
5665:
5645:
5641:
5637:
5629:
5613:
5610:
5607:
5587:
5583:
5579:
5573:
5553:
5549:
5545:
5525:
5518:that contain
5505:
5485:
5465:
5458:be a module,
5445:
5433:
5416:
5412:
5408:
5385:
5381:
5377:
5370:
5363:
5359:
5355:
5332:
5329:
5326:
5323:
5320:
5300:
5280:
5272:
5257:
5254:
5251:
5248:
5245:
5225:
5205:
5185:
5181:
5177:
5157:
5153:
5149:
5141:
5126:
5122:
5118:
5098:
5094:
5090:
5070:
5067:
5064:
5061:
5058:
5038:
5018:
5010:
5009:
5008:
5006:
5002:
4999:be a module,
4998:
4990:
4985:
4982: ∩
4981:
4977:
4973:
4969:
4966: +
4965:
4961:
4958:
4954:
4951: ∩
4950:
4946:
4943:
4939:
4936: ∈
4935:
4931:
4928: ∈
4927:
4923:
4920: +
4919:
4915:
4912: +
4911:
4907:
4906:
4905:
4903:
4899:
4895:
4891:
4883:
4881:
4879:
4875:
4871:
4867:
4859:
4855:
4852:
4848:
4844:
4841:The image of
4840:
4837:
4833:
4829:
4825:
4822:
4818:
4814:
4810:
4809:
4808:
4806:
4802:
4799: →
4798:
4794:
4790:
4786:
4778:
4776:
4774:
4770:
4765:
4763:
4759:
4733:
4729:
4725:
4724:vector spaces
4721:
4717:
4713:
4705:
4703:
4689:
4685:
4681:
4661:
4657:
4653:
4646:
4631:
4611:
4591:
4571:
4567:
4563:
4543:
4536:that contain
4523:
4503:
4495:
4491:
4475:
4471:
4467:
4461:
4441:
4421:
4409:
4392:
4388:
4384:
4361:
4357:
4353:
4346:
4339:
4335:
4331:
4308:
4305:
4302:
4299:
4296:
4276:
4256:
4248:
4233:
4230:
4227:
4224:
4221:
4201:
4181:
4161:
4157:
4153:
4133:
4129:
4125:
4117:
4102:
4098:
4094:
4074:
4070:
4066:
4046:
4043:
4040:
4037:
4034:
4014:
3994:
3986:
3971:
3968:
3965:
3962:
3959:
3939:
3919:
3899:
3895:
3891:
3871:
3867:
3863:
3855:
3840:
3836:
3832:
3812:
3808:
3804:
3784:
3781:
3778:
3775:
3772:
3752:
3732:
3724:
3723:
3722:
3720:
3716:
3712:
3704:
3699:
3696: ∩
3695:
3691:
3687:
3683:
3680: +
3679:
3675:
3672:
3668:
3665: ∩
3664:
3660:
3657:
3653:
3650: ∈
3649:
3645:
3642: ∈
3641:
3637:
3634: +
3633:
3629:
3626: +
3625:
3622:
3618:
3617:
3616:
3614:
3610:
3606:
3602:
3598:
3590:
3588:
3574:
3571:
3568:
3564:
3560:
3540:
3520:
3496:
3493:
3490:
3486:
3482:
3475:
3474:quotient ring
3471:
3455:
3448:The image of
3447:
3432:
3424:
3408:
3400:
3396:
3381:
3361:
3353:
3349:
3348:
3347:
3345:
3329:
3323:
3320:
3317:
3297:
3277:
3265:
3263:
3261:
3257:
3249:
3247:
3245:
3241:
3240:
3229:
3226:
3223:
3220:
3219:
3215:
3212:
3209:
3206:
3204:No numbering
3202:
3198:
3195:
3192:
3189:
3188:
3184:
3181:
3178:
3175:
3174:
3170:
3167:
3164:
3161:
3160:
3156:
3153:
3150:
3147:
3143:
3139:
3135:
3132:
3129:
3126:
3125:
3121:
3118:
3115:
3111:
3108:
3107:
3103:
3100:
3097:
3094:
3093:
3089:
3086:
3082:
3079:
3076:
3072:
3055:
3049:
3042:
3040:
3038:
3034:
3029:
3027:
3023:
3020: ∩
3019:
3015:
3011:
3007:
3003:
2999:
2995:
2990:
2976:
2970:
2967:
2964:
2958:
2952:
2949:
2946:
2942:
2938:
2932:
2912:
2909:
2906:
2903:
2900:
2897:
2894:
2886:
2882:
2878:
2874:
2870:
2866:
2850:
2847:
2844:
2841:
2838:
2835:
2832:
2810:
2801:
2797:
2794:
2791:
2788:
2768:
2765:
2762:
2756:
2753:
2750:
2730:
2727:
2724:
2704:
2701:
2698:
2690:
2686:
2666:
2663:
2660:
2656:
2652:
2644:
2639:
2625:
2622:
2619:
2615:
2611:
2591:
2571:
2568:
2565:
2557:
2553:
2549:
2533:
2527:
2524:
2521:
2518:
2515:
2495:
2492:
2489:
2481:
2477:
2473:
2457:
2454:
2451:
2444:factors into
2443:
2439:
2423:
2417:
2414:
2411:
2403:
2399:
2395:
2391:
2387:
2383:
2382:monomorphisms
2379:
2375:
2371:
2363:
2361:
2359:
2354:
2352:
2348:
2344:
2343:
2337:
2323:
2319:
2315:
2295:
2275:
2255:
2251:
2247:
2241:
2221:
2201:
2181:
2171:
2163:
2161:
2159:
2155:
2151:
2147:
2127:
2123:
2119:
2096:
2092:
2088:
2081:
2074:
2070:
2066:
2043:
2040:
2037:
2034:
2031:
2011:
1991:
1983:
1968:
1965:
1962:
1959:
1956:
1936:
1916:
1896:
1892:
1888:
1868:
1864:
1860:
1852:
1837:
1833:
1829:
1809:
1805:
1801:
1781:
1778:
1775:
1772:
1769:
1749:
1729:
1721:
1706:
1703:
1700:
1697:
1694:
1674:
1654:
1634:
1630:
1626:
1606:
1602:
1598:
1590:
1575:
1571:
1567:
1547:
1543:
1539:
1519:
1516:
1513:
1510:
1507:
1487:
1467:
1459:
1458:
1457:
1443:
1423:
1403:
1391:
1364:
1359:
1355:
1351:
1345:
1342:
1335:
1320:
1315:
1311:
1307:
1303:
1299:
1293:
1279:
1266:
1262:
1257:
1253:
1249:
1235:
1230:
1226:
1218:
1217:
1216:
1191:
1186:
1182:
1178:
1175:
1172:
1164:
1148:
1125:
1122:
1116:
1113:
1110:
1107:
1086:
1080:
1070:
1067:
1064:
1060:
1052:
1047:
1040:
1035:
1027:
1022:
1018:
1015:
1009:
982:
974:
947:
942:
938:
934:
931:
923:
920:
916:
889:
884:
880:
876:
873:
865:
861:
856:
854:
850:
846:
841:
827:
824:
804:
784:
764:
744:
724:
716:
700:
680:
653:
650:
647:
640:
636:
616:
612:
605:
602:
591:
576:
556:
553:
550:
543:
539:
524:
521:
501:
494:The subgroup
493:
478:
458:
455:
448:
444:
443:
442:
428:
408:
388:
368:
348:
335:
328:
326:
324:
319:
317:
313:
309:
305:
301:
293:
289:
286:
282:
278:
275:The image of
274:
271:
267:
263:
259:
255:
252:
248:
244:
240:
236:
235:
234:
232:
228:
225: →
224:
220:
216:
212:
203:
198:
190:
188:
186:
178:
176:
174:
170:
166:
162:
161:Otto Schreier
158:
154:
150:
146:
142:
138:
134:
130:
129:
124:
119:
117:
113:
109:
106:in her paper
105:
97:
95:
93:
89:
85:
81:
77:
73:
72:vector spaces
69:
65:
61:
57:
56:homomorphisms
53:
49:
45:
41:
37:
33:
19:
8057:, Springer,
8054:
8036:
8027:
8018:
7999:
7991:Group Theory
7990:
7967:
7947:
7936:
7927:Group Theory
7926:
7917:
7900:
7885:
7875:
7868:
7844:. Retrieved
7840:
7830:
7821:
7812:
7803:
7778:
7770:
7758:. Retrieved
7754:
7741:
7732:
7690:
7683:
7674:
7665:
7656:
7647:
7640:
7636:
7627:
7617:
7612:
7603:
7576:
7567:
7542:
7531:
7506:
7495:
7488:
7099:
6711:
6635:the algebra
6227:
5932:homomorphism
5897:
5838:well-defined
5718:
5716:
5705:
5437:
5004:
5000:
4996:
4994:
4983:
4979:
4975:
4971:
4967:
4963:
4956:
4952:
4948:
4941:
4937:
4933:
4929:
4925:
4921:
4917:
4913:
4909:
4901:
4897:
4893:
4889:
4887:
4877:
4873:
4869:
4865:
4863:
4857:
4853:
4842:
4835:
4831:
4820:
4816:
4800:
4796:
4792:
4788:
4784:
4782:
4772:
4768:
4766:
4709:
4492:-preserving
4413:
3718:
3717:an ideal of
3714:
3710:
3708:
3697:
3693:
3689:
3685:
3681:
3677:
3670:
3666:
3662:
3655:
3651:
3647:
3643:
3639:
3635:
3631:
3627:
3623:
3612:
3608:
3604:
3600:
3596:
3594:
3512:
3269:
3253:
3243:
3237:
3235:
3145:
3113:
3084:
3046:
3030:
3021:
3017:
3013:
3005:
3001:
2993:
2991:
2868:
2684:
2642:
2640:
2475:
2471:
2441:
2367:
2355:
2350:
2346:
2341:
2338:
2173:
2157:
2153:
2149:
2145:
2143:
1395:
857:
852:
848:
844:
842:
672:
542:intersection
340:
322:
320:
315:
311:
307:
299:
297:
291:
287:
276:
269:
261:
250:
242:
231:homomorphism
226:
222:
218:
214:
210:
208:
182:
172:
168:
149:group theory
131:, the first
126:
120:
107:
104:Emmy Noether
101:
82:, and other
80:Lie algebras
43:
39:
29:
7890:Jeremy Gray
7888:(edited by
2288:containing
973:determinant
92:congruences
32:mathematics
8064:0387905189
8046:0130878685
7859:References
7166:. The set
6778:such that
6124:isomorphic
6024:(i.e. the
5719:congruence
5313:such that
5238:such that
5051:such that
4847:isomorphic
4289:such that
4214:such that
4027:such that
3952:such that
3765:such that
3607:, and let
3470:isomorphic
3069:Theorem C
3066:Theorem B
3063:Theorem A
3033:nine lemma
2885:direct sum
2781:such that
2645:that maps
2364:Discussion
2349:, and the
2024:such that
1949:such that
1762:such that
1687:such that
1500:such that
1100:, we have
915:invertible
715:normalizer
401:, and let
304:surjective
281:isomorphic
195:See also:
153:Emil Artin
60:subobjects
7718:cite book
7456:Φ
7448:Ψ
7445:↦
7442:Ψ
7433:Φ
7419:
7413:→
7402:×
7393:Φ
7382:α
7359:
7324:×
7315:Φ
7290:Φ
7267:
7261:⊆
7250:×
7241:Φ
7213:
7207:∈
7204:Φ
7177:
7131:
7075:Ψ
7067:Φ
7053:Ψ
7022:Φ
6994:Ψ
6961:−
6956:Ψ
6942:∘
6939:Φ
6936:∘
6931:Ψ
6911:Φ
6908:∈
6872:Ψ
6848:Ψ
6820:Ψ
6812:Φ
6792:Φ
6789:⊆
6786:Ψ
6746:Ψ
6740:Φ
6685:Φ
6654:Φ
6620:Φ
6590:Φ
6528:Φ
6481:∅
6478:≠
6472:∩
6463:Φ
6452:∈
6438:Φ
6387:Φ
6361:×
6352:∩
6349:Φ
6337:Φ
6296:Φ
6194:−
6107:
6084:Φ
5982:Φ
5915:→
5871:×
5848:Φ
5824:Φ
5790:×
5764:×
5758:⊆
5755:Φ
5611:⊇
5577:↔
5330:⊆
5324:⊆
5255:⊆
5249:⊆
5068:⊆
5062:⊆
4904:. Then:
4807:. Then:
4720:submodule
4718:from any
4494:bijection
4490:inclusion
4465:↔
4306:⊆
4300:⊆
4231:⊆
4225:⊆
4044:⊆
4038:⊆
3969:⊆
3963:⊆
3782:⊆
3776:⊆
3615:. Then:
3575:φ
3572:
3521:φ
3497:φ
3494:
3456:φ
3409:φ
3362:φ
3327:→
3318:φ
3176:Fraleigh
3077:Jacobson
2974:→
2968:
2962:→
2956:→
2950:
2936:→
2913:σ
2910:
2904:⊕
2901:κ
2898:
2875:(such as
2851:σ
2848:
2842:×
2839:κ
2836:
2795:κ
2792:∘
2789:ρ
2766:
2760:→
2751:ρ
2731:σ
2728:
2705:κ
2702:
2664:
2623:
2569:
2531:→
2525:
2516:κ
2493:
2458:π
2455:∘
2452:ι
2421:→
2402:morphisms
2245:→
2041:⊆
2035:⊆
1966:⊆
1960:⊆
1779:⊆
1773:⊆
1704:⊆
1698:⊆
1517:⊆
1511:⊆
1365:
1343:±
1321:
1308:≅
1294:×
1263:
1236:
1192:
1123:±
1111:∩
1081:×
1071:∈
1010:×
948:
890:
651:∩
554:∩
233:. Then:
52:quotients
8075:Category
7899:(2009),
7710:52559229
7575:(2009).
7539:(2000).
7503:(1994).
6901:″
6890:′
6863:″
6839:′
5600:for all
4908:The sum
3721:. Then
3346:. Then:
3127:Grillet
3057:Comment
2470:, where
2390:category
2388:for the
2380:and the
1141:, where
922:matrices
266:subgroup
48:theorems
7938:Algebra
7846:20 July
7760:Dec 20,
7622:(1994).
7619:Algebra
6804:. Then
6516:. Then
5723:algebra
5083:, then
4932:,
4849:to the
4712:modules
4706:Modules
4059:, then
3797:, then
3646:,
3472:to the
3423:subring
3242:or the
3162:Rotman
3114:No name
3060:Author
3024:is the
3008:in the
2996:is the
2687:is the
2398:objects
2384:form a
1794:, then
1532:, then
1456:. Then
1161:is the
919:complex
851:or the
447:product
283:to the
98:History
76:modules
8061:
8043:
8006:
7978:
7954:
7930:, 3.13
7907:
7791:
7708:
7698:
7591:
7555:
7519:
7346:filter
7302:(i.e.
7006:, and
6948:
6923:
6576:
6328:, let
6026:kernel
5840:since
5744:is an
5721:on an
4813:kernel
4730:) and
4488:is an
3352:kernel
3221:Scott
3207:Milne
3109:Knapp
2438:kernel
2345:, the
1165:, and
797:, but
239:kernel
185:groups
179:Groups
171:, and
165:ideals
145:fields
137:groups
86:. In
64:groups
58:, and
46:) are
38:, the
7972:(PDF)
7751:(PDF)
7472:Notes
7192:is a
6632:, and
4959:, and
4838:, and
4828:image
4803:be a
4728:field
3673:, and
3445:, and
3421:is a
3399:image
3342:be a
3260:ideal
3256:rings
3250:Rings
2965:coker
2863:is a
2679:to a
2558:from
2156:, or
589:, and
306:then
272:, and
264:is a
258:image
245:is a
229:be a
141:rings
68:rings
8059:ISBN
8041:ISBN
8004:ISBN
7976:ISBN
7952:ISBN
7905:ISBN
7848:2019
7789:ISBN
7762:2022
7724:link
7706:OCLC
7696:ISBN
7589:ISBN
7553:ISBN
7517:ISBN
7100:Let
6712:Let
6419:and
6122:are
6096:and
5898:Let
5438:Let
4995:Let
4974:and
4896:and
4888:Let
4826:The
4811:The
4787:and
4783:Let
4414:Let
3709:Let
3688:and
3619:The
3595:Let
3397:The
3350:The
3290:and
3270:Let
3026:meet
3004:and
2998:join
2604:and
2400:and
2356:The
2174:Let
1396:Let
629:and
540:The
445:The
341:Let
256:The
237:The
213:and
209:Let
151:and
7785:246
7581:doi
7549:245
7416:Con
7356:Con
7348:in
7264:Con
7210:Con
7174:Con
7128:Con
6399:in
6308:on
6268:of
6171:iff
6028:of
5698:).
5273:If
5218:of
5011:If
4880:).
4845:is
4830:of
4815:of
4516:of
4249:If
4194:of
3987:If
3932:of
3725:If
3621:sum
3569:ker
3491:ker
3468:is
3425:of
3401:of
3354:of
3035:to
3012:of
3000:of
2947:ker
2807:ker
2763:ker
2661:ker
2620:ker
2584:to
2566:ker
2522:ker
2490:ker
1984:If
1929:of
1722:If
1667:of
1460:If
1356:PSL
1227:PGL
737:in
717:of
318:).
302:is
279:is
268:of
260:of
249:of
241:of
30:In
8077::
7974:.
7876:96
7871:,
7867:,
7839:.
7787:.
7753:.
7720:}}
7716:{{
7704:.
7587:.
7551:.
7515:.
7513:33
7480:^
6104:im
5890:.
5717:A
5714:.
5007:.
4860:).
4775:.
4764:.
4702:.
3587:.
3262:.
3148:)
3116:)
3087:)
3028:.
2994:SN
2989:.
2907:im
2895:im
2845:im
2833:im
2802:id
2725:im
2699:im
2638:.
2353:.
2160:.
2152:,
1352:=:
1312:SL
1254:GL
1250::=
1183:GL
939:SL
924:,
881:GL
855:.
847:,
840:.
325:.
294:).
187:.
159:,
94:.
78:,
74:,
70:,
66:,
54:,
8012:.
7984:.
7960:.
7850:.
7797:.
7764:.
7726:)
7712:.
7597:.
7583::
7561:.
7525:.
7452:/
7439:,
7436:)
7429:/
7425:A
7422:(
7409:]
7405:A
7399:A
7396:,
7389:[
7385::
7362:A
7331:]
7327:A
7321:A
7318:,
7311:[
7270:A
7257:]
7253:A
7247:A
7244:,
7237:[
7216:A
7180:A
7154:A
7134:A
7108:A
7081:.
7078:)
7071:/
7064:(
7060:/
7056:)
7049:/
7045:A
7042:(
7018:/
7014:A
6990:/
6986:A
6964:1
6952:]
6945:[
6927:]
6920:[
6917:=
6914:}
6905:)
6898:a
6894:,
6887:a
6883:(
6880::
6877:)
6868:]
6860:a
6856:[
6853:,
6844:]
6836:a
6832:[
6829:(
6826:{
6823:=
6816:/
6766:A
6743:,
6720:A
6703:.
6689:B
6680:/
6676:B
6650:]
6646:B
6643:[
6616:/
6612:A
6586:]
6582:B
6579:[
6566:,
6554:B
6532:B
6504:B
6484:}
6475:B
6469:K
6466::
6459:/
6455:A
6449:K
6446:{
6443:=
6434:]
6430:B
6427:[
6407:B
6367:)
6364:B
6358:B
6355:(
6346:=
6341:B
6316:A
6276:A
6256:B
6236:A
6208:1
6205:=
6202:)
6197:1
6190:y
6186:x
6183:(
6180:f
6158:)
6155:y
6152:(
6149:f
6146:=
6143:)
6140:x
6137:(
6134:f
6110:f
6080:/
6076:A
6056:A
6036:f
6012:)
6009:y
6006:(
6003:f
6000:=
5997:)
5994:x
5991:(
5988:f
5985::
5962:B
5942:f
5918:B
5912:A
5909::
5906:f
5874:A
5868:A
5820:/
5816:A
5793:A
5787:A
5767:A
5761:A
5732:A
5686:N
5666:M
5646:N
5642:/
5638:M
5614:N
5608:A
5588:N
5584:/
5580:A
5574:A
5554:N
5550:/
5546:M
5526:N
5506:M
5486:M
5466:N
5446:M
5429:.
5417:S
5413:/
5409:M
5389:)
5386:T
5382:/
5378:S
5375:(
5371:/
5367:)
5364:T
5360:/
5356:M
5353:(
5333:M
5327:S
5321:T
5301:M
5281:S
5270:.
5258:M
5252:S
5246:T
5226:M
5206:S
5186:T
5182:/
5178:S
5158:T
5154:/
5150:M
5139:.
5127:T
5123:/
5119:M
5099:T
5095:/
5091:S
5071:M
5065:S
5059:T
5039:M
5019:S
5005:M
5001:T
4997:M
4984:T
4980:S
4976:S
4972:T
4968:T
4964:S
4957:M
4953:T
4949:S
4944:,
4942:M
4938:T
4934:t
4930:S
4926:s
4922:t
4918:s
4914:T
4910:S
4902:M
4898:T
4894:S
4890:M
4878:φ
4874:M
4870:N
4866:φ
4858:φ
4854:M
4843:φ
4836:N
4832:φ
4823:,
4821:M
4817:φ
4801:N
4797:M
4793:φ
4789:N
4785:M
4773:R
4769:R
4743:Z
4690:I
4686:/
4682:R
4662:I
4658:/
4654:A
4632:R
4612:I
4592:A
4572:I
4568:/
4564:R
4544:I
4524:R
4504:A
4476:I
4472:/
4468:A
4462:A
4442:R
4422:I
4405:.
4393:J
4389:/
4385:R
4365:)
4362:I
4358:/
4354:J
4351:(
4347:/
4343:)
4340:I
4336:/
4332:R
4329:(
4309:R
4303:J
4297:I
4277:R
4257:J
4246:.
4234:R
4228:J
4222:I
4202:R
4182:J
4162:I
4158:/
4154:J
4134:I
4130:/
4126:R
4115:.
4103:I
4099:/
4095:R
4075:I
4071:/
4067:J
4047:R
4041:J
4035:I
4015:R
3995:J
3984:.
3972:R
3966:A
3960:I
3940:R
3920:A
3900:I
3896:/
3892:A
3872:I
3868:/
3864:R
3853:.
3841:I
3837:/
3833:R
3813:I
3809:/
3805:A
3785:R
3779:A
3773:I
3753:R
3733:A
3719:R
3715:I
3711:R
3698:I
3694:S
3690:S
3686:I
3682:I
3678:S
3671:S
3667:I
3663:S
3658:,
3656:R
3652:I
3648:i
3644:S
3640:s
3636:i
3632:s
3628:I
3624:S
3613:R
3609:I
3605:R
3601:S
3597:R
3565:/
3561:R
3541:S
3509:.
3487:/
3483:R
3433:S
3394:,
3382:R
3330:S
3324:R
3321::
3298:S
3278:R
3144:(
3112:(
3083:(
3022:N
3018:S
3014:G
3006:N
3002:S
2977:0
2971:f
2959:H
2953:f
2943:/
2939:G
2933:0
2869:G
2811:f
2798:=
2769:f
2757:G
2754::
2685:G
2681:π
2667:f
2657:/
2653:G
2643:σ
2626:f
2616:/
2612:G
2592:H
2572:f
2534:G
2528:f
2519::
2496:f
2476:π
2472:ι
2442:f
2424:H
2418:G
2415::
2412:f
2324:N
2320:/
2316:G
2296:N
2276:G
2256:N
2252:/
2248:G
2242:G
2222:G
2202:N
2182:G
2140:.
2128:K
2124:/
2120:G
2100:)
2097:N
2093:/
2089:K
2086:(
2082:/
2078:)
2075:N
2071:/
2067:G
2064:(
2044:G
2038:K
2032:N
2012:G
1992:K
1981:.
1969:G
1963:K
1957:N
1937:G
1917:K
1897:N
1893:/
1889:K
1869:N
1865:/
1861:G
1850:.
1838:N
1834:/
1830:K
1810:N
1806:/
1802:G
1782:G
1776:K
1770:N
1750:G
1730:K
1719:.
1707:G
1701:K
1695:N
1675:G
1655:K
1635:N
1631:/
1627:K
1607:N
1603:/
1599:G
1588:.
1576:N
1572:/
1568:K
1548:N
1544:/
1540:G
1520:G
1514:K
1508:N
1488:G
1468:K
1444:G
1424:N
1404:G
1376:)
1372:C
1368:(
1360:2
1349:}
1346:I
1340:{
1336:/
1332:)
1328:C
1324:(
1316:2
1304:)
1300:I
1289:C
1284:(
1280:/
1276:)
1272:C
1267:(
1258:2
1247:)
1243:C
1239:(
1231:2
1203:)
1199:C
1195:(
1187:2
1179:=
1176:N
1173:S
1149:I
1129:}
1126:I
1120:{
1117:=
1114:N
1108:S
1087:}
1076:C
1068:a
1065::
1061:)
1053:a
1048:0
1041:0
1036:a
1028:(
1023:{
1019:=
1016:I
1005:C
983:N
959:)
955:C
951:(
943:2
935:=
932:S
901:)
897:C
893:(
885:2
877:=
874:G
828:N
825:S
805:N
785:G
765:N
745:G
725:N
701:S
681:N
657:)
654:N
648:S
645:(
641:/
637:S
617:N
613:/
609:)
606:N
603:S
600:(
577:S
557:N
551:S
537:,
525:N
522:S
502:N
491:,
479:G
459:N
456:S
429:G
409:N
389:G
369:S
349:G
316:f
312:G
308:H
300:f
292:f
288:G
277:f
270:H
262:f
253:,
251:G
243:f
227:H
223:G
219:f
215:H
211:G
143:-
139:-
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.