566:
623:
585:
28:
604:
310:
412:
565:
622:
636:
are a special case of orthocomplemented lattices, which in turn are a special case of complemented lattices (with extra structure). The ortholattices are most often used in
781:
A natural further weakening of this condition for orthocomplemented lattices, necessary for applications in quantum logic, is to require it only in the special case
1415:
839:
2162:
2145:
1675:
1511:
1059:
1040:
999:
584:
436:
327:
1992:
1408:
881:
in
Boolean lattices. This remark has spurred interest in the closed subspaces of a Hilbert space, which form an orthomodular lattice.
2128:
1987:
975:
930:
454:
393:
374:
1982:
346:
1618:
603:
1700:
331:
353:
2019:
1939:
1401:
1613:
1804:
1733:
218:
every element will have at most one complement. A lattice in which every element has exactly one complement is called a
1707:
1695:
1658:
1633:
1608:
1562:
1531:
1270:
633:
360:
152:
1638:
1628:
151:, complements are unique. Every complemented distributive lattice has a unique orthocomplementation and is in fact a
2004:
1504:
890:
1977:
1643:
945:
Grätzer (1971), Lemma I.6.2, p. 48. This result holds more generally for modular lattices, see
Exercise 4, p. 50.
427:
342:
282:
A distributive lattice is complemented if and only if it is bounded and relatively complemented. The lattice of
1909:
1536:
129:
118:
2195:
2157:
2140:
1361:
320:
228:. In other words, a relatively complemented lattice is characterized by the property that for every element
2069:
1685:
2047:
1882:
1873:
1742:
1577:
1541:
1497:
553:
1623:
861:
in quantum logic is "formally indistinguishable from the calculus of linear subspaces with respect to
556:
operation, provides an example of an orthocomplemented lattice that is not, in general, distributive.
2135:
2094:
2084:
2074:
1819:
1782:
1752:
1737:
1348:
1340:
1312:
1307:
1298:
1197:
768:
224:
A lattice with the property that every interval (viewed as a sublattice) is complemented is called a
215:
148:
793:
is therefore defined as an orthocomplemented lattice such that for any two elements the implication
2062:
1973:
1919:
1878:
1868:
1757:
1690:
1653:
1366:
1356:
1207:
1107:
1099:
1090:
855:
658:
549:
367:
136:
and maps each element to a complement. An orthocomplemented lattice satisfying a weak form of the
2101:
1954:
1863:
1853:
1794:
1712:
1172:
1163:
1121:
2174:
2014:
1648:
2111:
2089:
1949:
1934:
1914:
1717:
1055:
1036:
1028:
995:
989:
926:
843:
628:
The hexagon lattice admits a unique orthocomplementation, but it is not uniquely complemented.
422:
299:
920:
1924:
1777:
1192:
925:, Encyclopedia of Mathematics and its Applications, Cambridge University Press, p. 29,
858:
851:
847:
172:
79:
548:
is a bounded lattice equipped with an orthocomplementation. The lattice of subspaces of an
2106:
1889:
1767:
1762:
1747:
1572:
1557:
1284:
1278:
1265:
1245:
1236:
1202:
1139:
866:
709:
648:
644:
283:
137:
133:
71:
27:
1663:
2024:
2009:
1999:
1858:
1836:
1814:
1326:
2189:
2123:
2079:
2057:
1929:
1799:
1787:
1592:
1462:
1212:
1177:
1134:
836:
832:
651:
637:
168:
75:
31:
290:
provide an example of a complemented lattice that is not, in general, distributive.
17:
1944:
1826:
1809:
1727:
1567:
1520:
1386:
1317:
1151:
976:
The
Unapologetic Mathematician: Orthogonal Complements and the Lattice of Subspaces
862:
287:
63:
1476:
214:
In general an element may have more than one complement. However, in a (bounded)
2150:
1843:
1722:
1587:
1376:
1371:
1260:
1250:
1224:
1217:
432:
there are various competing definitions of "Orthocomplementation" in literature.
309:
59:
2118:
2052:
1893:
1481:
1467:
1453:
1439:
1126:
641:
43:
1434:
2169:
2042:
1848:
1448:
1381:
1187:
1144:
1112:
654:
represent quantum propositions and behave as an orthocomplemented lattice.
121:, viewed as a bounded lattice in its own right, is a complemented lattice.
1964:
1831:
1582:
1182:
909:
Grätzer (1971), Lemma I.6.1, p. 47. Rutherford (1965), Theorem 9.3 p. 25.
334: in this section. Unsourced material may be challenged and removed.
1116:
26:
831:
Lattices of this form are of crucial importance for the study of
1493:
1489:
405:
303:
657:
Orthocomplemented lattices, like
Boolean algebras, satisfy
869:
and orthogonal complements" corresponding to the roles of
471:
on a bounded lattice is a function that maps each element
1033:
Lattice Theory: First
Concepts and Distributive Lattices
479:
in such a way that the following axioms are satisfied:
200:= 1 and
578:, the node on the right-hand side has two complements.
2035:
1963:
1902:
1672:
1601:
1550:
253: and
835:, since they are part of the axiomisation of the
988:Ranganathan Padmanabhan; Sergiu Rudeanu (2008).
110: = 0. Complements need not be unique.
1505:
1409:
922:Semimodular Lattices: Theory and Applications
8:
2163:Positive cone of a partially ordered group
1512:
1498:
1490:
1416:
1402:
1086:
455:Learn how and when to remove this message
394:Learn how and when to remove this message
2146:Positive cone of an ordered vector space
991:Axioms for lattices and boolean algebras
1089:
954:Birkhoff (1961), Corollary IX.1, p. 134
902:
558:
963:
7:
332:adding citations to reliable sources
232:in an interval there is an element
778:is modular, but not distributive.
34:of a complemented lattice. A point
1673:Properties & Types (
1054:. Basel, Switzerland: Birkhäuser.
25:
2129:Positive cone of an ordered field
1069:Rutherford, Daniel Edwin (1965).
994:. World Scientific. p. 128.
1983:Ordered topological vector space
1023:. American Mathematical Society.
621:
602:
583:
564:
410:
308:
128:on a complemented lattice is an
1463:"Uniquely complemented lattice"
771:; e.g. the above-shown lattice
616:admits 3 orthocomplementations.
597:admits no orthocomplementation.
319:needs additional citations for
226:relatively complemented lattice
159:Definition and basic properties
115:relatively complemented lattice
46:are complements if and only if
1071:Introduction to Lattice Theory
1:
1940:Series-parallel partial order
1035:. W. H. Freeman and Company.
220:uniquely complemented lattice
117:is a lattice such that every
1619:Cantor's isomorphism theorem
1659:Szpilrajn extension theorem
1634:Hausdorff maximal principle
1609:Boolean prime ideal theorem
1477:"Orthocomplemented lattice"
767:holds. This is weaker than
430:. The specific problem is:
279:relative to the interval.
175:1), in which every element
167:is a bounded lattice (with
82:1), in which every element
2212:
2005:Topological vector lattice
1019:Birkhoff, Garrett (1961).
891:Pseudocomplemented lattice
560:Some complemented lattices
297:
275:is called a complement of
1527:
542:orthocomplemented lattice
1614:Cantor–Bernstein theorem
1050:Grätzer, George (1978).
571:In the pentagon lattice
475:to an "orthocomplement"
2158:Partially ordered group
1978:Specialization preorder
919:Stern, Manfred (1999),
1644:Kruskal's tree theorem
1639:Knaster–Tarski theorem
1629:Dushnik–Miller theorem
1435:"Complemented lattice"
1052:General Lattice Theory
343:"Complemented lattice"
55:
1449:"Relative complement"
704:Orthomodular lattices
554:orthogonal complement
149:distributive lattices
30:
2136:Ordered vector space
1313:Group with operators
1256:Complemented lattice
1091:Algebraic structures
791:orthomodular lattice
712:if for all elements
708:A lattice is called
590:The diamond lattice
469:orthocomplementation
437:improve this article
426:to meet Knowledge's
328:improve this article
294:Orthocomplementation
216:distributive lattice
165:complemented lattice
142:orthomodular lattice
126:orthocomplementation
68:complemented lattice
18:Orthomodular lattice
1974:Alexandrov topology
1920:Lexicographic order
1879:Well-quasi-ordering
1367:Composition algebra
1127:Quasigroup and loop
550:inner product space
102: = 1 and
1955:Transitive closure
1915:Converse/Transpose
1624:Dilworth's theorem
1073:. Oliver and Boyd.
854:observed that the
183:, i.e. an element
90:, i.e. an element
56:
2183:
2182:
2141:Partially ordered
1950:Symmetric closure
1935:Reflexive closure
1678:
1430:
1429:
1426:
1425:
1061:978-0-12-295750-5
1042:978-0-7167-0442-3
1001:978-981-283-454-6
844:quantum mechanics
465:
464:
457:
428:quality standards
419:This article may
404:
403:
396:
378:
300:De Morgan algebra
16:(Redirected from
2203:
1925:Linear extension
1674:
1654:Mirsky's theorem
1514:
1507:
1500:
1491:
1486:
1472:
1458:
1444:
1418:
1411:
1404:
1193:Commutative ring
1122:Rack and quandle
1087:
1083:
1082:
1074:
1065:
1046:
1024:
1006:
1005:
985:
979:
973:
967:
961:
955:
952:
946:
943:
937:
935:
916:
910:
907:
852:John von Neumann
848:Garrett Birkhoff
724:the implication
659:de Morgan's laws
634:Boolean algebras
625:
606:
587:
568:
460:
453:
449:
446:
440:
414:
413:
406:
399:
392:
388:
385:
379:
377:
336:
312:
304:
271:Such an element
173:greatest element
80:greatest element
53:
50:does not lie on
49:
41:
37:
21:
2211:
2210:
2206:
2205:
2204:
2202:
2201:
2200:
2186:
2185:
2184:
2179:
2175:Young's lattice
2031:
1959:
1898:
1748:Heyting algebra
1696:Boolean algebra
1668:
1649:Laver's theorem
1597:
1563:Boolean algebra
1558:Binary relation
1546:
1523:
1518:
1475:
1461:
1447:
1433:
1422:
1393:
1392:
1391:
1362:Non-associative
1344:
1333:
1332:
1322:
1302:
1291:
1290:
1279:Map of lattices
1275:
1271:Boolean algebra
1266:Heyting algebra
1240:
1229:
1228:
1222:
1203:Integral domain
1167:
1156:
1155:
1149:
1103:
1081:
1068:
1062:
1049:
1043:
1029:Grätzer, George
1027:
1018:
1015:
1010:
1009:
1002:
987:
986:
982:
974:
970:
962:
958:
953:
949:
944:
940:
933:
918:
917:
913:
908:
904:
899:
887:
777:
706:
629:
626:
617:
615:
607:
598:
596:
588:
579:
577:
569:
517:Order-reversing
461:
450:
444:
441:
434:
415:
411:
400:
389:
383:
380:
337:
335:
325:
313:
302:
296:
161:
153:Boolean algebra
134:order-reversing
51:
47:
39:
35:
23:
22:
15:
12:
11:
5:
2209:
2207:
2199:
2198:
2196:Lattice theory
2188:
2187:
2181:
2180:
2178:
2177:
2172:
2167:
2166:
2165:
2155:
2154:
2153:
2148:
2143:
2133:
2132:
2131:
2121:
2116:
2115:
2114:
2109:
2102:Order morphism
2099:
2098:
2097:
2087:
2082:
2077:
2072:
2067:
2066:
2065:
2055:
2050:
2045:
2039:
2037:
2033:
2032:
2030:
2029:
2028:
2027:
2022:
2020:Locally convex
2017:
2012:
2002:
2000:Order topology
1997:
1996:
1995:
1993:Order topology
1990:
1980:
1970:
1968:
1961:
1960:
1958:
1957:
1952:
1947:
1942:
1937:
1932:
1927:
1922:
1917:
1912:
1906:
1904:
1900:
1899:
1897:
1896:
1886:
1876:
1871:
1866:
1861:
1856:
1851:
1846:
1841:
1840:
1839:
1829:
1824:
1823:
1822:
1817:
1812:
1807:
1805:Chain-complete
1797:
1792:
1791:
1790:
1785:
1780:
1775:
1770:
1760:
1755:
1750:
1745:
1740:
1730:
1725:
1720:
1715:
1710:
1705:
1704:
1703:
1693:
1688:
1682:
1680:
1670:
1669:
1667:
1666:
1661:
1656:
1651:
1646:
1641:
1636:
1631:
1626:
1621:
1616:
1611:
1605:
1603:
1599:
1598:
1596:
1595:
1590:
1585:
1580:
1575:
1570:
1565:
1560:
1554:
1552:
1548:
1547:
1545:
1544:
1539:
1534:
1528:
1525:
1524:
1519:
1517:
1516:
1509:
1502:
1494:
1488:
1487:
1473:
1459:
1445:
1428:
1427:
1424:
1423:
1421:
1420:
1413:
1406:
1398:
1395:
1394:
1390:
1389:
1384:
1379:
1374:
1369:
1364:
1359:
1353:
1352:
1351:
1345:
1339:
1338:
1335:
1334:
1331:
1330:
1327:Linear algebra
1321:
1320:
1315:
1310:
1304:
1303:
1297:
1296:
1293:
1292:
1289:
1288:
1285:Lattice theory
1281:
1274:
1273:
1268:
1263:
1258:
1253:
1248:
1242:
1241:
1235:
1234:
1231:
1230:
1221:
1220:
1215:
1210:
1205:
1200:
1195:
1190:
1185:
1180:
1175:
1169:
1168:
1162:
1161:
1158:
1157:
1148:
1147:
1142:
1137:
1131:
1130:
1129:
1124:
1119:
1110:
1104:
1098:
1097:
1094:
1093:
1080:
1079:External links
1077:
1076:
1075:
1066:
1060:
1047:
1041:
1025:
1021:Lattice Theory
1014:
1011:
1008:
1007:
1000:
980:
968:
956:
947:
938:
931:
911:
901:
900:
898:
895:
894:
893:
886:
883:
826:
825:
824:
823:
775:
769:distributivity
765:
764:
763:
762:
705:
702:
701:
700:
681:
631:
630:
627:
620:
618:
613:
608:
601:
599:
594:
589:
582:
580:
575:
570:
563:
561:
538:
537:
518:
515:
505:
504:Involution law
502:
484:
483:Complement law
463:
462:
418:
416:
409:
402:
401:
316:
314:
307:
295:
292:
269:
268:
267:
266:
212:
211:
210:
209:
160:
157:
62:discipline of
24:
14:
13:
10:
9:
6:
4:
3:
2:
2208:
2197:
2194:
2193:
2191:
2176:
2173:
2171:
2168:
2164:
2161:
2160:
2159:
2156:
2152:
2149:
2147:
2144:
2142:
2139:
2138:
2137:
2134:
2130:
2127:
2126:
2125:
2124:Ordered field
2122:
2120:
2117:
2113:
2110:
2108:
2105:
2104:
2103:
2100:
2096:
2093:
2092:
2091:
2088:
2086:
2083:
2081:
2080:Hasse diagram
2078:
2076:
2073:
2071:
2068:
2064:
2061:
2060:
2059:
2058:Comparability
2056:
2054:
2051:
2049:
2046:
2044:
2041:
2040:
2038:
2034:
2026:
2023:
2021:
2018:
2016:
2013:
2011:
2008:
2007:
2006:
2003:
2001:
1998:
1994:
1991:
1989:
1986:
1985:
1984:
1981:
1979:
1975:
1972:
1971:
1969:
1966:
1962:
1956:
1953:
1951:
1948:
1946:
1943:
1941:
1938:
1936:
1933:
1931:
1930:Product order
1928:
1926:
1923:
1921:
1918:
1916:
1913:
1911:
1908:
1907:
1905:
1903:Constructions
1901:
1895:
1891:
1887:
1884:
1880:
1877:
1875:
1872:
1870:
1867:
1865:
1862:
1860:
1857:
1855:
1852:
1850:
1847:
1845:
1842:
1838:
1835:
1834:
1833:
1830:
1828:
1825:
1821:
1818:
1816:
1813:
1811:
1808:
1806:
1803:
1802:
1801:
1800:Partial order
1798:
1796:
1793:
1789:
1788:Join and meet
1786:
1784:
1781:
1779:
1776:
1774:
1771:
1769:
1766:
1765:
1764:
1761:
1759:
1756:
1754:
1751:
1749:
1746:
1744:
1741:
1739:
1735:
1731:
1729:
1726:
1724:
1721:
1719:
1716:
1714:
1711:
1709:
1706:
1702:
1699:
1698:
1697:
1694:
1692:
1689:
1687:
1686:Antisymmetric
1684:
1683:
1681:
1677:
1671:
1665:
1662:
1660:
1657:
1655:
1652:
1650:
1647:
1645:
1642:
1640:
1637:
1635:
1632:
1630:
1627:
1625:
1622:
1620:
1617:
1615:
1612:
1610:
1607:
1606:
1604:
1600:
1594:
1593:Weak ordering
1591:
1589:
1586:
1584:
1581:
1579:
1578:Partial order
1576:
1574:
1571:
1569:
1566:
1564:
1561:
1559:
1556:
1555:
1553:
1549:
1543:
1540:
1538:
1535:
1533:
1530:
1529:
1526:
1522:
1515:
1510:
1508:
1503:
1501:
1496:
1495:
1492:
1484:
1483:
1478:
1474:
1470:
1469:
1464:
1460:
1456:
1455:
1450:
1446:
1442:
1441:
1436:
1432:
1431:
1419:
1414:
1412:
1407:
1405:
1400:
1399:
1397:
1396:
1388:
1385:
1383:
1380:
1378:
1375:
1373:
1370:
1368:
1365:
1363:
1360:
1358:
1355:
1354:
1350:
1347:
1346:
1342:
1337:
1336:
1329:
1328:
1324:
1323:
1319:
1316:
1314:
1311:
1309:
1306:
1305:
1300:
1295:
1294:
1287:
1286:
1282:
1280:
1277:
1276:
1272:
1269:
1267:
1264:
1262:
1259:
1257:
1254:
1252:
1249:
1247:
1244:
1243:
1238:
1233:
1232:
1227:
1226:
1219:
1216:
1214:
1213:Division ring
1211:
1209:
1206:
1204:
1201:
1199:
1196:
1194:
1191:
1189:
1186:
1184:
1181:
1179:
1176:
1174:
1171:
1170:
1165:
1160:
1159:
1154:
1153:
1146:
1143:
1141:
1138:
1136:
1135:Abelian group
1133:
1132:
1128:
1125:
1123:
1120:
1118:
1114:
1111:
1109:
1106:
1105:
1101:
1096:
1095:
1092:
1088:
1085:
1084:
1078:
1072:
1067:
1063:
1057:
1053:
1048:
1044:
1038:
1034:
1030:
1026:
1022:
1017:
1016:
1012:
1003:
997:
993:
992:
984:
981:
977:
972:
969:
966:, p. 11.
965:
960:
957:
951:
948:
942:
939:
934:
932:9780521461054
928:
924:
923:
915:
912:
906:
903:
896:
892:
889:
888:
884:
882:
880:
876:
872:
868:
864:
860:
857:
856:propositional
853:
849:
845:
841:
838:
837:Hilbert space
834:
833:quantum logic
829:
822:
818:
814:
810:
806:
802:
798:
797:
796:
795:
794:
792:
788:
784:
779:
774:
770:
761:
757:
753:
749:
745:
741:
737:
733:
729:
728:
727:
726:
725:
723:
719:
715:
711:
703:
698:
694:
690:
686:
682:
680:
676:
672:
668:
664:
663:
662:
660:
655:
653:
652:Hilbert space
650:
646:
643:
639:
638:quantum logic
635:
624:
619:
612:
605:
600:
593:
586:
581:
574:
567:
562:
559:
557:
555:
551:
547:
543:
535:
531:
527:
523:
519:
516:
513:
509:
506:
503:
500:
496:
492:
488:
485:
482:
481:
480:
478:
474:
470:
459:
456:
448:
438:
433:
429:
425:
424:
417:
408:
407:
398:
395:
387:
376:
373:
369:
366:
362:
359:
355:
352:
348:
345: –
344:
340:
339:Find sources:
333:
329:
323:
322:
317:This section
315:
311:
306:
305:
301:
293:
291:
289:
285:
280:
278:
274:
264:
260:
256:
252:
248:
244:
241:
240:
239:
238:
237:
235:
231:
227:
222:
221:
217:
207:
203:
199:
195:
192:
191:
190:
189:
188:
186:
182:
178:
174:
170:
169:least element
166:
158:
156:
154:
150:
145:
143:
140:is called an
139:
135:
131:
127:
122:
120:
116:
111:
109:
106: ∧
105:
101:
98: ∨
97:
93:
89:
85:
81:
77:
76:least element
73:
70:is a bounded
69:
65:
61:
45:
33:
32:Hasse diagram
29:
19:
1967:& Orders
1945:Star product
1874:Well-founded
1827:Prefix order
1783:Distributive
1773:Complemented
1772:
1743:Foundational
1708:Completeness
1664:Zorn's lemma
1568:Cyclic order
1551:Key concepts
1521:Order theory
1480:
1466:
1452:
1438:
1387:Hopf algebra
1325:
1318:Vector space
1283:
1255:
1223:
1152:Group theory
1150:
1115: /
1070:
1051:
1032:
1020:
990:
983:
971:
964:Stern (1999)
959:
950:
941:
921:
914:
905:
878:
874:
870:
863:set products
830:
827:
820:
816:
812:
808:
804:
800:
790:
786:
782:
780:
772:
766:
759:
755:
751:
747:
743:
739:
735:
731:
721:
717:
713:
707:
696:
692:
688:
684:
678:
674:
670:
666:
656:
640:, where the
632:
610:
609:The lattice
591:
572:
546:ortholattice
545:
541:
539:
533:
529:
525:
521:
511:
507:
498:
494:
490:
486:
476:
472:
468:
466:
451:
442:
435:Please help
431:
420:
390:
381:
371:
364:
357:
350:
338:
326:Please help
321:verification
318:
288:vector space
281:
276:
272:
270:
262:
258:
254:
250:
246:
242:
233:
229:
225:
223:
219:
213:
205:
201:
197:
193:
184:
180:
176:
164:
162:
146:
141:
125:
123:
114:
112:
107:
103:
99:
95:
91:
87:
83:
67:
64:order theory
60:mathematical
57:
2151:Riesz space
2112:Isomorphism
1988:Normal cone
1910:Composition
1844:Semilattice
1753:Homogeneous
1738:Equivalence
1588:Total order
1372:Lie algebra
1357:Associative
1261:Total order
1251:Semilattice
1225:Ring theory
867:linear sums
840:formulation
445:August 2014
439:if you can.
384:August 2014
147:In bounded
138:modular law
94:satisfying
38:and a line
2119:Order type
2053:Cofinality
1894:Well-order
1869:Transitive
1758:Idempotent
1691:Asymmetric
1482:PlanetMath
1468:PlanetMath
1454:PlanetMath
1440:PlanetMath
1013:References
552:, and the
354:newspapers
298:See also:
236:such that
187:such that
181:complement
130:involution
88:complement
44:Fano plane
2170:Upper set
2107:Embedding
2043:Antichain
1864:Tolerance
1854:Symmetric
1849:Semiorder
1795:Reflexive
1713:Connected
1382:Bialgebra
1188:Near-ring
1145:Lie group
1113:Semigroup
649:separable
645:subspaces
284:subspaces
2190:Category
1965:Topology
1832:Preorder
1815:Eulerian
1778:Complete
1728:Directed
1718:Covering
1583:Preorder
1542:Category
1537:Glossary
1218:Lie ring
1183:Semiring
1031:(1971).
885:See also
859:calculus
493:= 1 and
421:require
132:that is
119:interval
2070:Duality
2048:Cofinal
2036:Related
2015:Fréchet
1892:)
1768:Bounded
1763:Lattice
1736:)
1734:Partial
1602:Results
1573:Lattice
1349:Algebra
1341:Algebra
1246:Lattice
1237:Lattice
828:holds.
807:, then
738:, then
710:modular
423:cleanup
368:scholar
72:lattice
58:In the
42:of the
2095:Subnet
2075:Filter
2025:Normed
2010:Banach
1976:&
1883:Better
1820:Strict
1810:Graded
1701:topics
1532:Topics
1377:Graded
1308:Module
1299:Module
1198:Domain
1117:Monoid
1058:
1039:
998:
929:
642:closed
370:
363:
356:
349:
341:
179:has a
171:0 and
86:has a
78:0 and
74:(with
2085:Ideal
2063:Graph
1859:Total
1837:Total
1723:Dense
1343:-like
1301:-like
1239:-like
1208:Field
1166:-like
1140:Magma
1108:Group
1102:-like
1100:Group
897:Notes
789:. An
750:) = (
647:of a
528:then
375:JSTOR
361:books
286:of a
1676:list
1173:Ring
1164:Ring
1056:ISBN
1037:ISBN
996:ISBN
927:ISBN
877:and
850:and
819:) =
758:) ∧
720:and
691:) =
673:) =
501:= 0.
347:news
208:= 0.
66:, a
2090:Net
1890:Pre
1178:Rng
879:not
871:and
842:of
811:∨ (
799:if
742:∨ (
730:if
544:or
540:An
520:if
467:An
330:by
124:An
2192::
1479:.
1465:.
1451:.
1437:.
875:or
873:,
865:,
846:.
815:∧
803:≤
785:=
754:∨
746:∧
734:≤
716:,
695:∨
687:∧
677:∧
669:∨
661::
532:≤
524:≤
510:=
497:∧
489:∨
261:=
257:∧
249:=
245:∨
204:∧
196:∨
163:A
155:.
144:.
113:A
1888:(
1885:)
1881:(
1732:(
1679:)
1513:e
1506:t
1499:v
1485:.
1471:.
1457:.
1443:.
1417:e
1410:t
1403:v
1064:.
1045:.
1004:.
978:.
936:.
821:c
817:c
813:a
809:a
805:c
801:a
787:a
783:b
776:3
773:M
760:c
756:b
752:a
748:c
744:b
740:a
736:c
732:a
722:c
718:b
714:a
699:.
697:b
693:a
689:b
685:a
683:(
679:b
675:a
671:b
667:a
665:(
614:4
611:M
595:3
592:M
576:5
573:N
536:.
534:a
530:b
526:b
522:a
514:.
512:a
508:a
499:a
495:a
491:a
487:a
477:a
473:a
458:)
452:(
447:)
443:(
397:)
391:(
386:)
382:(
372:·
365:·
358:·
351:·
324:.
277:a
273:b
265:.
263:c
259:b
255:a
251:d
247:b
243:a
234:b
230:a
206:b
202:a
198:b
194:a
185:b
177:a
108:b
104:a
100:b
96:a
92:b
84:a
54:.
52:l
48:p
40:l
36:p
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.