对角矩阵是指对角线以外的元素都是零的矩阵，且一定是方阵。A.对A.错

对角矩阵的定义包含两个关键点：

1. 必须是方阵（行数等于列数）；
2. 非对角线元素全为零。

题目中明确指出这两个条件，因此判断正确。

对角矩阵的定义要求：

1. 方阵：行数和列数相等；
2. 非对角线元素为零：仅主对角线上的元素可以非零。

题目描述完全符合定义，因此答案正确。