圏のイデアル

イオネスクが次の論文を書いている。

• Title: On Ideals and Homology in Additive Categories
• Authors: Lucian M. Ionescu (Kansas State University)
• URL: http://arxiv.org/abs/math/9906039
• Pages: 10 pages

反図式順で考えて、fが生成する左単項イデアルを＜f|、右単項イデアルを|f＞、両側イデアルを＜f＞と書く。

• ＜g・f＞ = ＜g| ∩ |f＞

はキレイな式だが、これ嘘だろうよ。