LemmaStatement: Literature-sourcedProof: AI-adaptedSession-authored (Fable 5 assisted)precheck passjudge pass (gpt-5.6-terra)audited 2026-08-28

How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

The center of $M_{n} (k)$ consists of the scalar matrices

Statement

Let $k$ be a field and let $n \geq 1$ . Then

Z (M_{n} (k)) = {λ I_{n} : λ \in k} .

Facts & Assumptions

Given: A field $k$ and an integer $n \geq 1$ .

[L1]

Matrix multiplication is given by $(A B)_{i k} = \sum_{j < n} a_{i j} b_{j k},$ and $I_{n}$ is the identity matrix (Entrywise ring-matrix operations, rectangular matrix products, identity matrices and transpose).

Proof

technique · direct

1.1

Let $X = (x_{a b}) \in Z (M_{n} (k))$ . For each $i$ , let $E_{i i}$ be the diagonal matrix with a single $1$ in position $(i, i)$ . Because $E_{i i} X = X E_{i i}$ and [L1] computes matrix products entrywise, the $(a, b)$ -entry comparison shows $x_{a b} = 0$ whenever $a \neq b$ . So $X$ is diagonal.

L1givenalgebra

2.1

Write $X = diag (d_{1}, \dots, d_{n})$ . For $i \neq j$ , let $E_{i j}$ be the matrix unit with a single $1$ in position $(i, j)$ . Then [L1] gives $E_{i j} X = d_{j} E_{i j}, X E_{i j} = d_{i} E_{i j} .$ Since $X$ is central, these are equal, so $d_{i} = d_{j}$ for all $i, j$ . Thus $X = λ I_{n}$ for one scalar $λ \in k$ . Conversely every scalar matrix commutes with every matrix because scalar multiplication is entrywise and $I_{n}$ is the identity from [L1]. Hence the center consists exactly of the scalar matrices.

step 1.1L1givenalgebra∎

Depends on

Used by

If k is algebraically closed and char k ∤ |G|, the number of irreducible representations of G equals the number of conjugacy classes Theorem

Dependency tree · two levels

5 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources

Peter Webb, A Course in Finite Group Representation Theory, Lemma 3.4.1(1) (standard reference, not scraped)

The center of Mn(k)Mn​(k) consists of the scalar matrices