希爾伯特 -模的概念是 希爾伯特空間 概念的推廣。Kaplansky (1953) 首次使用了這類物件。對希爾伯特
-模的研究始於 1970 年代,Rieffel (1974) 對
-代數的誘導表示的工作以及 Paschke (1973) 的博士論文。希爾伯特
-模是
-代數理論、運算元代數理論、運算元
-理論、群表示理論和運算元空間理論中的有用工具。它也用於研究
-代數的 Morita 等價性、
-理論的
-代數、
-代數量子群(Lance 1995,Wegge-Olsen 1993)。
在 -代數
上的預希爾伯特模是一個複線性空間
,它是一個左
-模(且
,其中
,
, 和
),配備了一個
-值內積
,滿足
1. ,
2. 當且僅當
,
3. ,
4. ,
5. .
預希爾伯特 -模被稱為希爾伯特
-模或希爾伯特
-模(在
上),如果它關於範數
是完備的。如果集合
的閉線性張成在
中稠密,則
被稱為滿的。例如,每個
-代數
都是一個滿的希爾伯特
-模,只要我們定義
。