拓樸自由模

設 
C 係複數域；
Ch 係形式級數環 :={∑n≥0 knhn ；其中 kn屬於 C}。
Ch上嘅拓樸自由模  (topologically free module 係一種Ch模，有少少似 V⊗Ch。

定義 
設
V 係C 上嘅向量空間

定義Vh:= {∑n≥0 vnhn ；其中 vn屬於 V}

性質 
任何 Ch模 M 有Ch誘導嘅拓樸，其位於零嘅鄰域基係{hnM｜n=0,1,2,... }。
設S={ei}係向量空間V 嘅基。則 S.Ch 係Vh入面係稠密嘅。
設N 係 Ch模，分離而完備。咁有自然同構：HomCh(Vh,N) = Hom (V,N)。

設 M 係 Ch模。M 係拓樸自由模 若且僅若 M 分離、完備同埋無撓。

拓樸張量積 
設 
M，N 係Ch模，
M (x) N := M (x)_Ch N 
定義：拓樸張量積M(x)~N := lim <- (M (x) N)/ hn(M (x)N )

性質：設 M，N 都係拓樸自由模。咁 M(x)N 都係拓樸自由模。即： Uh(x)~Vh = (U(x)V)h.

Ref 
Christian Kassel(1994): Quantum Groups, ISBN 0-387-94370-6

代數結構