7Algebraïsche structuren

Voorbeeld 7.4

$(\Z, +)$, $(\Q, +)$, $(\R, +)$, $(\C, +)$; $(\Q^*, \times)$, $(\R^*, \times)$, $(\C^*, \times)$, $(\mathbb{U}_n, \times)$ (de eenheidswortels, Definitie 3.17); de verzameling $\mathfrak{S}(E)$ van de bijecties van een verzameling $E$ op zichzelf, onder samenstelling — de symmetrische groep van $E$, niet abels zodra $\abs E \geq 3$. Geen groepen: $(\N, +)$ (geen inversen), $(\Z, \times)$ (alleen $\pm 1$ is inverteerbaar).

Voorbeeld 7.6 (De symmetrieën van een rechthoek)

Een rechthoek die geen vierkant is, laat precies vier isometrieën op zichzelf toe: de identiteit $e$, de spiegeling $h$ in de horizontale as, de spiegeling $v$ in de verticale as, en de halve draai $r$ om het middelpunt. Samenstelling maakt van die verzameling met vier elementen een groep: elk element is zijn eigen inverse ($h^2 = v^2 = r^2 = e$), en het product van twee verschillende elementen ongelijk aan $e$ is het derde ($hv = vh = r$: in beide assen spiegelen is de halve draai). De volledige tabel is symmetrisch, dus de groep is abels — en toch is het niet dezelfde groep als de draaiingen $\mathbb U_4$ van Voorbeeld 7.15: daar heeft $\iu$ orde $4$, terwijl hier elk element orde $\leq 2$ heeft. Twee groepen van dezelfde grootte kunnen dus werkelijk verschillende vermenigvuldigingsstructuren hebben — de figuur hieronder zet beide tabellen naast elkaar. Deze groep met vier elementen keert terug als $\{\pm1\} \times \{\pm1\}$, en Oefening 7.7 legt uit waarom elke groep waarin alle kwadraten triviaal zijn, net als deze, abels moet zijn.

Voorbeeld 7.8

$\mathbb{U}_n \leq (\C^*, \times)$: niet-leeg, en voor $z, w \in \mathbb{U}_n$ is $(zw^{-1})^n = z^n (w^n)^{-1} = 1$. De deelgroepen van $(\Z, +)$ zijn precies de $n\Z$ (bewezen in Stelling 6.4). Een doorsnede van deelgroepen is altijd een deelgroep, maar een vereniging vrijwel nooit (Oefening 7.6).

Voorbeeld 7.12

$\exp \colon (\R, +) \to (\R_+^*, \times)$ is een morfisme ($\eu^{x+y} = \eu^x \eu^y$) en bijectief (Propositie 4.1): de additieve en de multiplicatieve structuur zijn isomorf — de historische bestaansreden van de logaritmen. Nog een morfisme: $\theta \mapsto \eu^{\iu\theta}$ van $(\R, +)$ op de eenheidscirkel $(\mathbb{U}, \times)$, met kern $2\pi\Z$.

Voorbeeld 7.13 (Het tekenmorfisme)

De afbeelding $s \colon (\R^*, \times) \to (\{\pm1\}, \times)$ die $x$ naar zijn teken stuurt is een morfisme: het teken van een product is het product van de tekens. Haar kern is $\intoo0{+\infty}$ (een deelgroep, zoals Definitie 7.10 belooft), haar beeld heel $\{\pm1\}$: surjectief, en massaal niet-injectief. Twee algemene lessen in het klein. Ten eerste kan een morfisme informatie vermorzelen: $s$ onthoudt van $x$ niets dan één bit, en dat is juist haar deugd — argumenten met tekens zijn precies de berekeningen die door $s$ heen factoriseren. Ten tweede zijn morfismen naar $\{\pm1\}$ de eenvoudigste “invarianten”: de signatuur van permutaties, opgebouwd in de weekendopgave van dit hoofdstuk, is hetzelfde verschijnsel op de groep $\mathfrak S_n$, en alle pariteitsargumenten die zij aandrijft dalen door zo’n tweewaardig morfisme af.

Voorbeeld 7.15

