Matrices over finite fields of odd characteristic as sums of diagonalizable and square-zero matrices

Titel: Matrizen über endlichen Körpern ungerader Charakteristik als Summen diagonalisierbarer und quadrat-null Matrizen

Autoren: Peter Danchev, Esther García, Miguel Gómez Lozano

---

1. Problemstellung und Hintergrund

Das Papier untersucht die Zerlegbarkeit von quadratischen Matrizen $A$ über einem endlichen Körper $\mathbb{F}$ ungerader Charakteristik in die Form:
$$A = D + M$$
wobei:

• $D$ eine diagonalisierbare Matrix ist (was über endlichen Körpern der Ordnung $q$ äquivalent dazu ist, dass $D^q = D$, also $D$ eine $q$-potente Matrix ist).
• $M$ eine quadrat-null (square-zero) Matrix ist, d.h. $M^2 = 0$.

Dieses Problem wurde von Breaz (2018) aufgeworfen, der fragte, ob für hinreichend große Ordnungen $n \ge 3$ über endlichen Körpern ungerader Mächtigkeit $q$ jede Matrix eine solche Zerlegung zulässt. Bisherige Ergebnisse zeigten, dass dies für unendliche Körper und für $|F| \ge n+1$ gilt, ließen jedoch Fragen für kleine endliche Körper offen.

2. Methodik

Die Autoren verwenden eine Kombination aus algebraischer Strukturtheorie und konstruktiven Beweisen:

• Rationale kanonische Form: Da die Eigenschaft der Zerlegbarkeit unter Ähnlichkeitstransformationen invariant ist, wird die Untersuchung auf die Begleitmatrizen (Companion Matrices) der invarianten Faktoren der Matrix $A$ reduziert.
• Konstruktive Beweise: Für nicht-derogatorische Matrizen (Matrizen, bei denen Minimalpolynom = charakteristisches Polynom) wird explizit eine quadrat-null Matrix $M$ konstruiert, sodass $A+M$ diagonalisierbar wird. Dies geschieht durch die Definition spezifischer Basen und die Berechnung der Eigenwerte der resultierenden Matrix.
• Fallunterscheidung: Die Analyse unterscheidet zwischen der Spur der Matrix ($\text{Trace}(A)$), der Ordnung $n$ (gerade/ungerade) und der Größe des Körpers ($q \ge 5$ vs. $q=3$).
• Widerspruchsbeweise: Für die negativen Ergebnisse bei $q=3$ werden algebraische Identitäten genutzt, um zu zeigen, dass eine solche Zerlegung zu einem Widerspruch führt (insbesondere $M=0$, was unmöglich ist, da $A$ nicht diagonalisierbar ist).

3. Hauptergebnisse

A. Körper mit $q \ge 5$ (Positive Ergebnisse)

• Hauptsatz (Theorem 2.2): Für jeden endlichen Körper $\mathbb{F}$ ungerader Charakteristik mit $|F| = q \ge 5$ lässt sich jede Matrix $A \in M_n(\mathbb{F})$ (für beliebiges $n$) als Summe $D + M$ zerlegen, wobei $D$ diagonalisierbar und $M^2=0$.
• Beweisgrundlage:
  • Für Matrizen der Ordnung $n \le 4$ folgt dies aus früheren Arbeiten (Lemma 3.1 und Theorem 3.6 in [6]).
  • Für nicht-derogatorische Matrizen der Ordnung $n \ge 5$ wird in Proposition 2.1 gezeigt, dass man durch Addition einer geeigneten quadrat-null Matrix $M$ eine Matrix erhält, die diagonalisierbar ist.
  • Die Konstruktion von $M$ hängt von der Spur ab:
    • Ist $\text{Trace}(A) \neq 0$, erhält $A+M$ die Eigenwerte $\{0, u, -u\}$.
    • Ist $\text{Trace}(A) = 0$ und $n$ ungerade, erhält $A+M$ die Eigenwerte $\{0, 1, -1\}$.
    • Ist $\text{Trace}(A) = 0$, $n$ gerade und $q \ge 5$, erhält $A+M$ bis zu 4 verschiedene Eigenwerte.

