局部表现模

局部表现模(locally presented module)是一种有用的模。若环A是半完全环，则A是序列环的充分必要条件是，每个有限表现左A模是局部表现A模的直和。