李群是群+流形（n维），其群乘与求逆映射均为光滑的~

常见李群有GL（m,R/C）、O(m)、O(m,n)、U(m)、E(m)、P群等~

群需定义一个群乘法~可能是复合映射，也可能是普通乘法，抑或其他什么~~
然后就是三个条件~结合律，恒等元，逆元~当然，Abelian G还需交换律~

保群乘法的映射就是同态~
μ（gh）=μ（g）μ（h）

spinfoam要有李群，有一个理论上的结果，spinfoam用的李群，替换为对应的量子群，宇宙学常数自己冒出来，而且不可约表示变成有限个了，原先的大自旋发散能消除掉。
自旋泡沫：自旋网络的历史。自旋网络是量子引力里面几何算符的本征态。量子引力对费曼图做了一个推广：”自旋网络，类比为粒子的话，自旋泡沫就是一张费曼图。”