<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">APM</journal-id><journal-title-group><journal-title>Advances in Pure Mathematics</journal-title></journal-title-group><issn pub-type="epub">2160-0368</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/apm.2015.514078</article-id><article-id pub-id-type="publisher-id">APM-61921</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  On 2 - 3 Matrix Chevalley Eilenberg Cohomology
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>oseph</surname><given-names>Dongho</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref><xref ref-type="corresp" rid="cor1"><sup>*</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Epizitone</surname><given-names>Duebe-Abi</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Shuntah</surname><given-names>Roland Yotcha</given-names></name><xref ref-type="aff" rid="aff1"><sup>1</sup></xref></contrib></contrib-group><aff id="aff1"><addr-line>Department of Mathematics and Computer Science, Faculty of Sciences, University of Maroua, 
Maroua, Cameroon</addr-line></aff><author-notes><corresp id="cor1">* E-mail:<email>joseph.dongho@fs.univ-maroua.cm(OD)</email>;</corresp></author-notes><pub-date pub-type="epub"><day>07</day><month>12</month><year>2015</year></pub-date><volume>05</volume><issue>14</issue><fpage>835</fpage><lpage>849</lpage><history><date date-type="received"><day>29</day>	<month>August</month>	<year>2015</year></date><date date-type="rev-recd"><day>accepted</day>	<month>13</month>	<year>December</year>	</date><date date-type="accepted"><day>16</day>	<month>December</month>	<year>2015</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  The main objective of this paper is to provide the tool rather than the classical adjoint representation of Lie algebra; which is essential in the conception of the Chevalley Eilenberg Cohomology. We introduce the notion of representation induced by a 2 - 3 matrix. We construct the corresponding Chevalley Eilenberg differential and we compute all its cohomological groups.
 
