import{_ as n,c as t,a as m,b as Q,d as a,o as l}from"./app-C2jws1hx.js";const e={},s={class:"MathJax",jax:"SVG",style:{position:"relative"}},o={style:{"vertical-align":"-0.05ex"},xmlns:"http://www.w3.org/2000/svg",width:"1.778ex",height:"1.645ex",role:"img",focusable:"false",viewBox:"0 -705 786 727","aria-hidden":"true"},d={class:"MathJax",jax:"SVG",style:{position:"relative"}},r={style:{"vertical-align":"0.124ex"},xmlns:"http://www.w3.org/2000/svg",width:"1.131ex",height:"0.88ex",role:"img",focusable:"false",viewBox:"0 -444 500 389","aria-hidden":"true"},i={class:"MathJax",jax:"SVG",style:{position:"relative"}},g={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"5.676ex",height:"2.262ex",role:"img",focusable:"false",viewBox:"0 -750 2508.7 1000","aria-hidden":"true"},h={class:"MathJax",jax:"SVG",style:{position:"relative"}},p={style:{"vertical-align":"-0.439ex"},xmlns:"http://www.w3.org/2000/svg",width:"8.976ex",height:"2.034ex",role:"img",focusable:"false",viewBox:"0 -705 3967.2 899","aria-hidden":"true"},H={class:"MathJax",jax:"SVG",style:{position:"relative"}},L={style:{"vertical-align":"-0.09ex"},xmlns:"http://www.w3.org/2000/svg",width:"8.848ex",height:"1.686ex",role:"img",focusable:"false",viewBox:"0 -705 3911 745","aria-hidden":"true"},M={class:"MathJax",jax:"SVG",style:{position:"relative"}},u={style:{"vertical-align":"-0.439ex"},xmlns:"http://www.w3.org/2000/svg",width:"10.961ex",height:"2.034ex",role:"img",focusable:"false",viewBox:"0 -705 4844.9 899","aria-hidden":"true"},x={class:"MathJax",jax:"SVG",style:{position:"relative"}},w={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"21.379ex",height:"2.262ex",role:"img",focusable:"false",viewBox:"0 -750 9449.3 1000","aria-hidden":"true"},f={class:"MathJax",jax:"SVG",style:{position:"relative"}},Z={style:{"vertical-align":"-0.09ex"},xmlns:"http://www.w3.org/2000/svg",width:"5.599ex",height:"1.686ex",role:"img",focusable:"false",viewBox:"0 -705 2474.6 745","aria-hidden":"true"},V={class:"MathJax",jax:"SVG",style:{position:"relative"}},c={style:{"vertical-align":"-0.09ex"},xmlns:"http://www.w3.org/2000/svg",width:"6.999ex",height:"1.686ex",role:"img",focusable:"false",viewBox:"0 -705 3093.6 745","aria-hidden":"true"},v={class:"MathJax",jax:"SVG",style:{position:"relative"}},j={style:{"vertical-align":"-0.186ex"},xmlns:"http://www.w3.org/2000/svg",width:"16.007ex",height:"1.505ex",role:"img",focusable:"false",viewBox:"0 -583 7075 665","aria-hidden":"true"},D={class:"MathJax",jax:"SVG",style:{position:"relative"}},y={style:{"vertical-align":"-0.025ex"},xmlns:"http://www.w3.org/2000/svg",width:"1.054ex",height:"1.025ex",role:"img",focusable:"false",viewBox:"0 -442 466 453","aria-hidden":"true"},b={class:"MathJax",jax:"SVG",style:{position:"relative"}},k={style:{"vertical-align":"-0.09ex"},xmlns:"http://www.w3.org/2000/svg",width:"6.999ex",height:"1.686ex",role:"img",focusable:"false",viewBox:"0 -705 3093.6 745","aria-hidden":"true"},C={class:"MathJax",jax:"SVG",style:{position:"relative"}},R={style:{"vertical-align":"-0.09ex"},xmlns:"http://www.w3.org/2000/svg",width:"9.231ex",height:"1.977ex",role:"img",focusable:"false",viewBox:"0 -833.9 4080.2 873.9","aria-hidden":"true"},B={class:"MathJax",jax:"SVG",style:{position:"relative"}},O={style:{"vertical-align":"-0.186ex"},xmlns:"http://www.w3.org/2000/svg",width:"20.614ex",height:"2.072ex",role:"img",focusable:"false",viewBox:"0 -833.9 9111.4 915.9","aria-hidden":"true"},G={class:"MathJax",jax:"SVG",style:{position:"relative"}},A={style:{"vertical-align":"-0.023ex"},xmlns:"http://www.w3.org/2000/svg",width:"3.429ex",height:"1.909ex",role:"img",focusable:"false",viewBox:"0 -833.9 1515.7 843.9","aria-hidden":"true"},S={class:"MathJax",jax:"SVG",style:{position:"relative"}},J={style:{"vertical-align":"-0.023ex"},xmlns:"http://www.w3.org/2000/svg",width:"1.197ex",height:"1.02ex",role:"img",focusable:"false",viewBox:"0 -441 529 451","aria-hidden":"true"},X={class:"MathJax",jax:"SVG",style:{position:"relative"}},E={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"5.676ex",height:"2.262ex",role:"img",focusable:"false",viewBox:"0 -750 2508.7 1000","aria-hidden":"true"},F={class:"MathJax",jax:"SVG",style:{position:"relative"}},N={style:{"vertical-align":"-0.05ex"},xmlns:"http://www.w3.org/2000/svg",width:"1.778ex",height:"1.645ex",role:"img",focusable:"false",viewBox:"0 -705 786 727","aria-hidden":"true"},q={class:"MathJax",jax:"SVG",style:{position:"relative"}},z={style:{"vertical-align":"-0.439ex"},xmlns:"http://www.w3.org/2000/svg",width:"7.718ex",height:"2.034ex",role:"img",focusable:"false",viewBox:"0 -705 3411.2 899","aria-hidden":"true"},P={class:"MathJax",jax:"SVG",style:{position:"relative"}},I={style:{"vertical-align":"-0.186ex"},xmlns:"http://www.w3.org/2000/svg",width:"11.625ex",height:"1.756ex",role:"img",focusable:"false",viewBox:"0 -694 5138.4 776","aria-hidden":"true"},K={class:"MathJax",jax:"SVG",style:{position:"relative"}},U={style:{"vertical-align":"-0.05ex"},xmlns:"http://www.w3.org/2000/svg",width:"1.778ex",height:"1.645ex",role:"img",focusable:"false",viewBox:"0 -705 786 727","aria-hidden":"true"},W={class:"MathJax",jax:"SVG",style:{position:"relative"}},Y={style:{"vertical-align":"0.124ex"},xmlns:"http://www.w3.org/2000/svg",width:"1.131ex",height:"0.88ex",role:"img",focusable:"false",viewBox:"0 -444 500 389","aria-hidden":"true"},$={class:"MathJax",jax:"SVG",style:{position:"relative"}},_={style:{"vertical-align":"-0.09ex"},xmlns:"http://www.w3.org/2000/svg",width:"5.741ex",height:"1.686ex",role:"img",focusable:"false",viewBox:"0 -705 2537.6 745","aria-hidden":"true"},Q1={class:"MathJax",jax:"SVG",style:{position:"relative"}},T1={style:{"vertical-align":"-0.09ex"},xmlns:"http://www.w3.org/2000/svg",width:"5.18ex",height:"1.636ex",role:"img",focusable:"false",viewBox:"0 -683 2289.6 723","aria-hidden":"true"},a1={class:"MathJax",jax:"SVG",style:{position:"relative"}},t1={style:{"vertical-align":"0.124ex"},xmlns:"http://www.w3.org/2000/svg",width:"1.131ex",height:"0.88ex",role:"img",focusable:"false",viewBox:"0 -444 500 389","aria-hidden":"true"},l1={class:"MathJax",jax:"SVG",style:{position:"relative"}},m1={style:{"vertical-align":"-0.09ex"},xmlns:"http://www.w3.org/2000/svg",width:"6.481ex",height:"1.969ex",role:"img",focusable:"false",viewBox:"0 -830.4 2864.5 870.4","aria-hidden":"true"},n1={class:"MathJax",jax:"SVG",style:{position:"relative"}},e1={style:{"vertical-align":"-0.186ex"},xmlns:"http://www.w3.org/2000/svg",width:"20.94ex",height:"2.064ex",role:"img",focusable:"false",viewBox:"0 -830.4 9255.3 912.4","aria-hidden":"true"},s1={class:"MathJax",jax:"SVG",style:{position:"relative"}},o1={style:{"vertical-align":"-0.186ex"},xmlns:"http://www.w3.org/2000/svg",width:"9.697ex",height:"2.064ex",role:"img",focusable:"false",viewBox:"0 -830.4 4286 912.4","aria-hidden":"true"},d1={class:"MathJax",jax:"SVG",style:{position:"relative"}},r1={style:{"vertical-align":"0"},xmlns:"http://www.w3.org/2000/svg",width:"1.509ex",height:"1.545ex",role:"img",focusable:"false",viewBox:"0 -683 667 683","aria-hidden":"true"},i1={class:"MathJax",jax:"SVG",style:{position:"relative"}},g1={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"6.035ex",height:"2.262ex",role:"img",focusable:"false",viewBox:"0 -750 2667.7 1000","aria-hidden":"true"},h1={class:"MathJax",jax:"SVG",style:{position:"relative"}},p1={style:{"vertical-align":"-0.439ex"},xmlns:"http://www.w3.org/2000/svg",width:"15.612ex",height:"2.326ex",role:"img",focusable:"false",viewBox:"0 -833.9 6900.5 1027.9","aria-hidden":"true"},H1={class:"MathJax",jax:"SVG",style:{position:"relative"}},L1={style:{"vertical-align":"-0.41ex"},xmlns:"http://www.w3.org/2000/svg",width:"1.76ex",height:"1.995ex",role:"img",focusable:"false",viewBox:"0 -701 778 882","aria-hidden":"true"},M1={class:"MathJax",jax:"SVG",style:{position:"relative"}},u1={style:{"vertical-align":"-0.045ex"},xmlns:"http://www.w3.org/2000/svg",width:"1.633ex",height:"1.59ex",role:"img",focusable:"false",viewBox:"0 -683 722 703","aria-hidden":"true"},x1={class:"MathJax",jax:"SVG",style:{position:"relative"}},w1={style:{"vertical-align":"0"},xmlns:"http://www.w3.org/2000/svg",width:"1.633ex",height:"1.545ex",role:"img",focusable:"false",viewBox:"0 -683 722 683","aria-hidden":"true"},f1={class:"MathJax",jax:"SVG",style:{position:"relative"}},Z1={style:{"vertical-align":"-0.043ex"},xmlns:"http://www.w3.org/2000/svg",width:"1.633ex",height:"1.631ex",role:"img",focusable:"false",viewBox:"0 -702 722 721","aria-hidden":"true"},V1={class:"MathJax",jax:"SVG",style:{position:"relative"}},c1={style:{"vertical-align":"-0.41ex"},xmlns:"http://www.w3.org/2000/svg",width:"15.587ex",height:"1.998ex",role:"img",focusable:"false",viewBox:"0 -702 6889.7 883","aria-hidden":"true"},v1={class:"MathJax",jax:"SVG",style:{position:"relative"}},j1={style:{"vertical-align":"-0.312ex"},xmlns:"http://www.w3.org/2000/svg",width:"5.506ex",height:"1.819ex",role:"img",focusable:"false",viewBox:"0 -666 2433.6 804","aria-hidden":"true"},D1={class:"MathJax",jax:"SVG",style:{position:"relative"}},y1={style:{"vertical-align":"-0.357ex"},xmlns:"http://www.w3.org/2000/svg",width:"2.657ex",height:"1.902ex",role:"img",focusable:"false",viewBox:"0 -683 1174.3 840.8","aria-hidden":"true"},b1={class:"MathJax",jax:"SVG",style:{position:"relative"}},k1={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"17.216ex",height:"2.262ex",role:"img",focusable:"false",viewBox:"0 -750 7609.6 1000","aria-hidden":"true"},C1={class:"MathJax",jax:"SVG",style:{position:"relative"}},R1={style:{"vertical-align":"-0.186ex"},xmlns:"http://www.w3.org/2000/svg",width:"5.203ex",height:"1.692ex",role:"img",focusable:"false",viewBox:"0 -666 2299.6 748","aria-hidden":"true"},B1={class:"MathJax",jax:"SVG",style:{position:"relative"}},O1={style:{"vertical-align":"-0.186ex"},xmlns:"http://www.w3.org/2000/svg",width:"11.766ex",height:"2.072ex",role:"img",focusable:"false",viewBox:"0 -833.9 5200.7 915.9","aria-hidden":"true"},G1={class:"MathJax",jax:"SVG",style:{position:"relative"}},A1={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"38.197ex",height:"2.262ex",role:"img",focusable:"false",viewBox:"0 -750 16882.9 1000","aria-hidden":"true"},S1={class:"MathJax",jax:"SVG",style:{position:"relative"}},J1={style:{"vertical-align":"-0.439ex"},xmlns:"http://www.w3.org/2000/svg",width:"8.916ex",height:"2.009ex",role:"img",focusable:"false",viewBox:"0 -694 3940.8 888","aria-hidden":"true"},X1={class:"MathJax",jax:"SVG",style:{position:"relative"}},E1={style:{"vertical-align":"-0.357ex"},xmlns:"http://www.w3.org/2000/svg",width:"2.657ex",height:"1.902ex",role:"img",focusable:"false",viewBox:"0 -683 1174.3 840.8","aria-hidden":"true"},F1={class:"MathJax",jax:"SVG",style:{position:"relative"}},N1={style:{"vertical-align":"-0.576ex"},xmlns:"http://www.w3.org/2000/svg",width:"2.657ex",height:"2.142ex",role:"img",focusable:"false",viewBox:"0 -691.8 1174.3 946.6","aria-hidden":"true"},q1={class:"MathJax",jax:"SVG",style:{position:"relative"}},z1={style:{"vertical-align":"-0.631ex"},xmlns:"http://www.w3.org/2000/svg",width:"42.897ex",height:"2.327ex",role:"img",focusable:"false",viewBox:"0 -750 18960.7 1028.7","aria-hidden":"true"},P1={class:"MathJax",jax:"SVG",style:{position:"relative"}},I1={style:{"vertical-align":"-0.869ex"},xmlns:"http://www.w3.org/2000/svg",width:"51.047ex",height:"2.566ex",role:"img",focusable:"false",viewBox:"0 -750 22562.7 1134.2","aria-hidden":"true"},K1={class:"MathJax",jax:"SVG",style:{position:"relative"}},U1={style:{"vertical-align":"-0.439ex"},xmlns:"http://www.w3.org/2000/svg",width:"2.179ex",height:"1.439ex",role:"img",focusable:"false",viewBox:"0 -442 963 636","aria-hidden":"true"},W1={class:"MathJax",jax:"SVG",style:{position:"relative"}},Y1={style:{"vertical-align":"-0.439ex"},xmlns:"http://www.w3.org/2000/svg",width:"6.553ex",height:"1.758ex",role:"img",focusable:"false",viewBox:"0 -583 2896.6 777","aria-hidden":"true"},$1={class:"MathJax",jax:"SVG",style:{position:"relative"}},_1={style:{"vertical-align":"-0.576ex"},xmlns:"http://www.w3.org/2000/svg",width:"2.657ex",height:"2.142ex",role:"img",focusable:"false",viewBox:"0 -691.8 1174.3 946.6","aria-hidden":"true"},Q2={class:"MathJax",jax:"SVG",style:{position:"relative"}},T2={style:{"vertical-align":"-0.566ex"},xmlns:"http://www.w3.org/2000/svg",width:"20.976ex",height:"2.262ex",role:"img",focusable:"false",viewBox:"0 -750 9271.4 1000","aria-hidden":"true"},a2={class:"MathJax",jax:"SVG",style:{position:"relative"}},t2={style:{"vertical-align":"-0.595ex"},xmlns:"http://www.w3.org/2000/svg",width:"17.25ex",height:"2.292ex",role:"img",focusable:"false",viewBox:"0 -750 7624.7 1013.2","aria-hidden":"true"};function l2(m2,T){return l(),t("div",null,[T[171]||(T[171]=m('
群(Group)是一个对象集合G，并且包含了一种运算○，定义如下
',4)),Q("p",null,[T[6]||(T[6]=a("集合")),Q("mjx-container",s,[(l(),t("svg",o,T[0]||(T[0]=[Q("g",{stroke:"currentColor",fill:"currentColor","stroke-width":"0",transform:"scale(1,-1)"},[Q("g",{"data-mml-node":"math"},[Q("g",{"data-mml-node":"mi"},[Q("path",{"data-c":"1D43A",d:"M50 252Q50 367 117 473T286 641T490 704Q580 704 633 653Q642 643 648 636T656 626L657 623Q660 623 684 649Q691 655 699 663T715 679T725 690L740 705H746Q760 705 760 698Q760 694 728 561Q692 422 692 421Q690 416 687 415T669 413H653Q647 419 647 422Q647 423 648 429T650 449T651 481Q651 552 619 605T510 659Q492 659 471 656T418 643T357 615T294 567T236 496T189 394T158 260Q156 242 156 221Q156 173 170 136T206 79T256 45T308 28T353 24Q407 24 452 47T514 106Q517 114 529 161T541 214Q541 222 528 224T468 227H431Q425 233 425 235T427 254Q431 267 437 273H454Q494 271 594 271Q634 271 659 271T695 272T707 272Q721 272 721 263Q721 261 719 249Q714 230 709 228Q706 227 694 227Q674 227 653 224Q646 221 643 215T629 164Q620 131 614 108Q589 6 586 3Q584 1 581 1Q571 1 553 21T530 52Q530 53 528 52T522 47Q448 -22 322 -22Q201 -22 126 55T50 252Z"})])])],-1)]))),T[1]||(T[1]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"G")])],-1))]),T[7]||(T[7]=a("和运算")),Q("mjx-container",d,[(l(),t("svg",r,T[2]||(T[2]=[Q("g",{stroke:"currentColor",fill:"currentColor","stroke-width":"0",transform:"scale(1,-1)"},[Q("g",{"data-mml-node":"math"},[Q("g",{"data-mml-node":"mo"},[Q("path",{"data-c":"2218",d:"M55 251Q55 328 112 386T249 444T386 388T444 249Q444 171 388 113T250 55Q170 55 113 112T55 251ZM245 403Q188 403 142 361T96 250Q96 183 141 140T250 96Q284 96 313 109T354 135T375 160Q403 197 403 250Q403 313 360 358T245 403Z"})])])],-1)]))),T[3]||(T[3]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mo",null,"∘")])],-1))]),T[8]||(T[8]=a("构成，一起成为群")),Q("mjx-container",i,[(l(),t("svg",g,T[4]||(T[4]=[m('',1)]))),T[5]||(T[5]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mo",{stretchy:"false"},"("),Q("mi",null,"G"),Q("mo",null,","),Q("mo",null,"∘"),Q("mo",{stretchy:"false"},")")])],-1))]),T[9]||(T[9]=a("，前提时满足下面的条件"))]),Q("ol",null,[Q("li",null,[T[14]||(T[14]=Q("strong",null,"封闭律",-1)),T[15]||(T[15]=a("：")),Q("mjx-container",h,[(l(),t("svg",p,T[10]||(T[10]=[m('',1)]))),T[11]||(T[11]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",{mathvariant:"normal"},"∀"),Q("mi",null,"a"),Q("mo",null,","),Q("mi",null,"b"),Q("mo",null,"∈"),Q("mi",null,"G")])],-1))]),T[16]||(T[16]=a("，有")),Q("mjx-container",H,[(l(),t("svg",L,T[12]||(T[12]=[m('',1)]))),T[13]||(T[13]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"a"),Q("mo",null,"∘"),Q("mi",null,"b"),Q("mo",null,"∈"),Q("mi",null,"G")])],-1))])]),Q("li",null,[T[21]||(T[21]=Q("strong",null,"结合律",-1)),T[22]||(T[22]=a("：")),Q("mjx-container",M,[(l(),t("svg",u,T[17]||(T[17]=[m('',1)]))),T[18]||(T[18]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",{mathvariant:"normal"},"∀"),Q("mi",null,"a"),Q("mo",null,","),Q("mi",null,"b"),Q("mo",null,","),Q("mi",null,"c"),Q("mo",null,"∈"),Q("mi",null,"G")])],-1))]),T[23]||(T[23]=a("，有")),Q("mjx-container",x,[(l(),t("svg",w,T[19]||(T[19]=[m('',1)]))),T[20]||(T[20]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"a"),Q("mo",null,"∘"),Q("mo",{stretchy:"false"},"("),Q("mi",null,"b"),Q("mo",null,"∘"),Q("mi",null,"c"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mo",{stretchy:"false"},"("),Q("mi",null,"a"),Q("mo",null,"∘"),Q("mi",null,"b"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"∘"),Q("mi",null,"c")])],-1))])]),Q("li",null,[T[32]||(T[32]=Q("strong",null,"单位元律",-1)),T[33]||(T[33]=a("：存在唯一元素")),Q("mjx-container",f,[(l(),t("svg",Z,T[24]||(T[24]=[m('',1)]))),T[25]||(T[25]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"e"),Q("mo",null,"∈"),Q("mi",null,"G")])],-1))]),T[34]||(T[34]=a("，使得")),Q("mjx-container",V,[(l(),t("svg",c,T[26]||(T[26]=[m('',1)]))),T[27]||(T[27]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",{mathvariant:"normal"},"∀"),Q("mi",null,"a"),Q("mo",null,"∈"),Q("mi",null,"G")])],-1))]),T[35]||(T[35]=a("，均有")),Q("mjx-container",v,[(l(),t("svg",j,T[28]||(T[28]=[m('',1)]))),T[29]||(T[29]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"a"),Q("mo",null,"∘"),Q("mi",null,"e"),Q("mo",null,"="),Q("mi",null,"e"),Q("mo",null,"∘"),Q("mi",null,"a"),Q("mo",null,"="),Q("mi",null,"a")])],-1))]),T[36]||(T[36]=a("，元素")),Q("mjx-container",D,[(l(),t("svg",y,T[30]||(T[30]=[Q("g",{stroke:"currentColor",fill:"currentColor","stroke-width":"0",transform:"scale(1,-1)"},[Q("g",{"data-mml-node":"math"},[Q("g",{"data-mml-node":"mi"},[Q("path",{"data-c":"1D452",d:"M39 168Q39 225 58 272T107 350T174 402T244 433T307 442H310Q355 442 388 420T421 355Q421 265 310 237Q261 224 176 223Q139 223 138 221Q138 219 132 186T125 128Q125 81 146 54T209 26T302 45T394 111Q403 121 406 121Q410 121 419 112T429 98T420 82T390 55T344 24T281 -1T205 -11Q126 -11 83 42T39 168ZM373 353Q367 405 305 405Q272 405 244 391T199 357T170 316T154 280T149 261Q149 260 169 260Q282 260 327 284T373 353Z"})])])],-1)]))),T[31]||(T[31]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"e")])],-1))]),T[37]||(T[37]=a("成为单位元"))]),Q("li",null,[T[48]||(T[48]=Q("strong",null,"可逆律",-1)),T[49]||(T[49]=a("：")),Q("mjx-container",b,[(l(),t("svg",k,T[38]||(T[38]=[m('',1)]))),T[39]||(T[39]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",{mathvariant:"normal"},"∀"),Q("mi",null,"a"),Q("mo",null,"∈"),Q("mi",null,"G")])],-1))]),T[50]||(T[50]=a("，存在")),Q("mjx-container",C,[(l(),t("svg",R,T[40]||(T[40]=[m('',1)]))),T[41]||(T[41]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",{mathvariant:"normal"},"∃"),Q("msup",null,[Q("mi",null,"a"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mo",null,"−"),Q("mn",null,"1")])]),Q("mo",null,"∈"),Q("mi",null,"G")])],-1))]),T[51]||(T[51]=a("，使得")),Q("mjx-container",B,[(l(),t("svg",O,T[42]||(T[42]=[m('',1)]))),T[43]||(T[43]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"a"),Q("mo",null,"∘"),Q("msup",null,[Q("mi",null,"a"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mo",null,"−"),Q("mn",null,"1")])]),Q("mo",null,"="),Q("msup",null,[Q("mi",null,"a"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mo",null,"−"),Q("mn",null,"1")])]),Q("mo",null,"∘"),Q("mi",null,"a"),Q("mo",null,"="),Q("mi",null,"e")])],-1))]),T[52]||(T[52]=a("，其中")),Q("mjx-container",G,[(l(),t("svg",A,T[44]||(T[44]=[m('',1)]))),T[45]||(T[45]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("msup",null,[Q("mi",null,"a"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mo",null,"−"),Q("mn",null,"1")])])])],-1))]),T[53]||(T[53]=a("称为")),Q("mjx-container",S,[(l(),t("svg",J,T[46]||(T[46]=[Q("g",{stroke:"currentColor",fill:"currentColor","stroke-width":"0",transform:"scale(1,-1)"},[Q("g",{"data-mml-node":"math"},[Q("g",{"data-mml-node":"mi"},[Q("path",{"data-c":"1D44E",d:"M33 157Q33 258 109 349T280 441Q331 441 370 392Q386 422 416 422Q429 422 439 414T449 394Q449 381 412 234T374 68Q374 43 381 35T402 26Q411 27 422 35Q443 55 463 131Q469 151 473 152Q475 153 483 153H487Q506 153 506 144Q506 138 501 117T481 63T449 13Q436 0 417 -8Q409 -10 393 -10Q359 -10 336 5T306 36L300 51Q299 52 296 50Q294 48 292 46Q233 -10 172 -10Q117 -10 75 30T33 157ZM351 328Q351 334 346 350T323 385T277 405Q242 405 210 374T160 293Q131 214 119 129Q119 126 119 118T118 106Q118 61 136 44T179 26Q217 26 254 59T298 110Q300 114 325 217T351 328Z"})])])],-1)]))),T[47]||(T[47]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"a")])],-1))]),T[54]||(T[54]=a("的逆元"))])]),Q("p",null,[T[59]||(T[59]=a("在表示群")),Q("mjx-container",X,[(l(),t("svg",E,T[55]||(T[55]=[m('',1)]))),T[56]||(T[56]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mo",{stretchy:"false"},"("),Q("mi",null,"G"),Q("mo",null,","),Q("mo",null,"∘"),Q("mo",{stretchy:"false"},")")])],-1))]),T[60]||(T[60]=a("时，通常省略运算符号，用")),Q("mjx-container",F,[(l(),t("svg",N,T[57]||(T[57]=[Q("g",{stroke:"currentColor",fill:"currentColor","stroke-width":"0",transform:"scale(1,-1)"},[Q("g",{"data-mml-node":"math"},[Q("g",{"data-mml-node":"mi"},[Q("path",{"data-c":"1D43A",d:"M50 252Q50 367 117 473T286 641T490 704Q580 704 633 653Q642 643 648 636T656 626L657 623Q660 623 684 649Q691 655 699 663T715 679T725 690L740 705H746Q760 705 760 698Q760 694 728 561Q692 422 692 421Q690 416 687 415T669 413H653Q647 419 647 422Q647 423 648 429T650 449T651 481Q651 552 619 605T510 659Q492 659 471 656T418 643T357 615T294 567T236 496T189 394T158 260Q156 242 156 221Q156 173 170 136T206 79T256 45T308 28T353 24Q407 24 452 47T514 106Q517 114 529 161T541 214Q541 222 528 224T468 227H431Q425 233 425 235T427 254Q431 267 437 273H454Q494 271 594 271Q634 271 659 271T695 272T707 272Q721 272 721 263Q721 261 719 249Q714 230 709 228Q706 227 694 227Q674 227 653 224Q646 221 643 215T629 164Q620 131 614 108Q589 6 586 3Q584 1 581 1Q571 1 553 21T530 52Q530 53 528 52T522 47Q448 -22 322 -22Q201 -22 126 55T50 252Z"})])])],-1)]))),T[58]||(T[58]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"G")])],-1))]),T[61]||(T[61]=a("表示"))]),T[172]||(T[172]=Q("h2",{id:"阿贝尔群",tabindex:"-1"},[Q("a",{class:"header-anchor",href:"#阿贝尔群"},[Q("span",null,"阿贝尔群")])],-1)),Q("p",null,[T[66]||(T[66]=a("如果群中的元素满足交换律，也就是对所有的")),Q("mjx-container",q,[(l(),t("svg",z,T[62]||(T[62]=[m('',1)]))),T[63]||(T[63]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"a"),Q("mo",null,","),Q("mi",null,"b"),Q("mo",null,"∈"),Q("mi",null,"G")])],-1))]),T[67]||(T[67]=a(",均有")),Q("mjx-container",P,[(l(),t("svg",I,T[64]||(T[64]=[m('',1)]))),T[65]||(T[65]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"a"),Q("mo",null,"∘"),Q("mi",null,"b"),Q("mo",null,"="),Q("mi",null,"b"),Q("mo",null,"∘"),Q("mi",null,"a")])],-1))]),T[68]||(T[68]=a(",那么该群称为阿贝尔群（")),T[69]||(T[69]=Q("a",{href:"https://en.wikipedia.org/wiki/Abelian_group",target:"_blank",rel:"noopener noreferrer"},"Abelian group",-1)),T[70]||(T[70]=a(")"))]),T[173]||(T[173]=Q("h2",{id:"重复运算的简化",tabindex:"-1"},[Q("a",{class:"header-anchor",href:"#重复运算的简化"},[Q("span",null,"重复运算的简化")])],-1)),Q("p",null,[T[87]||(T[87]=a("令")),Q("mjx-container",K,[(l(),t("svg",U,T[71]||(T[71]=[Q("g",{stroke:"currentColor",fill:"currentColor","stroke-width":"0",transform:"scale(1,-1)"},[Q("g",{"data-mml-node":"math"},[Q("g",{"data-mml-node":"mi"},[Q("path",{"data-c":"1D43A",d:"M50 252Q50 367 117 473T286 641T490 704Q580 704 633 653Q642 643 648 636T656 626L657 623Q660 623 684 649Q691 655 699 663T715 679T725 690L740 705H746Q760 705 760 698Q760 694 728 561Q692 422 692 421Q690 416 687 415T669 413H653Q647 419 647 422Q647 423 648 429T650 449T651 481Q651 552 619 605T510 659Q492 659 471 656T418 643T357 615T294 567T236 496T189 394T158 260Q156 242 156 221Q156 173 170 136T206 79T256 45T308 28T353 24Q407 24 452 47T514 106Q517 114 529 161T541 214Q541 222 528 224T468 227H431Q425 233 425 235T427 254Q431 267 437 273H454Q494 271 594 271Q634 271 659 271T695 272T707 272Q721 272 721 263Q721 261 719 249Q714 230 709 228Q706 227 694 227Q674 227 653 224Q646 221 643 215T629 164Q620 131 614 108Q589 6 586 3Q584 1 581 1Q571 1 553 21T530 52Q530 53 528 52T522 47Q448 -22 322 -22Q201 -22 126 55T50 252Z"})])])],-1)]))),T[72]||(T[72]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"G")])],-1))]),T[88]||(T[88]=a("是运算")),Q("mjx-container",W,[(l(),t("svg",Y,T[73]||(T[73]=[Q("g",{stroke:"currentColor",fill:"currentColor","stroke-width":"0",transform:"scale(1,-1)"},[Q("g",{"data-mml-node":"math"},[Q("g",{"data-mml-node":"mo"},[Q("path",{"data-c":"2218",d:"M55 251Q55 328 112 386T249 444T386 388T444 249Q444 171 388 113T250 55Q170 55 113 112T55 251ZM245 403Q188 403 142 361T96 250Q96 183 141 140T250 96Q284 96 313 109T354 135T375 160Q403 197 403 250Q403 313 360 358T245 403Z"})])])],-1)]))),T[74]||(T[74]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mo",null,"∘")])],-1))]),T[89]||(T[89]=a("下的一个群，那么对于任一元素")),Q("mjx-container",$,[(l(),t("svg",_,T[75]||(T[75]=[m('',1)]))),T[76]||(T[76]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"a"),Q("mo",null,"∈"),Q("mi",null,"G")])],-1))]),T[90]||(T[90]=a("，非负整数")),Q("mjx-container",Q1,[(l(),t("svg",T1,T[77]||(T[77]=[m('',1)]))),T[78]||(T[78]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"i"),Q("mo",null,"∈"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",{mathvariant:"double-struck"},"N")])])],-1))]),T[91]||(T[91]=a(", a和自己做i次")),Q("mjx-container",a1,[(l(),t("svg",t1,T[79]||(T[79]=[Q("g",{stroke:"currentColor",fill:"currentColor","stroke-width":"0",transform:"scale(1,-1)"},[Q("g",{"data-mml-node":"math"},[Q("g",{"data-mml-node":"mo"},[Q("path",{"data-c":"2218",d:"M55 251Q55 328 112 386T249 444T386 388T444 249Q444 171 388 113T250 55Q170 55 113 112T55 251ZM245 403Q188 403 142 361T96 250Q96 183 141 140T250 96Q284 96 313 109T354 135T375 160Q403 197 403 250Q403 313 360 358T245 403Z"})])])],-1)]))),T[80]||(T[80]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mo",null,"∘")])],-1))]),T[92]||(T[92]=a("运算,可以表达为")),Q("mjx-container",l1,[(l(),t("svg",m1,T[81]||(T[81]=[m('',1)]))),T[82]||(T[82]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("msup",null,[Q("mi",null,"a"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",null,"i")])]),Q("mo",null,"∈"),Q("mi",null,"G")])],-1))]),T[93]||(T[93]=a(", ")),Q("mjx-container",n1,[(l(),t("svg",e1,T[83]||(T[83]=[m('',1)]))),T[84]||(T[84]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("msup",null,[Q("mi",null,"a"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",null,"i")])]),Q("mo",null,"="),Q("mi",null,"a"),Q("mo",null,"∘"),Q("mi",null,"a"),Q("mo",null,"∘"),Q("mi",null,"a"),Q("mo",null,"∘"),Q("mo",null,"…"),Q("mo",null,"∘"),Q("mi",null,"a")])],-1))]),T[94]||(T[94]=a("，对于加法群，")),Q("mjx-container",s1,[(l(),t("svg",o1,T[85]||(T[85]=[m('',1)]))),T[86]||(T[86]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("msup",null,[Q("mi",null,"a"),Q("mi",null,"i")]),Q("mo",null,"="),Q("mi",null,"a"),Q("mo",null,"×"),Q("mi",null,"i")])],-1))])]),T[174]||(T[174]=Q("h2",{id:"常用群",tabindex:"-1"},[Q("a",{class:"header-anchor",href:"#常用群"},[Q("span",null,"常用群")])],-1)),Q("ol",null,[Q("li",null,[T[101]||(T[101]=Q("strong",null,"整数群",-1)),T[102]||(T[102]=a(": 整数集")),Q("mjx-container",d1,[(l(),t("svg",r1,T[95]||(T[95]=[m('',1)]))),T[96]||(T[96]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",{mathvariant:"double-struck"},"Z")])])],-1))]),T[103]||(T[103]=a("在加法下的群")),Q("mjx-container",i1,[(l(),t("svg",g1,T[97]||(T[97]=[m('',1)]))),T[98]||(T[98]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mo",{stretchy:"false"},"("),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",{mathvariant:"double-struck"},"Z")]),Q("mo",null,","),Q("mo",null,"+"),Q("mo",{stretchy:"false"},")")])],-1))]),T[104]||(T[104]=a("，其中")),Q("mjx-container",h1,[(l(),t("svg",p1,T[99]||(T[99]=[m('',1)]))),T[100]||(T[100]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"e"),Q("mo",null,"="),Q("mn",null,"0"),Q("mo",null,","),Q("msup",null,[Q("mi",null,"a"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mo",null,"−"),Q("mn",null,"1")])]),Q("mo",null,"="),Q("mo",null,"−"),Q("mi",null,"a")])],-1))]),T[105]||(T[105]=a(",同样"))]),Q("li",null,[T[116]||(T[116]=Q("strong",null,"有理数群",-1)),T[117]||(T[117]=a(": 可以表达为两个整数的商的数称为有理数群，用")),Q("mjx-container",H1,[(l(),t("svg",L1,T[106]||(T[106]=[m('',1)]))),T[107]||(T[107]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",{mathvariant:"double-struck"},"Q")])])],-1))]),T[118]||(T[118]=a("表示，其他还有自然数群")),Q("mjx-container",M1,[(l(),t("svg",u1,T[108]||(T[108]=[m('',1)]))),T[109]||(T[109]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",{mathvariant:"double-struck"},"N")])])],-1))]),T[119]||(T[119]=a(", 实数群")),Q("mjx-container",x1,[(l(),t("svg",w1,T[110]||(T[110]=[m('',1)]))),T[111]||(T[111]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",{mathvariant:"double-struck"},"R")])])],-1))]),T[120]||(T[120]=a("，复数群")),Q("mjx-container",f1,[(l(),t("svg",Z1,T[112]||(T[112]=[m('',1)]))),T[113]||(T[113]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",{mathvariant:"double-struck"},"C")])])],-1))]),T[121]||(T[121]=a("，在加法运算下")),Q("mjx-container",V1,[(l(),t("svg",c1,T[114]||(T[114]=[m('',1)]))),T[115]||(T[115]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",{mathvariant:"double-struck"},"Z")]),Q("mo",null,"⊆"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",{mathvariant:"double-struck"},"Q")]),Q("mo",null,"⊆"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",{mathvariant:"double-struck"},"R")]),Q("mo",null,"⊆"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",{mathvariant:"double-struck"},"C")])])],-1))])]),Q("li",null,[T[136]||(T[136]=Q("strong",null,"整数模n加法群",-1)),T[137]||(T[137]=a(": 对于任意")),Q("mjx-container",v1,[(l(),t("svg",j1,T[122]||(T[122]=[m('',1)]))),T[123]||(T[123]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"n"),Q("mo",null,"≥"),Q("mn",null,"1")])],-1))]),T[138]||(T[138]=a("，")),Q("mjx-container",D1,[(l(),t("svg",y1,T[124]||(T[124]=[m('',1)]))),T[125]||(T[125]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("msub",null,[Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",{mathvariant:"double-struck"},"Z")]),Q("mi",null,"n")])])],-1))]),T[139]||(T[139]=a("表示所有整数模n的集合，完整表示为")),Q("mjx-container",b1,[(l(),t("svg",k1,T[126]||(T[126]=[m('',1)]))),T[127]||(T[127]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mo",{stretchy:"false"},"("),Q("msub",null,[Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",{mathvariant:"double-struck"},"Z")]),Q("mi",null,"n")]),Q("mo",null,","),Q("mo",null,"+"),Q("mo",{stretchy:"false"},"("),Q("mspace",{width:"0.667em"}),Q("mi",null,"mod"),Q("mstyle",{scriptlevel:"0"},[Q("mspace",{width:"0.167em"})]),Q("mstyle",{scriptlevel:"0"},[Q("mspace",{width:"0.167em"})]),Q("mi",null,"n"),Q("mo",{stretchy:"false"},")"),Q("mo",{stretchy:"false"},")")])],-1))]),T[140]||(T[140]=a("，单位元")),Q("mjx-container",C1,[(l(),t("svg",R1,T[128]||(T[128]=[m('',1)]))),T[129]||(T[129]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"e"),Q("mo",null,"="),Q("mn",null,"0")])],-1))]),T[141]||(T[141]=a("，逆元")),Q("mjx-container",B1,[(l(),t("svg",O1,T[130]||(T[130]=[m('',1)]))),T[131]||(T[131]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("msup",null,[Q("mi",null,"a"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mo",null,"−"),Q("mn",null,"1")])]),Q("mo",null,"="),Q("mi",null,"n"),Q("mo",null,"−"),Q("mi",null,"a")])],-1))]),Q("ol",null,[Q("li",null,[Q("mjx-container",G1,[(l(),t("svg",A1,T[132]||(T[132]=[m('',1)]))),T[133]||(T[133]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("msub",null,[Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",{mathvariant:"double-struck"},"Z")]),Q("mi",null,"n")]),Q("mo",null,"="),Q("mo",{stretchy:"false"},"("),Q("mo",{fence:"false",stretchy:"false"},"{"),Q("mn",null,"0"),Q("mo",null,","),Q("mn",null,"1"),Q("mo",null,","),Q("mn",null,"2"),Q("mo",null,","),Q("mo",null,"…"),Q("mo",null,","),Q("mi",null,"n"),Q("mo",null,"−"),Q("mn",null,"1"),Q("mo",{fence:"false",stretchy:"false"},"}"),Q("mo",null,","),Q("mo",null,"+"),Q("mo",{stretchy:"false"},"("),Q("mspace",{width:"0.667em"}),Q("mi",null,"mod"),Q("mstyle",{scriptlevel:"0"},[Q("mspace",{width:"0.167em"})]),Q("mstyle",{scriptlevel:"0"},[Q("mspace",{width:"0.167em"})]),Q("mi",null,"n"),Q("mo",{stretchy:"false"},")"),Q("mo",{stretchy:"false"},")")])],-1))])]),Q("li",null,[Q("mjx-container",S1,[(l(),t("svg",J1,T[134]||(T[134]=[m('',1)]))),T[135]||(T[135]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",{mathvariant:"normal"},"#"),Q("msub",null,[Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",{mathvariant:"double-struck"},"Z")]),Q("mi",null,"n")]),Q("mo",null,"="),Q("mi",null,"n")])],-1))])])])]),Q("li",null,[T[165]||(T[165]=Q("strong",null,"整数模n乘法群",-1)),T[166]||(T[166]=a("(")),T[167]||(T[167]=Q("a",{href:"https://en.wikipedia.org/wiki/Multiplicative_group_of_integers_modulo_n",target:"_blank",rel:"noopener noreferrer"},"Multiplicative group of integers modulo n",-1)),T[168]||(T[168]=a(") : ")),Q("mjx-container",X1,[(l(),t("svg",E1,T[142]||(T[142]=[m('',1)]))),T[143]||(T[143]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("msub",null,[Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",{mathvariant:"double-struck"},"Z")]),Q("mi",null,"n")])])],-1))]),T[169]||(T[169]=a("中所有与n互质的元素构成一个有限乘法群，这里的乘法指模n乘法，用")),Q("mjx-container",F1,[(l(),t("svg",N1,T[144]||(T[144]=[m('',1)]))),T[145]||(T[145]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("msubsup",null,[Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",{mathvariant:"double-struck"},"Z")]),Q("mi",null,"n"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mo",null,"∗")])])])],-1))]),T[170]||(T[170]=a("表示，例如")),Q("mjx-container",q1,[(l(),t("svg",z1,T[146]||(T[146]=[m('',1)]))),T[147]||(T[147]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("msubsup",null,[Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",{mathvariant:"double-struck"},"Z")]),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mn",null,"15")]),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mo",null,"∗")])]),Q("mo",null,"="),Q("mo",{stretchy:"false"},"("),Q("mo",{fence:"false",stretchy:"false"},"{"),Q("mn",null,"1"),Q("mo",null,","),Q("mn",null,"2"),Q("mo",null,","),Q("mn",null,"4"),Q("mo",null,","),Q("mn",null,"7"),Q("mo",null,","),Q("mn",null,"8"),Q("mo",null,","),Q("mn",null,"11"),Q("mo",null,","),Q("mn",null,"13"),Q("mo",null,","),Q("mn",null,"14"),Q("mo",{fence:"false",stretchy:"false"},"}"),Q("mo",null,","),Q("mo",null,"∗"),Q("mo",{stretchy:"false"},"("),Q("mspace",{width:"0.667em"}),Q("mi",null,"mod"),Q("mstyle",{scriptlevel:"0"},[Q("mspace",{width:"0.167em"})]),Q("mstyle",{scriptlevel:"0"},[Q("mspace",{width:"0.167em"})]),Q("mn",null,"15"),Q("mo",{stretchy:"false"},")"),Q("mo",{stretchy:"false"},")")])],-1))]),Q("ol",null,[Q("li",null,[T[150]||(T[150]=a("如果p是质数，那么")),Q("mjx-container",P1,[(l(),t("svg",I1,T[148]||(T[148]=[m('',1)]))),T[149]||(T[149]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("msubsup",null,[Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",{mathvariant:"double-struck"},"Z")]),Q("mi",null,"p"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mo",null,"∗")])]),Q("mo",null,"="),Q("mo",{stretchy:"false"},"("),Q("mo",{fence:"false",stretchy:"false"},"{"),Q("mn",null,"1"),Q("mo",null,","),Q("mn",null,"2"),Q("mo",null,","),Q("mn",null,"3"),Q("mo",null,","),Q("mo",null,"…"),Q("mo",null,","),Q("mi",null,"p"),Q("mo",null,"−"),Q("mn",null,"1"),Q("mo",{fence:"false",stretchy:"false"},"}"),Q("mo",null,","),Q("mo",null,"+"),Q("mo",{stretchy:"false"},"("),Q("mspace",{width:"0.667em"}),Q("mi",null,"mod"),Q("mstyle",{scriptlevel:"0"},[Q("mspace",{width:"0.167em"})]),Q("mstyle",{scriptlevel:"0"},[Q("mspace",{width:"0.167em"})]),Q("mi",null,"p"),Q("mo",{stretchy:"false"},")"),Q("mo",{stretchy:"false"},")"),Q("mo",null,","),Q("mi",{mathvariant:"normal"},"#"),Q("msubsup",null,[Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",{mathvariant:"double-struck"},"Z")]),Q("mi",null,"p"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mo",null,"∗")])]),Q("mo",null,"="),Q("mi",null,"p"),Q("mo",null,"−"),Q("mn",null,"1")])],-1))])]),Q("li",null,[T[159]||(T[159]=a("如果")),Q("mjx-container",K1,[(l(),t("svg",U1,T[151]||(T[151]=[m('',1)]))),T[152]||(T[152]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"p"),Q("mi",null,"q")])],-1))]),T[160]||(T[160]=a("是质数，")),Q("mjx-container",W1,[(l(),t("svg",Y1,T[153]||(T[153]=[m('',1)]))),T[154]||(T[154]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"n"),Q("mo",null,"="),Q("mi",null,"p"),Q("mi",null,"q")])],-1))]),T[161]||(T[161]=a("，那么根据欧拉定理")),Q("mjx-container",$1,[(l(),t("svg",_1,T[155]||(T[155]=[m('',1)]))),T[156]||(T[156]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("msubsup",null,[Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",{mathvariant:"double-struck"},"Z")]),Q("mi",null,"n"),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mo",null,"∗")])])])],-1))]),T[162]||(T[162]=a("里元素的个数为")),Q("mjx-container",Q2,[(l(),t("svg",T2,T[157]||(T[157]=[m('',1)]))),T[158]||(T[158]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("mi",null,"ϕ"),Q("mo",{stretchy:"false"},"("),Q("mi",null,"n"),Q("mo",{stretchy:"false"},")"),Q("mo",null,"="),Q("mo",{stretchy:"false"},"("),Q("mi",null,"p"),Q("mo",null,"−"),Q("mn",null,"1"),Q("mo",{stretchy:"false"},")"),Q("mo",{stretchy:"false"},"("),Q("mi",null,"q"),Q("mo",null,"−"),Q("mn",null,"1"),Q("mo",{stretchy:"false"},")")])],-1))])]),Q("li",null,[Q("mjx-container",a2,[(l(),t("svg",t2,T[163]||(T[163]=[m('',1)]))),T[164]||(T[164]=Q("mjx-assistive-mml",{unselectable:"on",display:"inline"},[Q("math",{xmlns:"http://www.w3.org/1998/Math/MathML"},[Q("msubsup",null,[Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mi",{mathvariant:"double-struck"},"Z")]),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mn",null,"12")]),Q("mrow",{"data-mjx-texclass":"ORD"},[Q("mo",null,"∗")])]),Q("mo",null,"="),Q("mo",{fence:"false",stretchy:"false"},"{"),Q("mn",null,"1"),Q("mo",null,","),Q("mn",null,"5"),Q("mo",null,","),Q("mn",null,"7"),Q("mo",null,","),Q("mn",null,"11"),Q("mo",{fence:"false",stretchy:"false"},"}")])],-1))])])])])])])}const e2=n(e,[["render",l2],["__file","group.html.vue"]]),s2=JSON.parse('{"path":"/note/math/group.html","title":"群(Group)","lang":"zh-CN","frontmatter":{},"headers":[{"level":2,"title":"群的定义","slug":"群的定义","link":"#群的定义","children":[]},{"level":2,"title":"阿贝尔群","slug":"阿贝尔群","link":"#阿贝尔群","children":[]},{"level":2,"title":"重复运算的简化","slug":"重复运算的简化","link":"#重复运算的简化","children":[]},{"level":2,"title":"常用群","slug":"常用群","link":"#常用群","children":[]}],"git":{},"filePathRelative":"note/math/group.md"}');export{e2 as comp,s2 as data};