238 4. Theory and Application of Mixed Matrices
Proof. (1) and the “only if” part of (2) follow from the proof of Theorem
4.8.6. For the “if” part of (2), suppose that A can be brought to a proper
block-triangular matrix
˜
A with two or more nonempty blocks by a PE-
transformation. Then there exists ∅ = I ⊆ Row(
˜
A)and∅ = J ⊆ Col(
˜
A)
such that rank
˜
A[I,J]=0,rank
˜
A[Row(
˜
A) \ I,J]=|Row(
˜
A) \ I|,and
rank
˜
A[I,Col(
˜
A) \J]=|Col(
˜
A) \J|. The subspace W ∈Wthat corresponds
to J (as in (4.121)) satisfies p
PE
(W )=rankA − n. Furthermore, W = V if
m ≤ n and W =0ifm ≥ n.
If
˜
A is a proper block-triangular matrix obtained from A by a PE-
transformation and if, in addition, all the diagonal blocks
˜
A[R
k
,C
k
]for
k =0, 1, ···,b,∞ are PE-irreducible, we say that
˜
A is a PE-irreducible de-
composition of A, whereas the diagonal blocks
˜
A[R
k
,C
k
](k =0, 1, ···,b,∞)
are called the PE-irreducible components of A. The matrix
˜
A constructed
in the proof of Theorem 4.8.6 is a PE-irreducible decomposition due to the
maximality of the chain C. The PE-irreducible components of a partitioned
matrix are uniquely determined up to PE-transformations, as follows.
Theorem 4.8.11. The set of PE-irreducible components of a partitioned
matrix is unique to within PE-transformations of each component.
Proof. The proof relies on a module-theoretic argument, in particular, on the
Jordan–H¨older theorem for modules. See Ito–Iwata–Murota [138] for details.
4.8.3 Partial Order Among Blocks
For a block-triangular matrix in general a partial order is defined among
the blocks by the zero/nonzero structure of the off-diagonal blocks. Unlike
the CCF of LM-matrices, the partial order among the blocks is not uniquely
determined for partitioned matrices. Recall, by contrast, that the CCF gives a
unique decomposition of an LM-matrix that is finest not only with respect to
the partition into blocks but also with respect to the partial order among the
blocks. Mathematically, the nonuniqueness of the partial order for partitioned
matrices is ascribed to the nondistributivity of the lattice L
min
(p
PE
)ofthe
minimizers of the PE-surplus function p
PE
, whereas the uniqueness for LM-
matrices is due to the distributivity of the lattice L
min
(p) of the minimizers
of the LM-surplus function p.
Let A be a partitioned matrix, as in §4.8.1, and
˜
A = S
r
−1
AS
c
be a proper
block-triangular matrix obtained from A by a PE-transformation. Denote by
(R
0
; R
1
, ···,R
b
; R
∞
) and (C
0
; C
1
, ···,C
b
; C
∞
) the partitions of R =Row(
˜
A)
and C = Col(
˜
A), respectively. The partial order defined among the blocks
is the reflexive and transitive closure of the relation given by: C
k
C
l
if
˜
A[R
k
,C
l
] = O with the convention (2.15). We denote this partially ordered
set ({C
0
; C
1
, ···,C
b
; C
∞
}, )byP(
˜
A). The order ideals of P(
˜
A) constitute a