</p></abstract><kwd-group><kwd>Lie Algebra</kwd><kwd> Cochain</kwd><kwd> 2 - 3 Matrix Chevalley Eilenberg</kwd><kwd> Cohomology</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>This work is included in the domain of differential geometry which is the continuation of infinitesimal calculation. It is possible to study it due to the new techniques of differential calculus and the new family of topological spaces applicable as manifold. The study of Lie algebra with classical example puts in place with so many homological materials [<xref ref-type="bibr" rid="scirp.61921-ref1">1</xref>] -[<xref ref-type="bibr" rid="scirp.61921-ref3">3</xref>] (Lie Bracket, Chevalley Eilenberg Cohomology...). The principal objective of this work is to introduce the notions of deformation of Lie algebra in the more general representation rather than the adjoint representation.</p><p>This work is base on 2 - 3 matrix Chevally Eilenberg Chohomology representation, in which our objective is to fixed a matrix representation and comes out with a representation which is different from the adjoint repre- sentation. Further, given a Lie algebra V, W respectively of dimension 2 and 3, we construct a linear map that will define a Lie algebra structure from a Lie algebra V into <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x6.png" xlink:type="simple"/></inline-formula> by putting the commutator structure in place.</p><p>This does lead us to a fundamental condition of our 2 - 3 matrix Chevalley Eilenberg Cohomology. We com- pute explicitly all the associated cohomological groups.</p></sec><sec id="s2"><title>2. 2 - 3 Matrix Representation Theorem</title><p>We begin by choosing V to be a 2-dimensional vector space and W a 3-dimensional vector space, then we called our cohomology on a domain vector space V and codomain W a 2 - 3 matrix Chevalley Eilenberg Cohomology. In what follow, we denoted for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x8.png" xlink:type="simple"/></inline-formula> by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x9.png" xlink:type="simple"/></inline-formula> the space of i-multilinear skew symmetric map on V</p><p>with valor in W; we also denoted by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x10.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x11.png" xlink:type="simple"/></inline-formula> respectively the basis of V and W. We also suppose</p><p>that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x12.png" xlink:type="simple"/></inline-formula> is a representation of the Lie algebra <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x13.png" xlink:type="simple"/></inline-formula> where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x14.png" xlink:type="simple"/></inline-formula> is the associated Lie structure.</p><sec id="s2_1"><title>2.1. Description of Cochain Spaces</title><p>Since element of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x15.png" xlink:type="simple"/></inline-formula> of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x16.png" xlink:type="simple"/></inline-formula> skew symmetric, then for all<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x17.png" xlink:type="simple"/></inline-formula>, we have <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x18.png" xlink:type="simple"/></inline-formula> [<xref ref-type="bibr" rid="scirp.61921-ref4">4</xref>] . Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x19.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x20.png" xlink:type="simple"/></inline-formula>, we have <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x21.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x22.png" xlink:type="simple"/></inline-formula>, where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x23.png" xlink:type="simple"/></inline-formula>.</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x24.png" xlink:type="simple"/></inline-formula>implies that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x25.png" xlink:type="simple"/></inline-formula>. <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x26.png" xlink:type="simple"/></inline-formula>iff <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x24.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x25.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x26.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x27.png" xlink:type="simple"/></inline-formula> is a linear map.</p><p>Then,</p><disp-formula id="scirp.61921-formula468"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x28.png"  xlink:type="simple"/></disp-formula><p>Lemma 1: If the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x29.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x30.png" xlink:type="simple"/></inline-formula>, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x31.png" xlink:type="simple"/></inline-formula>.</p><p>Proof. Since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x32.png" xlink:type="simple"/></inline-formula> then,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x33.png" xlink:type="simple"/></inline-formula>.</p><p>Thus, we define an isomorphic map <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x34.png" xlink:type="simple"/></inline-formula> from <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x35.png" xlink:type="simple"/></inline-formula> to <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x34.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x35.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x36.png" xlink:type="simple"/></inline-formula> as follows;</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x37.png" xlink:type="simple"/></inline-formula>. □</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x38.png" xlink:type="simple"/></inline-formula>iff <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x38.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x39.png" xlink:type="simple"/></inline-formula> is bilinear and antisymmetric map; then</p><disp-formula id="scirp.61921-formula469"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x40.png"  xlink:type="simple"/></disp-formula><p>Lemma 2: If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x41.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x41.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x42.png" xlink:type="simple"/></inline-formula> then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x41.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x42.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x43.png" xlink:type="simple"/></inline-formula></p><p>Proof. From the expression of an element <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x44.png" xlink:type="simple"/></inline-formula> in <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x44.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x45.png" xlink:type="simple"/></inline-formula> from above, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x44.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x45.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x46.png" xlink:type="simple"/></inline-formula>can be represented as a</p><p>column matrix <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x47.png" xlink:type="simple"/></inline-formula> of the lie constant structures. □</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x48.png" xlink:type="simple"/></inline-formula>iff <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x49.png" xlink:type="simple"/></inline-formula> is a tri-linear and skew symmetric map,</p><p>then</p><disp-formula id="scirp.61921-formula470"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x50.png"  xlink:type="simple"/></disp-formula><p>since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x51.png" xlink:type="simple"/></inline-formula> is a linear anti-symmetric mapping.</p><p>Lemma 3: If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x52.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x53.png" xlink:type="simple"/></inline-formula> then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x53.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x54.png" xlink:type="simple"/></inline-formula>.</p><p>Proof. Since for every<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x55.png" xlink:type="simple"/></inline-formula>, we have that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x56.png" xlink:type="simple"/></inline-formula> from the expression of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x55.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x56.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x57.png" xlink:type="simple"/></inline-formula> above. □</p></sec><sec id="s2_2"><title>2.2. Diagram of a Sequence of Linear Maps</title><p>According to the above results, we have the following diagram where we shall identify and define <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x58.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x58.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x59.png" xlink:type="simple"/></inline-formula> in order to contruct our 2 - 3 Matrix Chevalley-Eilenberg Cohomology.</p><disp-formula id="scirp.61921-formula471"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x60.png"  xlink:type="simple"/></disp-formula><p>Expression of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x61.png" xlink:type="simple"/></inline-formula> [<xref ref-type="bibr" rid="scirp.61921-ref1">1</xref>] [<xref ref-type="bibr" rid="scirp.61921-ref4">4</xref>] :</p><disp-formula id="scirp.61921-formula472"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x62.png"  xlink:type="simple"/></disp-formula><p>Expression of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x63.png" xlink:type="simple"/></inline-formula> [<xref ref-type="bibr" rid="scirp.61921-ref1">1</xref>] [<xref ref-type="bibr" rid="scirp.61921-ref4">4</xref>] :</p><disp-formula id="scirp.61921-formula473"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x64.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61921-formula474"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x65.png"  xlink:type="simple"/></disp-formula><p>Expression of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x66.png" xlink:type="simple"/></inline-formula> [<xref ref-type="bibr" rid="scirp.61921-ref1">1</xref>] [<xref ref-type="bibr" rid="scirp.61921-ref4">4</xref>] :</p><disp-formula id="scirp.61921-formula475"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x67.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61921-formula476"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x68.png"  xlink:type="simple"/></disp-formula><p>since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x69.png" xlink:type="simple"/></inline-formula> is mapped to the zero space. A direct computation, give us [<xref ref-type="bibr" rid="scirp.61921-ref1">1</xref>]</p><disp-formula id="scirp.61921-formula477"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x70.png"  xlink:type="simple"/></disp-formula><p>Definition of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x71.png" xlink:type="simple"/></inline-formula>:</p><disp-formula id="scirp.61921-formula478"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x72.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61921-formula479"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x73.png"  xlink:type="simple"/></disp-formula><p>i.e <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x74.png" xlink:type="simple"/></inline-formula> is the identity mappings from W to W.</p><p>Definition of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x75.png" xlink:type="simple"/></inline-formula>:</p><disp-formula id="scirp.61921-formula480"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x76.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61921-formula481"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x77.png"  xlink:type="simple"/></disp-formula><p>which is the matrix of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x78.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x79.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x80.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x78.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x80.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x81.png" xlink:type="simple"/></inline-formula>.</p><p>Definition of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x82.png" xlink:type="simple"/></inline-formula>:</p><disp-formula id="scirp.61921-formula482"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x83.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61921-formula483"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x84.png"  xlink:type="simple"/></disp-formula><p>which is the matrix of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x85.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x86.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x85.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x86.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x87.png" xlink:type="simple"/></inline-formula>.</p></sec><sec id="s2_3"><title>2.3. Homological Differential</title><p>In this section, we are going to determine expressions of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x88.png" xlink:type="simple"/></inline-formula> and also prove that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x89.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x88.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x89.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x90.png" xlink:type="simple"/></inline-formula> for us to obtain our 2 - 3 matrix Chevalley-Eilenberg differential complex. This is possible unless by stating an important hypothesis which we call 2 - 3 matrix Chevalley-Eilenberg hypothesis.</p><p>Proposition 1: If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x91.png" xlink:type="simple"/></inline-formula> for all x, y in V, then<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x91.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x92.png" xlink:type="simple"/></inline-formula>.</p><p>Proof. We assume that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x93.png" xlink:type="simple"/></inline-formula> for all x, y in V.</p><p>By definition, we have that</p><disp-formula id="scirp.61921-formula484"><label>(1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-5300971x94.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61921-formula485"><label>. (2)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-5300971x95.png"  xlink:type="simple"/></disp-formula><p>Then by substituting equation (1) into (2),we have</p><disp-formula id="scirp.61921-formula486"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x96.png"  xlink:type="simple"/></disp-formula><p>by hypothesis.</p><p>Expression of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x97.png" xlink:type="simple"/></inline-formula>:</p><p>Let V be a two dimensional Lie-algebra with basis <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x98.png" xlink:type="simple"/></inline-formula> and the Lie’s bracket <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x98.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x99.png" xlink:type="simple"/></inline-formula> where</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x100.png" xlink:type="simple"/></inline-formula>and W a three dimensional vector space with basis<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x101.png" xlink:type="simple"/></inline-formula>. We define</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x102.png" xlink:type="simple"/></inline-formula>by</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x103.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x104.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x105.png" xlink:type="simple"/></inline-formula> is a linear mapping associated to the matrix<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x103.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x106.png" xlink:type="simple"/></inline-formula>.</p><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x107.png" xlink:type="simple"/></inline-formula> defined by</p><disp-formula id="scirp.61921-formula487"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x108.png"  xlink:type="simple"/></disp-formula><p>Therefore;</p><disp-formula id="scirp.61921-formula488"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x109.png"  xlink:type="simple"/></disp-formula><p>Since</p><disp-formula id="scirp.61921-formula489"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x110.png"  xlink:type="simple"/></disp-formula><p>Therefore,</p><disp-formula id="scirp.61921-formula490"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x111.png"  xlink:type="simple"/></disp-formula><p>Also, we have</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x112.png" xlink:type="simple"/></inline-formula>,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x114.png" xlink:type="simple"/></inline-formula>where</p><disp-formula id="scirp.61921-formula491"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x115.png"  xlink:type="simple"/></disp-formula><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x116.png" xlink:type="simple"/></inline-formula>, where</p><disp-formula id="scirp.61921-formula492"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x117.png"  xlink:type="simple"/></disp-formula><p>So,</p><disp-formula id="scirp.61921-formula493"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x118.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61921-formula494"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x119.png"  xlink:type="simple"/></disp-formula><p>Therefore,</p><disp-formula id="scirp.61921-formula495"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x120.png"  xlink:type="simple"/></disp-formula><p>Now, we compute <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x121.png" xlink:type="simple"/></inline-formula> where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x122.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x121.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x122.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x123.png" xlink:type="simple"/></inline-formula> are basis vectors of V.</p><p>By replacing the constants <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x124.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x124.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x125.png" xlink:type="simple"/></inline-formula>, we obtain <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x124.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x125.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x126.png" xlink:type="simple"/></inline-formula> which is given as;</p><disp-formula id="scirp.61921-formula496"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x127.png"  xlink:type="simple"/></disp-formula><p>Thus,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x128.png" xlink:type="simple"/></inline-formula>.</p><p>Hence, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x129.png" xlink:type="simple"/></inline-formula>is defined by</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x130.png" xlink:type="simple"/></inline-formula>with</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x131.png" xlink:type="simple"/></inline-formula> ,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x131.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x132.png" xlink:type="simple"/></inline-formula> .</p><p>Corollary 1: If</p><disp-formula id="scirp.61921-formula497"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x133.png"  xlink:type="simple"/></disp-formula><p>then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x134.png" xlink:type="simple"/></inline-formula> is defined by</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x135.png" xlink:type="simple"/></inline-formula>.</p></sec><sec id="s2_4"><title>2.4. Fundametal Condition of 2 - 3 Matrix Chevalley-Eilenberg Cohomology</title><p>We now state the main hypothesis for our 2 - 3 matrix Chevalley-Eilenberg Cohomology, which we suppose that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x136.png" xlink:type="simple"/></inline-formula></p><p>i.e <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x137.png" xlink:type="simple"/></inline-formula></p><p>i.e<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x138.png" xlink:type="simple"/></inline-formula>,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x139.png" xlink:type="simple"/></inline-formula>and</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x140.png" xlink:type="simple"/></inline-formula>.</p><p>This is an important tool in the construction of our 2 - 3 matrix cohomology differential complex.</p></sec><sec id="s2_5"><title>2.5. Expression of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x141.png" xlink:type="simple"/></inline-formula></title><p>From the diagram,</p><disp-formula id="scirp.61921-formula498"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x142.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61921-formula499"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x143.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61921-formula500"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x144.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61921-formula501"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x145.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61921-formula502"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x146.png"  xlink:type="simple"/></disp-formula><p>where</p><disp-formula id="scirp.61921-formula503"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x147.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61921-formula504"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x148.png"  xlink:type="simple"/></disp-formula><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x149.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x149.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x150.png" xlink:type="simple"/></inline-formula>. Thus, using the basis vectors <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x149.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x150.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x151.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x149.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x150.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x151.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x152.png" xlink:type="simple"/></inline-formula> in V, we have</p><disp-formula id="scirp.61921-formula505"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x153.png"  xlink:type="simple"/></disp-formula><p>Hence, the mapping <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x154.png" xlink:type="simple"/></inline-formula> is defined as;</p><disp-formula id="scirp.61921-formula506"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x155.png"  xlink:type="simple"/></disp-formula><p>Corollary 2: If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x156.png" xlink:type="simple"/></inline-formula></p><p>then the mapping <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x157.png" xlink:type="simple"/></inline-formula> is defined as;</p><disp-formula id="scirp.61921-formula507"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x158.png"  xlink:type="simple"/></disp-formula><p>The matrix <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x159.png" xlink:type="simple"/></inline-formula> has been assigned to the matrix <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x160.png" xlink:type="simple"/></inline-formula> to simplify the composition of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x160.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x161.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x159.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x160.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x161.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x162.png" xlink:type="simple"/></inline-formula>.</p><p>Proposition 2:<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x163.png" xlink:type="simple"/></inline-formula>.</p><p>Proof. Since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x164.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x164.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x165.png" xlink:type="simple"/></inline-formula> We have:</p><disp-formula id="scirp.61921-formula508"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x166.png"  xlink:type="simple"/></disp-formula><p>Which gives us our 2 - 3 matrix Chevalley Eilenberg homological hypothesis</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x167.png" xlink:type="simple"/></inline-formula>. □</p><p>Remark 1: By straightforward computation, we have</p><disp-formula id="scirp.61921-formula509"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x168.png"  xlink:type="simple"/></disp-formula></sec><sec id="s2_6"><title>2.6. Determination of the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x169.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x169.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x170.png" xlink:type="simple"/></inline-formula></title><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x171.png" xlink:type="simple"/></inline-formula>.</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x172.png" xlink:type="simple"/></inline-formula>iff</p><disp-formula id="scirp.61921-formula510"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x173.png"  xlink:type="simple"/></disp-formula><p>iff</p><disp-formula id="scirp.61921-formula511"><label>(3)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-5300971x174.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61921-formula512"><label>(4)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-5300971x175.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61921-formula513"><label>(5)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/4-5300971x176.png"  xlink:type="simple"/></disp-formula><p>Now, we compute the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x177.png" xlink:type="simple"/></inline-formula> using the standard basis</p><disp-formula id="scirp.61921-formula514"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x178.png"  xlink:type="simple"/></disp-formula><p>If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x179.png" xlink:type="simple"/></inline-formula> then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x179.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x180.png" xlink:type="simple"/></inline-formula></p><p>If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x181.png" xlink:type="simple"/></inline-formula> then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x181.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x182.png" xlink:type="simple"/></inline-formula></p><p>If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x183.png" xlink:type="simple"/></inline-formula> then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x183.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x184.png" xlink:type="simple"/></inline-formula></p><p>If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x185.png" xlink:type="simple"/></inline-formula> then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x185.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x186.png" xlink:type="simple"/></inline-formula></p><p>If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x187.png" xlink:type="simple"/></inline-formula> then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x187.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x188.png" xlink:type="simple"/></inline-formula></p><p>If <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x189.png" xlink:type="simple"/></inline-formula> then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x189.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x190.png" xlink:type="simple"/></inline-formula></p><p>Thus, we have the image matrix as follows:</p><disp-formula id="scirp.61921-formula515"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x191.png"  xlink:type="simple"/></disp-formula><p>Next, we calculate the rank of the matrix <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x192.png" xlink:type="simple"/></inline-formula> which will help us to know the <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x192.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x193.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x192.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x193.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x194.png" xlink:type="simple"/></inline-formula> by using the dimension rank theorem of the vector spaces [<xref ref-type="bibr" rid="scirp.61921-ref5">5</xref>] [<xref ref-type="bibr" rid="scirp.61921-ref6">6</xref>] .</p><p>We now reduce the matrix <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x195.png" xlink:type="simple"/></inline-formula> to reduce row echelon form. We then replace the entries of the matrix <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x195.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x196.png" xlink:type="simple"/></inline-formula> by the follows constants:</p><disp-formula id="scirp.61921-formula516"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x197.png"  xlink:type="simple"/></disp-formula><p>where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x198.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x198.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x199.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x198.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x199.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x200.png" xlink:type="simple"/></inline-formula> Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x198.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x199.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x200.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x201.png" xlink:type="simple"/></inline-formula> and by dividing each of the</p><p>entries of row 1 by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x202.png" xlink:type="simple"/></inline-formula> and carrying out the following row operation <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x202.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x203.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x202.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x203.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x204.png" xlink:type="simple"/></inline-formula>, we obtain</p><disp-formula id="scirp.61921-formula517"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x205.png"  xlink:type="simple"/></disp-formula><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x206.png" xlink:type="simple"/></inline-formula> be such that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x206.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x207.png" xlink:type="simple"/></inline-formula> and by carrying the following row operations<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x206.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x207.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x208.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x206.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x207.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x208.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x209.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x206.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x207.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x208.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x209.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x210.png" xlink:type="simple"/></inline-formula>, and setting <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x206.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x207.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x208.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x209.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x210.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x211.png" xlink:type="simple"/></inline-formula> thus we obtain the following matrix.</p><disp-formula id="scirp.61921-formula518"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x212.png"  xlink:type="simple"/></disp-formula><p>Let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x213.png" xlink:type="simple"/></inline-formula> be such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x213.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x214.png" xlink:type="simple"/></inline-formula>, and by carry the following row operations</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x215.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x215.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x216.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x215.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x216.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x217.png" xlink:type="simple"/></inline-formula>. By setting</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x218.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x218.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x219.png" xlink:type="simple"/></inline-formula>. Also, if we let</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x220.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.61921-formula519"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x221.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61921-formula520"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x222.png"  xlink:type="simple"/></disp-formula><p>we obtain the following matrix.</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x223.png" xlink:type="simple"/></inline-formula>.</p><p>Hence we obtain the reduce row echelon form of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x224.png" xlink:type="simple"/></inline-formula> of rank 3 [<xref ref-type="bibr" rid="scirp.61921-ref5">5</xref>] [<xref ref-type="bibr" rid="scirp.61921-ref6">6</xref>] .</p><p>We wish to consider now the cases of the matrix <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x225.png" xlink:type="simple"/></inline-formula> of rank 1 and rank 2 since the case of rank Zero is trivial.</p><p>Rank 1: By setting each of the entries on row 2 and 3 of matrix A to zero, we obtain the rank of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x226.png" xlink:type="simple"/></inline-formula> to be 1.</p><p>Rank 2: By setting each of the entries on row 3 of matrix B to zero, we obtain the rank of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x227.png" xlink:type="simple"/></inline-formula> to be 2.</p><p>Proposition 3: if</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x228.png" xlink:type="simple"/></inline-formula>,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x229.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.61921-formula521"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x230.png"  xlink:type="simple"/></disp-formula><p>then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x231.png" xlink:type="simple"/></inline-formula> and the<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x231.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x232.png" xlink:type="simple"/></inline-formula>. Further</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x233.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x233.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x234.png" xlink:type="simple"/></inline-formula>.</p><p>Proposition 4: From matrix A, if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x235.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x235.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x236.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.61921-formula522"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x239.png"  xlink:type="simple"/></disp-formula><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x240.png" xlink:type="simple"/></inline-formula>then</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x241.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x242.png" xlink:type="simple"/></inline-formula>. Further, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x242.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x243.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x241.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x242.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x243.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x244.png" xlink:type="simple"/></inline-formula>.</p><p>Proof. Since the<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x245.png" xlink:type="simple"/></inline-formula>, we have that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x245.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x246.png" xlink:type="simple"/></inline-formula>， thus<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x245.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x246.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x247.png" xlink:type="simple"/></inline-formula>. We now show that</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x248.png" xlink:type="simple"/></inline-formula>. By the dimension rank theorem, we have that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x248.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x249.png" xlink:type="simple"/></inline-formula> which is</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x250.png" xlink:type="simple"/></inline-formula>. □</p><p>Proposition 5: From matrix B, if<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x251.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.61921-formula523"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x252.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61921-formula524"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x253.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.61921-formula525"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x254.png"  xlink:type="simple"/></disp-formula><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x255.png" xlink:type="simple"/></inline-formula>then</p><disp-formula id="scirp.61921-formula526"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x256.png"  xlink:type="simple"/></disp-formula><p>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x257.png" xlink:type="simple"/></inline-formula>. Further, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x257.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x258.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x257.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x258.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x259.png" xlink:type="simple"/></inline-formula>.</p><p>Proof. Since the<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x260.png" xlink:type="simple"/></inline-formula>, we have that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x260.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x261.png" xlink:type="simple"/></inline-formula>, thus<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x260.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x261.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x262.png" xlink:type="simple"/></inline-formula>. We now show that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x260.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x261.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x262.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x263.png" xlink:type="simple"/></inline-formula>.</p><p>By the dimension rank theorem, we have that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x264.png" xlink:type="simple"/></inline-formula> that is <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x264.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x265.png" xlink:type="simple"/></inline-formula></p><p>Proposition 6: if</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x266.png" xlink:type="simple"/></inline-formula> ,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x266.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x267.png" xlink:type="simple"/></inline-formula> ,</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x268.png" xlink:type="simple"/></inline-formula>then</p><disp-formula id="scirp.61921-formula527"><graphic  xlink:href="http://html.scirp.org/file/4-5300971x269.png"  xlink:type="simple"/></disp-formula><p>and the<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x270.png" xlink:type="simple"/></inline-formula>. Further, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x270.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x271.png" xlink:type="simple"/></inline-formula>and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x270.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x271.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x272.png" xlink:type="simple"/></inline-formula>.</p><p>Proof. Since the<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x273.png" xlink:type="simple"/></inline-formula>, we have that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x273.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x274.png" xlink:type="simple"/></inline-formula>, thus<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x273.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x274.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x275.png" xlink:type="simple"/></inline-formula>. We now show that</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x276.png" xlink:type="simple"/></inline-formula>. By the dimension rank theorem, we have that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x276.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x277.png" xlink:type="simple"/></inline-formula> that is</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x278.png" xlink:type="simple"/></inline-formula>□</p><p>Now, we compute our quotient spaces of the 2 - 3 matrix Chevalley Eilenberg cohomology which are</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x279.png" xlink:type="simple"/></inline-formula> ,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x279.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x280.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x279.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x280.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x281.png" xlink:type="simple"/></inline-formula>.</p><p>For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x282.png" xlink:type="simple"/></inline-formula>, we have the following quotient space:</p><p>Case 1: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x283.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x283.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x284.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x285.png" xlink:type="simple"/></inline-formula>.</p><p>For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x286.png" xlink:type="simple"/></inline-formula>, we have the following quotient spaces:</p><p>Case 1: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x287.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x287.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x288.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x289.png" xlink:type="simple"/></inline-formula>.</p><p>Case 2: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x290.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x290.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x291.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x292.png" xlink:type="simple"/></inline-formula>.</p><p>Case 3: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x293.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x293.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x294.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x295.png" xlink:type="simple"/></inline-formula>.</p><p>Case 4: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x296.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x296.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x297.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x298.png" xlink:type="simple"/></inline-formula>.</p><p>Case 5: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x299.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x299.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x300.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x301.png" xlink:type="simple"/></inline-formula>.</p><p>Case 6: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x302.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x302.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x303.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x304.png" xlink:type="simple"/></inline-formula>.</p><p>Case 7: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x305.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x305.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x306.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x307.png" xlink:type="simple"/></inline-formula>.</p><p>Case 1: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x308.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x308.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x309.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x310.png" xlink:type="simple"/></inline-formula>.</p><p>Case 2: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x311.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x311.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x312.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x313.png" xlink:type="simple"/></inline-formula>.</p><p>Case 3: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x314.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x314.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x315.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x316.png" xlink:type="simple"/></inline-formula>.</p><p>Case 4: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x317.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x317.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x318.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x319.png" xlink:type="simple"/></inline-formula>.</p><p>Case 5: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x320.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x320.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x321.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x322.png" xlink:type="simple"/></inline-formula>.</p><p>Case 6: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x323.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x323.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x324.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x325.png" xlink:type="simple"/></inline-formula>.</p><p>Case 1: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x326.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x326.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x327.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x328.png" xlink:type="simple"/></inline-formula>.</p><p>Case 2: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x329.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x329.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x330.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x331.png" xlink:type="simple"/></inline-formula>.</p><p>Case 3: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x332.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x332.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x333.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x334.png" xlink:type="simple"/></inline-formula>.</p><p>Case 4: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x335.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x335.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x336.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x337.png" xlink:type="simple"/></inline-formula>.</p><p>Case 5: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x338.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x338.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x339.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x340.png" xlink:type="simple"/></inline-formula>.</p><p>Case 1: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x341.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x341.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x342.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x343.png" xlink:type="simple"/></inline-formula>.</p><p>Case 2: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x344.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x344.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x345.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x346.png" xlink:type="simple"/></inline-formula>.</p><p>Case 3: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x347.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x347.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x348.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x349.png" xlink:type="simple"/></inline-formula>.</p><p>Case 4: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x350.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x350.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x351.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x352.png" xlink:type="simple"/></inline-formula>.</p><p>Case 1: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x353.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x353.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x354.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x355.png" xlink:type="simple"/></inline-formula>.</p><p>Case 2: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x356.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x356.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x357.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x358.png" xlink:type="simple"/></inline-formula>.</p><p>Case 3: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x359.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x359.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x360.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x361.png" xlink:type="simple"/></inline-formula>.</p><p>Case 1: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x362.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x362.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x363.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x364.png" xlink:type="simple"/></inline-formula>.</p><p>Case 2: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x365.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x365.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x366.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x367.png" xlink:type="simple"/></inline-formula>.</p><p>For<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x368.png" xlink:type="simple"/></inline-formula>, we have the following quotient spaces:</p><p>Case 1: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x369.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x369.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x370.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x371.png" xlink:type="simple"/></inline-formula>.</p><p>Case 2: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x372.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x372.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x373.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x374.png" xlink:type="simple"/></inline-formula>.</p><p>Case 3: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x375.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x375.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x376.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x377.png" xlink:type="simple"/></inline-formula>.</p><p>Case 4: <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x378.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x378.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x379.png" xlink:type="simple"/></inline-formula></p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x380.png" xlink:type="simple"/></inline-formula>.</p><p>We suggest that further research in this direction is to carry out the deformation on the Cohomological spaces<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x381.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x381.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x382.png" xlink:type="simple"/></inline-formula>and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x381.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x382.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x383.png" xlink:type="simple"/></inline-formula> which are 32 in number and apply a specific example with<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x381.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x382.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x383.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/4-5300971x384.png" xlink:type="simple"/></inline-formula>. We will also carry out an extensive study on the solution of our system of linear equations on the 2 - 3 matrix Chavelley Eilenberg fundamental condition.</p></sec></sec><sec id="s3"><title>Acknowledgements</title><p>We thank the Editor and the referee for their comments.</p></sec><sec id="s4"><title>Cite this paper</title><p>JosephDongho,EpizitoneDuebe-Abi,Shuntah RolandYotcha, (2015) On 2 - 3 Matrix Chevalley Eilenberg Cohomology. Advances in Pure Mathematics,05,835-849. doi: 10.4236/apm.2015.514078</p></sec><sec id="s5"><title>NOTES</title></sec></body><back><ref-list><title>References</title><ref id="scirp.61921-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Chevalley, C. and Eilenberg, S. (1948) Cohomology Theory of Lie Groups and Lie Algebras. Transactions of the American Mathematical Society, 63, 85-124. http://dx.doi.org/10.1090/S0002-9947-1948-0024908-8</mixed-citation></ref><ref id="scirp.61921-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Nijenhuis, A. and Richardson, R.W. (1967) Deformation of Lie Algebra Structures. Journal of Mathematics and Mechanics, 17, No. 1.</mixed-citation></ref><ref id="scirp.61921-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Hochschild, G., Kostant, B. and Rosenberg, A. (1962) Differential Forms On Regular Affine Algebras. Transactions of the American Mathematical Society, 102, 383-408. http://dx.doi.org/10.1090/S0002-9947-1962-0142598-8</mixed-citation></ref><ref id="scirp.61921-ref4"><label>4</label><mixed-citation publication-type="book" xlink:type="simple">Goze, M. (1986) Perturbations of Lie Algebra Structures. In: Hazewinkel, M. and Gerstenhaber, M., Eds., Deformation Theory of Lie Algebra and Structures and Application, NATO ASI Series, Vol. 247, Springer, Netherlands, 265-355.</mixed-citation></ref><ref id="scirp.61921-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Hefferon, J. (2001) Linear Algebra. Saint Michaels College Colchester, Vermont.</mixed-citation></ref><ref id="scirp.61921-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Giarlet, P. (1998) Introduction à l’analyse numrique matricielle et l’optimisation. DUMOD.</mixed-citation></ref></ref-list></back></article>