Group relationships and homomorphisms of Boolean matrix semigroups

DOI10.1016/0022-2496(84)90011-7MaRDI QIDQ1061234zbMATH OpenOpenAlexFDO

Authors Ki Hang Kim, Fred Roush

Publication date 1984

Published in Journal of Mathematical Psychology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0022-2496(84)90011-7

zbMATH Keywords

antichains of Boolean vectorsBoolean additionBoolean matrix semigroupsBoolean n-square matrixhomomorphismimage matrix

Mathematics Subject Classification ID

Algebraic systems of matrices (15A30) Mappings of semigroups (20M15) Semigroups of transformations, relations, partitions, etc. (20M20) Mathematical sociology (including anthropology) (91D99)

Review text

Let A be a Boolean n-square matrix. Taking a partition of the set \(\{\) 1,...,n\(\}\) and dividing the matrix into blocks leads to the so called image matrix by replacing each zero block by a single zero and each nonzero block by a single one. Taking the image matrix is always a homomorphism under Boolean addition. The question is when it is a multiplicative homomorphism. Some sufficient condition for this is given. This condition leads to the consideration of nonzero antichains of Boolean vectors. It is obtained as corollary that the maximal nonzero n- square Boolean matrix semigroups are precisely the following: \(S_ C=\{n\)-square Boolean matrix A: (\(\forall v\in C)\) (\(\exists w\in C)\) vA\(\geq w\}\), where C is a nonzero antichain of n-vectors. The maximal invariant under conjugations by a permutation matrix nonzero semigroups of Boolean matrices have the form: \(G_ i=\{A:\) the sum of any i rows (or all rows if \(i\geq n)\) of A has at least i ones (or all ones)\(\}\). The authors believe that their results cover all known conditions for the image to be a homomorphism. All the subject appears by analyzing small group structures in Sociology.

Recommendations

• Boolean matrices and semihypergroups.
• scientific article; zbMATH DE number 4087929
• The semigroup generated by regular Boolean matrices
• On the Sandwich Semigroups of Group Boolean Matrices
• On semigroups of generalized circulant Boolean matrices
• scientific article; zbMATH DE number 1805896
• scientific article; zbMATH DE number 3771633
• Matrix semigroups -- generators and relations
• Semigroup homomorphisms on matrix algebras
• scientific article; zbMATH DE number 1226898

Cites work

• scientific article; zbMATH DE number 3779513 (Why is no real title available?)
• The analysis of semigroups of multirelational systems

Cited in

(11)

• Statistical evaluation of algebraic constraints for social networks
• Surmise relations between tests -- mathematical considerations.
• Boolean matrices and semihypergroups.
• Structural similarity: spectral methods for relaxed blockmodeling
• scientific article; zbMATH DE number 3875904 (Why is no real title available?)
• The publications of Ki Hang Kim
• scientific article; zbMATH DE number 4087929 (Why is no real title available?)
• Regular equivalence: General theory
• Algebraic approaches to the analysis of social networks
• Properties of a standard form for a Boolean matrix
• A proof of Devadze's theorem on generators of the semigroup of Boolean matrices.

This page was built for publication: Group relationships and homomorphisms of Boolean matrix semigroups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1061234)