Displaying similar documents to “Logics that are generated by idempotents.”

Representation of doubly infinite matrices as non-commutative Laurent series

María Ivonne Arenas-Herrera, Luis Verde-Star (2017)

Special Matrices

Similarity:

We present a new way to deal with doubly infinite lower Hessenberg matrices based on the representation of the matrices as the sum of their diagonal submatrices. We show that such representation is a simple and useful tool for computation purposes and also to obtain general properties of the matrices related with inversion, similarity, commutativity, and Pincherle derivatives. The diagonal representation allows us to consider the ring of doubly infinite lower Hessenberg matrices over...

An inverse matrix of an upper triangular matrix can be lower triangular

Waldemar Hołubowski (2002)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

In this note we explain why the group of n×n upper triangular matrices is defined usually over commutative ring while the full general linear group is defined over any associative ring.

Elementary triangular matrices and inverses of k-Hessenberg and triangular matrices

Luis Verde-Star (2015)

Special Matrices

Similarity:

We use elementary triangular matrices to obtain some factorization, multiplication, and inversion properties of triangular matrices. We also obtain explicit expressions for the inverses of strict k-Hessenberg matrices and banded matrices. Our results can be extended to the cases of block triangular and block Hessenberg matrices. An n × n lower triangular matrix is called elementary if it is of the form I + C, where I is the identity matrix and C is lower triangular and has all of its...

Pentadiagonal Companion Matrices

Brydon Eastman, Kevin N. Vander Meulen (2016)

Special Matrices

Similarity:

The class of sparse companion matrices was recently characterized in terms of unit Hessenberg matrices. We determine which sparse companion matrices have the lowest bandwidth, that is, we characterize which sparse companion matrices are permutationally similar to a pentadiagonal matrix and describe how to find the permutation involved. In the process, we determine which of the Fiedler companion matrices are permutationally similar to a pentadiagonal matrix. We also describe how to find...

An Inferentially Many-Valued Two-Dimensional Notion of Entailment

Carolina Blasio, João Marcos, Heinrich Wansing (2017)

Bulletin of the Section of Logic

Similarity:

Starting from the notions of q-entailment and p-entailment, a two-dimensional notion of entailment is developed with respect to certain generalized q-matrices referred to as B-matrices. After showing that every purely monotonic singleconclusion consequence relation is characterized by a class of B-matrices with respect to q-entailment as well as with respect to p-entailment, it is observed that, as a result, every such consequence relation has an inferentially four-valued characterization....

A convergence analysis of SOR iterative methods for linear systems with weakH-matrices

Cheng-yi Zhang, Zichen Xue, Shuanghua Luo (2016)

Open Mathematics

Similarity:

It is well known that SOR iterative methods are convergent for linear systems, whose coefficient matrices are strictly or irreducibly diagonally dominant matrices and strong H-matrices (whose comparison matrices are nonsingular M-matrices). However, the same can not be true in case of those iterative methods for linear systems with weak H-matrices (whose comparison matrices are singular M-matrices). This paper proposes some necessary and sufficient conditions such that SOR iterative...