ポアンカレ双対
代数幾何学では、周環とは、可換体における代数多様体の類似物である。周環の要素は部分群から形成される。多様性が滑らかな場合、周環はコホモロジー群として解釈され（ポアンカレ双対性）、交叉積と呼ばれる積を持つ。周環は代数多様体に関する豊富な情報を持つが、一般的に計算するのは困難である。