MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $V$ be an $n$-dimensional real vector space, $\Lambda\subseteq V$ a lattice, and $K$ a subgroup of $Aut_{\mathbb{Z}}(\Lambda)\cong GL(n,\mathbb{Z})$. Let also $\sigma \in Z^1(K,V/\Lambda)$, $\sigma:K\to V/\Lambda$, be a cocycle, and $s:K\to V$ a lift of $\sigma$. Define

$K \ltimes^{\sigma} \Lambda:=\{ (k,\lambda + s(k))\in K\times V\; | \; k\in K,\; \lambda \in \Lambda \}\subseteq K \times V.$

Does the above construction have a name (maybe in more general form)? Is there a standard notation for it?

Remark: given a finite $K\subset GL(n,\mathbb{Z})$, it is used to construct the crystallographic group in the arithmetic crystal class $(K,\mathbb{Z}^n)$ corresponding to the cocycle $\sigma$.

share|cite|improve this question

This group fits into a short exact sequence $1 \to \Lambda \to G \to K \to 1$. In this situation there is a plain vanilla terminology that $G$ is an "extension group". If you want to bring in mention of the kernel $\Lambda$ and the quotient $K$, then there is an unfortunately ambiguous terminology saying either that $G$ is an "extension of $K$ by $\Lambda$", or that $G$ is an "extension of $\Lambda$ by $K$". Another notation/terminology that is still evolving is to read the short exact sequence from left to right, leave the word "extension" out of it, and say that $G$ is a "$\Lambda$-by-$K$ group".

Once upon a time I was in the lucky situation of entitling a paper with complete lack of ambiguity as "A hyperbolic-by-hyperbolic hyperbolic group".

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.