周環
圈的函子性，即定義在代數圈群"Z*(X)"層面上的平坦拉回和適當前推可擴展至周環，這給出群同態