In $(\C^*, \times)$ heeft $\iu$ orde $4$, met $\langle \iu \rangle = \{1, \iu, -1, -\iu\} = \mathbb{U}_4$; algemener heeft $\omega = \eu^{2\iu\pi/n}$ orde $n$ met $\langle\omega\rangle = \mathbb{U}_n$. In $(\Z, +)$ heeft elke $x \neq 0$ oneindige orde. Waarom de beweringen in de definitie kloppen: heeft $x$ orde $m$, deel dan een willekeurige $k$ door $m$ ($k = mq + r$ met $0 \leq r < m$, Stelling 6.2): dan is $x^k = (x^m)^q x^r = x^r$, zodat de machten met periode $m$ rondgaan; de opgesomde elementen zijn twee aan twee verschillend wegens de minimaliteit van $m$, en $x^k = e$ dwingt $r = 0$ af. De ordes van permutaties worden in de weekendopgave hieronder berekend.

Voorbeeld 7.16 (Ordes binnen $\mathbb U_{12}$)

Wat is de orde van $\omega^k$ in $\mathbb U_n$, met $\omega = \eu^{2\iu\pi/n}$? Er geldt $(\omega^k)^m = 1$ precies wanneer $n \mid km$, en met $d = \gcd(n, k)$, $n = dn'$, $k = dk'$ en $\gcd(n', k') = 1$ is $n \mid km \iff n' \mid k'm \iff n' \mid m$ (lemma van Gauss, Stelling 6.8). De kleinste zulke $m \geq 1$ is $n' = \frac{n}{\gcd(n,k)}$. In $\mathbb U_{12}$ bijvoorbeeld heeft $\omega^8$ orde $\frac{12}{\gcd(12,8)} = 3$ (inderdaad is $\omega^8 = \eu^{4\iu\pi/3} \in \mathbb U_3$), terwijl $\omega^5$ orde $12$ heeft: die brengt de hele groep voort, hoewel het niet de “standaard” voortbrenger is. De voortbrengers tellen — de $k$ met $\gcd(k, n) = 1$ — geeft de tellingen van relatief prieme getallen uit Voorbeeld 2.25 terug: groepentheorie en telkunde ontmoeten elkaar.

Voorbeeld 7.18

$\Z, \Q, \R, \C$ zijn commutatieve ringen; $\Z^\times = \{1, -1\}$ en $\Q^\times = \Q^*$. Later: veeltermringen $K[X]$ (Hoofdstuk 8), matrixringen (niet-commutatief, Hoofdstuk 21), en $\Z/n\Z$ hieronder. In elke ring is $0 \times a = 0$ (uit de distributiviteit: $0a = (0+0)a = 0a + 0a$) en $(-1)a = -a$.

Voorbeeld 7.19 (Idempotenten: nieuwe verschijnselen in nieuwe ringen)

In $\Z$ heeft de vergelijking $x^2 = x$, oftewel $x(x - 1) = 0$, alleen de oplossingen $0$ en $1$. In $\Z/6\Z$ geeft het aflopen van alle klassen: $\overline0^2 = \overline0$, $\overline1^2 = \overline1$, $\overline3^2 = \overline9 = \overline3$ en $\overline4^2 = \overline{16} = \overline4$ — vier idempotenten. De twee exotische komen van nuldelers: $\overline3\,(\overline3 - \overline1) = \overline3 \times \overline2 = \overline6 = \overline0$, terwijl geen van beide factoren nul is. Zulke berekeningen ijken je instinct: vertrouwde feiten over vergelijkingen overleven in integriteitsdomeinen en lichamen, maar een algemene ring kan zich anders gedragen, en doet dat ook — zie ook de booleaanse ringen van Oefening 7.10, waar elk element idempotent is.

Voorbeeld 7.21 (Het binomium in een ongewone ring)

Twee snelle opbrengsten van de algemeenheid. In $\Z/p\Z$ ($p$ priem) verdwijnen de middelste binomiaalcoëfficiënten (de eerste stap van Stelling 6.23), zodat de stelling instort tot de droom van de eerstejaars

daar een echte identiteit, hoe misdadig ze over $\R$ ook oogt. En in elke commutatieve ring met een element $\varepsilon$ waarvoor $\varepsilon^2 = 0$, knot de stelling af: $(a + \varepsilon)^n = a^n + n\,a^{n-1}\varepsilon$, want alle hogere termen dragen een factor $\varepsilon^2 = 0$. De coëfficiënt $n\,a^{n-1}$ van $\varepsilon$ is de afgeleide van $x^n$ — geen toeval, en een eerste aanwijzing dat afgeleiden evenzeer algebra als analyse zijn (vergelijk de formele afgeleide van Hoofdstuk 8).

Voorbeeld 7.23

$\Q$, $\R$ en $\C$ zijn lichamen; $\Z$ is een integriteitsdomein maar geen lichaam. In een integriteitsdomein mag je schrappen bij $\times$: uit $ab = ac$ en $a \neq 0$ volgt $b = c$.

Voorbeeld 7.26 (Hoeveel vierkantswortels van $1$?)

Los $x^2 = \overline 1$ op in $\Z/8\Z$ en in $\Z/7\Z$. De acht klassen modulo $8$ aflopen: $1^2 = 1$, $3^2 = 9 \equiv 1$, $5^2 = 25 \equiv 1$, $7^2 = 49 \equiv 1$ — vier oplossingen $\{\overline1, \overline3, \overline5, \overline7\}$, hoewel de veelterm $X^2 - 1$ graad $2$ heeft. In het lichaam $\Z/7\Z$ daarentegen betekent $x^2 = \overline1$ dat $(x - \overline1)(x + \overline1) = \overline0$, en een lichaam heeft geen nuldelers: $x = \pm\overline1$, slechts twee oplossingen. Het falen modulo $8$ is na te speuren: $(3-1)(3+1) = 2 \times 4 = 8 \equiv 0$ zonder dat een van beide factoren nul wordt. Moraal: de vertrouwde regel “een vergelijking van graad $d$ heeft hoogstens $d$ wortels” is een stelling over integriteitsdomeinen (Gevolg 8.8 bewijst haar over lichamen); in ringen met nuldelers faalt ze stilzwijgend — en precies daarom had het koppelbewijs van de stelling van Wilson (Oefening 6.11) een priem $p$ nodig.

Voorbeeld 7.27 (Rekenen in $\Z/n\Z$)

In $\Z/12\Z$ zijn de eenheden $\overline 1, \overline 5, \overline 7, \overline{11}$ (de klassen die relatief priem zijn met $12$), en elk is zijn eigen inverse ($5^2 = 25 \equiv 1$, $7^2 = 49 \equiv 1$, $11^2 = 121 \equiv 1$). De vergelijking $\overline 3\, x = \overline 6$ heeft drie oplossingen ($x \in \{\overline 2, \overline 6, \overline{10}\}$): zonder inverteerbaarheid mag je niet schrappen. In $\Z/11\Z$ daarentegen heeft elke vergelijking $\overline a x = \overline b$ met $\overline a \neq \overline 0$ precies één oplossing.

Voorbeeld 7.28 (De groepsaxioma’s als oplosvergunning)

Los in de groep $\bigl((\Z/7\Z)^*, \times\bigr)$ de vergelijking $\overline 3\,x = \overline 5$ op. Volgens Propositie 7.5 (3) bestaat de oplossing, is ze uniek en is ze gelijk aan $\overline3^{-1}\, \overline5$; omdat $\overline3 \times \overline5 = \overline{15} = \overline1$, is de inverse van $\overline 3$ gelijk aan $\overline 5$, zodat

Het gaat minder om het antwoord dan om de garantie: in een groep is elke zulke vergelijking al vóór enige berekening op precies één manier oplosbaar, zodat een oplosprocedure nooit op “geen oplossing” of “meerdere” kan stuiten. Vergelijk $\overline3\,x = \overline6$ in $\Z/12\Z$ hierboven, waar die garantie faalt — weten in welke structuur je zit, is weten wat je als vanzelfsprekend mag aannemen.

Voorbeeld 7.29 (Directe producten)

Zijn $G$ en $H$ groepen, dan is de productverzameling $G \times H$ met de componentsgewijze bewerking $(g, h)(g', h') = (gg', hh')$ een groep: de axioma’s ga je coördinaat voor coördinaat na, met neutraal element $(e_G, e_H)$ en inversen $(g^{-1}, h^{-1})$. Ordes combineren via het kgv: $(g, h)^m = (g^m, h^m)$ is het neutrale element precies wanneer de orde van $g$ en die van $h$ beide $m$ delen. Zo heeft in $\Z/2\Z \times \Z/2\Z$ (additief) elk element ongelijk aan nul orde $2$ — dat is precies de rechthoeksgroep van Voorbeeld 7.6 in coördinaten — terwijl $\Z/4\Z$ een element van orde $4$ bezit: een tweede, rekenvrij bewijs dat de twee groepen van grootte $4$ niet isomorf zijn (een isomorfisme bewaart ordes). Producten zijn de makkelijkste manier om uit oude groepen nieuwe te maken, en het vlak $\R^2 = \R \times \R$ van Hoofdstuk 18 is het belangrijkste geval van die constructie.