Knowledge

Talk:Zero object (algebra)

Source πŸ“

1404:
extend the same way to the integers. But I think it would be fair to just mention this at the top and to state that "the" for the rest of the article means "the one unique up to isomorphism". But this is a universal issue in mathematics: when is equality "equality" and when is it just "isomorphism", and do we only use the definite article in the former case? The answer obviously depends on context, which is why you even hear people talk about "the singleton set", even when such a construction is obviously not unique.
95: 333:. I do not understand the detail of objection particularly, perhaps we should check it first. Since we do seem to be attempting to address the article at the trivial objects of multiple types, perhaps we should do this properly, and rename it accordingly (and not simply by the most general case, which would be the singleton): sets, groups, modules, vector spaces, rings, algebras, and maybe others, as well as to give the dominant names for each. Interesting thought: fields apparently have no such 85: 64: 1111:). One option might be again to consider renaming this article more inclusively to encapsulate the "trivial object" concept. Alternatively, as you suggest, another article could be created to cover this topic (and zero objects would perhaps be classified under them, along with the trivial ring and related trivial objects). To have an article entirely devoted to the trivial ring while there are other similar "trivial objects" still does not seem right, though. β€” 33: 1087:, almost anything which could justify a separate article, today I am not sure that redirecting it to here was a right solution. May be it is a discussion about unital structures what ought to constitute its topic, distinct from true zero objects. Should we restore the article and move the section to there? 1318:
mentioned above seems to try to address this, but partly leaves the concept in the air with statements such as "depends on the precise definition". From the diff it would seem that the trivial ring is a zero object considered as a rng, but not when considered as a ring. This seems to match with the
1195:
So, what do you think is a right thing? An article about the trivial ring without mentioning its category-theoretical properties, eh? These trivial objects are not so easy as one could imagine. Since Rumping intervened to this complex matter (by undoing my changes), we should expect some constructive
1313:
As someone who has tried to crystalize these concepts from WP I find this rather confusing. This article seems to draw somewhat on the concept of a zero object (in category theory), which is evidently not the same as the elementary concept of a zero object that this article seems to be addressing.
1145:
It was neither polite nor practical to revert to a version of "trivial ring" criticized for absence of essential information, especially while this information is already present in a section of another article. One does not need to have good thoughts to just push the "undo" link in a web-interface.
805:
because of different notation for the identity element. I will use the original name proposal (although do not insist that it is an unlimate solution), because "trivial object" is ambigous (see my reasonings about initial objects above), "Zero object (abstract algebra)" imposes a misleading contrast
1388:
trivial group, but the trivial subgroup of the integers may hardly be considered to be the same as the trivial subgroup of the rotations of a Euclidean vector space (for example). Isomorphism is not equality. On the other hand, for a stand alone trivial group, like in an exact sequence, there is no
500:
I think this nevertheless has (plenty of) merit. It seems to get rid of the ambiguity in the title. We can make the content less technical if need be, introducing it as generally being the simplest object in any of several categories and that it is always a singleton, and then have a section for
1403:
Even for groups, there can be different ones, which are only equal up to isomorphism. The trivial multiplicative subgroup is {1} and the trivial additive subgroup is {0} (say of the integers). These are not equal in the strictest sense because 1 is not equal to 0, and also because + and * do not
1363:
trivial ring", the argument of isomorphism seems to be compelling. In the case of a module, a vector space or an algebra, the very definition of these categories implies the semantic of the associated scalar space ("over a ring"). This association seems to remain in the definition of the
800:
The problem is that "zero element" does not claim itself to be an article, but a dab page, so it has either be coverted to an article, or reformatted as a dab. Meanwhile, I proceed to the move and merger of "trivial ring", because it unlikely will be opposed. Some problems expected with
1176:
article's key points are that {0} on its own, with ordinary addition and multiplication, is a ring and that if the additive and the multiplicative identity are the same then there is only one element, things far easier to understand. You may think that these points are repeated in the
397:
of the category of the modules over a ring. In fact, historically, the theory of categories (especially abelian categories) was, for a large part, a generalization of the theory of modules which was needed for homological algebra. Thus the name "zero object" is derived from "zero
272:, where it is denoted simply by 0 (it appears twice in the short exact sequences). In any case one has to look on books of homological algebra to see how this module is named there. I believe "null module", but I may be influenced by the usual French denomination of "module nul". 1319:
zero object (category theory), but that is not what this article is about. It also seems to suggest that the definition of rings requires that 1β‰ 0. So I have to admit continued confusion, but I'm sure that between you a more easily understood presentation will emerge. β€”
1299:(in a category). In other words, there is no mathematical disagreement between Incnis Mrsi and me. My point is that the considerations of theory of categories have to appear after the elementary considerations. Otherwise the article could be tagged as {{tl:Technical}}. 201:
a less abstract one, a matrix algebra. The object concerned (a trivial module) has already been adequately defined. I felt that the mention of matrices was illustrative only. An empty matrix may be given as an example, but perhaps that should not be in the lead. β€”
1251:
My impression (which may be wrong) is that Incnis Mrsi does not think that the trivial ring is an example of a zero object (algebra), but that D.Lazard thinks that it is. I think that this should be resolved before the correctness of merging can be finalized. β€”
1027:
Your phrase "even Quondum" accords me more honour than I am worthy of. I can see the thrust of what you are saying in the wording used in the article. Thank you for this: I can see that I should focus more study on morphisms (and category theory generally). β€”
1364:
corresponding zero object, so that despite isomorphism in other respects, the operation of scalar multiplication is incompatible when the underlying scalars are not of the same type, and it makes less sense to regard all zero objects of these types to be
633:
seem to me to be non-ideal (it mentions zero objects, but is not about them as such) and that in the cases mentioned, it is exactly what this article is supposed to be changed to refer to. The initial and terminal objects that don't conform (e.g. the
181:
matrix, or by 0Γ—0Γ—0 matrix. In any case there is only one empty matrix, does not matter the square one or the cubic. But assertion of the isomorphism without an exact definition of "empty matrix" is even less precise speech than my version.
723: 446:
needs to be checked for standardness, but I guess it to be more used specifically as over a field and not a ring, and is thus may be a poor choice. We may be faced with many poor options (blame non-standardization of terminology). β€”
992:
It is a pity that my wording was unable to convince even Quondum. So, I say the same in a less encyclopedic manner. The categorial "zeroness" of {0} actually relies on the fact that pseudo-rings, modules, and vector spaces are
424:. And Quondum suggests the term "zero module" for the zero object. IMHO we should choose the name not more recognizable, but less ambiguous. I am almost sure that the word "trivial" will ultimately be dropped in the title, and 547:
Just a thought, and I'm sure this will come up in a more general discussion: parenthetical disambiguators are generally discouraged if there is nothing to disambiguate. In this instance, this means we'd have to consider
1102:
This seems to hinge on the implication that a trivial ring is not a true zero object (still beyond my ken). My support for the article's current name was based on the asssumption that these objects all fitted (and that
638:) are also not called zero objects. I'm weak in category theory, so the distinction between its use in algebra and in category theory escapes me. This will determine whether any disambiguator is appropriate. β€” 603:
In the category of groups, any trivial group is a zero object. The same is true for the categories of abelian groups, modules over a ring, and vector spaces over a field. This is the origin of the term "zero
378:, which means here to consider only the trivial objects which are used in non trivial math, and to mention the other ones only by sentences like "some authors call this notion in this way". Thus I propose to 1221:, because the reader could believe that the trivial field is a field. I have done a similar edit in this page, but this fundamental information is not enough visible for the public intended by Rumping. I 151: 1131:
article was easily understood by those whose algebra just about extends to groups, rings and fields but does not stretch to further abstraction. I have put it back for the time being --
268:
I think that "null module" or "zero module" are more usual names for this notion. Moreover, it should be mentioned in the page that this module is frequently used in the context of
973:, and I guess it should behave well as an initial object. So the argument given that β„€ is the initial object in the category of rings does not seem right. I know that 1291:
The fact that the trivial ring is not a zero object in the category of unital rings is not a real objection to call it also a zero ring. Thus it has a natural place in
838:
Yes you should save your version over it: My edits are easy to restore after that, if they are yet needed (at least may edit of {{tl:Merge}}) will no more be useful).
700:
But "zero object" is a well established terminology in category theory and something has to be kept for people who looks for information on it. This means a redirect
354:
with the interpretation of the objection. The ideal would be to get a practitioner in the field to comment on usage of terms. I am definitely not an expert. β€”
1384:
trivial ring". On the opposite, for groups and similar structures, it depends on the context if the argument of isomorphism is compelling: Every group contains
374:. Note also that the first page considers also a notion of "trivial module structure" which exists only for "non unitary modules". I think that we should apply 485:. But it would make the article difficult to read for non-algebraists, and will shift the topic to category-theoretical stuff from current descriptive stance. 1368:
object. I suggest that the article should refer to "a trivial module", "a trivial vector space" and "a trivial algebra" in recognition of this. Comment? β€”
748:
that we are trying to document in this context (abstract algebra). (Forgive my obtuseness – I still need water wings.) I would then support the move of
1447: 141: 1442: 1001:
distinguished point 0; see my diagram. Inclusion of another constantΒ 1 breaks all the picture, because object are immediately divided to "regular"Β (
678:
I was not suggesting any change to that article; it is a very clear article and should not be touched. What I was suggesting is that the redirect
824:
D.Lazard made a quite inconvenient thing starting to alter the article independently, despite my forecast. Should I save my version over his one?
117: 173:
I do not get to which exactly realization of the empty matrix the space of possible multiplications is isomorphic. My original version,
1069: 509:. And then, at least, the naming problem in the case of a module is in the corresponding section, not in the name of an article. β€” 108: 69: 1065: 1418: 501:
the corresponding object in each of several categories. It also gives scope for merging the small articles on each, such as
1325: 1258: 1117: 1057: 1034: 983: 940: 792: 692: 644: 560: 515: 453: 360: 343: 208: 630: 598: 582: 44: 289:
Exact sequences' 0 may also denote the trivial Abelian group. But any Abelian group inherently is a β„€-module, indeed.
965:
do not seem to exclude the trivial ring: it has a multiplicative identity element, and there is no requirement that
910:. It's evident that this is not intended use (only use one or the other), as one might observe from the following: 765: 753: 701: 586: 416:
A complete tangle. Proofwiki.org refer as "trivial module" to the thing with zero multiplication, analogous to our
554:
if we find no conflicting use for the term, for which there is currently a redirect that we would replace. β€”
32: 661: 315: 934:
The last line (at least for me) is disproportionately large, whereas the first two lines are the same. β€”
652:"Initial and terminal objects" may not be moved. There is a plenty of categories where objects similar to 417: 334: 1292: 1282: 1230: 1201: 1178: 1165: 1155: 1092: 1018: 1013:
morphism becomes impossible from a pathological object to a regular one. By definition of the morphism.
829: 815: 669: 594: 538: 490: 474: 433: 294: 258: 227: 187: 50: 222:
Is the trivial algebra also a zero object in some category? I am not an expert in the category theory.
94: 810:
algebra (although our current content is quite traditional), and simply "zero object" is conflicting.
368:
It should be noted that Mathworld has two articles on the same object, called either "trivial module"
421: 375: 323: 759: 1169: 970: 958: 250: 116:
on Knowledge. If you would like to participate, please visit the project page, where you can join
1412: 1394: 1304: 1242: 1127:
You are correct in wondering whether the merge was the right solution, so I have undone it. The
962: 843: 713: 611: 482: 428:
become a dab page. "Zero module" is a possible choice indeed, although I like "zero space" more.
407: 277: 100: 84: 63: 1380:
I agree to refer to "a trivial module", "a trivial vector space" and "a trivial algebra" and "
1372: 1323: 1256: 1186: 1136: 1115: 1061: 1032: 981: 974: 938: 790: 690: 642: 558: 513: 451: 358: 341: 206: 1278: 1197: 1164:
I left the merge/discuss tag. But be clear that I think it is a error to do the merge. The
1151: 1088: 1014: 825: 811: 665: 534: 486: 429: 290: 254: 223: 183: 1181:
article, but they are not written so clearly and are obscured by more complicated ideas. --
756:, and the name of this article then is still open to debate. Option that occur to me are: 527: 425: 269: 245:
in ambiguity. What backup names can we use if the problem become severe? I can propose
782:, and it looks like this article should be ciited as the main article for the section 1436: 1406: 1390: 1300: 1238: 1237:
the target should be rewritten to be accessible for the public addressed by Rumping.
904: 894: 881: 871: 839: 802: 709: 657: 607: 502: 478: 403: 307: 273: 664:
are terminal objects but not initial. Only in algebra these two typically coincide.
593:
should become a dab page. But the relation is deeper and has to be made explicit in
1369: 1320: 1253: 1226: 1212: 1182: 1173: 1132: 1128: 1112: 1052: 1029: 978: 935: 787: 783: 779: 687: 639: 555: 510: 506: 448: 355: 338: 311: 203: 17: 369: 331: 1425: 1398: 1374: 1328: 1308: 1296: 1286: 1261: 1246: 1205: 1190: 1159: 1140: 1120: 1096: 1037: 1022: 994: 986: 943: 847: 833: 819: 795: 770: 749: 717: 705: 695: 679: 673: 647: 626: 615: 590: 578: 563: 550: 542: 518: 494: 456: 437: 411: 394: 382: 363: 346: 319: 298: 281: 262: 231: 211: 191: 113: 372: 306:
As with most mathematical terms, context seems to be significant. So whereas
246: 90: 625:
have any use other than as used in category theory? The current redirect of
653: 635: 682:
should be deleted to make way for this article, which should be renamed as
352: 744:
being initial and terminal, and so it is not a direct synonym for the
177:, already had an ambiguity because the multiplication is defined by a 1219:
by those whose algebra just about extends to groups, rings and fields
730:
Definition 1.1.1 By a zero object in a category C, we mean an object
1273:
belongs to the algebraic structure, then it is not an "example". If
660:) are initial objects but not terminal, and objects similar to 26: 533:
s to that articles. May be this will increase an audience.
390:
Mention that "trivial module" is also used for this notion
1168:
article requires the reader to understand the concept of
393:
Mention (and even emphasize) that the zero module is the
1315: 1267: 1084: 1077: 1073: 314:
seem to be well-established, one evidently refers to a
242: 762:(intuitive, used occasionally but apparently not much) 708:
or hatnotes in both pages talking on "zero objects".
928:
abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ
922:
abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ
916:
abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ
112:, a collaborative effort to improve the coverage of 1172:first and then consider the smallest example. The 969:. It seems to be well-behaved with respect to the 1351:"a" vs. "the" (for an object defined over a ring) 1277:is not an element of the structure, then it is. 734:which is both an initial and a terminal object. 197:My real problem is to have an abstract algebra 8: 1269:, as well as in the talk section above. If 977:contradicts me. What have I got wrong? β€” 30: 1266:What do I think about it, was expressed in 58: 1196:proposals, not only "merger is an evil". 1210:To Rumping: Before my recent edit, the 577:the merge. However, care is needed for 253:, although the latter is likely an OR. 60: 473:Yet another option could be moving to 975:Category of rings#Limits and colimits 218:Is the trivial algebra a zero object? 7: 106:This article is within the scope of 722:I have come across this definition 322:may be an appropriate name for the 49:It is of interest to the following 25: 1448:Low-priority mathematics articles 585:. Probably it should be moved to 126:Knowledge:WikiProject Mathematics 1443:Start-Class mathematics articles 169:"isomorphic to the empty matrix" 129:Template:WikiProject Mathematics 93: 83: 62: 31: 1146:Good thoughts are required for 957:I'm a little confused. Unlike 241:Current title "trivial module" 146:This article has been rated as 766:Zero object (abstract algebra) 326:on a singleton set. The term 1: 1426:04:21, 16 December 2012 (UTC) 1109:zero object (category theory) 944:19:19, 29 February 2012 (UTC) 773:(if this is a dominant usage) 754:Zero object (category theory) 718:21:16, 29 February 2012 (UTC) 702:zero object (category theory) 696:19:30, 29 February 2012 (UTC) 674:19:23, 29 February 2012 (UTC) 648:19:06, 29 February 2012 (UTC) 616:18:04, 29 February 2012 (UTC) 587:Zero object (category theory) 564:19:27, 28 February 2012 (UTC) 543:18:28, 28 February 2012 (UTC) 519:17:01, 28 February 2012 (UTC) 495:16:36, 28 February 2012 (UTC) 457:15:17, 28 February 2012 (UTC) 438:12:04, 28 February 2012 (UTC) 412:11:49, 28 February 2012 (UTC) 364:05:33, 28 February 2012 (UTC) 347:05:16, 28 February 2012 (UTC) 299:12:04, 28 February 2012 (UTC) 282:23:05, 27 February 2012 (UTC) 263:20:12, 27 February 2012 (UTC) 232:20:12, 27 February 2012 (UTC) 212:04:27, 28 February 2012 (UTC) 192:20:12, 27 February 2012 (UTC) 120:and see a list of open tasks. 1107:was a distinct concept from 778:I've just found the article 631:Initial and terminal objects 599:Initial and terminal objects 583:Initial and terminal objects 387:Modify the text accordingly 175:defined by the empty matrix 1464: 1329:13:14, 12 March 2012 (UTC) 1309:11:08, 12 March 2012 (UTC) 1287:10:27, 12 March 2012 (UTC) 1262:09:44, 12 March 2012 (UTC) 1247:09:00, 12 March 2012 (UTC) 1206:08:00, 12 March 2012 (UTC) 1191:22:53, 11 March 2012 (UTC) 1160:07:59, 10 March 2012 (UTC) 481:as the zero object of the 1141:22:27, 9 March 2012 (UTC) 1121:07:02, 3 March 2012 (UTC) 1097:04:41, 3 March 2012 (UTC) 1038:19:18, 2 March 2012 (UTC) 1023:18:44, 2 March 2012 (UTC) 987:18:02, 2 March 2012 (UTC) 848:11:49, 1 March 2012 (UTC) 834:11:34, 1 March 2012 (UTC) 820:09:25, 1 March 2012 (UTC) 796:08:43, 1 March 2012 (UTC) 330:does however occur, e.g. 145: 78: 57: 1399:09:50, 1 July 2012 (UTC) 1375:09:14, 1 July 2012 (UTC) 1046:Unmerging "trivial ring" 961:, the axioms defining a 784:Zero element#Zero object 152:project's priority scale 890:Take care with nesting 662:singleton (mathematics) 109:WikiProject Mathematics 1389:problem to use "the". 1005:) and "pathological"Β ( 704:and either a dab page 477:, with mentioning the 418:trivial representation 39:This article is rated 1293:zero object (algebra) 1231:zero object (algebra) 1179:zero object (algebra) 1166:zero object (algebra) 1105:zero object (algebra) 1050:Although the article 597:, as one may read in 595:Zero object (algebra) 475:zero object (algebra) 469:Zero object (algebra) 1359:trivial group" and " 243:raised an accusation 132:mathematics articles 1295:: this page is not 1215:article was easily 1170:algebraic structure 971:direct sum of rings 581:which redirects to 18:Talk:Trivial module 1355:When speaking of " 483:category of groups 101:Mathematics portal 45:content assessment 1223:support the merge 1085:as of February 28 1083:did not contain, 951:Unital structures 371:or "zero module" 301: 166: 165: 162: 161: 158: 157: 16:(Redirected from 1455: 1424: 1421: 1415: 1409: 1082: 1081: 1008: 1004: 968: 930: 929: 923: 918: 909: 903: 899: 893: 886: 880: 876: 870: 740:This defines it 532: 526: 442:A tangle, yes. 381:Rename the page 288: 134: 133: 130: 127: 124: 103: 98: 97: 87: 80: 79: 74: 66: 59: 42: 36: 35: 27: 21: 1463: 1462: 1458: 1457: 1456: 1454: 1453: 1452: 1433: 1432: 1419: 1413: 1407: 1405: 1353: 1055: 1051: 1048: 1006: 1002: 966: 955: 927: 926: 921: 914: 907: 901: 897: 891: 888: 884: 878: 874: 868: 530: 524: 471: 270:exact sequences 239: 220: 171: 131: 128: 125: 122: 121: 99: 92: 72: 43:on Knowledge's 40: 23: 22: 15: 12: 11: 5: 1461: 1459: 1451: 1450: 1445: 1435: 1434: 1431: 1430: 1429: 1428: 1352: 1349: 1348: 1347: 1346: 1345: 1344: 1343: 1342: 1341: 1340: 1339: 1338: 1337: 1336: 1335: 1334: 1333: 1332: 1331: 1235:before merging 1124: 1123: 1047: 1044: 1043: 1042: 1041: 1040: 954: 947: 932: 931: 924: 919: 887: 866: 865: 864: 863: 862: 861: 860: 859: 858: 857: 856: 855: 854: 853: 852: 851: 850: 776: 775: 774: 768: 763: 760:Trivial object 746:trivial object 738: 737: 736: 621:Does the term 571: 570: 569: 568: 567: 566: 470: 467: 466: 465: 464: 463: 462: 461: 460: 459: 426:trivial module 414: 401: 400: 399: 391: 388: 385: 349: 328:trivial module 304: 303: 302: 238: 235: 219: 216: 215: 214: 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: 1460: 1449: 1446: 1444: 1441: 1440: 1438: 1427: 1422: 1416: 1410: 1402: 1401: 1400: 1396: 1392: 1387: 1383: 1379: 1378: 1377: 1376: 1373: 1371: 1367: 1362: 1358: 1350: 1330: 1327: 1324: 1322: 1317: 1312: 1311: 1310: 1306: 1302: 1298: 1294: 1290: 1289: 1288: 1284: 1280: 1276: 1272: 1268: 1265: 1264: 1263: 1260: 1257: 1255: 1250: 1249: 1248: 1244: 1240: 1236: 1232: 1228: 1224: 1220: 1218: 1217:misunderstood 1214: 1209: 1208: 1207: 1203: 1199: 1194: 1193: 1192: 1188: 1184: 1180: 1175: 1171: 1167: 1163: 1162: 1161: 1157: 1153: 1149: 1144: 1143: 1142: 1138: 1134: 1130: 1126: 1125: 1122: 1119: 1116: 1114: 1110: 1106: 1101: 1100: 1099: 1098: 1094: 1090: 1086: 1079: 1075: 1071: 1067: 1063: 1059: 1054: 1045: 1039: 1036: 1033: 1031: 1026: 1025: 1024: 1020: 1016: 1012: 1000: 996: 991: 990: 989: 988: 985: 982: 980: 976: 972: 964: 960: 952: 948: 946: 945: 942: 939: 937: 925: 920: 917: 913: 912: 911: 906: 896: 883: 873: 867: 849: 845: 841: 837: 836: 835: 831: 827: 823: 822: 821: 817: 813: 809: 804: 803:trivial group 799: 798: 797: 794: 791: 789: 785: 781: 777: 772: 769: 767: 764: 761: 758: 757: 755: 751: 747: 743: 739: 735: 733: 728: 727: 725: 721: 720: 719: 715: 711: 707: 703: 699: 698: 697: 694: 691: 689: 685: 681: 677: 676: 675: 671: 667: 663: 659: 658:false (logic) 655: 651: 650: 649: 646: 643: 641: 637: 632: 628: 624: 620: 619: 618: 617: 613: 609: 605: 600: 596: 592: 588: 584: 580: 576: 565: 562: 559: 557: 553: 552: 546: 545: 544: 540: 536: 529: 522: 521: 520: 517: 514: 512: 508: 504: 503:trivial group 499: 498: 497: 496: 492: 488: 484: 480: 479:trivial group 476: 468: 458: 455: 452: 450: 445: 441: 440: 439: 435: 431: 427: 423: 419: 415: 413: 409: 405: 402: 396: 392: 389: 386: 384: 380: 379: 377: 376:WP:notability 373: 370: 367: 366: 365: 362: 359: 357: 353: 351:I've located 350: 348: 345: 342: 340: 336: 332: 329: 325: 321: 317: 316:singleton set 313: 310:and probably 309: 308:trivial group 305: 300: 296: 292: 287: 286: 285: 284: 283: 279: 275: 271: 267: 266: 265: 264: 260: 256: 252: 251:trivial space 248: 244: 236: 234: 233: 229: 225: 217: 213: 210: 207: 205: 200: 196: 195: 194: 193: 189: 185: 180: 179:vector-valued 176: 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: 1385: 1381: 1365: 1360: 1356: 1354: 1274: 1270: 1234: 1227:trivial ring 1222: 1216: 1213:trivial ring 1211: 1174:trivial ring 1147: 1129:trivial ring 1108: 1104: 1053:Trivial ring 1049: 1010: 998: 995:pointed sets 956: 950: 933: 915: 889: 807: 780:Zero element 745: 741: 731: 729: 683: 622: 602: 574: 572: 549: 507:trivial ring 472: 443: 422:zero algebra 327: 312:trivial ring 240: 221: 198: 178: 174: 172: 148:Low-priority 147: 107: 73:Low‑priority 51:WikiProjects 1297:zero object 1279:Incnis Mrsi 1198:Incnis Mrsi 1152:Incnis Mrsi 1148:improvement 1089:Incnis Mrsi 1015:Incnis Mrsi 999:exactly one 826:Incnis Mrsi 812:Incnis Mrsi 771:Zero object 750:Zero object 742:in terms of 706:zero object 684:zero object 680:zero object 666:Incnis Mrsi 627:zero object 623:zero object 591:Zero object 579:Zero object 551:zero object 535:Incnis Mrsi 487:Incnis Mrsi 430:Incnis Mrsi 395:zero object 383:Zero module 320:zero module 291:Incnis Mrsi 255:Incnis Mrsi 224:Incnis Mrsi 184:Incnis Mrsi 123:Mathematics 114:mathematics 70:Mathematics 41:Start-class 1437:Categories 656:(or, say, 444:Zero space 247:zero space 199:defined by 654:empty set 636:empty set 1420:contribs 1408:asmeurer 1391:D.Lazard 1366:the same 1301:D.Lazard 1239:D.Lazard 949:Section 840:D.Lazard 808:abstract 710:D.Lazard 608:D.Lazard 604:object". 404:D.Lazard 398:module". 274:D.Lazard 1370:Quondum 1321:Quondum 1254:Quondum 1183:Rumping 1133:Rumping 1113:Quondum 1066:history 1030:Quondum 1009:), and 979:Quondum 953:: rings 936:Quondum 877:inside 788:Quondum 688:Quondum 640:Quondum 575:support 556:Quondum 511:Quondum 449:Quondum 356:Quondum 339:Quondum 204:Quondum 150:on the 1233:, but 959:fields 523:I put 335:object 324:module 318:. So 47:scale. 1229:into 1074:watch 1070:links 1007:1 = 0 1003:1 β‰  0 997:with 786:. β€” 686:. β€” 528:Merge 337:. β€” 1414:talk 1395:talk 1316:diff 1314:The 1305:talk 1283:talk 1243:talk 1202:talk 1187:talk 1156:talk 1137:talk 1093:talk 1078:logs 1062:talk 1058:edit 1019:talk 963:ring 905:math 900:and 895:mvar 882:math 872:mvar 844:talk 830:talk 816:talk 724:here 714:talk 670:talk 612:talk 589:and 539:talk 505:and 491:talk 434:talk 420:and 408:talk 295:talk 278:talk 259:talk 249:and 237:Move 228:talk 188:talk 1382:the 1361:the 1357:the 1225:of 1011:any 967:1β‰ 0 806:to 752:to 629:to 142:Low 1439:: 1417:| 1397:) 1307:) 1285:) 1245:) 1204:) 1189:) 1158:) 1150:. 1139:) 1095:) 1076:| 1072:| 1068:| 1064:| 1060:| 1021:) 908:}} 902:{{ 898:}} 892:{{ 885:}} 879:{{ 875:}} 869:{{ 846:) 832:) 818:) 726:: 716:) 672:) 614:) 606:β€” 601:: 573:I 541:) 531:}} 525:{{ 493:) 436:) 410:) 297:) 280:) 261:) 230:) 190:) 1423:) 1411:( 1393:( 1386:a 1326:✎ 1303:( 1281:( 1275:1 1271:1 1259:✎ 1241:( 1200:( 1185:( 1154:( 1135:( 1118:✎ 1091:( 1080:) 1056:( 1035:✎ 1017:( 984:✎ 941:✎ 842:( 828:( 814:( 793:✎ 732:0 712:( 693:✎ 668:( 645:✎ 610:( 561:✎ 537:( 516:✎ 489:( 454:✎ 432:( 406:( 361:✎ 344:✎ 293:( 276:( 257:( 226:( 209:✎ 186:( 154:. 53:: 20:)

Index

Talk:Trivial module

content assessment
WikiProjects
WikiProject icon
Mathematics
WikiProject icon
icon
Mathematics portal
WikiProject Mathematics
mathematics
the discussion
Low
project's priority scale
Incnis Mrsi
talk
20:12, 27 February 2012 (UTC)
Quondum

✎
04:27, 28 February 2012 (UTC)
Incnis Mrsi
talk
20:12, 27 February 2012 (UTC)
raised an accusation
zero space
trivial space
Incnis Mrsi
talk
20:12, 27 February 2012 (UTC)

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.

↑