Magische 4x4-Quadrate und
Gruppeneigenschaften

Ein natürliches magisches Quadrat der Ordnung 4 besitzt 880 Grundformen und 7 mal 880 weitere Darstellungsformen, die durch Spiegelungen und Drehungen aus den Grundformen hervorgehen. Das heißt, es gibt insgesamt 7040 verschiedene Darstellungsformen. Auf jede der 880 Grundformen können die Abbildungen der Diedergruppe D₄ angewandt werden.
Die Zeilen-, Spalten- bzw. Diagonal-Summe des magischen 4x4-Quadrats beträgt 34.

1. Gruppeneigenschaften bei symmetrischen magischen Quadraten

Die verschiedenen Grundformen besitzen teilweise ebenfalls Gruppeneigenschaften bezüglich der Abbildungen, die die Grundformen ineinander überführen.
Zunächst wird eine spezielle Untergruppe von Abbildungen der Ordnung 8 bei symmetrischen magischen Quadraten dargestellt, bei der die Eckwerte 1, 4, 13, 16 (im Uhrzeigersinn) fest bleiben.

Bezeichnungen:

I : identische Abbildung (vorgegebene Grundform: symmetrisches magisches Quadrat)

A, B, C : vorgegebene elementare Abbildungen (s.u.)

o : Verknüpfung (Hintereinanderausführung) zweier Abbildungen von links nach rechts

G₈ = { I, A, B, C, AoB, AoC, BoC, AoBoC } bildet eine Untergruppe der Ordnung 8. Die Untergruppe wird von den elementaren Abbildungen A, B und C erzeugt. Die Quadrate bleiben dabei symmetrische magische Quadrate.

Folgende Verknüpfungstafel stellt eine Gruppentafel dar, wobei die 1. Abbildung in der linken Spalte steht:

Bemerkung:

Die Untergruppe der Ordnung 8 ist ähnlich strukturiert wie die Diedergruppe der Ordnung 8 .

Es gibt hier jedoch keine zyklische Untergruppe, d.h. es fehlen als Abbildungen die Drehungen.
Die Gruppentafel ist symmetrisch bezüglich der Diagonalen durch I aufgebaut.
Dies ist begründet durch die Gültigkeit des Kommutativ- und Assoziativgesetzes.

Durch Hinzunahme der elementaren Abbildung D entsteht eine Untergruppe mit 16 Elementen.

G₁₆ = { I, A, B, C, D, AoB, AoC, AoD, BoC, BoD, CoD, AoBoC, AoBoD, AoCoD, BoCoD, AoBoCoD } bildet eine Untergruppe der Ordnung 16. Die Untergruppe wird von den elementaren Abbildungen A, B, C und D erzeugt und besitzt 6 Zweifachverknüpfungen, 4 Dreifachverknüpfungen und eine Vierfachverknüpfung.

Folgende Verknüpfungstafel stellt die zugehörige, zur Diagonalen durch I symmetrische Gruppentafel dar:

Bemerkung:

Die Gruppe G₈ ist eine Untergruppe von G₁₆ .

Durch Hinzunahme der elementaren Abbildung E entsteht eine Gruppe G₃₂der Ordnung 32, in der die vorhergehenden Gruppen als Untergruppen enthalten sind. Die Gruppe G₃₂ wird von 5 elementaren Abbildungen erzeugt und besitzt neben der identischen Abbildung 10 Zweifachverknüpfungen, 10 Dreifachverknüpfungen, 5 Vierfachverknüpfungen und eine Fünffachverknüpfung. Die Quadrate bleiben dabei symmetrische magische Quadrate.

Bemerkungen:

Die aufgeführten Abbildungsgruppen erfassen nur einen kleinen Teil aller Abbildungsgruppen.

Durch die Hinzunahme weiterer elementarer Abbildungen können die Abbildungsgruppen erweitert werden.
Die Verknüpfung zweier Abbildungen, die jeweils ein symmetrisches magisches Quadrat erzeugen, muss nicht wieder ein magisches Quadrat ergeben. Es kann auch ein eingeschränkt magisches Quadrat, z.B. halbmagisches Quadrat, entstehen.

Mit Hilfe der Matrizenschreibweise lassen sich Abbildungen leichter verknüpfen. Falls die erste und vierte Zeile des magischen Quadrats bei der Verknüpfung keine Rolle spielen, z.B.

A o C

2. Gruppeneigenschaften bei pandiagonalen magischen Quadraten

Es gibt insgesamt 48 verschiedene Grundformen von pandiagonalen magischen (panmagischen) Quadraten.

Werden die Grundformen mit Hilfe der Diedergruppe D₄ gespiegelt und gedreht, entstehen insgesamt 48 * 8 = 384 verschiedene Darstellungsformen pandiagonaler magischer Quadrate. Die folgenden pandiagonalen magischen Quadrate sind außerdem symmetrisch und vollkommen perfekt.

Bezeichnungen:

I : identische Abbildung (vorgegebene Grundform: pandiagonales magisches Quadrat)

K, L : vorgegebene elementare Abbildungen (s.u.)

o : Verknüpfung (Hintereinanderausführung) zweier Abbildungen

Folgende nicht-kommutative Gruppe H₆ der Ordnung 6 ist eine Untergruppe der Abbildungsgruppe, die alle 384 Formen erzeugt.
H₆ = { I, K, L, KoL, LoK, KoLoK }

Es gilt: KoLoK = LoKoL

(KoL)² = (KoL)o(KoL) = (KoLoK)oL = (LoKoL)oL = (LoK)o(LoL) = LoK
(LoK)² = (LoK)o(LoK) = KoL

Zugehörige nicht-kommutative Gruppentafel:

Folgende zyklische Gruppe Z₄ = { X, X², X³, X⁴ = I } der Ordnung 4 ist eine Untergruppe der Abbildungsgruppe, die alle 48 verschiedenen Grundformen erzeugt.

Erzeugende Abbildung X: Zugehörige Gruppentafel mit X²= XoX, usw.: