TOPICS
Search

Group Block


A group block for a group action G×Omega->Omega is a subset Delta of Omega such that for any group element g either

1. g preserves Delta, i.e., gDelta=Delta, or

2. g translates everything in Delta out of Delta, i.e., gDelta intersection Delta=emptyset.

For example, the general linear group GL(2,R) acts on the plane minus the origin, R^2-(0,0). The punctured lines A={(at,bt):t in R, t!=0}, where (a,b)!=(0,0), are blocks because either a line is mapped to itself, or to another line. These punctured lines are not minimal blocks. Every singleton is a block, and each punctured line contains positive rays, which are also blocks.

In fact, if two blocks intersect then their intersection is also a block. Hence, the minimal nonempty blocks under inclusion are singletons, forming the singleton set partition of Omega. It is important to avoid confusion with the notion of a block in a block design, which is different.

A fundamental domain is instead defined by the orbits of the group action.


See also

Block, Fundamental Domain, Group, Primitive Group Action, Steiner System

Portions of this entry contributed by Todd Rowland

Explore with Wolfram|Alpha

Cite this as:

Weisstein, Eric W., with contributions by Todd Rowland. "Group Block." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/GroupBlock.html

Subject classifications