半环上模块论的各个面

我们在半环上建立了一些基本的模块论，特别关注在半环上的方案论中所需的条件。我们展示了尽管在半环上并非所有通常的向量束定义都一致，但所有通常的线束定义确实一致。我们还展示了数域的窄类群可作为其全非负代数整数子环的反射Picard群被恢复。