THE BOOLEAN IDEMPOTENT MATRICES. Hong Youl Lee and Se Won Park. 1. Introduction

Similar documents
RANK AND PERIMETER PRESERVER OF RANK-1 MATRICES OVER MAX ALGEBRA

ACI-matrices all of whose completions have the same rank

1182 L. B. Beasley, S. Z. Song, ands. G. Lee matrix all of whose entries are 1 and =fe ij j1 i m 1 j ng denote the set of cells. The zero-term rank [5

Central Groupoids, Central Digraphs, and Zero-One Matrices A Satisfying A 2 = J

Sang Gu Lee and Jeong Mo Yang

Nonnegative Matrices I

J. Korean Math. Soc. 30 (1993), No. 2, pp. 267{274 INDICES OF IRREDUCIBLE BOOLEAN MATRICES Han Hyuk Cho 1.Introduction Let = f0 1g be the Boolean alge

Sparse spectrally arbitrary patterns

COLUMN RANKS AND THEIR PRESERVERS OF GENERAL BOOLEAN MATRICES

Intrinsic products and factorizations of matrices

CONVERGENCE OF MULTISPLITTING METHOD FOR A SYMMETRIC POSITIVE DEFINITE MATRIX

ON HOCHSCHILD EXTENSIONS OF REDUCED AND CLEAN RINGS

Matrix Algebra 2.1 MATRIX OPERATIONS Pearson Education, Inc.

Math 4377/6308 Advanced Linear Algebra

1 Multiply Eq. E i by λ 0: (λe i ) (E i ) 2 Multiply Eq. E j by λ and add to Eq. E i : (E i + λe j ) (E i )

A NOTE ON THE DOMINATION NUMBER OF THE CARTESIAN PRODUCTS OF PATHS AND CYCLES. 1. Introduction

Invertible Matrices over Idempotent Semirings

Linear Equations in Linear Algebra

Minimum number of non-zero-entries in a 7 7 stable matrix

Determinants of Partition Matrices

LIFTED CODES OVER FINITE CHAIN RINGS

RATIONAL REALIZATION OF MAXIMUM EIGENVALUE MULTIPLICITY OF SYMMETRIC TREE SIGN PATTERNS. February 6, 2006

Matrix Completion Problems for Pairs of Related Classes of Matrices

Modified Gauss Seidel type methods and Jacobi type methods for Z-matrices

CLASSIFICATION OF TREES EACH OF WHOSE ASSOCIATED ACYCLIC MATRICES WITH DISTINCT DIAGONAL ENTRIES HAS DISTINCT EIGENVALUES

The System of Linear Equations. Direct Methods. Xiaozhou Li.

CS100: DISCRETE STRUCTURES. Lecture 3 Matrices Ch 3 Pages:

The following two problems were posed by de Caen [4] (see also [6]):

Refined Inertia of Matrix Patterns

Prime and Irreducible Ideals in Subtraction Algebras

A SIMPLIFIED FORM FOR NEARLY REDUCIBLE AND NEARLY DECOMPOSABLE MATRICES D. J. HARTFIEL

Matrices: 2.1 Operations with Matrices

Matrices and Vectors

Discrete Applied Mathematics

Components and change of basis

Relations Graphical View

Recitation 8: Graphs and Adjacency Matrices

LARGE SCHRÖDER PATHS BY TYPES AND SYMMETRIC FUNCTIONS

Kernels of Directed Graph Laplacians. J. S. Caughman and J.J.P. Veerman

A NEW EFFECTIVE PRECONDITIONED METHOD FOR L-MATRICES

A classification of sharp tridiagonal pairs. Tatsuro Ito, Kazumasa Nomura, Paul Terwilliger

Section 5.6. LU and LDU Factorizations

Adjoint Representations of the Symmetric Group

Detailed Proof of The PerronFrobenius Theorem

MATH 1210 Assignment 4 Solutions 16R-T1

Scientific Computing WS 2018/2019. Lecture 9. Jürgen Fuhrmann Lecture 9 Slide 1

Notes. Relations. Introduction. Notes. Relations. Notes. Definition. Example. Slides by Christopher M. Bourke Instructor: Berthe Y.

Relationships between the Completion Problems for Various Classes of Matrices

A ROLE FOR DOUBLY STOCHASTIC MATRICES IN GRAPH THEORY

A graph theoretic approach to matrix inversion by partitioning

BRUNO L. M. FERREIRA AND HENRIQUE GUZZO JR.

arxiv: v2 [math.ra] 6 Feb 2012

1 Counting spanning trees: A determinantal formula

This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and

Arithmetic properties of the adjacency matrix of quadriculated disks

Permutation transformations of tensors with an application

This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and

THE NUMBER OF INDEPENDENT DOMINATING SETS OF LABELED TREES. Changwoo Lee. 1. Introduction

Linear Algebra Solutions 1

L(3, 2, 1)-LABELING FOR CYLINDRICAL GRID: THE CARTESIAN PRODUCT OF A PATH AND A CYCLE. Byeong Moon Kim, Woonjae Hwang, and Byung Chul Song

Z-Pencils. November 20, Abstract

The Solution of Linear Systems AX = B

Ann. Funct. Anal. 5 (2014), no. 2, A nnals of F unctional A nalysis ISSN: (electronic) URL:

On Regularity of Incline Matrices

Spectrally arbitrary star sign patterns

Lecture Notes 1: Matrix Algebra Part C: Pivoting and Matrix Decomposition

Mathematics 13: Lecture 10

Jordan Journal of Mathematics and Statistics (JJMS) 5(3), 2012, pp A NEW ITERATIVE METHOD FOR SOLVING LINEAR SYSTEMS OF EQUATIONS

Mi-Hwa Ko. t=1 Z t is true. j=0

DO ISOMORPHIC STRUCTURAL MATRIX RINGS HAVE ISOMORPHIC GRAPHS?

LeRoy B. Beasley and Alexander E. Guterman

Chapter 2: Matrix Algebra

Quivers of Period 2. Mariya Sardarli Max Wimberley Heyi Zhu. November 26, 2014

Matrix Algebra. Matrix Algebra. Chapter 8 - S&B

Eigenvectors Via Graph Theory

Projective modules: Wedderburn rings

SOLUTION OF GENERALIZED LINEAR VECTOR EQUATIONS IN IDEMPOTENT ALGEBRA

Final Project # 5 The Cartan matrix of a Root System

Elementary Row Operations on Matrices

Completions of P-Matrix Patterns

1 Determinants. 1.1 Determinant

A Characterization of (3+1)-Free Posets

ARTICLE IN PRESS European Journal of Combinatorics ( )

AN ELEMENTARY PROOF OF THE SPECTRAL RADIUS FORMULA FOR MATRICES

arxiv: v1 [math.rt] 4 Dec 2017

OPTIMAL SCALING FOR P -NORMS AND COMPONENTWISE DISTANCE TO SINGULARITY

Minimizing the Laplacian eigenvalues for trees with given domination number

DEN: Linear algebra numerical view (GEM: Gauss elimination method for reducing a full rank matrix to upper-triangular

Sparsity of Matrix Canonical Forms. Xingzhi Zhan East China Normal University

On minors of the compound matrix of a Laplacian

arxiv: v1 [math.ra] 23 Feb 2018

5.1 Banded Storage. u = temperature. The five-point difference operator. uh (x, y + h) 2u h (x, y)+u h (x, y h) uh (x + h, y) 2u h (x, y)+u h (x h, y)

Linear Algebra Section 2.6 : LU Decomposition Section 2.7 : Permutations and transposes Wednesday, February 13th Math 301 Week #4

Spectral Properties of Matrix Polynomials in the Max Algebra

Notes on Linear Algebra and Matrix Theory

Acyclic Digraphs arising from Complete Intersections

AMS526: Numerical Analysis I (Numerical Linear Algebra)

Spectra of Semidirect Products of Cyclic Groups

Math 240 Calculus III

Mobius Inversion of Random Acyclic Directed Graphs

Transcription:

J. Appl. Math. & Computing Vol. 15(2004), No. 1-2. pp. 475-484 THE BOOLEAN IDEMPOTENT MATRICES Hong Youl Lee and Se Won Park Abstract. In general, a matrix A is idempotent if A 2 = A. The idempotent matrices play an important role in the matrix theory and some properties of the Boolean matrices are examined. Using the upper diagonal completion process, we give the characterization of the Boolean idempotent matrices in modified Frobenius normal form. AMS Mathmatics Subject Classification : 15A15. Key words and phrases : Matrix, Boolean idempotent, Frobenious normal form. 1. Introduction In this paper we present the characterization of the Boolean idempotent matrices. For a pioneering work on the matrix theory, see [1],[4],[5],[6]. For further development of theory of Boolean matrices, the reader is referred to [2],[3]. In order to develop the properties of Boolean idempotent matrix, we must begin with the concept of Boolean algebra. The definition of a Boolean algebra which we are about to present is based on the structure introduced by E. V. Huntington in 1904. The Boolean algebra of two elements is most frequently used in applications and all other finite Boolean algebras are simply direct sums of copies of it. Moreover we show that by homomorphisms the theory of matrices over any Boolean algebra reduces to the two elements case. Thus we will primarily work with the two elements Boolean algebra in this paper. We shall use β 0 to denote the set {0, 1} with three opertations +,, c defined by as follows: Received September 4, 2003. Revised January 15, 2004. This paper was supported by Woosuk University. c 2004 Korean Society for Computational & Applied Mathematics and Korean SIGCAM. 475

476 Hong Youl Lee and Se Won Park 0+0=0 1=1 0=0 0=0, 1+0=0+1=1+1=1 1=1, 0 c =1, and 1 c =0. By a Boolean matrix we mean matrix over β 0. Such a matrix can be interpreted as a binary relation. Here we shall say what a Boolean matrix is and how Boolean matrices are added and multiplied. (The method is really the same as for matrices of complex numbers except that addition and multiplication of individual entries is Boolean). Definition 1.1. Let A be an n n Boolean matrix. The matrix A is Boolean idempotent if A 2 = A Since the order of the matrix is clear from the context, most of the time we suppress the order of the matrix. Matrix addition and multiplication are the same as in the case of complex matrices but the concerned sums and products of elements are Boolean. The concepts such as transpose, symmetricity, and idempotency, etc., are the same as in the case of real or complex matrices. Example 1.2. If A = 1 1 1 1 0 1, B = 1 1 1 1 1 1, 0 1 0 0 1 1 then A + B = 1 1 1 1 1 1, AB = 1 1 1 1 1 1. 0 1 1 1 1 1 The matrix of the composition of two binary relations will be the Boolean product of the matrices of the relations. Furthermore, we can interpret a Boolean matrix as a graph. Definition 1.3. The adjacency matrix A G of a digraph G is (0, 1)-matrix such that a ij =1if there is an arc from vertex v i to v j and a ij =0otherwise. Dually, a digraph G is determined by the Boolean matrix A G. 2. Irreducible Boolean idempotent matrices

The Boolean Idempotent Matrices 477 First we examine some basic properties of Boolean idempotent matrices. They are useful in the following discussion. We know that all 1 1 Boolean matrices are idempotent. Hence, we deal only with a square Boolean matrix of order n 2. Let B I be the set of all Boolean idempotent matrices. In this paper, the set of numbers {1, 2, 3, n 1,n} will be denoted by N. Lemma 2.1. The set of all Boolean idempotent matrices, B I, is closed under the following operations: (i)permutation similarity; and (ii)transposition A matrix A of order n 2 is said to be reducible if there exists a permutation matrix P such that ( ) PAP T B C = O D where B and D are nonvacuous square matrices. Otherwise A is called irreducible. Remark 2.2. Let A =[a ij ] B I. Then a ij = 1 if and only if there exists a k N such that a ik =1=a kj. This statement follows from the fact that since A =[a ij ] is idempotent, we must have that a ij = k=n k=1 a ika kj for all i, j N. Another way of writing this is to observe that for a matrix A with an i-th row vector R i and a j-th column vector C j, A B I if and only if for all ir i = j J R j where J = {k e k R i }, e k is an row vector in the standard basis. Similar for C j. Lemma 2.3. Let A =[a ij ] be a Boolean idempotent matrix of order n 2. If a ij =0for some i and j in N, then each product a ik a kj =0for all k in N. Proof. It is an immediate consequence of the Boolean matrix product. A Boolean matrix A =[a ij ] of order n 2 is said to be graphical- transitive if a ik 0 and a kj 0 imply that a ij 0 for some i and j in N. Theorem 2.4. If an n n Boolean matrix A is idempotent, then A is graphicaltransitive. Proof. It is an immediate consequence of the idempotence and Lemma 2.3. Lemma 2.5. If A =[a ij ] is an n n irreducible Boolean idempotent matrix, then A is entrywise nonzero.

478 Hong Youl Lee and Se Won Park Proof. Suppose that A =[a ij ] is an n n irreducible Boolean idempotent matrix. For any indices i and j in N, the irreducibility of A implies that there is a path from i to j, say,a ik1 a k1k 2 a kmj 0, where each k h, h =1, 2,,m, is in N. By repeatedly using the graphical-transitivity of A, it follows that a ij 0. Since i and j are arbitrary indices in N, we conclude A is entrywise nonzero. Clearly the matrix J n of order n whose entries are all ones is an irreducible Boolean idempotent matrix. From Lemma 2.5, we have the following theorem. Theorem 2.6. Let A be an irreducible Boolean matrix of order n. Then A B I if and only if A = J n. 3. Reducible Boolean idempotent matrices Let A be an n n matrix. Then either A is irreducible or there exists a permutation matrix P such that A 11 P T AP =... 0 A kk in which A ii, i =1,,k is either irreducible of order n i or zero matrix where n 1 + + n k = n. This is called the Frobenious normal form (Fnf) of A. IfA is a reducible Boolean idempotent matrix in Frobenious normal form, then it is clear that each irreducible diagonal block of A is a Boolean idempotent matrix. In the remainder of this paper, we assume that all reducible matrices are in Fnfs. Also we use the results of above section and assume that each nonzero irreducible diagonal block A ii of A is entrywise 1, that is, A ii = J ni. Lemma 3.1. Let A be an n n reducible Boolean idempotent matrix in Fnf, and let A ii and A jj be nonzeros. If n i n j matrix A ij contains a zero entry, then A ij is a 0-block. Proof. Assume A ij contains a zero entry (A ij ) kr = 0 for some k in N i and some r in N j. Then (A 2 ) kr = 0 and it follows that (A ii ) ks (A ij ) sr = 0 for some s in N i. However, (A ii ) ks 0 for all s in N i implies that (A ij ) sr = 0 for all s in N i. Consequently the r-th column of A ij is an entrywise 0-column. Similarly (A ij ) km (A jj ) mr = 0 for all m in N j. Since (A jj ) mr 0 for all m in N j, we conclude that (A ij ) km = 0 for all m in N j. Thus the k-th row of A ij is entrywise zero. Since (A ij ) kr is an arbitrary 0-entry in the r-th column of A ij, we conclude that every row of A ij is a 0-row, that is, A ij is a 0-block.

The Boolean Idempotent Matrices 479 Lemma 3.2. If A ii and A jj are entrywise nonzero Boolean matrices and A ij is an n i n j entrywise nonzero matrix, then (i) A ii A ij is defined if and only if each column A ij contains only 1 s and (ii) A ij A jj is defined if and only if each row A ij contains only 1 s. Proof. For simplicity, let A ii = H = [h ij ] and A ij = B = [b ij ]. Then (b 1j b 2j b nj ) T is the j-th column of B for all j in N j and (h 11 h 12 b 1ni ) is the first row of H. Consequently n i (HB) 1j = h ik b kj is defined if and only if b kj = h 1k for all k in N j. Thus (colj) B =(row1) T H.We omit the proof of (ii), since the argument used is similar to the one used to prove (i). k=1 Combining Lemma 3.1 and 3.2, we obtain the following lemma. Lemma 3.3. If A is an n n reducible Boolean matrix such that A ii and A jj are entrywise nonzero diagonal blocks, then A is Boolean idempotent only if the entries of A ij are obtained as follows: (i) A ij contains only 1 s or (ii) A ij is 0-block. Lemma 3.4. Let A be an n n reducible Boolean idempotent block matrix with an entrywise nonzero diagonal block A ii and a 0-block A jj. If A ij contains a 0-entry, then A ij contains a 0-column. Proof. To simplify notation, let A ii = H =[h ij ] and A ij = B =[b ij ]. Assume b rj = 0 for some r in N j. By Boolean idempotence, we know that the product entry (HB) rj = 0 and n i h rk b kj =(HB) rj =0. k=1 However, h rk 0 implies that b kj = 0 for all k in N i. Since a Boolean matrix is idempotent only if each off-diagonal block of A 2 is defined, we obtain the following: Lemma 3.5. Let A be an n n reducible Boolean idempotent matrix. If A ii is entrywise nonzero and A jj is an 0-block, then A is Boolean idempotent only if A ij =0or A ij contains only 1 s.

480 Hong Youl Lee and Se Won Park We should remark that if A ii is an 0-block and A jj is an entrywise nonzero matrix, then we can state results for A ij analogous to those given in Lemma 3.4 and 3.5. In the remainder of this paper, we refer to the latter results as Lemma 3.4 (ii) and 3.5(ii). Suppose A =[a ij ] is an n n reducible Boolean idempotent matrix in Frobenious normal form containing m diagonal blocks. Further assume A contains t consecutive 1 1 0-diagonal blocks, where A ii (1 i<m) is the first of the t consecutive 0-diagonal blocks. It is not difficult to show that the t adjacent 1 1 0-diagonal blocks are the diagonal entries of a t t 0-diagonal block in A. We relabel and denote this t t 0-block by A ii, and the diagonal 0-entries in A ii by A i1i 1,A i2i 2,,A iti t. Repeat this labeling procedure, if necessary, unit all consecutive 1 1 0- diagonal blocks in A have been relabeled as descibed above. Call this the modified Frobenius normal form of A. We note that the diagonal blocks of a Boolean matrix in modified Frobenius normal form are entrywise nonzero or entrywise zero matrices. Since reducible Boolean matrix A in Frobenius normal form can be relabeled as described above, we may assume, without loss of generality, that A is in modified Frobenius normal form. If A is an m m block reducible matrix, then the off-diagonal blocks A i,i+k lie on the k-th superdiagonal for all k =1, 2,,m 1. Due to the triangular structure of A, each P i,i+k in the product matrix P = A 2 is independent of all terms above the k-th superdiagonal. This independence allows us to complete the zero pattern of A so that A = A 2, as described in the following: Algorithm 3.6 (The upper diagonal completion process). Let A =[A ij ] be an m m reducible and partial block Boolean idempotent matrix in modified Frobenius normal form. We can determine the entry of each off-diagonal block as follows: (i) Start with 1-st superdiagonal. Determine the entries of each off-diagonal block A i,i+1 using L- emma 3.3 if A ii and A i+1,i+1 are entrywise nonzero, Lemma 3.5 for each diagonal block of A i+1,i+1 if A ii is an entrywise nonzero and A i+1,i+1 is a 0-block, or Lemma 3.5 (ii) for each diagonal block of A ii so that A i 1,i A i,i+1 is unambiguously defined if A ii is a 0-block and A i+1,i+1 is an entrywise nonzero Boolean matrix. Move up to the next diagonal (if there is one). (ii) For each unspecified entry A i,i+k on the k-th superdiagonal, k = 2, 3,,m 1, if P i,i+k = A ii A i,i+k + A i,i+k A i+k,i+k use step (i) with i + k replacing it, otherwise let A i,i+k = A i,i+1 A i+1,i+k. When all blocks are specified on this diagonal, move up to the next diagonal, if there is one, increase k by 1 for all k =2, 3,, m 2, and repeat (ii).

The Boolean Idempotent Matrices 481 Example 3.7. Let A be a Boolean idempotent pattern as follow ; 1 1 1 1 1 1 1 1 1 0 0 0 0 0?? A = 0 0 0 0 0?? 0 0 0 0 0 1 1 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 where is 0 or 1 and? is determined by the specified number that is on the lower superdiagonal than it. In the above pattern, let A be a Boolean idempotent matrix. Then using the algorithm 3.6, we can determine the entries and? in A to be a Boolean idempotent matrix 1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1 0 1 1 1 1 0 0 0 0 0 0 1 1 1 0 A = 0 0 0 0 0 0 0 1 0. 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 Theorem 3.8. Let A be an n n reducible Boolean idempotent matrix in modified Frobenious normal form where each of whose diagonal blocks is entrywise nonzero or 0-block. Then A is Boolean idempotent only if each off-diagonal block A ij is obtained using Algorithm 3.6. Proof. The result follows from Lemma 3.3, 3.5, and 3.5(ii). To establish that completing each off-diagonal block of a reducible Boolean idempotent matrix A by the upper diagonal completion process is sufficient for Boolean idempotence, we use a graph-theoretic approch in the next section. 4. A Graph-theoretic Interpretation If A is a reducible Boolean idempotent matrix in modified Frobenius normal form and if A ii and A jj are entrywise 1, then according to the upper diagonal

482 Hong Youl Lee and Se Won Park completion process, A ij is a 1-matrix, J ij, or a 0-block. If A ii is a 0-block, each column of A ij is defined. If A jj is a 0-block, each row of A ij is defined. We now prepare to interpret the upper diagonal completion process graph-theoretically. Let A be a reducible Boolean matrix having m diagonal blocks. If each block entry in A is a 1-matrix or a 0-block, then we form the m m reduced matrix R =[r ij ]ofa as follows: { 1 if Aij is a 1-matrix, r ij = 0 if A ij is a 0-block for all i and j in N. The directed graph of the reduced matrix R is called the reduced directed graph of A, denoted by RD(A). In somewhat different terms, the reduced graph of a nonnegative matrix is defined in [4]. We say RD(A) is transitively closed if for any (i, j) and (j, k) in the edge set E, the edge (i, k) is in E. Lemma 4.1. Let A be a Boolean matrix in modified Frobenius normal form. If each off-diagonal block is obtained using the upper diagonal completion process, then RD(A) is transitively closed. Proof. Assume that A is a Boolean matrix that satisfies the conditions stated in the lemma. For contradiction, suppose that RD(A) is not transitively closed. Then there is a k such that i +1 k j i, where the edges (i, k), (k, j), (i, j) satisfy one of the two cases below: Case(i): Suppose the edges (i, k) and (k, j) are in the edge set E and (i, j) is not in E. Then A ij is a 0-matrix and A ik A kj is 1-matrix. By Algorithm 3.6 (ii), we have the following : A ij = A i,i+1 A i+1,j = A i,i+1 A i+1,i+2 A i+2,j = A i,i+2 A i+2,j. = A i,k A k,j = = A i,j 1 A j 1,j. However, A i,j = A i,k A k,j implies that A i,j 0 and (I,j) E. It is contradict to the assumption that (i, j) / E. Case(ii): Suppose the edges (i, j) E and either (i, k) E or (k, j) E, but not both. Assume (i, j) and (i, k) are in E, but (k, j) / E. Then A ij and A ik are 1-matrices and A kj is a 0-block. From case (i), we have A ij = A ik A kj 0 for all k = i +1,,j 1. Thus A ik 0 and A kj 0 and there are edges (i, k) and (k, j) ine which contradicts the assumption that (k, j) / E. A similar argument holds if (i, j) and (k, j) are in E, but (k, j) / E. Consequently, we conclude that RD(A) is transitively closed.

The Boolean Idempotent Matrices 483 Lemma 4.2. Let A be an n n reducible Boolean matrix in modified Frobenius normal form where each nonzero diagonal block is entrywise 1 and the entry of each off-diagonal block is determined using the upper diagonal completion process. Then A is idempotent. Proof. We use the result of Lemma 4.1 to assume, without loss of generality, that RD(A) is transitively closed. First assume A ij = 0 for any i and j in the index set N; and for contradiction, suppose there is a k such that i+1 k j 1 and A ik A kj 0. Then (i, k) and (k, j) are in the edge set E of the directed graph RD(A). Since RD(A) is transitively closed, (i, j) E, this implies A ij 0. However, this contradicts the assumption that A ij = 0. Thus P ij = A ii A ij +0+ +0+A ij A jj =0+0+ +0=0=A ij Now, suppose that A ij 0. Case(i): Assume that A ii and A jj are enrywise 1. Then A ii A ij and A ij A jj are 1-matrices and for each k such that i+1 k j 1, A ik A kj = A ij follows by the same argument as given in the proof of Lemma 4.1-case (i) and we conclude that P ij = A ij. Case(ii): Assume that A ii is entrywise 1 and A jj is a 0-block. Then A ii A ij is 1-matrix and A ik A kj = A ij for all k such that i +1 k j 1 as in case (i), so that P ij = A ij. Case(iii): Assume that A ii is a 0-block and A jj is entrywise 1. Then reversing the roles of A ii and A jj in case (ii) implies P ij = A ij. Case(iv): Assume that A ii and A jj are 0-blocks. By step (ii) of the completion process, we know A ij = A i,i+1 A i+1,j 0. Further, by argument given in case (i) of the proof, A ik A kj = A ij for all k such that i +1 k j 1andwe conclude P ij = A ij. Cases(i)-(iv) imply that P ij = A ij for any indices i and j in N, and it follows that A is idempotent. At the end of Section 3, in Theorem 3.8, we proved that it was necessary to determine the entry of each off-diagonal block A ij of a reducible Boolean idempotent matrix using the upper diagonal completion process. Lemma 4.2 implies that the completion process is sufficient for Boolean idempotence. Consequently we have the following: Theorem 4.3. A reducible Boolean matrix A in modified Frobenius normal form where each of whose nonzero diagonal block is entrywise 1 is idempotent if and only if the entry of each off-diagonal block is obtained using the upper diagonal completion process.

484 Hong Youl Lee and Se Won Park Example 4.4. The matrix A in Example 3.7 is a reducible Boolean idempotent matrix, since the entry of each off-diagonal block is determined using the completion process. References 1. L. B. Beasley, S. G. Lee, and S. W. Park, Weights of Idempotent Matrices, Trends in Mathematics 4(2001), 95 100. 2. K. H. Kim, The Number of Idempotents in (0, 1)-Matrix Semigroups, Liner Algebra and Its Appl. 5(1972), 233 246. 3. K. H. Kim, Boolean Matrix Theory and Application, Marcel Dekkr, Inc., 1982. 4. S. G. Lee and S. W. Park, The Allowance of Idempotent of Sign Pattern Matrices, Comm. Korea Math. Soc. 10(1995), 561 573. 5. S. W. Park, L. B. Beasley, and S. G. Lee, Idempotence of (1, -1)-Matrices, Congressus Numerantium 146(2000), 17 28. 6. S. W. Park, S. G. Lee, and S. Z. Song, Nonnegativity of Reducible Sign Idempotent Matrices, Korea J. Comput. & Appl. Math. 7(2)(2000), 665 671. Hong Youl Lee received his MS and Ph. D degree from SungKyunKwan University and have been at WooSuk University since 1994. His research interests focus on the operator theory and their application. Department of Mathematics Education, Woosuk University, Wanju-gun, 565-701 Korea, e-mail: hylee@core.woosuk.ac.kr Se Won Park received his MS and Ph. D degree from SungKyunKwan University and have been at SeoNam University since 1997. His research interests focus on the matrix theory and their application. Department of Mathematics, Seonam University, Namwon, 590-711 Korea, e-mail: swpark@seonam.ac.kr