13,3 例13.3设G是群,L(G是G的所有子群的集合。即 L(G)={HH≤G 对任意的H1,H2∈L(G),H1∩H2也是G的子群,而<H1∪H2>是由 H1UH2生成的子群(即包含着HUH2的最小的子群)。 在L(G)上定义包含关系c,则L(G关于包含关系构成一个格, 称为G的子群格。 易见在L(G)中,H1∧H2就是H1∩H2,H1VH2就是<H1UH2>。例13.3 例13.3 设G是群，L(G)是G的所有子群的集合。即 L(G)＝{ H|H≤G } 对任意的H1 ,H2∈L(G)，H1∩H2也是G的子群，而<H1∪H2 >是由 H1∪H2生成的子群（即包含着H1∪H2的最小的子群）。 在L(G)上定义包含关系，则L(G)关于包含关系构成一个格， 称为G的子群格。 易见在L(G)中，H1∧H2就是H1∩H2，H1∨H2就是<H1∪H2 >