一个 群作用 可能会保持一种特殊的 划分
,称为区块系统。一个区块是
的一个 子集
,使得对于任何群元素
,要么
1. 保持
不变,即
,要么
2. 将
中的所有元素移出
,即
。
例如,一般线性群 作用于除去原点的平面
。直线
是区块,因为一条直线要么映射到自身,要么映射到另一条直线。当然,直线上的点可能会被重新缩放,因此
中的直线是最小区块。
事实上,如果两个区块 相交,那么它们的交集也是一个区块。因此,最小区块构成 的一个 划分。重要的是要避免与 区组设计 中的区块概念混淆,后者是不同的。
基本域 的概念推广了最小群区块的概念。