Lagmental Vicfred

The Affine Group of a Field Is a Semidirect Product by Vicfred

tags: mathematics, semidirect products, presentations, extensions

Maps x going to ax plus b form the additive group of the field twisted by its multiplicative group. A small computation will anchor the general statement before the abstraction takes over.

Statement

A semidirect product combines groups \(N\) and \(H\) after choosing an action \(\alpha:H\to\operatorname{Aut}(N)\). A presentation records generators and relations but may conceal the size of the group.

$$ \operatorname{Aff}_1(F)=\{x\mapsto ax+b:a\in F^\times,\ b\in F\} $$

There are two layers here: the object \(\mathsf D\) and the law \(\mathsf C\). Writing them separately makes the direction of \(\Longrightarrow\) visible and keeps an accidental converse from slipping in.

$$ \operatorname{Aff}_1(F)\cong(F,+)\rtimes(F^\times,\cdot) $$

Worked algebra

This is the algebraic core of the note. Once this line is correct, the surrounding interpretation has something solid to refer to.

$$ \begin{pmatrix}a&b\\0&1\end{pmatrix}\begin{pmatrix}c&d\\0&1\end{pmatrix}=\begin{pmatrix}ac&ad+b\\0&1\end{pmatrix} $$

Conceptual compression

The compact alignment is a local map of the argument: assumptions on the first row, consequence on the second. Any generalisation must preserve that dependency.

$$ \begin{aligned} \mathsf{D}\;&:\quad \operatorname{Aff}_1(F)=\{x\mapsto ax+b:a\in F^\times,\ b\in F\},\\[5pt] \mathsf{C}\;&:\quad \operatorname{Aff}_1(F)\cong(F,+)\rtimes(F^\times,\cdot). \end{aligned} $$

Caveat

Changing the action \(\alpha\) can change the group even when \(N\) and \(H\) remain fixed. The direct product is only the special case where the action is trivial.

$$ \boxed{\begin{gathered} \text{compact conclusion}\\[-2pt] \operatorname{Aff}_1(F)\cong(F,+)\rtimes(F^\times,\cdot) \end{gathered}} $$

I would use the boxed line as a reference later, while returning to the full display whenever a hypothesis becomes uncertain. That division keeps compression from becoming ambiguity.

This article was posted on Sun 04 October 2020. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.