On a vu au chapitre Groupes diédraux que (si n ≥ 3) D_2n est isomorphe au sous-groupe D de S_Z/nZ formé par les permutations x ↦ ax + b, avec a, b ∈ Z/nZ, a ∈ {1, - 1} (où les notations 1 et - 1 correspondent à la structure d'anneau de Z/nZ). D'autre part, on a vu dans un exemple du chapitre théorique sur l'holomorphe d'un groupe que Hol(Z/nZ) est le sous-groupe de S_Z/nZ formé par les permutations x ↦ ax + b, où a parcourt les éléments inversibles de l'anneau Z/nZ et b tous les éléments de Z/nZ. Comme les éléments 1 et - 1 de Z/nZ sont inversibles dans l'anneau Z/nZ, D est sous-groupe de Hol(Z/nZ), d'où l'énoncé.

Si n est un des nombres 3, 4 et 6, alors φ(n) (indicateur d'Euler) est égal à 2, donc, d’après le chapitre Automorphismes d'un groupe cyclique, Aut(Z/nZ) est d'ordre 2. Puisque Hol(Z/nZ) est isomorphe à un produit semi-direct de Z/nZ par Aut(Z/nZ), Hol(Z/nZ) est donc d'ordre 2n. D'autre part, d’après l'exercice précédent, D_2n est isomorphe à un sous-groupe D de Hol(Z/nZ). Hol(Z/nZ) et son sous-groupe D sont tous deux d'ordre 2n, donc ils sont égaux, donc Hol(Z/nZ) est isomorphe au groupe diédral D_2n.

On a vu dans le chapitre théorique que G^l est normal dans Hol G, ce qui revient à dire que Hol G est contenu dans le normalisateur ${\displaystyle N_{S_{G}}(G^{l})}$ de G^l dans S_G. Prouvons l'inclusion réciproque. Soit σ un élément de S_G normalisant G^l; il s'agit de prouver que σ appartient à Hol G.
Puisque σ normalise G^l, nous avons σ G^l σ^-1 = G^l, d'où, a fortiori, σ G^l σ^-1 ⊆ G^l. Ceci revient à dire que, pour tout élément g de G,

σ g^l σ^-1 ∈ G^l.

Cela revient encore à dire que, pour tout élément g de G,

σ g^l ∈ G^l σ.

Autrement dit encore :

(1) pour tout élément g de G, il existe un élément t_g de G tel que, pour tout élément x de G,

σ( gx ) = t_g σ( x ).

En faisant x = 1, nous trouvons

t_g = σ( g ) σ( 1 )^-1,

donc le résultat (1) revient à dire que pour tous éléments g, x de G,

(2) σ( gx ) = σ( g ) σ( 1 )^-1 σ( x ).

Il en résulte que l’application x ↦ σ( 1 )^-1 σ( x ) est un endomorphisme de G En effet, pour tous éléments g, x de G, nous avons, d’après (2)

σ( 1 )^-1 σ( gx ) = σ( 1 )^-1 (σ( g ) σ( 1 )^-1 σ( x ))

σ( 1 )^-1 σ( gx ) = (σ( 1 )^-1 σ( g ) ) (σ( 1 )^-1 σ( x ) ),

ce qui prouve bien que l’application x ↦ σ( 1 )^-1 σ( x ) est un endomorphisme de G. Cet endomorphisme est une permutation de G, à savoir la permutation (σ( 1 )^-1)^l ∘ σ, donc c’est un automorphisme de G. Si φ désigne cet automorphisme, nous avons σ = σ( 1 )^l ∘ φ, donc σ appartient à Hol G, ce qu’il fallait démontrer.

Puisque <a> est un sous-groupe d'ordre n et donc d'indice 2 de G, il est normal dans G (ce qui peut aussi se déduire de bab^-1 = a^-1). Donc, puisque <a> et <b> engendrent G, G = <a> <b>, donc tout élément de G est de la forme a^s b^t avec s, t ∈ Z, ce qui, d’après notre convention de notation, revient à dire que tout élément de G est de la forme aⁱ b^j avec i ∈ Z/nZ et j ∈ Z/2Z.
L'application (i, j) ↦ aⁱ b^j de Z/nZ × Z/2Z dans G est donc surjective. Puisque l’ensemble de départ et l’ensemble d'arrivée de cette application ont le même cardinal 2n, cette application est donc bijective. La première assertion de l'énoncé est donc démontrée.
Soit k un entier rationnel. Puisque x ↦ b x b^-1 définit un automorphisme de G,

ba^kb^-1 = ( bab^-1)^k = (a^-1)^k = a^-k.

Puisque tout entier rationnel j est congru à 0 ou à 1 modulo 2, on a donc, pour tout j ∈ Z,

${\displaystyle b^{j}a^{k}b^{-j}=a^{(-1)^{j}k},}$

ce qui est encore vrai si k désigne un élément de Z/nZ et j un élément de Z/2Z.
Cela peut encore s'écrire

${\displaystyle b^{j}a^{k}=a^{(-1)^{j}k}b^{j},}$

d'où, pour i, k dans Z/nZ et j, l dans Z/2Z

${\displaystyle (a^{i}b^{j})(a^{k}b^{l})=a^{i}(b^{j}a^{k})b^{l}}$

${\displaystyle (a^{i}b^{j})(a^{k}b^{l})=a^{i}(a^{(-1)^{j}k}b^{j})b^{l}}$

${\displaystyle (a^{i}b^{j})(a^{k}b^{l})=a^{i+(-1)^{j}k}b^{j+l},}$

ce qui prouve la seconde assertion de l'énoncé.

D'après la « table de multiplication » de G et de H construite au point a), l'application

aⁱ b^j ↦ a'ⁱ b'^j

est un homomorphisme de G dans H et c’est clairement le seul homomorphisme de G dans H qui applique a sur a' et b sur b'. Donc il existe un et un seul homomorphisme de G dans H qui applique a sur a' et b sur b'. De même, il existe un et un seul homomorphisme de H dans G qui applique a' sur a et b' sur b. Ces deux homomorphismes sont réciproques et sont donc des isomorphismes, ce qui achève de prouver l'énoncé.

Cela résulte du point b), car si on pose a'' = a'^j et b'' = a'ⁱ b', alors a'' est un élément d'ordre n de H et b'' un élément de H \ <a'> = H \ <a''>.

Pour tout automorphisme σ de D_2n, σ(a) est d'ordre 2n et σ(b) ∈ σ(D_2n \ <a>) = D_2n \ <σ(a)>. Puisque n est supposé au moins égal à 3, D_2n ne contient qu'un sous-groupe d'ordre n, donc σ(a) est de la forme a^j pour un certain élément j de (ℤ/nℤ)^*, d'où <σ(a)> = <a>, donc la relation σ(b) ∈ D_2n \ <σ(a)> peut s'écrire σ(b) ∈ D_2n \ <a>, donc σ(b) est de la forme aⁱ b pour un certain élément i de ℤ/nℤ. Donc σ = σ_i,j, ce qui montre que (i, j) ↦ σ_i,j définit une surjection du produit cartésien ℤ/nℤ × (ℤ/nℤ)^* sur Aut(D_2n).
Prouvons que cette surjection est injective. Soient i, i' des éléments de ℤ/nℤ et j, j' des éléments de (ℤ/nℤ)^* tels que σ_i,j = σ_i',j'; il s'agit de prouver que i = i' et j = j'. Nous avons tout d’abord σ_i,j (b) = σ_i',j' (b), c'est-à-dire aⁱ b = a^i' b, d'où aⁱ = a^i', d'où i = i'; ensuite, σ_i,j (a) = σ_i',j' (a), c'est-à-dire a^j = a^j', d'où j = j'.
Nous avons donc prouvé que (i, j) ↦ σ_i,j définit une bijection du produit cartésien ℤ/nℤ × (ℤ/nℤ)^* sur Aut(D_2n). Il reste à prouver que cete bijection est un homomorphisme (et donc un isomorphisme) de ℤ/nℤ ⋊ (ℤ/nℤ)^* sur Aut(D_2n) (où le produit semi-direct ⋊ est précisé comme dans l'énoncé). Soient i, k ∈ ℤ/nℤ et j, l ∈ (ℤ/nℤ)^*. Alors

σ_i,j ∘ σ_k,l (a) = σ_i,j (a^l) = a^jl

et

σ_i,j ∘ σ_k,l (b) = σ_i,j (a^kb) = σ_i,j(a^k) σ_i,j (b) = a^jk aⁱ b = a^i+jkb,

donc σ_i,j ∘ σ_k,l = σ_{i + jk, jl} ce qui montre bien que la bijection (i, j) ↦ σ_i,j du produit cartésien ℤ/nℤ × (ℤ/nℤ)^* sur Aut(D_2n) est un isomorphisme de ℤ/nℤ ⋊ (ℤ/nℤ)^* sur Aut(D_2n).

D'après le point d), Aut(D_2n) est isomorphe au produit semi-direct externe ℤ/nℤ ⋊ (ℤ/nℤ)^* de ℤ/nℤ par (ℤ/nℤ)^* relatif à l'opération

(ℤ/nℤ)^* × ℤ/nℤ → ℤ/nℤ : (j, x) ↦ j x

de (ℤ/nℤ)^* sur ℤ/nℤ.
D'autre part, nous avons vu dans le chapitre théorique que Hol(ℤ/nℤ) est isomorphe au produit semi-direct externe de ℤ/nℤ par Aut(ℤ/nℤ) relatif à l'opération naturelle de Aut(Z/nZ) sur ℤ/nℤ. Pour démontrer l'énoncé, il suffit donc de prouver que les deux opérations en question sont équivalentes (ou, dans une autre terminologie, quasi équivalentes) comme opérations par automorphismes.
On a vu au chapitre Automorphismes d'un groupe cyclique que

(ℤ/nℤ)^* → Aut(ℤ/nℤ) : m_j : x ↦ jx

est un isomorphisme de groupes. L'équivalence des deux opérations considérées (via cet isomorphisme et l'isomorphisme identique de Z/nZ sur lui-même) s'en déduit facilement.