>>627
多様体の場合でいう次元かも知れないじゃないか。
リー代数として有限次元で体の作用があるものとか。
もしかして加群としてのクルル次元かもしれないし。