有限型

有限型是常用的有限条件, 它可以指:

有限型模, 即有限生成模.

有限型环同态, 即有限生成代数.

有限型态射, 即局部上由有限生成代数诱导, 且拟紧的态射.

注意有限生成代数作为模未必是有限生成模, 事实上有限生成模相对应的概念是有限代数.