B. Der Körper $\mathbb{F}_3$ (Nuancierte Ergebnisse und Gegenbeispiele)

Für den kleinsten Körper ungerader Charakteristik ($q=3$) ist die Situation komplexer:

• Positive Ergebnisse (Proposition 3.1 & Korollar 3.3):
  • Nicht-derogatorische Matrizen über $\mathbb{F}_3$ lassen sich zerlegen, sofern sie nicht der Begleitmatrix eines irreduziblen Polynoms vom Grad 3 mit nicht-verschwindender Spur ähnlich sind.
  • Dies gilt insbesondere für Matrizen, deren erste invariante Faktor kein solches "schlechtes" Polynom ist.
• Negative Ergebnisse (Proposition 3.5 & Korollar 3.4):
  • Es gibt Gegenbeispiele. Matrizen, die als direkte Summe von Begleitmatrizen desselben irreduziblen Polynoms vom Grad 3 mit nicht-verschwindender Spur (über $\mathbb{F}_3$) dargestellt werden können, lassen sich nicht in $D+M$ zerlegen.
  • Dies widerlegt die Vermutung, dass für "hinreichend große" $n$ eine Zerlegung immer existiert. Für $q=3$ und $n=3k$ ($k \ge 1$) existieren solche nicht-zerlegbaren Matrizen.

4. Technische Details der Konstruktion

In Proposition 2.1 wird für eine nicht-derogatorische Matrix $A$ (in Begleitmatrix-Form) eine Matrix $M$ definiert, deren Einträge $m_{ij}$ spezifische Werte annehmen (z.B. $m_{k+1,k} = -1$, $m_{k-1,k} = u_{n-1}^2$ etc.).

• Es wird explizit nachgewiesen, dass $M^2 = 0$.
• Durch einen Basiswechsel wird gezeigt, dass $A+M$ in eine direkte Summe von Blöcken zerfällt, die Polynome wie $x^2-1$, $x^2-u^2$ oder $x^3-u^2x$ erfüllen. Da diese Polynome über $\mathbb{F}_q$ ($q \ge 5$) separabel sind und keine mehrfachen Nullstellen haben, ist $A+M$ diagonalisierbar.

5. Bedeutung und Fazit

• Lösung der Breaz-Frage: Das Papier beantwortet die von Breaz gestellte Frage vollständig.
  • Für $q \ge 5$: Ja, jede Matrix lässt sich zerlegen.
  • Für $q = 3$: Nein, nicht für alle Matrizen. Es gibt unendliche Familien von Gegenbeispielen (direkte Summen von Begleitmatrizen irreduzibler Polynome vom Grad 3 mit nicht-verschwindender Spur).
• Vollständigkeit: Die Arbeit klassifiziert exakt, welche Matrizen über $\mathbb{F}_3$ die Eigenschaft besitzen und welche nicht.
• Ausblick: Die Autoren verweisen auf offene Probleme für Körper der Charakteristik 2. Während bekannt ist, dass Matrizen über $\mathbb{F}_2$ als Summe einer Idempotenz- und einer nilpotenten Matrix darstellbar sind, gibt es Gegenbeispiele für die Zerlegung in $D+M$ (mit $D^2=D$). Die Frage bleibt offen, ob dies für Körper $\mathbb{F}_{2^i}$ ($i \ge 2$) anders ist.

Zusammenfassend liefert das Papier eine vollständige Charakterisierung der Zerlegbarkeit von Matrizen in diagonalisierbare und quadrat-null Komponenten über endlichen Körpern ungerader Charakteristik und schließt damit eine wichtige Lücke in der linearen Algebra endlicher Körper.