Page 1

Displaying 1 – 14 of 14

Showing per page

Derivations and Translations on Trellises

Shashirekha B. Rai, S. Parameshwara Bhatta (2015)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

G. Szász, J. Szendrei, K. Iseki and J. Nieminen have made an extensive study of derivations and translations on lattices. In this paper, the concepts of meet-translations and derivations have been studied in trellises (also called weakly associative lattices or WA-lattices) and several results in lattices are extended to trellises. The main theorem of this paper, namely, that every derivatrion of a trellis is a meet-translation, is proved without using associativity and it generalizes a well-known...

Determinant of Some Matrices of Field Elements

Yatsuka Nakamura (2006)

Formalized Mathematics

Here, we present determinants of some square matrices of field elements. First, the determinat of 2 * 2 matrix is shown. Secondly, the determinants of zero matrix and unit matrix are shown, which are equal to 0 in the field and 1 in the field respectively. Thirdly, the determinant of diagonal matrix is shown, which is a product of all diagonal elements of the matrix. At the end, we prove that the determinant of a matrix is the same as the determinant of its transpose.

Currently displaying 1 – 14 of 14

Page 1