Garland constructs an integral form U_z in the universal enveloping algebra U(g(A))of affine Lie algebra g(A), and defines, for any field K, U_k=U_z(?) _zK to be the affine hyperalgebra of g(A).

• Garland对仿射李代数g(A)的普遍包络代数U(g(A))构造了一个Z-形式U_Z,从而对任何域K,定义了g(A)的仿射超代数U_k([2])。