48:
1748:
are an orthonormal basis.) One of the key uses of duality in lattice theory is the relationship of the geometry of the primal lattice with the geometry of its dual, for which we need this inner product. In the concrete description given above, the inner product on the dual is generally implicit.
1446:
4227:, which implies that to prove that a lattice has no short vectors, one can show a basis for the dual lattice consisting of short vectors. Using these ideas one can show that approximating the shortest vector of a lattice to within a factor of n (the
1995:
1136:
4859:
2239:
1308:
4542:
3409:
3628:. In general, theorems relating the properties of a lattice with properties of its dual are known as transference theorems. In this section we explain some of them, along with some consequences for complexity theory.
4447:
4145:
4225:
3858:
4606:
2956:
2479:
3329:
3951:
3248:
4153:
There always an efficiently checkable certificate for the claim that a lattice has a short nonzero vector, namely the vector itself. An important corollary of
Banaszcyk's transference theorem is that
4058:
4362:
4671:
1530:
1355:
3208:
4287:
3025:
1746:
863:
Dual lattices have many applications inside of lattice theory, theoretical computer science, cryptography and mathematics more broadly. For instance, it is used in the statement of the
2560:
4743:
915:
1345:
Despite this identification of ambient
Euclidean spaces, it should be emphasized that a lattice and its dual are fundamentally different kinds of objects; one consists of vectors in
3491:
2692:
2877:
1181:
1874:
2412:
4255:
953:
3102:
2828:
3172:
3143:
2777:
2317:
1650:
1592:
1210:
3761:
3685:
2635:
493:
468:
431:
2087:
2288:
2372:
1879:
4704:
1682:
2724:
3579:
3065:
2137:
795:
3606:
1619:
1557:
1031:
3437:
2346:
1817:
3983:
3878:
3781:
3725:
3705:
3649:
3626:
3531:
3511:
2797:
2744:
2658:
2583:
2501:
2107:
2038:
2018:
1837:
1336:
1023:
1003:
973:
858:
838:
4751:
2142:
1219:
867:, transference theorems provide connections between the geometry of a lattice and that of its dual, and many lattice algorithms exploit the dual lattice.
2290:. This equality holds under the usual identifications of a vector space with its double dual, or in the setting where the inner product has identified
1349:, and the other consists of a set of linear functionals on that space. Along these lines, one can also give a more abstract definition as follows:
5003:
Cohn, Henry; Kumar, Abhinav; Reiher, Christian; Schürmann, Achill (2014). "Formal duality and generalizations of the
Poisson summation formula".
4452:
3334:
353:
4893:
303:
4371:
4064:
4156:
788:
298:
5030:
3786:
4968:
Cai, Jin-Yi; Nerurkar, Ajay (2000). "A note on the non-NP-hardness of approximate lattice problems under general Cook reductions".
4547:
2420:
1311:
3256:
3886:
3213:
3993:
714:
4299:
781:
2882:
1441:{\displaystyle L^{*}=\{f:L\to \mathbb {Z} :{\text{f is a linear function}}\}={\text{Hom}}_{\text{Ab}}(L,\mathbb {Z} ).}
398:
212:
4633:
1458:
4674:
3180:
864:
4262:
2961:
1687:
982:
596:
330:
207:
95:
2506:
4713:
3112:
Using the properties listed above, the dual of a lattice can be efficiently calculated, by hand or computer.
885:
5060:
3451:
4365:
3608:
provides a lower bound on the largest size of non-overlapping spheres that can be placed around points of
2663:
746:
536:
20:
1144:
620:
1842:
3533:
produce level sets with more distance between them; in particular, the distance between the layers is
2377:
4231:
920:
560:
548:
166:
100:
3070:
2833:
1990:{\textstyle z\in L^{*}\iff b_{i}^{T}z\in \mathbb {Z} ,i=1,\ldots ,n\iff B^{T}z\in \mathbb {Z} ^{n}}
135:
30:
3148:
3119:
2749:
2293:
1624:
1566:
1186:
476:
451:
414:
5036:
5008:
4950:
3730:
3654:
2588:
871:
120:
92:
2043:
2802:
2247:
5026:
4942:
4925:
Banaszczyk, W. (1993). "New bounds in some transference theorems in the geometry of numbers".
4899:
4889:
4707:
2351:
691:
525:
368:
262:
5018:
4977:
4934:
4881:
4680:
3883:
In this notation, the lower bound mentioned in the introduction to this section states that
3513:
according to the level sets corresponding to each of the integer values. Smaller choices of
676:
668:
660:
652:
644:
632:
572:
512:
502:
344:
286:
161:
130:
4989:
1655:
4985:
4228:
2697:
1346:
1339:
1131:{\displaystyle L^{*}=\{f\in ({\text{span}}(L))^{*}:\forall x\in L,f(x)\in \mathbb {Z} \}.}
809:
760:
753:
739:
696:
584:
507:
337:
251:
191:
71:
3536:
3037:
3411:, that is, the dual is the lattice generated by the integer vectors along with the all
2112:
3584:
1597:
1560:
1535:
767:
703:
393:
373:
310:
275:
196:
186:
171:
156:
110:
87:
4981:
4854:{\displaystyle \sum _{x\in L}f(x)={\frac {1}{\det(L)}}\sum _{y\in L^{*}}{\hat {f}}(y)}
2746:
is full rank. Under the identification of
Euclidean space with its dual, we have that
2234:{\textstyle z\in L^{*}\iff B^{T}z\in \mathbb {Z} ^{n}\iff z\in B^{-T}\mathbb {Z} ^{n}}
5054:
5040:
3414:
2325:
1452:
1303:{\textstyle L^{*}=\{v\in {\text{span}}(L):\forall x\in L,v\cdot x\in \mathbb {Z} \}.}
686:
608:
442:
315:
181:
4954:
1764:
3968:
3863:
3766:
3710:
3690:
3634:
3611:
3516:
3496:
2782:
2729:
2643:
2568:
2486:
2092:
2023:
2003:
1822:
1321:
1008:
988:
958:
843:
823:
541:
240:
229:
176:
151:
146:
105:
76:
39:
4617:
The dual lattice is used in the statement of a general
Poisson summation formula.
1315:
1213:
979:
5022:
2417:
The determinant of a lattice is the reciprocal of the determinant of its dual:
4885:
817:
708:
436:
4946:
4903:
3331:
be the lattice of integer vectors whose coordinates have an even sum. Then
529:
4537:{\textstyle \lambda _{1}(L^{*})\leq {\sqrt {n}}({\text{det}}(L^{*})^{1/n})}
3404:{\textstyle L^{*}=\mathbb {Z} ^{n}+({\frac {1}{2}},\ldots ,{\frac {1}{2}})}
870:
For an article with emphasis on the physics / chemistry applications, see
47:
66:
4938:
408:
322:
1451:
However, we note that the dual is not considered just as an abstract
874:. This article focuses on the mathematical notion of a dual lattice.
820:. In certain respects, the geometry of the dual lattice of a lattice
5013:
4442:{\textstyle \lambda _{1}(L)\leq {\sqrt {n}}({\text{det}}(L)^{1/n})}
4140:{\displaystyle 1\leq \lambda _{i}(L)\lambda _{n-i+1}(L^{*})\leq n}
3581:. Reasoning this way, one can show that finding small vectors in
4220:{\textstyle \lambda _{1}(L)\geq {\frac {1}{\lambda _{n}(L^{*})}}}
1594:. (Equivalently, one can declare that, for an orthonormal basis
3853:{\textstyle \mu (L)={\text{max}}_{x\in \mathbb {R} ^{n}}d(x,L)}
5007:. Contemporary Mathematics. Vol. 625. pp. 123–140.
4601:{\textstyle {\text{det}}(L)={\frac {1}{{\text{det}}(L^{*})}}}
2474:{\textstyle {\text{det}}(L^{*})={\frac {1}{{\text{det}}(L)}}}
3324:{\textstyle L=\{x\in \mathbb {Z} ^{n}:\sum x_{i}=0\mod 2\}}
3946:{\textstyle \mu (L)\geq {\frac {1}{2\lambda _{1}(L^{*})}}}
3243:{\textstyle {\frac {1}{2}}\mathbb {Z} \oplus \mathbb {Z} }
3687:
denote the smallest radius ball that contains a set of
1757:
We list some elementary properties of the dual lattice:
1455:
of functionals, but comes with a natural inner product:
4933:(1). Springer Science and Business Media LLC: 625–635.
4053:{\displaystyle 1\leq 2\lambda _{1}(L)\mu (L^{*})\leq n}
4716:
4683:
4636:
4550:
4455:
4374:
4302:
4265:
4234:
4159:
3971:
3889:
3866:
3789:
3769:
3733:
3713:
3693:
3657:
3637:
3614:
3587:
3539:
3519:
3499:
3454:
3417:
3337:
3259:
3216:
3183:
3151:
3122:
3073:
3040:
2964:
2958:. From this it follows that for an integral lattice,
2885:
2836:
2805:
2785:
2752:
2732:
2700:
2666:
2646:
2591:
2571:
2509:
2489:
2423:
2380:
2354:
2328:
2296:
2250:
2145:
2115:
2095:
2046:
2026:
2006:
1882:
1845:
1825:
1767:
1690:
1658:
1627:
1600:
1569:
1538:
1461:
1324:
1222:
1189:
1147:
1011:
991:
961:
923:
888:
846:
826:
4754:
4357:{\textstyle \lambda _{1}(L)\lambda _{1}(L^{*})\leq n}
4067:
3996:
1358:
1034:
479:
454:
417:
16:
Construction analogous to that of a dual vector space
2951:{\textstyle {\text{det}}(L')={\text{det}}(L)|L/L'|}
4853:
4737:
4698:
4665:
4600:
4536:
4441:
4356:
4281:
4249:
4219:
4139:
4052:
3977:
3945:
3872:
3852:
3775:
3755:
3719:
3699:
3679:
3643:
3620:
3600:
3573:
3525:
3505:
3485:
3431:
3403:
3323:
3242:
3202:
3166:
3137:
3096:
3059:
3019:
2950:
2871:
2822:
2791:
2771:
2738:
2718:
2686:
2652:
2629:
2577:
2554:
2495:
2473:
2406:
2366:
2340:
2311:
2282:
2233:
2131:
2101:
2081:
2032:
2012:
1989:
1868:
1831:
1811:
1740:
1676:
1644:
1613:
1586:
1551:
1524:
1440:
1330:
1302:
1204:
1175:
1130:
1017:
997:
967:
947:
909:
860:, a perspective which underlies many of its uses.
852:
832:
487:
462:
425:
4876:Ebeling, Wolfgang (2013). "Lattices and Codes".
4792:
4677:function, such as a Schwartz function, and let
4666:{\textstyle f:\mathbb {R} ^{n}\to \mathbb {R} }
1525:{\textstyle f\cdot g=\sum _{i}f(e_{i})g(e_{i})}
5005:Discrete Geometry and Algebraic Combinatorics
3203:{\textstyle 2\mathbb {Z} \oplus \mathbb {Z} }
789:
8:
4880:. Wiesbaden: Springer Fachmedien Wiesbaden.
3480:
3474:
3318:
3266:
1400:
1372:
1294:
1236:
1122:
1048:
4621:
3957:
3631:We recall some terminology: For a lattice
2020:is a matrix giving a basis for the lattice
1819:is a matrix giving a basis for the lattice
1005:which take integer values on each point of
19:For duals of order-theoretic lattices, see
4282:{\textstyle {\text{NP}}\cap {\text{coNP}}}
3020:{\textstyle {\text{det}}(L)^{2}=|L^{*}/L|}
2199:
2195:
2166:
2162:
1958:
1954:
1903:
1899:
1741:{\textstyle e_{i}^{*}(e_{j})=\delta _{ij}}
1338:, otherwise the resulting object is not a
796:
782:
234:
60:
25:
5012:
4831:
4830:
4822:
4811:
4786:
4759:
4753:
4729:
4725:
4724:
4715:
4685:
4684:
4682:
4659:
4658:
4649:
4645:
4644:
4635:
4586:
4574:
4568:
4551:
4549:
4521:
4517:
4507:
4495:
4485:
4473:
4460:
4454:
4426:
4422:
4407:
4397:
4379:
4373:
4339:
4326:
4307:
4301:
4274:
4266:
4264:
4241:
4236:
4233:
4205:
4192:
4182:
4164:
4158:
4122:
4097:
4078:
4066:
4035:
4010:
3995:
3970:
3931:
3918:
3905:
3888:
3865:
3824:
3820:
3819:
3811:
3806:
3788:
3768:
3763:is the length of the shortest vector of
3738:
3732:
3712:
3692:
3662:
3656:
3636:
3613:
3592:
3586:
3566:
3561:
3553:
3548:
3543:
3538:
3518:
3498:
3465:
3453:
3421:
3416:
3388:
3369:
3357:
3353:
3352:
3342:
3336:
3314:
3313:
3297:
3281:
3277:
3276:
3258:
3236:
3235:
3228:
3227:
3217:
3215:
3196:
3195:
3188:
3187:
3182:
3158:
3154:
3153:
3150:
3129:
3125:
3124:
3121:
3074:
3072:
3051:
3039:
3012:
3004:
2998:
2989:
2980:
2965:
2963:
2943:
2930:
2922:
2908:
2886:
2884:
2858:
2845:
2837:
2835:
2804:
2784:
2763:
2751:
2731:
2699:
2680:
2679:
2665:
2645:
2621:
2605:
2590:
2570:
2555:{\textstyle (qL)^{*}={\frac {1}{q}}L^{*}}
2546:
2532:
2523:
2508:
2488:
2454:
2448:
2436:
2424:
2422:
2398:
2385:
2379:
2353:
2327:
2303:
2299:
2298:
2295:
2268:
2258:
2249:
2225:
2221:
2220:
2210:
2189:
2185:
2184:
2171:
2156:
2144:
2120:
2114:
2094:
2070:
2057:
2045:
2025:
2005:
1981:
1977:
1976:
1963:
1926:
1925:
1913:
1908:
1893:
1881:
1852:
1844:
1824:
1800:
1781:
1766:
1729:
1713:
1700:
1695:
1689:
1668:
1663:
1657:
1628:
1626:
1605:
1599:
1570:
1568:
1543:
1537:
1513:
1494:
1478:
1460:
1428:
1427:
1412:
1407:
1395:
1388:
1387:
1363:
1357:
1323:
1290:
1289:
1245:
1227:
1221:
1196:
1192:
1191:
1188:
1167:
1157:
1153:
1152:
1146:
1118:
1117:
1078:
1060:
1039:
1033:
1010:
990:
960:
939:
935:
934:
922:
901:
897:
896:
887:
845:
825:
816:is a construction analogous to that of a
481:
480:
478:
456:
455:
453:
419:
418:
416:
4738:{\textstyle L\subseteq \mathbb {R} ^{n}}
4366:Minkowski's bound on the shortest vector
3067:, which, by the above, is equivalent to
910:{\textstyle L\subseteq \mathbb {R} ^{n}}
4917:
3471:
2089:gives a basis for the dual lattice. If
352:
118:
28:
3486:{\textstyle f\in L^{*}\setminus \{0\}}
354:Classification of finite simple groups
4544:, from which the claim follows since
2687:{\textstyle x\cdot y\in \mathbb {Z} }
840:is the reciprocal of the geometry of
7:
2139:gives a basis for the dual lattice:
3309:
1176:{\textstyle (\mathbb {R} ^{n})^{*}}
3030:An integral lattice is said to be
2866:
1869:{\textstyle z\in {\text{span}}(L)}
1262:
1087:
14:
3707:linearly independent vectors of
2407:{\textstyle L^{*}\supseteq M^{*}}
4878:Advanced Lectures in Mathematics
4250:{\textstyle {\text{GAPSVP}}_{n}}
948:{\textstyle L=B\mathbb {Z} ^{n}}
46:
3097:{\textstyle {\text{det}}(L)=1.}
1310:It is important to restrict to
978:The dual lattice is the set of
4970:Information Processing Letters
4848:
4842:
4836:
4801:
4795:
4780:
4774:
4745:be a full rank lattice. Then:
4690:
4655:
4592:
4579:
4562:
4556:
4531:
4514:
4500:
4492:
4479:
4466:
4436:
4419:
4412:
4404:
4391:
4385:
4345:
4332:
4319:
4313:
4211:
4198:
4176:
4170:
4128:
4115:
4090:
4084:
4041:
4028:
4022:
4016:
3937:
3924:
3899:
3893:
3860:denote the covering radius of
3847:
3835:
3799:
3793:
3750:
3744:
3674:
3668:
3567:
3562:
3554:
3549:
3398:
3366:
3085:
3079:
3013:
2990:
2977:
2970:
2944:
2923:
2919:
2913:
2902:
2891:
2872:{\textstyle |L/L'|<\infty }
2859:
2838:
2602:
2592:
2520:
2510:
2465:
2459:
2442:
2429:
2265:
2251:
2196:
2163:
2067:
2050:
1955:
1900:
1863:
1857:
1806:
1774:
1719:
1706:
1639:
1633:
1581:
1575:
1519:
1506:
1500:
1487:
1432:
1418:
1384:
1256:
1250:
1164:
1148:
1111:
1105:
1075:
1071:
1065:
1057:
715:Infinite dimensional Lie group
1:
4982:10.1016/S0020-0190(00)00123-X
4292:Other transference theorems:
3167:{\textstyle \mathbb {Z} ^{n}}
3138:{\textstyle \mathbb {Z} ^{n}}
2772:{\textstyle L\subseteq L^{*}}
2312:{\textstyle \mathbb {R} ^{n}}
2244:The previous fact shows that
1645:{\textstyle {\text{span}}(L)}
1587:{\textstyle {\text{span}}(L)}
1205:{\textstyle \mathbb {R} ^{n}}
3756:{\textstyle \lambda _{1}(L)}
3680:{\textstyle \lambda _{i}(L)}
2630:{\textstyle (RL)^{*}=RL^{*}}
488:{\displaystyle \mathbb {Z} }
463:{\displaystyle \mathbb {Z} }
426:{\displaystyle \mathbb {Z} }
4628:Theorem (Poisson Summation)
2726:. Assume that the lattice
2585:is a rotation matrix, then
2082:{\textstyle B(B^{T}B)^{-1}}
213:List of group theory topics
5077:
2823:{\textstyle L'\subseteq L}
2660:is said to be integral if
2503:is a nonzero scalar, then
2283:{\textstyle (L^{*})^{*}=L}
18:
4886:10.1007/978-3-658-00360-9
4613:Poisson summation formula
2367:{\textstyle L\subseteq M}
865:Poisson summation formula
331:Elementary abelian group
208:Glossary of group theory
4699:{\textstyle {\hat {f}}}
917:be a lattice. That is,
5023:10.1090/conm/625/12495
4855:
4739:
4700:
4667:
4602:
4538:
4443:
4358:
4283:
4251:
4221:
4141:
4054:
3979:
3947:
3874:
3854:
3777:
3757:
3721:
3701:
3681:
3645:
3622:
3602:
3575:
3527:
3507:
3487:
3433:
3405:
3325:
3244:
3204:
3168:
3139:
3098:
3061:
3021:
2952:
2873:
2824:
2793:
2779:for integral lattices
2773:
2740:
2720:
2688:
2654:
2631:
2579:
2556:
2497:
2475:
2408:
2368:
2342:
2313:
2284:
2235:
2133:
2103:
2083:
2034:
2014:
1991:
1870:
1833:
1813:
1742:
1678:
1677:{\textstyle e_{i}^{*}}
1646:
1615:
1588:
1553:
1526:
1442:
1397:f is a linear function
1332:
1304:
1206:
1177:
1132:
1019:
999:
969:
949:
911:
854:
834:
747:Linear algebraic group
489:
464:
427:
21:Duality (order theory)
4927:Mathematische Annalen
4856:
4740:
4701:
4668:
4603:
4539:
4444:
4359:
4284:
4252:
4222:
4142:
4055:
3980:
3948:
3875:
3855:
3778:
3758:
3722:
3702:
3682:
3646:
3623:
3603:
3576:
3528:
3508:
3488:
3444:Transference theorems
3434:
3406:
3326:
3245:
3205:
3169:
3140:
3099:
3062:
3022:
2953:
2874:
2825:
2794:
2774:
2741:
2721:
2719:{\textstyle x,y\in L}
2689:
2655:
2632:
2580:
2557:
2498:
2476:
2409:
2369:
2343:
2314:
2285:
2236:
2134:
2104:
2084:
2035:
2015:
1992:
1871:
1834:
1814:
1743:
1679:
1647:
1616:
1589:
1554:
1527:
1443:
1333:
1305:
1207:
1178:
1133:
1020:
1000:
970:
950:
912:
855:
835:
490:
465:
428:
4752:
4714:
4681:
4634:
4548:
4453:
4372:
4300:
4263:
4232:
4157:
4065:
3994:
3969:
3959:Theorem (Banaszczyk)
3887:
3864:
3787:
3767:
3731:
3711:
3691:
3655:
3635:
3612:
3585:
3574:{\textstyle 1/||f||}
3537:
3517:
3497:
3452:
3415:
3335:
3257:
3214:
3181:
3149:
3120:
3071:
3060:{\textstyle L=L^{*}}
3038:
2962:
2883:
2834:
2803:
2783:
2750:
2730:
2698:
2664:
2644:
2589:
2569:
2507:
2487:
2421:
2378:
2352:
2326:
2294:
2248:
2143:
2113:
2093:
2044:
2024:
2004:
1880:
1843:
1823:
1765:
1688:
1656:
1625:
1598:
1567:
1536:
1459:
1356:
1322:
1220:
1187:
1145:
1032:
1009:
989:
959:
921:
886:
844:
824:
477:
452:
415:
4625: —
3963: —
2799:. Recall that, if
2132:{\textstyle B^{-T}}
1918:
1705:
1673:
1652:, the dual vectors
1183:is identified with
121:Group homomorphisms
31:Algebraic structure
4939:10.1007/bf01445125
4851:
4829:
4770:
4735:
4696:
4663:
4623:
4598:
4534:
4439:
4354:
4279:
4247:
4217:
4137:
4050:
3975:
3961:
3943:
3870:
3850:
3773:
3753:
3717:
3697:
3677:
3641:
3618:
3601:{\textstyle L^{*}}
3598:
3571:
3523:
3503:
3483:
3429:
3401:
3321:
3240:
3200:
3164:
3135:
3094:
3057:
3017:
2948:
2869:
2820:
2789:
2769:
2736:
2716:
2684:
2650:
2627:
2575:
2552:
2493:
2471:
2404:
2364:
2338:
2322:Fix two lattices
2309:
2280:
2231:
2129:
2099:
2079:
2030:
2010:
1987:
1904:
1866:
1829:
1809:
1738:
1691:
1674:
1659:
1642:
1614:{\textstyle e_{i}}
1611:
1584:
1552:{\textstyle e_{i}}
1549:
1522:
1483:
1438:
1328:
1300:
1202:
1173:
1128:
1015:
995:
965:
945:
907:
872:Reciprocal lattice
850:
830:
597:Special orthogonal
485:
460:
423:
304:Lagrange's theorem
4895:978-3-658-00359-3
4839:
4807:
4805:
4755:
4708:Fourier transform
4693:
4596:
4577:
4554:
4498:
4490:
4410:
4402:
4296:The relationship
4277:
4269:
4239:
4215:
3941:
3809:
3727:. For instance,
3396:
3377:
3225:
3077:
2968:
2911:
2889:
2540:
2469:
2457:
2427:
1855:
1631:
1573:
1474:
1415:
1410:
1398:
1248:
1063:
818:dual vector space
808:In the theory of
806:
805:
381:
380:
263:Alternating group
220:
219:
5068:
5045:
5044:
5016:
5000:
4994:
4993:
4965:
4959:
4958:
4922:
4907:
4860:
4858:
4857:
4852:
4841:
4840:
4832:
4828:
4827:
4826:
4806:
4804:
4787:
4769:
4744:
4742:
4741:
4736:
4734:
4733:
4728:
4705:
4703:
4702:
4697:
4695:
4694:
4686:
4672:
4670:
4669:
4664:
4662:
4654:
4653:
4648:
4626:
4607:
4605:
4604:
4599:
4597:
4595:
4591:
4590:
4578:
4575:
4569:
4555:
4552:
4543:
4541:
4540:
4535:
4530:
4529:
4525:
4512:
4511:
4499:
4496:
4491:
4486:
4478:
4477:
4465:
4464:
4448:
4446:
4445:
4440:
4435:
4434:
4430:
4411:
4408:
4403:
4398:
4384:
4383:
4363:
4361:
4360:
4355:
4344:
4343:
4331:
4330:
4312:
4311:
4288:
4286:
4285:
4280:
4278:
4275:
4270:
4267:
4256:
4254:
4253:
4248:
4246:
4245:
4240:
4237:
4226:
4224:
4223:
4218:
4216:
4214:
4210:
4209:
4197:
4196:
4183:
4169:
4168:
4146:
4144:
4143:
4138:
4127:
4126:
4114:
4113:
4083:
4082:
4059:
4057:
4056:
4051:
4040:
4039:
4015:
4014:
3984:
3982:
3981:
3976:
3964:
3952:
3950:
3949:
3944:
3942:
3940:
3936:
3935:
3923:
3922:
3906:
3879:
3877:
3876:
3871:
3859:
3857:
3856:
3851:
3831:
3830:
3829:
3828:
3823:
3810:
3807:
3782:
3780:
3779:
3774:
3762:
3760:
3759:
3754:
3743:
3742:
3726:
3724:
3723:
3718:
3706:
3704:
3703:
3698:
3686:
3684:
3683:
3678:
3667:
3666:
3650:
3648:
3647:
3642:
3627:
3625:
3624:
3619:
3607:
3605:
3604:
3599:
3597:
3596:
3580:
3578:
3577:
3572:
3570:
3565:
3557:
3552:
3547:
3532:
3530:
3529:
3524:
3512:
3510:
3509:
3504:
3492:
3490:
3489:
3484:
3470:
3469:
3438:
3436:
3435:
3432:{\textstyle 1/2}
3430:
3425:
3410:
3408:
3407:
3402:
3397:
3389:
3378:
3370:
3362:
3361:
3356:
3347:
3346:
3330:
3328:
3327:
3322:
3302:
3301:
3286:
3285:
3280:
3249:
3247:
3246:
3241:
3239:
3231:
3226:
3218:
3209:
3207:
3206:
3201:
3199:
3191:
3173:
3171:
3170:
3165:
3163:
3162:
3157:
3144:
3142:
3141:
3136:
3134:
3133:
3128:
3103:
3101:
3100:
3095:
3078:
3075:
3066:
3064:
3063:
3058:
3056:
3055:
3026:
3024:
3023:
3018:
3016:
3008:
3003:
3002:
2993:
2985:
2984:
2969:
2966:
2957:
2955:
2954:
2949:
2947:
2942:
2934:
2926:
2912:
2909:
2901:
2890:
2887:
2878:
2876:
2875:
2870:
2862:
2857:
2849:
2841:
2829:
2827:
2826:
2821:
2813:
2798:
2796:
2795:
2790:
2778:
2776:
2775:
2770:
2768:
2767:
2745:
2743:
2742:
2737:
2725:
2723:
2722:
2717:
2693:
2691:
2690:
2685:
2683:
2659:
2657:
2656:
2651:
2636:
2634:
2633:
2628:
2626:
2625:
2610:
2609:
2584:
2582:
2581:
2576:
2561:
2559:
2558:
2553:
2551:
2550:
2541:
2533:
2528:
2527:
2502:
2500:
2499:
2494:
2480:
2478:
2477:
2472:
2470:
2468:
2458:
2455:
2449:
2441:
2440:
2428:
2425:
2413:
2411:
2410:
2405:
2403:
2402:
2390:
2389:
2373:
2371:
2370:
2365:
2347:
2345:
2344:
2341:{\textstyle L,M}
2339:
2318:
2316:
2315:
2310:
2308:
2307:
2302:
2289:
2287:
2286:
2281:
2273:
2272:
2263:
2262:
2240:
2238:
2237:
2232:
2230:
2229:
2224:
2218:
2217:
2194:
2193:
2188:
2176:
2175:
2161:
2160:
2138:
2136:
2135:
2130:
2128:
2127:
2108:
2106:
2105:
2100:
2088:
2086:
2085:
2080:
2078:
2077:
2062:
2061:
2039:
2037:
2036:
2031:
2019:
2017:
2016:
2011:
1996:
1994:
1993:
1988:
1986:
1985:
1980:
1968:
1967:
1929:
1917:
1912:
1898:
1897:
1875:
1873:
1872:
1867:
1856:
1853:
1838:
1836:
1835:
1830:
1818:
1816:
1815:
1810:
1805:
1804:
1786:
1785:
1747:
1745:
1744:
1739:
1737:
1736:
1718:
1717:
1704:
1699:
1683:
1681:
1680:
1675:
1672:
1667:
1651:
1649:
1648:
1643:
1632:
1629:
1620:
1618:
1617:
1612:
1610:
1609:
1593:
1591:
1590:
1585:
1574:
1571:
1558:
1556:
1555:
1550:
1548:
1547:
1531:
1529:
1528:
1523:
1518:
1517:
1499:
1498:
1482:
1447:
1445:
1444:
1439:
1431:
1417:
1416:
1413:
1411:
1408:
1399:
1396:
1391:
1368:
1367:
1337:
1335:
1334:
1329:
1309:
1307:
1306:
1301:
1293:
1249:
1246:
1232:
1231:
1211:
1209:
1208:
1203:
1201:
1200:
1195:
1182:
1180:
1179:
1174:
1172:
1171:
1162:
1161:
1156:
1137:
1135:
1134:
1129:
1121:
1083:
1082:
1064:
1061:
1044:
1043:
1024:
1022:
1021:
1016:
1004:
1002:
1001:
996:
974:
972:
971:
966:
955:for some matrix
954:
952:
951:
946:
944:
943:
938:
916:
914:
913:
908:
906:
905:
900:
859:
857:
856:
851:
839:
837:
836:
831:
798:
791:
784:
740:Algebraic groups
513:Hyperbolic group
503:Arithmetic group
494:
492:
491:
486:
484:
469:
467:
466:
461:
459:
432:
430:
429:
424:
422:
345:Schur multiplier
299:Cauchy's theorem
287:Quaternion group
235:
61:
50:
37:
26:
5076:
5075:
5071:
5070:
5069:
5067:
5066:
5065:
5051:
5050:
5049:
5048:
5033:
5002:
5001:
4997:
4967:
4966:
4962:
4924:
4923:
4919:
4914:
4896:
4875:
4872:
4870:Further reading
4866:
4864:
4818:
4791:
4750:
4749:
4723:
4712:
4711:
4679:
4678:
4643:
4632:
4631:
4624:
4615:
4582:
4573:
4546:
4545:
4513:
4503:
4469:
4456:
4451:
4450:
4418:
4375:
4370:
4369:
4335:
4322:
4303:
4298:
4297:
4261:
4260:
4235:
4230:
4229:
4201:
4188:
4187:
4160:
4155:
4154:
4151:
4118:
4093:
4074:
4063:
4062:
4031:
4006:
3992:
3991:
3967:
3966:
3962:
3927:
3914:
3910:
3885:
3884:
3862:
3861:
3818:
3805:
3785:
3784:
3765:
3764:
3734:
3729:
3728:
3709:
3708:
3689:
3688:
3658:
3653:
3652:
3633:
3632:
3610:
3609:
3588:
3583:
3582:
3535:
3534:
3515:
3514:
3495:
3494:
3461:
3450:
3449:
3446:
3413:
3412:
3351:
3338:
3333:
3332:
3293:
3275:
3255:
3254:
3212:
3211:
3179:
3178:
3152:
3147:
3146:
3123:
3118:
3117:
3110:
3069:
3068:
3047:
3036:
3035:
2994:
2976:
2960:
2959:
2935:
2894:
2881:
2880:
2850:
2832:
2831:
2806:
2801:
2800:
2781:
2780:
2759:
2748:
2747:
2728:
2727:
2696:
2695:
2662:
2661:
2642:
2641:
2617:
2601:
2587:
2586:
2567:
2566:
2542:
2519:
2505:
2504:
2485:
2484:
2453:
2432:
2419:
2418:
2394:
2381:
2376:
2375:
2374:if and only if
2350:
2349:
2324:
2323:
2297:
2292:
2291:
2264:
2254:
2246:
2245:
2219:
2206:
2183:
2167:
2152:
2141:
2140:
2116:
2111:
2110:
2091:
2090:
2066:
2053:
2042:
2041:
2022:
2021:
2002:
2001:
1975:
1959:
1889:
1878:
1877:
1841:
1840:
1821:
1820:
1812:{\textstyle B=}
1796:
1777:
1763:
1762:
1755:
1725:
1709:
1686:
1685:
1654:
1653:
1623:
1622:
1601:
1596:
1595:
1565:
1564:
1539:
1534:
1533:
1509:
1490:
1457:
1456:
1406:
1359:
1354:
1353:
1347:Euclidean space
1320:
1319:
1223:
1218:
1217:
1216:, we can write
1190:
1185:
1184:
1163:
1151:
1143:
1142:
1074:
1035:
1030:
1029:
1007:
1006:
987:
986:
957:
956:
933:
919:
918:
895:
884:
883:
880:
842:
841:
822:
821:
802:
773:
772:
761:Abelian variety
754:Reductive group
742:
732:
731:
730:
729:
680:
672:
664:
656:
648:
621:Special unitary
532:
518:
517:
499:
498:
475:
474:
450:
449:
413:
412:
404:
403:
394:Discrete groups
383:
382:
338:Frobenius group
283:
270:
259:
252:Symmetric group
248:
232:
222:
221:
72:Normal subgroup
58:
38:
29:
24:
17:
12:
11:
5:
5074:
5072:
5064:
5063:
5061:Lattice theory
5053:
5052:
5047:
5046:
5031:
4995:
4976:(1–2): 61–66.
4960:
4916:
4915:
4913:
4910:
4909:
4908:
4894:
4871:
4868:
4863:
4862:
4850:
4847:
4844:
4838:
4835:
4825:
4821:
4817:
4814:
4810:
4803:
4800:
4797:
4794:
4790:
4785:
4782:
4779:
4776:
4773:
4768:
4765:
4762:
4758:
4732:
4727:
4722:
4719:
4692:
4689:
4661:
4657:
4652:
4647:
4642:
4639:
4619:
4614:
4611:
4610:
4609:
4594:
4589:
4585:
4581:
4572:
4567:
4564:
4561:
4558:
4533:
4528:
4524:
4520:
4516:
4510:
4506:
4502:
4494:
4489:
4484:
4481:
4476:
4472:
4468:
4463:
4459:
4438:
4433:
4429:
4425:
4421:
4417:
4414:
4406:
4401:
4396:
4393:
4390:
4387:
4382:
4378:
4353:
4350:
4347:
4342:
4338:
4334:
4329:
4325:
4321:
4318:
4315:
4310:
4306:
4273:
4244:
4213:
4208:
4204:
4200:
4195:
4191:
4186:
4181:
4178:
4175:
4172:
4167:
4163:
4150:
4149:
4148:
4147:
4136:
4133:
4130:
4125:
4121:
4117:
4112:
4109:
4106:
4103:
4100:
4096:
4092:
4089:
4086:
4081:
4077:
4073:
4070:
4060:
4049:
4046:
4043:
4038:
4034:
4030:
4027:
4024:
4021:
4018:
4013:
4009:
4005:
4002:
3999:
3978:{\textstyle L}
3974:
3965:For a lattice
3955:
3939:
3934:
3930:
3926:
3921:
3917:
3913:
3909:
3904:
3901:
3898:
3895:
3892:
3873:{\textstyle L}
3869:
3849:
3846:
3843:
3840:
3837:
3834:
3827:
3822:
3817:
3814:
3804:
3801:
3798:
3795:
3792:
3776:{\textstyle L}
3772:
3752:
3749:
3746:
3741:
3737:
3720:{\textstyle L}
3716:
3700:{\textstyle i}
3696:
3676:
3673:
3670:
3665:
3661:
3644:{\textstyle L}
3640:
3621:{\textstyle L}
3617:
3595:
3591:
3569:
3564:
3560:
3556:
3551:
3546:
3542:
3526:{\textstyle f}
3522:
3506:{\textstyle L}
3502:
3482:
3479:
3476:
3473:
3468:
3464:
3460:
3457:
3445:
3442:
3441:
3440:
3428:
3424:
3420:
3400:
3395:
3392:
3387:
3384:
3381:
3376:
3373:
3368:
3365:
3360:
3355:
3350:
3345:
3341:
3320:
3317:
3312:
3308:
3305:
3300:
3296:
3292:
3289:
3284:
3279:
3274:
3271:
3268:
3265:
3262:
3251:
3238:
3234:
3230:
3224:
3221:
3198:
3194:
3190:
3186:
3175:
3161:
3156:
3132:
3127:
3109:
3106:
3105:
3104:
3093:
3090:
3087:
3084:
3081:
3054:
3050:
3046:
3043:
3028:
3015:
3011:
3007:
3001:
2997:
2992:
2988:
2983:
2979:
2975:
2972:
2946:
2941:
2938:
2933:
2929:
2925:
2921:
2918:
2915:
2907:
2904:
2900:
2897:
2893:
2868:
2865:
2861:
2856:
2853:
2848:
2844:
2840:
2819:
2816:
2812:
2809:
2792:{\textstyle L}
2788:
2766:
2762:
2758:
2755:
2739:{\textstyle L}
2735:
2715:
2712:
2709:
2706:
2703:
2682:
2678:
2675:
2672:
2669:
2653:{\textstyle L}
2649:
2638:
2624:
2620:
2616:
2613:
2608:
2604:
2600:
2597:
2594:
2578:{\textstyle R}
2574:
2563:
2549:
2545:
2539:
2536:
2531:
2526:
2522:
2518:
2515:
2512:
2496:{\textstyle q}
2492:
2481:
2467:
2464:
2461:
2452:
2447:
2444:
2439:
2435:
2431:
2415:
2401:
2397:
2393:
2388:
2384:
2363:
2360:
2357:
2337:
2334:
2331:
2320:
2319:with its dual.
2306:
2301:
2279:
2276:
2271:
2267:
2261:
2257:
2253:
2242:
2228:
2223:
2216:
2213:
2209:
2205:
2202:
2198:
2192:
2187:
2182:
2179:
2174:
2170:
2165:
2159:
2155:
2151:
2148:
2126:
2123:
2119:
2102:{\textstyle L}
2098:
2076:
2073:
2069:
2065:
2060:
2056:
2052:
2049:
2033:{\textstyle L}
2029:
2013:{\textstyle B}
2009:
1998:
1984:
1979:
1974:
1971:
1966:
1962:
1957:
1953:
1950:
1947:
1944:
1941:
1938:
1935:
1932:
1928:
1924:
1921:
1916:
1911:
1907:
1902:
1896:
1892:
1888:
1885:
1865:
1862:
1859:
1851:
1848:
1832:{\textstyle L}
1828:
1808:
1803:
1799:
1795:
1792:
1789:
1784:
1780:
1776:
1773:
1770:
1754:
1751:
1735:
1732:
1728:
1724:
1721:
1716:
1712:
1708:
1703:
1698:
1694:
1684:, defined by
1671:
1666:
1662:
1641:
1638:
1635:
1608:
1604:
1583:
1580:
1577:
1546:
1542:
1521:
1516:
1512:
1508:
1505:
1502:
1497:
1493:
1489:
1486:
1481:
1477:
1473:
1470:
1467:
1464:
1449:
1448:
1437:
1434:
1430:
1426:
1423:
1420:
1405:
1402:
1394:
1390:
1386:
1383:
1380:
1377:
1374:
1371:
1366:
1362:
1331:{\textstyle L}
1327:
1299:
1296:
1292:
1288:
1285:
1282:
1279:
1276:
1273:
1270:
1267:
1264:
1261:
1258:
1255:
1252:
1244:
1241:
1238:
1235:
1230:
1226:
1199:
1194:
1170:
1166:
1160:
1155:
1150:
1139:
1138:
1127:
1124:
1120:
1116:
1113:
1110:
1107:
1104:
1101:
1098:
1095:
1092:
1089:
1086:
1081:
1077:
1073:
1070:
1067:
1059:
1056:
1053:
1050:
1047:
1042:
1038:
1018:{\textstyle L}
1014:
998:{\textstyle L}
994:
968:{\textstyle B}
964:
942:
937:
932:
929:
926:
904:
899:
894:
891:
879:
876:
853:{\textstyle L}
849:
833:{\textstyle L}
829:
804:
803:
801:
800:
793:
786:
778:
775:
774:
771:
770:
768:Elliptic curve
764:
763:
757:
756:
750:
749:
743:
738:
737:
734:
733:
728:
727:
724:
721:
717:
713:
712:
711:
706:
704:Diffeomorphism
700:
699:
694:
689:
683:
682:
678:
674:
670:
666:
662:
658:
654:
650:
646:
641:
640:
629:
628:
617:
616:
605:
604:
593:
592:
581:
580:
569:
568:
561:Special linear
557:
556:
549:General linear
545:
544:
539:
533:
524:
523:
520:
519:
516:
515:
510:
505:
497:
496:
483:
471:
458:
445:
443:Modular groups
441:
440:
439:
434:
421:
405:
402:
401:
396:
390:
389:
388:
385:
384:
379:
378:
377:
376:
371:
366:
363:
357:
356:
350:
349:
348:
347:
341:
340:
334:
333:
328:
319:
318:
316:Hall's theorem
313:
311:Sylow theorems
307:
306:
301:
293:
292:
291:
290:
284:
279:
276:Dihedral group
272:
271:
266:
260:
255:
249:
244:
233:
228:
227:
224:
223:
218:
217:
216:
215:
210:
202:
201:
200:
199:
194:
189:
184:
179:
174:
169:
167:multiplicative
164:
159:
154:
149:
141:
140:
139:
138:
133:
125:
124:
116:
115:
114:
113:
111:Wreath product
108:
103:
98:
96:direct product
90:
88:Quotient group
82:
81:
80:
79:
74:
69:
59:
56:
55:
52:
51:
43:
42:
15:
13:
10:
9:
6:
4:
3:
2:
5073:
5062:
5059:
5058:
5056:
5042:
5038:
5034:
5032:9781470409050
5028:
5024:
5020:
5015:
5010:
5006:
4999:
4996:
4991:
4987:
4983:
4979:
4975:
4971:
4964:
4961:
4956:
4952:
4948:
4944:
4940:
4936:
4932:
4928:
4921:
4918:
4911:
4905:
4901:
4897:
4891:
4887:
4883:
4879:
4874:
4873:
4869:
4867:
4845:
4833:
4823:
4819:
4815:
4812:
4808:
4798:
4788:
4783:
4777:
4771:
4766:
4763:
4760:
4756:
4748:
4747:
4746:
4730:
4720:
4717:
4709:
4687:
4676:
4650:
4640:
4637:
4629:
4618:
4612:
4587:
4583:
4570:
4565:
4559:
4526:
4522:
4518:
4508:
4504:
4487:
4482:
4474:
4470:
4461:
4457:
4431:
4427:
4423:
4415:
4399:
4394:
4388:
4380:
4376:
4367:
4364:follows from
4351:
4348:
4340:
4336:
4327:
4323:
4316:
4308:
4304:
4295:
4294:
4293:
4290:
4271:
4258:
4242:
4206:
4202:
4193:
4189:
4184:
4179:
4173:
4165:
4161:
4134:
4131:
4123:
4119:
4110:
4107:
4104:
4101:
4098:
4094:
4087:
4079:
4075:
4071:
4068:
4061:
4047:
4044:
4036:
4032:
4025:
4019:
4011:
4007:
4003:
4000:
3997:
3990:
3989:
3988:
3987:
3986:
3972:
3960:
3954:
3932:
3928:
3919:
3915:
3911:
3907:
3902:
3896:
3890:
3881:
3867:
3844:
3841:
3838:
3832:
3825:
3815:
3812:
3802:
3796:
3790:
3770:
3747:
3739:
3735:
3714:
3694:
3671:
3663:
3659:
3638:
3629:
3615:
3593:
3589:
3558:
3544:
3540:
3520:
3500:
3477:
3466:
3462:
3458:
3455:
3443:
3426:
3422:
3418:
3393:
3390:
3385:
3382:
3379:
3374:
3371:
3363:
3358:
3348:
3343:
3339:
3315:
3310:
3306:
3303:
3298:
3294:
3290:
3287:
3282:
3272:
3269:
3263:
3260:
3252:
3232:
3222:
3219:
3192:
3184:
3176:
3159:
3130:
3116:The dual of
3115:
3114:
3113:
3107:
3091:
3088:
3082:
3052:
3048:
3044:
3041:
3033:
3029:
3009:
3005:
2999:
2995:
2986:
2981:
2973:
2939:
2936:
2931:
2927:
2916:
2905:
2898:
2895:
2863:
2854:
2851:
2846:
2842:
2817:
2814:
2810:
2807:
2786:
2764:
2760:
2756:
2753:
2733:
2713:
2710:
2707:
2704:
2701:
2676:
2673:
2670:
2667:
2647:
2639:
2622:
2618:
2614:
2611:
2606:
2598:
2595:
2572:
2564:
2547:
2543:
2537:
2534:
2529:
2524:
2516:
2513:
2490:
2482:
2462:
2450:
2445:
2437:
2433:
2416:
2399:
2395:
2391:
2386:
2382:
2361:
2358:
2355:
2335:
2332:
2329:
2321:
2304:
2277:
2274:
2269:
2259:
2255:
2243:
2226:
2214:
2211:
2207:
2203:
2200:
2190:
2180:
2177:
2172:
2168:
2157:
2153:
2149:
2146:
2124:
2121:
2117:
2109:is full rank
2096:
2074:
2071:
2063:
2058:
2054:
2047:
2027:
2007:
1999:
1982:
1972:
1969:
1964:
1960:
1951:
1948:
1945:
1942:
1939:
1936:
1933:
1930:
1922:
1919:
1914:
1909:
1905:
1894:
1890:
1886:
1883:
1860:
1849:
1846:
1826:
1801:
1797:
1793:
1790:
1787:
1782:
1778:
1771:
1768:
1760:
1759:
1758:
1752:
1750:
1733:
1730:
1726:
1722:
1714:
1710:
1701:
1696:
1692:
1669:
1664:
1660:
1636:
1606:
1602:
1578:
1562:
1544:
1540:
1514:
1510:
1503:
1495:
1491:
1484:
1479:
1475:
1471:
1468:
1465:
1462:
1454:
1453:Abelian group
1435:
1424:
1421:
1403:
1392:
1381:
1378:
1375:
1369:
1364:
1360:
1352:
1351:
1350:
1348:
1343:
1341:
1325:
1317:
1313:
1297:
1286:
1283:
1280:
1277:
1274:
1271:
1268:
1265:
1259:
1253:
1242:
1239:
1233:
1228:
1224:
1215:
1197:
1168:
1158:
1125:
1114:
1108:
1102:
1099:
1096:
1093:
1090:
1084:
1079:
1068:
1054:
1051:
1045:
1040:
1036:
1028:
1027:
1026:
1012:
992:
984:
981:
976:
962:
940:
930:
927:
924:
902:
892:
889:
877:
875:
873:
868:
866:
861:
847:
827:
819:
815:
811:
799:
794:
792:
787:
785:
780:
779:
777:
776:
769:
766:
765:
762:
759:
758:
755:
752:
751:
748:
745:
744:
741:
736:
735:
725:
722:
719:
718:
716:
710:
707:
705:
702:
701:
698:
695:
693:
690:
688:
685:
684:
681:
675:
673:
667:
665:
659:
657:
651:
649:
643:
642:
638:
634:
631:
630:
626:
622:
619:
618:
614:
610:
607:
606:
602:
598:
595:
594:
590:
586:
583:
582:
578:
574:
571:
570:
566:
562:
559:
558:
554:
550:
547:
546:
543:
540:
538:
535:
534:
531:
527:
522:
521:
514:
511:
509:
506:
504:
501:
500:
472:
447:
446:
444:
438:
435:
410:
407:
406:
400:
397:
395:
392:
391:
387:
386:
375:
372:
370:
367:
364:
361:
360:
359:
358:
355:
351:
346:
343:
342:
339:
336:
335:
332:
329:
327:
325:
321:
320:
317:
314:
312:
309:
308:
305:
302:
300:
297:
296:
295:
294:
288:
285:
282:
277:
274:
273:
269:
264:
261:
258:
253:
250:
247:
242:
239:
238:
237:
236:
231:
230:Finite groups
226:
225:
214:
211:
209:
206:
205:
204:
203:
198:
195:
193:
190:
188:
185:
183:
180:
178:
175:
173:
170:
168:
165:
163:
160:
158:
155:
153:
150:
148:
145:
144:
143:
142:
137:
134:
132:
129:
128:
127:
126:
123:
122:
117:
112:
109:
107:
104:
102:
99:
97:
94:
91:
89:
86:
85:
84:
83:
78:
75:
73:
70:
68:
65:
64:
63:
62:
57:Basic notions
54:
53:
49:
45:
44:
41:
36:
32:
27:
22:
5004:
4998:
4973:
4969:
4963:
4930:
4926:
4920:
4877:
4865:
4675:well-behaved
4627:
4620:
4616:
4291:
4152:
3958:
3956:
3882:
3630:
3447:
3177:The dual of
3111:
3031:
1756:
1450:
1344:
1140:
977:
881:
869:
862:
814:dual lattice
813:
807:
636:
624:
612:
600:
588:
576:
564:
552:
323:
280:
267:
256:
245:
241:Cyclic group
119:
106:Free product
77:Group action
40:Group theory
35:Group theory
34:
5014:1306.6796v2
4706:denote its
4368:; that is,
3493:partitions
1561:orthonormal
1214:dot-product
983:functionals
526:Topological
365:alternating
4912:References
3032:unimodular
2640:A lattice
1876:satisfies
1753:Properties
1212:using the
878:Definition
633:Symplectic
573:Orthogonal
530:Lie groups
437:Free group
162:continuous
101:Direct sum
5041:117741906
4947:0025-5831
4904:0932-7134
4837:^
4824:∗
4816:∈
4809:∑
4764:∈
4757:∑
4721:⊆
4691:^
4656:→
4588:∗
4509:∗
4483:≤
4475:∗
4458:λ
4395:≤
4377:λ
4349:≤
4341:∗
4324:λ
4305:λ
4272:∩
4207:∗
4190:λ
4180:≥
4162:λ
4132:≤
4124:∗
4102:−
4095:λ
4076:λ
4072:≤
4045:≤
4037:∗
4026:μ
4008:λ
4001:≤
3933:∗
3916:λ
3903:≥
3891:μ
3816:∈
3791:μ
3736:λ
3660:λ
3594:∗
3472:∖
3467:∗
3459:∈
3439:s vector.
3383:…
3344:∗
3291:∑
3273:∈
3233:⊕
3193:⊕
3053:∗
3000:∗
2867:∞
2815:⊆
2765:∗
2757:⊆
2711:∈
2677:∈
2671:⋅
2623:∗
2607:∗
2548:∗
2525:∗
2438:∗
2400:∗
2392:⊇
2387:∗
2359:⊆
2270:∗
2260:∗
2212:−
2204:∈
2197:⟺
2181:∈
2164:⟺
2158:∗
2150:∈
2122:−
2072:−
1973:∈
1956:⟺
1946:…
1923:∈
1901:⟺
1895:∗
1887:∈
1850:∈
1791:…
1727:δ
1702:∗
1670:∗
1563:basis of
1476:∑
1466:⋅
1385:→
1365:∗
1287:∈
1281:⋅
1269:∈
1263:∀
1243:∈
1229:∗
1169:∗
1115:∈
1094:∈
1088:∀
1080:∗
1055:∈
1041:∗
893:⊆
697:Conformal
585:Euclidean
192:nilpotent
5055:Category
4955:13921988
4259:) is in
3108:Examples
2940:′
2899:′
2879:, then
2855:′
2811:′
2694:for all
1839:, then
1532:, where
810:lattices
692:Poincaré
537:Solenoid
409:Integers
399:Lattices
374:sporadic
369:Lie type
197:solvable
187:dihedral
172:additive
157:infinite
67:Subgroup
4990:1797563
4622:Theorem
4257:problem
3651:, let
2348:. Then
2040:, then
1340:lattice
1314:in the
1312:vectors
687:Lorentz
609:Unitary
508:Lattice
448:PSL(2,
182:abelian
93:(Semi-)
5039:
5029:
4988:
4953:
4945:
4902:
4892:
4710:. Let
4449:, and
4238:GAPSVP
3783:. Let
1559:is an
980:linear
812:, the
542:Circle
473:SL(2,
362:cyclic
326:-group
177:cyclic
152:finite
147:simple
131:kernel
5037:S2CID
5009:arXiv
4951:S2CID
4673:be a
3448:Each
2830:and
726:Sp(∞)
723:SU(∞)
136:image
5027:ISBN
4943:ISSN
4900:ISSN
4890:ISBN
4630:Let
4276:coNP
3253:Let
3145:is
3034:if
2864:<
1854:span
1630:span
1621:of
1572:span
1316:span
1247:span
1062:span
882:Let
720:O(∞)
709:Loop
528:and
5019:doi
4978:doi
4935:doi
4931:296
4882:doi
4793:det
4576:det
4553:det
4497:det
4409:det
3808:max
3311:mod
3210:is
3076:det
2967:det
2910:det
2888:det
2565:If
2483:If
2456:det
2426:det
2000:If
1761:If
1409:Hom
1318:of
1141:If
985:on
635:Sp(
623:SU(
599:SO(
563:SL(
551:GL(
5057::
5035:.
5025:.
5017:.
4986:MR
4984:.
4974:76
4972:.
4949:.
4941:.
4929:.
4898:.
4888:.
4289:.
4268:NP
3985::
3953:.
3880:.
3092:1.
1414:Ab
1342:.
1025::
975:.
611:U(
587:E(
575:O(
33:→
5043:.
5021::
5011::
4992:.
4980::
4957:.
4937::
4906:.
4884::
4861:.
4849:)
4846:y
4843:(
4834:f
4820:L
4813:y
4802:)
4799:L
4796:(
4789:1
4784:=
4781:)
4778:x
4775:(
4772:f
4767:L
4761:x
4731:n
4726:R
4718:L
4688:f
4660:R
4651:n
4646:R
4641::
4638:f
4608:.
4593:)
4584:L
4580:(
4571:1
4566:=
4563:)
4560:L
4557:(
4532:)
4527:n
4523:/
4519:1
4515:)
4505:L
4501:(
4493:(
4488:n
4480:)
4471:L
4467:(
4462:1
4437:)
4432:n
4428:/
4424:1
4420:)
4416:L
4413:(
4405:(
4400:n
4392:)
4389:L
4386:(
4381:1
4352:n
4346:)
4337:L
4333:(
4328:1
4320:)
4317:L
4314:(
4309:1
4243:n
4212:)
4203:L
4199:(
4194:n
4185:1
4177:)
4174:L
4171:(
4166:1
4135:n
4129:)
4120:L
4116:(
4111:1
4108:+
4105:i
4099:n
4091:)
4088:L
4085:(
4080:i
4069:1
4048:n
4042:)
4033:L
4029:(
4023:)
4020:L
4017:(
4012:1
4004:2
3998:1
3973:L
3938:)
3929:L
3925:(
3920:1
3912:2
3908:1
3900:)
3897:L
3894:(
3868:L
3848:)
3845:L
3842:,
3839:x
3836:(
3833:d
3826:n
3821:R
3813:x
3803:=
3800:)
3797:L
3794:(
3771:L
3751:)
3748:L
3745:(
3740:1
3715:L
3695:i
3675:)
3672:L
3669:(
3664:i
3639:L
3616:L
3590:L
3568:|
3563:|
3559:f
3555:|
3550:|
3545:/
3541:1
3521:f
3501:L
3481:}
3478:0
3475:{
3463:L
3456:f
3427:2
3423:/
3419:1
3399:)
3394:2
3391:1
3386:,
3380:,
3375:2
3372:1
3367:(
3364:+
3359:n
3354:Z
3349:=
3340:L
3319:}
3316:2
3307:0
3304:=
3299:i
3295:x
3288::
3283:n
3278:Z
3270:x
3267:{
3264:=
3261:L
3250:.
3237:Z
3229:Z
3223:2
3220:1
3197:Z
3189:Z
3185:2
3174:.
3160:n
3155:Z
3131:n
3126:Z
3089:=
3086:)
3083:L
3080:(
3049:L
3045:=
3042:L
3027:.
3014:|
3010:L
3006:/
2996:L
2991:|
2987:=
2982:2
2978:)
2974:L
2971:(
2945:|
2937:L
2932:/
2928:L
2924:|
2920:)
2917:L
2914:(
2906:=
2903:)
2896:L
2892:(
2860:|
2852:L
2847:/
2843:L
2839:|
2818:L
2808:L
2787:L
2761:L
2754:L
2734:L
2714:L
2708:y
2705:,
2702:x
2681:Z
2674:y
2668:x
2648:L
2637:.
2619:L
2615:R
2612:=
2603:)
2599:L
2596:R
2593:(
2573:R
2562:.
2544:L
2538:q
2535:1
2530:=
2521:)
2517:L
2514:q
2511:(
2491:q
2466:)
2463:L
2460:(
2451:1
2446:=
2443:)
2434:L
2430:(
2414:.
2396:M
2383:L
2362:M
2356:L
2336:M
2333:,
2330:L
2305:n
2300:R
2278:L
2275:=
2266:)
2256:L
2252:(
2241:.
2227:n
2222:Z
2215:T
2208:B
2201:z
2191:n
2186:Z
2178:z
2173:T
2169:B
2154:L
2147:z
2125:T
2118:B
2097:L
2075:1
2068:)
2064:B
2059:T
2055:B
2051:(
2048:B
2028:L
2008:B
1997:.
1983:n
1978:Z
1970:z
1965:T
1961:B
1952:n
1949:,
1943:,
1940:1
1937:=
1934:i
1931:,
1927:Z
1920:z
1915:T
1910:i
1906:b
1891:L
1884:z
1864:)
1861:L
1858:(
1847:z
1827:L
1807:]
1802:n
1798:b
1794:,
1788:,
1783:1
1779:b
1775:[
1772:=
1769:B
1734:j
1731:i
1723:=
1720:)
1715:j
1711:e
1707:(
1697:i
1693:e
1665:i
1661:e
1640:)
1637:L
1634:(
1607:i
1603:e
1582:)
1579:L
1576:(
1545:i
1541:e
1520:)
1515:i
1511:e
1507:(
1504:g
1501:)
1496:i
1492:e
1488:(
1485:f
1480:i
1472:=
1469:g
1463:f
1436:.
1433:)
1429:Z
1425:,
1422:L
1419:(
1404:=
1401:}
1393::
1389:Z
1382:L
1379::
1376:f
1373:{
1370:=
1361:L
1326:L
1298:.
1295:}
1291:Z
1284:x
1278:v
1275:,
1272:L
1266:x
1260::
1257:)
1254:L
1251:(
1240:v
1237:{
1234:=
1225:L
1198:n
1193:R
1165:)
1159:n
1154:R
1149:(
1126:.
1123:}
1119:Z
1112:)
1109:x
1106:(
1103:f
1100:,
1097:L
1091:x
1085::
1076:)
1072:)
1069:L
1066:(
1058:(
1052:f
1049:{
1046:=
1037:L
1013:L
993:L
963:B
941:n
936:Z
931:B
928:=
925:L
903:n
898:R
890:L
848:L
828:L
797:e
790:t
783:v
679:8
677:E
671:7
669:E
663:6
661:E
655:4
653:F
647:2
645:G
639:)
637:n
627:)
625:n
615:)
613:n
603:)
601:n
591:)
589:n
579:)
577:n
567:)
565:n
555:)
553:n
495:)
482:Z
470:)
457:Z
433:)
420:Z
411:(
324:p
289:Q
281:n
278:D
268:n
265:A
257:n
254:S
246:n
243:Z
23:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.