{"id":412555,"date":"2024-06-29T22:36:56","date_gmt":"2024-06-29T22:36:56","guid":{"rendered":"http:\/\/savepearlharbor.com\/?p=412555"},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-29T21:00:00","slug":"","status":"publish","type":"post","link":"https:\/\/savepearlharbor.com\/?p=412555","title":{"rendered":"<span>Concordance of sense<\/span>"},"content":{"rendered":"<div><!--[--><!--]--><\/div>\n<div id=\"post-content-body\">\n<div>\n<div class=\"article-formatted-body article-formatted-body article-formatted-body_version-2\">\n<div xmlns=\"http:\/\/www.w3.org\/1999\/xhtml\">\n<p>In [<a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.13538.04804\" rel=\"noopener noreferrer nofollow\">1<\/a>,<a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.30315.26402\" rel=\"noopener noreferrer nofollow\">2<\/a>,<a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.11652.04485\" rel=\"noopener noreferrer nofollow\">3<\/a>] texts (sign sequences with repetitions) were transformed (coordinated) into algebraic systems using matrix units as word images. Coordinatization is a necessary condition of algebraization of any subject area. Function (arrow) (7) in <a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.13538.04804\" rel=\"noopener noreferrer nofollow\">[1]<\/a>) is a matrix coordinatization of text. One can perform algebraic operations with words and fragments of matrix texts as with integers, but taking into account the noncommutativity of multiplication of words as matrices. Structurization of texts is reduced to the calculation of ideals and categories of texts in matrix form.<\/p>\n<p>This article defines the concept of a matrix word in context. Words-signs in repetition may have different fragments of text between them (contexts), and words that are the same in spelling and sound &#8212; have different senses (as homonyms). In a text, all repeated words can be homonyms if their contexts differ by an appropriate measure (modulo). Conversely, words different in spelling and sound can have similar contexts and different measures of synonymy. The frequency of keywords in semantic analysis is more appropriately defined as the frequency of contexts comparable by an appropriate measure than as the frequency of word-signs, like letters of the alphabet. When calculating the semantic frequency of words taking into account the context, different word-signs with the same contexts should be summed in the frequency calculation and, conversely, the same word-signs with different contexts should be excluded.<\/p>\n<p>Matrix words are complemented by context multipliers. These multipliers due to the properties of matrix units do not lead to the change of words as signs but contain signs that affect the sense of the defined words. Context multipliers are present in matrix words, but do not affect the signs. Multipliers contain relations (according to Frege) with other signs (part of the properties of these signs is their sense in a given context). The semantic similarity and difference of words can then be calculated by comparing (matching) these multipliers-contexts.<\/p>\n<p>To perform algebraic operations with matrix words in context, concordance (concordance) &#8212; a semantic concordance of signs and text fragments, which depends on the measure (module) of concordance &#8212; is required. Matrix words can add up to a text if their contexts have a common measure (module). The invariants of matrix texts that retain their sense when words and text fragments are replaced by consonant ones are increasing and decreasing Noether chains. Noether chains allow to make systems of algebraic equations for transformations of texts preserving their sense.<\/p>\n<h2>The word in context<\/h2>\n<p>Suppose there are two repeated words <img decoding=\"async\" class=\"formula inline\" source=\"E_{i_1,j}\" alt=\"E_{i_1,j}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/abb\/3e2\/791\/abb3e279138eebd4fc92cd75eafa50ed.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"E_{i_2,j}\" alt=\"E_{i_2,j}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/6a9\/7e6\/1f1\/6a97e61f132649cfbfb764a0de493c7a.svg\"\/> (the second <em>j<\/em> coordinate is the number from the dictionary, the first coordinates <em>i<sub>1<\/sub><\/em> and <em>i<sub>2<\/sub><\/em> \u2013 are the word numbers in the text) and a fragment of the matrix text <img decoding=\"async\" class=\"formula inline\" source=\"F_{i_1,i_2}^j\" alt=\"F_{i_1,i_2}^j\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/42d\/256\/b83\/42d256b838df4b02311c7c8db6b062db.svg\"\/> between these words (context):<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"F_{i_1,i_2}^j=E_{i_1+1,k_1} + \\ldots + E_{i_2-1,k_n}, \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (1)\" alt=\"F_{i_1,i_2}^j=E_{i_1+1,k_1} + \\ldots + E_{i_2-1,k_n}, \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (1)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/e1a\/c8f\/b11\/e1ac8fb11e66b0b9a10c412d1fc2f0d3.svg\" width=\"347\" height=\"30\"\/><\/p>\n<p>where each <em>k<sub>m<\/sub><\/em> \u2013 is the number of the word in the dictionary (9) in <a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.13538.04804\" rel=\"noopener noreferrer nofollow\">[1]<\/a>, . Because of the coordinate rule (7) in <a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.13538.04804\" rel=\"noopener noreferrer nofollow\">[1]<\/a> any km in (1):<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"k_m &lt; i_2, \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (2)\" alt=\"k_m &lt; i_2, \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (2)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/55d\/def\/c42\/55ddefc4205d7593819053867c7adf6d.svg\" width=\"154\" height=\"22\"\/><\/p>\n<p>Because<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"k_1 \\leq i_1 + 1, \\ldots , k_n \\leq i_2 - 1, \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (3)\" alt=\"k_1 \\leq i_1 + 1, \\ldots , k_n \\leq i_2 - 1, \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (3)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/7fb\/b28\/bbc\/7fbb28bbcabc724ba2f7b107a53161c3.svg\" width=\"323\" height=\"22\"\/><img class=\"formula\" source=\" i_2 > i_2 &#8212; 1, \\ldots, i_2 > i_1 + 1. \\ \\ \\ \\ \\ \\ \\ \\ (4)&#187; alt=&#187; i_2 > i_2 &#8212; 1, \\ldots, i_2 > i_1 + 1. \\ \\ \\ \\ \\ \\ \\ \\ (4)&#187; src=&#187;https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/045\/278\/35c\/04527835c18aae9d167948d39c0951a0.svg&#187; width=&#187;296&#8243; height=&#187;22&#8243;\/><\/p>\n<p>In the case of <em>i<sub>2<\/sub> = i<sub>1<\/sub> + 1<\/em> fragment zero. For example, in the polychrome &#171;&#8230;&#187; in (1) the context of each dot is missing, and then the sense (context) has not each dot, but three dots as a whole, like a word (sign) in the dictionary. In this case the dot is also a sign from the dictionary of the text. Between two dots that are not adjacent, there is a non-zero text fragment (a sentence, as the corresponding context of each dot). Thus, even dots in the text, although they look the same, have different sense-context (as homonyms). Similarly, signs of paragraphs, paragraphs, and, generally speaking, all words have different senses in the text if they are repeated. Conversely, if words have the same appropriate measure (modulo) of context, but these words are different as signs, then they can be considered close in sense (synonyms). For example, \u00ab&#8230;\u00bb, \u00abso on\u00bb, \u00abetc\u00bb.<\/p>\n<p>Highly likely, in order to achieve universal incomprehension among the builders of the Tower of Babel, it was superfluous to force them to speak different languages. There is no universal understanding in a single contextual language, either; we need semantic (contextual) interpreters.<\/p>\n<p>In short <img decoding=\"async\" class=\"formula inline\" source=\"E_{i_2,j}\" alt=\"E_{i_2,j}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/af8\/80d\/6fd\/af880d6fd885104d4ce931c792e582ac.svg\"\/> in the context of <img decoding=\"async\" class=\"formula inline\" source=\"F_{i_1,i_2}^j\" alt=\"F_{i_1,i_2}^j\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/c1d\/a9d\/b62\/c1da9db624fa0f4388e93c59d30a9b62.svg\"\/>  is called an expression:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"E_{i_2,j} = (F_{i_1,i_2}^j+ E) E_{i_2,j}, \\ \\ \\ \\ \\ \\ \\ \\ \\ (5)\" alt=\"E_{i_2,j} = (F_{i_1,i_2}^j+ E) E_{i_2,j}, \\ \\ \\ \\ \\ \\ \\ \\ \\ (5)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/040\/7c1\/9ca\/0407c19caabfa74b53cc829ce98ea198.svg\" width=\"274\" height=\"30\"\/><\/p>\n<p>where <em>E<\/em> is a unit matrix. Because of (2):<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"F_{i_1,i_2}^j E_{i_2,j}= 0. \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (6)\" alt=\"F_{i_1,i_2}^j E_{i_2,j}= 0. \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (6)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/f4c\/001\/c46\/f4c001c46f9c8ebfef83601dfbadd1d1.svg\" width=\"218\" height=\"30\"\/><\/p>\n<p>The product to the right of any summand <img decoding=\"async\" class=\"formula inline\" source=\"F_{i_1,i_2}^j\" alt=\"F_{i_1,i_2}^j\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/4f1\/a4d\/25a\/4f1a4d25a5b3dd05d66b83a241e15284.svg\"\/> from (1) by <img decoding=\"async\" class=\"formula inline\" source=\"E_{i_2,j}\" alt=\"E_{i_2,j}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/964\/310\/5b6\/9643105b6aaf1bc1d25775d8d2be4908.svg\"\/> is zero.<\/p>\n<p>Multiplier <img decoding=\"async\" class=\"formula inline\" source=\"(F_{i_1,i_2}^j+E)\" alt=\"(F_{i_1,i_2}^j+E)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/7bf\/77d\/dcc\/7bf77ddcc780013449f40189a219ffd2.svg\"\/> does not cause (6) to change the sign of <img decoding=\"async\" class=\"formula inline\" source=\"E_{i_2,j}\" alt=\"E_{i_2,j}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/eba\/408\/b1d\/eba408b1daf93fbdf95708b6468cf909.svg\"\/>, but can be used to compare two (not necessarily repetitive) words <img decoding=\"async\" class=\"formula inline\" source=\"E_{i_1,i_2}\" alt=\"E_{i_1,i_2}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/8ae\/e29\/ba2\/8aee29ba25bb45be6e12553d5dd6c644.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"E_{i_3,i_4}\" alt=\"E_{i_3,i_4}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/bfc\/e22\/91e\/bfce2291e1c284585d5949640dd47c2a.svg\"\/> by comparing their contexts <img decoding=\"async\" class=\"formula inline\" source=\"F_{i_5,i_1}^{i_2}\" alt=\"F_{i_5,i_1}^{i_2}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/e7d\/1fd\/ab0\/e7d1fdab03d3868781a8cde4c39d1e61.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"F_{i_6,i_3}^{i_4}\" alt=\"F_{i_6,i_3}^{i_4}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/981\/fb1\/aa1\/981fb1aa16170c0e738ee2aa13a6d6bd.svg\"\/>. This semantic comparison of words in the text by context (sense) will hereafter be referred to as concordance (concordance) by sense of words.<\/p>\n<h2>Word concordance<\/h2>\n<p>Let there be two words <img decoding=\"async\" class=\"formula inline\" source=\"E_{i_2,j_1}\" alt=\"E_{i_2,j_1}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/ccb\/02b\/c1f\/ccb02bc1fbdefada53b25dbbbcd75b87.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"E_{i_4,j_2}\" alt=\"E_{i_4,j_2}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/f3a\/133\/793\/f3a13379332e863f550b5069351ae480.svg\"\/>  numbered  <img decoding=\"async\" class=\"formula inline\" source=\"j_1\" alt=\"j_1\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/ba0\/df7\/259\/ba0df72590ad419b266ab22d9ca0d895.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"j_2\" alt=\"j_2\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/e66\/f54\/5e8\/e66f545e8d876026744947a79b581556.svg\"\/>  from the right text dictionary  <img decoding=\"async\" class=\"formula inline\" source=\"D_R\" alt=\"D_R\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/871\/641\/11a\/87164111a59f9844654d7e0fa52a3c63.svg\"\/>  in contexts <img decoding=\"async\" class=\"formula inline\" source=\"F_{i_2,i_1}^{j_1}\" alt=\"F_{i_2,i_1}^{j_1}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/8bb\/2d9\/428\/8bb2d942876b6eaeaba8ec5a2993f03f.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"F_{i_3,i_4}^{j_2}\" alt=\"F_{i_3,i_4}^{j_2}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/07e\/7c4\/776\/07e7c47760b42ccef208c305f183099c.svg\"\/>  between pairs of repeating words:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"E_{i_2,j_1}= \\left( F_{i_2,i_1}^{j_1} D_{1R} + E \\right)E_{i_2,j_1}, \\ \\ \\ \\ \\ \\ \\ \\ (7)\" alt=\"E_{i_2,j_1}= \\left( F_{i_2,i_1}^{j_1} D_{1R} + E \\right)E_{i_2,j_1}, \\ \\ \\ \\ \\ \\ \\ \\ (7)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/1e6\/917\/139\/1e6917139626c4fe69f7bc3bf3a2c149.svg\" width=\"328\" height=\"38\"\/><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"E_{i_4,j_2}= \\left( F_{i_3,i_4}^{j_2} D_{2R} + E \\right)E_{i_4,j_2}, \\ \\ \\ \\ \\ \\ \\ \\ (8)\" alt=\"E_{i_4,j_2}= \\left( F_{i_3,i_4}^{j_2} D_{2R} + E \\right)E_{i_4,j_2}, \\ \\ \\ \\ \\ \\ \\ \\ (8)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/22f\/f50\/a30\/22ff50a301e810394c9b09f49b0a0faf.svg\" width=\"328\" height=\"38\"\/><\/p>\n<p>Where <img decoding=\"async\" class=\"formula inline\" source=\"D_{1R}\" alt=\"D_{1R}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/1f4\/64b\/f65\/1f464bf65282d0b64d1fa32aa71797eb.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"D_{2R}\" alt=\"D_{2R}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/05c\/745\/966\/05c745966b6a1e4479037db318eeb26b.svg\"\/> &#8212; right context dictionaries <img decoding=\"async\" class=\"formula inline\" source=\"F_{i_2,i_1}^{j_1}\" alt=\"F_{i_2,i_1}^{j_1}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/bf8\/fa3\/ec5\/bf8fa3ec5ea8e432b9fcfaa941144dcc.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"F_{i_3,i_4}^{j_2}\" alt=\"F_{i_3,i_4}^{j_2}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/35b\/3c8\/f53\/35b3c8f532877e8ed4c1496382a44b25.svg\"\/>, <img decoding=\"async\" class=\"formula inline\" source=\"i_1\" alt=\"i_1\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/5e7\/920\/fe4\/5e7920fe4863125914f8522f1e2e1f78.svg\"\/>, <img decoding=\"async\" class=\"formula inline\" source=\"i_2\" alt=\"i_2\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/f07\/c73\/8e9\/f07c738e917dd4f5250ee56eeafb6511.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"i_3\" alt=\"i_3\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/b24\/0ca\/078\/b240ca0781dd113aa70eb689a191a0f5.svg\"\/>, <img decoding=\"async\" class=\"formula inline\" source=\"i_4\" alt=\"i_4\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/5c6\/2d2\/87b\/5c62d287b88a7063d61879da15d36abf.svg\"\/> &#8212; numbers by pairs of repeating words. Hereafter, all dictionaries are taken as right-handed and the <img decoding=\"async\" class=\"formula inline\" source=\"R\" alt=\"R\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/9ee\/610\/0cb\/9ee6100cb5647fa9f9af5fdb7a88bb65.svg\"\/> index is not specified.<\/p>\n<p>Two words can be concordant (agreed) both by the intersection of the word contexts (2) in <a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.11652.04485\" rel=\"noopener noreferrer nofollow\">[3]<\/a> and by the association (3) in <a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.11652.04485\" rel=\"noopener noreferrer nofollow\">[3]<\/a>.  In what follows, only the intersection of contexts will be considered. Algebraically descriptions for union and intersection coincide. For application, their purpose is different. A human, due to natural physical limitations, can hold only a few entities (about seven) at a time in the process of understanding. Such an operation of thinking as abstraction is used to reduce the variety of the world to this number. Concordance by intersection is a mathematical explication of the process of abstraction in the form of reduction (4) in <a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.11652.04485\" rel=\"noopener noreferrer nofollow\">[3]<\/a>. The limiting case of abstract concepts of natural language is logical categories (Aristotle, Kant, Hegel). Hierarchical continuity of concepts (words) is necessary for construction of part-whole relations (relations of understanding).<\/p>\n<p>Concordance by association (3) in <a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.11652.04485\" rel=\"noopener noreferrer nofollow\">[3]<\/a> increases essences. But their number matters only for humans. For machine languages this restriction is not essential. Therefore, concordance on unification can be applied to interaction of machines as well as to future collective mind of human population (according to P.G. Kuznetsov), for which it is necessary to create technologies of collective understanding. At present, acceptable understanding is achieved in teams of programmers. For collectives of five or more, such as physicians (according to T. and B. Buzan), there is no single term that they understand in the same way. In mathematics, seemingly the universal language of mankind, with ideal objects not changing in time (P.G. Kuznetsov), specialization has reached such a level that territorially distributed teams of three or four people understand each other completely.<\/p>\n<p>Concordance by intersection will be called simply concordance. Two words (7) and (8) are concordant (consistent) <img decoding=\"async\" class=\"formula inline\" source=\"\\dot{\\sim}\" alt=\"\\dot{\\sim}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/976\/b1a\/c53\/976b1ac53354c033f6b38e060da70d85.svg\"\/>(\u00abdot over tilde\u00bb) on the intersection of the right-hand dictionaries <img decoding=\"async\" class=\"formula inline\" source=\"D_{1R}\" alt=\"D_{1R}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/097\/317\/7fa\/0973177fa997b0c40778ebcf897b25f4.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"D_{2R}\" alt=\"D_{2R}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/f57\/691\/837\/f5769183747a69b8e44102bf7ff37ff9.svg\"\/>  contexts <img decoding=\"async\" class=\"formula inline\" source=\"F_{i_1,i_2}^{j_1}\" alt=\"F_{i_1,i_2}^{j_1}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/a51\/ff6\/c31\/a51ff6c31c9d17fc1c67ca591840a030.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"F_{i_3,i_4}^{j_2}\" alt=\"F_{i_3,i_4}^{j_2}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/6f7\/1da\/9fd\/6f71da9fd4f7c60423e5acd626a3ac82.svg\"\/>:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"E_{i_2,j_1}\\dot{\\sim} E_{i_4,j_2}(\\mathrm{mod}{D_1D_2}), \\ \\ \\ \\ \\ \\ (9)\" alt=\"E_{i_2,j_1}\\dot{\\sim} E_{i_4,j_2}(\\mathrm{mod}{D_1D_2}), \\ \\ \\ \\ \\ \\ (9)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/2fb\/8e5\/42e\/2fb8e542ec0a49501a9de06aa840a4e7.svg\" width=\"268\" height=\"24\"\/><\/p>\n<p>if the intersection of two dictionaries:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\" D_1D_2 \\ne 0 \\ \\ \\ \\ \\ \\ \\ \\ \\ (10)\" alt=\" D_1D_2 \\ne 0 \\ \\ \\ \\ \\ \\ \\ \\ \\ (10)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/2a6\/82d\/972\/2a682d9723345131b67116cb54872d8a.svg\" width=\"165\" height=\"22\"\/><\/p>\n<p>Expression (9) means that the words <img decoding=\"async\" class=\"formula inline\" source=\"E_{i_2,j_1}\" alt=\"E_{i_2,j_1}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/869\/181\/06d\/86918106d8964a6b7a0ce7a4474d8269.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"E_{i_4,j_2}\" alt=\"E_{i_4,j_2}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/e76\/047\/622\/e760476223766c3d0fe7b56d07903d78.svg\"\/> are similar in the sense that their contexts   <img decoding=\"async\" class=\"formula inline\" source=\"F_{i_1,i_2}^{j_1}\" alt=\"F_{i_1,i_2}^{j_1}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/334\/a11\/049\/334a1104967216bc7f89934520d151ba.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"F_{i_3,i_4}^{j_2}\" alt=\"F_{i_3,i_4}^{j_2}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/535\/91a\/246\/53591a246b3f85769d2a6bde9fb8eaeb.svg\"\/>  have a common vocabulary <img decoding=\"async\" class=\"formula inline\" source=\"D_1D_2\" alt=\"D_1D_2\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/4ba\/95a\/642\/4ba95a6423f316217d59e25650091d44.svg\"\/>. The consistent contexts are the contexts after the reduction (4) in <a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.11652.04485\" rel=\"noopener noreferrer nofollow\">[3]<\/a>:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"F_{i_1,i_2}^{j_1} D_1D_2 \\ \\ \\ \\ \\ \\ \\ \\ (11)\" alt=\"F_{i_1,i_2}^{j_1} D_1D_2 \\ \\ \\ \\ \\ \\ \\ \\ (11)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/8d6\/9ae\/bb2\/8d69aebb28d53e1ae08d87c191e85fd8.svg\" width=\"165\" height=\"31\"\/><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"F_{i_3,i_4}^{j_2} D_1D_2  \\ \\ \\ \\ \\ \\ \\ \\ (12)\" alt=\"F_{i_3,i_4}^{j_2} D_1D_2  \\ \\ \\ \\ \\ \\ \\ \\ (12)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/26a\/899\/2c2\/26a8992c2621011efaaee06b1c3fb153.svg\" width=\"165\" height=\"31\"\/><\/p>\n<p>Each reduced context contains all the words from the dictionary <img decoding=\"async\" class=\"formula inline\" source=\"D_1D_2\" alt=\"D_1D_2\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/0a9\/33d\/977\/0a933d977b6951a5446b448e6e169920.svg\"\/>. Indeed, for any word <img decoding=\"async\" class=\"formula inline\" source=\"E_{i_5,j_3}\" alt=\"E_{i_5,j_3}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/0e3\/e36\/abf\/0e3e36abff41796b334f875aa1a530c2.svg\"\/>, available in <img decoding=\"async\" class=\"formula inline\" source=\"F_{i_1,i_2}^{j_1}\" alt=\"F_{i_1,i_2}^{j_1}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/c1f\/3d5\/c06\/c1f3d5c063a1091ee1972fe127a72bf3.svg\"\/>, but absent in the  <img decoding=\"async\" class=\"formula inline\" source=\"F_{i_3,i_4}^{j_2}\" alt=\"F_{i_3,i_4}^{j_2}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/a9e\/9ef\/c99\/a9e9efc9972e151f9f4d7eea00246b67.svg\"\/>:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"\\left(E_{i_5,j_3} + F_{i_1,i_2}^{\\star j_1}\\right) D_1D_2= F_{i_1,i_2}^{\\star j_1} D_1D_2, \\ \\ \\ \\ \\ \\ \\ (13)\" alt=\"\\left(E_{i_5,j_3} + F_{i_1,i_2}^{\\star j_1}\\right) D_1D_2= F_{i_1,i_2}^{\\star j_1} D_1D_2, \\ \\ \\ \\ \\ \\ \\ (13)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/220\/012\/2cc\/2200122cc8ae6f7aca989dfcfe3ef00a.svg\" width=\"380\" height=\"38\"\/><\/p>\n<p>where <img decoding=\"async\" class=\"formula inline\" source=\"F_{i_1,i_2}^{\\star{}j_1}\" alt=\"F_{i_1,i_2}^{\\star{}j_1}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/b2c\/38e\/4e3\/b2c38e4e366ed346065f44e3c79c6308.svg\"\/>  &#8212;  part of the context  <img decoding=\"async\" class=\"formula inline\" source=\"F_{i_1,i_2}^{j_1}\" alt=\"F_{i_1,i_2}^{j_1}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/893\/010\/6c9\/8930106c948e008eb6c47cf86345dd42.svg\"\/> after deleting the word <img decoding=\"async\" class=\"formula inline\" source=\"E_{i_5,j_5}\" alt=\"E_{i_5,j_5}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/578\/171\/767\/578171767e7413e226c70efd3f351537.svg\"\/>. <em>N<\/em> words are concordant if each pair is concordant:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"E_{i_1,j_1}\\dot{\\sim} E_{i_2,j_2}(\\mathrm{mod}D_1D_2 \\ldots D_N), \\ \\ \\ \\ \\ \\ \\ \\ (14)\" alt=\"E_{i_1,j_1}\\dot{\\sim} E_{i_2,j_2}(\\mathrm{mod}D_1D_2 \\ldots D_N), \\ \\ \\ \\ \\ \\ \\ \\ (14)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/3c0\/6a2\/44c\/3c06a244c38e51cd97c5cf3ca2fa7674.svg\" width=\"348\" height=\"24\"\/><\/p>\n<p>and the work of the dictionaries <\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"D_1D_2\\ldots D_N \\ne 0 \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (15)\" alt=\"D_1D_2\\ldots D_N \\ne 0 \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (15)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/eb3\/4df\/9c7\/eb34df9c7c25d611d7802fa92646a0e4.svg\" width=\"231\" height=\"22\"\/><\/p>\n<p>Concordance ratio <img decoding=\"async\" class=\"formula inline\" source=\"\\dot{\\sim}\" alt=\"\\dot{\\sim}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/203\/b41\/004\/203b41004f48ab69deae0fef0736f1b6.svg\"\/> is an equivalence relation since the reflexivity and symmetry conditions for the matrices are satisfied, and the transitivity of the relation follows from (14) and (15).<\/p>\n<p>The measure (module) of concordance is (15). It is this modulus that explains the appearance of the term &#171;modulo concordance&#187; by analogy with the term &#171;modulo comparison&#187; for integers. Just as different integers can be equal modulo, so different (as characters) words in a text can be equivalent (interchangeable) modulo concordance. This means that if words have concordant contexts, then the words have concordant sense and can be considered equivalent (interchangeable in sense in the text).<\/p>\n<p>Words <img decoding=\"async\" class=\"formula inline\" source=\"E_{i_1,j_1},\\ldots,E_{i_n,j_n}\" alt=\"E_{i_1,j_1},\\ldots,E_{i_n,j_n}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/5bb\/395\/a9b\/5bb395a9b48c5d657688a315070db3a5.svg\"\/> and their sums can be concordant modulo. On concordance relations, like equality and comparison modulo, it is possible to compose systems of concordance equations. The unknowns can be definable and determinable words, concordance moduli, contexts, and text fragments. Concordance equations allow to calculate answers to such questions: in what sense (here the unknown is the module of concordance) are words and texts concordant? If the sense (modulus) is given, what set of words do we replace with other words? In this way, it is possible to compute word definitions and sense versions of texts. Find interchangeable words, compute semantic markup and text structuring, annotation text drafts, and semantic text translation (even of the same language). New functions of text editors and readers, messengers and social networks can be based on these computational capabilities. In the latter case, it is possible, by compiling a personal contextual dictionary of a user-participant according to his messages, to accompany communication with semantic translation of text and sound through the personal contextual languages of other participants.<\/p>\n<h2>Concordant addition <\/h2>\n<p>The concordant addition of the pair of words (7) and (8)  is the expression:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"E_{i_2,j_1}+ E_{i_4,j_2}= \\\\ = \\left[ \\left(F_{i_1,i_2}^{j_1} +       F_{i_3,i_4}^{j_2}\\right)D_1D_2 + E\\right]       \\left(E_{i_2,j_1}+ E_{i_4,j_2}\\right) \\ \\ \\ \\ \\ \\ \\ \\ (16)\" alt=\"E_{i_2,j_1}+ E_{i_4,j_2}= \\\\ = \\left[ \\left(F_{i_1,i_2}^{j_1} +       F_{i_3,i_4}^{j_2}\\right)D_1D_2 + E\\right]       \\left(E_{i_2,j_1}+ E_{i_4,j_2}\\right) \\ \\ \\ \\ \\ \\ \\ \\ (16)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/ff7\/845\/950\/ff78459502e562241700216924d1927a.svg\" width=\"665\" height=\"67\"\/><\/p>\n<p>At the same time, according to (6):<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\" F_{i_1,i_2}^{j_1} E_{i_2,j_1}= 0 \\ \\ \\ \\ \\ \\ \\ (17)\" alt=\" F_{i_1,i_2}^{j_1} E_{i_2,j_1}= 0 \\ \\ \\ \\ \\ \\ \\ (17)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/307\/f68\/68f\/307f6868f2a39da591abd22e994fd48b.svg\" width=\"189\" height=\"31\"\/><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"F_{i_3,i_4}^{j_2} E_{i_4,j_2}= 0 \\ \\ \\ \\ \\ \\ \\ (18)\" alt=\"F_{i_3,i_4}^{j_2} E_{i_4,j_2}= 0 \\ \\ \\ \\ \\ \\ \\ (18)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/ff4\/9fe\/6cc\/ff49fe6ccafb156fb7924640f65def3c.svg\" width=\"189\" height=\"31\"\/><\/p>\n<p>Because  <img decoding=\"async\" class=\"formula inline\" source=\"F_{i1,i2}^{j_1}D_1D_2\" alt=\"F_{i1,i2}^{j_1}D_1D_2\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/001\/bdc\/34f\/001bdc34f05bc8c09995fe7abeea6197.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"F_{i_3,i_4}^{j_2}D_1D_2\" alt=\"F_{i_3,i_4}^{j_2}D_1D_2\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/6c2\/031\/be6\/6c2031be6dc5a4b155c9f2a831a16494.svg\"\/> &#8212; are parts of fragments <img decoding=\"async\" class=\"formula inline\" source=\"F_{i_1,i_2}^{j_1}\" alt=\"F_{i_1,i_2}^{j_1}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/837\/ad8\/86c\/837ad886cc571def2c538a6034a4f6e1.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"F_{i_3,i_4}^{j_2}\" alt=\"F_{i_3,i_4}^{j_2}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/063\/613\/bcd\/063613bcd9b2037ed1617da0e4c66a5c.svg\"\/>, then:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"F_{i_1,i_2}^{j_1} D_1D_2E{i_2,j_1}= 0 \\ \\ \\ \\ \\ \\ \\ (19)\" alt=\"F_{i_1,i_2}^{j_1} D_1D_2E{i_2,j_1}= 0 \\ \\ \\ \\ \\ \\ \\ (19)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/dec\/e32\/7c3\/dece327c3a0722d94cc964b217e512a2.svg\" width=\"253\" height=\"31\"\/><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"F_{i_3,i_4}^{j_2} D_1D_2E_{i_4,j_2}= 0 \\ \\ \\ \\ \\ \\ \\ (20)\" alt=\"F_{i_3,i_4}^{j_2} D_1D_2E_{i_4,j_2}= 0 \\ \\ \\ \\ \\ \\ \\ (20)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/9ad\/905\/37c\/9ad90537c2ebfa2271c9a1549ad5c9d1.svg\" width=\"240\" height=\"31\"\/><\/p>\n<p>Thus, <img decoding=\"async\" class=\"formula inline\" source=\"\\left[\\left(F_{i_1,i_2}^{j_1}+F_{i_3,i_4}^{j_2}\\right)D_1D_2+E\\right]\" alt=\"\\left[\\left(F_{i_1,i_2}^{j_1}+F_{i_3,i_4}^{j_2}\\right)D_1D_2+E\\right]\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/26d\/1d9\/603\/26d1d9603e43b1ddfac77b893ff3a425.svg\"\/>  is a concordant context for the sum of words. The matching module is a common dictionary of two contexts <img decoding=\"async\" class=\"formula inline\" source=\"D_1D_2\" alt=\"D_1D_2\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/1d2\/f22\/f40\/1d2f22f40c6bfe668602f979dd077d67.svg\"\/>. Concordant addition of <em>n<\/em> words:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"E_{i_1,j_1}+ \\ldots + E_{i_n,j_n}= \\\\ = \\left[\\left(F_{\\ldots,i_1}^{j_1} +\\ldots +F_{\\ldots,i_n}^{j_n}\\right)D_1\\cdot \\ldots \\cdot D_n + E\\right] \\times \\\\ \\times  \\left(E_{i_1,j_1}+ \\ldots + E_{i_n,j_n}\\right), \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (21)\" alt=\"E_{i_1,j_1}+ \\ldots + E_{i_n,j_n}= \\\\ = \\left[\\left(F_{\\ldots,i_1}^{j_1} +\\ldots +F_{\\ldots,i_n}^{j_n}\\right)D_1\\cdot \\ldots \\cdot D_n + E\\right] \\times \\\\ \\times  \\left(E_{i_1,j_1}+ \\ldots + E_{i_n,j_n}\\right), \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (21)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/588\/813\/209\/58881320918d873c0ebb43ff5ee12e3f.svg\" width=\"665\" height=\"99\"\/><\/p>\n<p>where the ellipses in the indices <img decoding=\"async\" class=\"formula inline\" source=\"F_{\\ldots,i}^j\" alt=\"F_{\\ldots,i}^j\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/ae6\/6f4\/818\/ae66f4818468863fde2b0e8bcf5a2b5a.svg\"\/>  means the number of the repeating word <img decoding=\"async\" class=\"formula inline\" source=\"j\" alt=\"j\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/51d\/34f\/563\/51d34f56373d9d541f62362d1c214e92.svg\"\/>  to the left of the number <img decoding=\"async\" class=\"formula inline\" source=\"i\" alt=\"i\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/31d\/b92\/052\/31db92052b7cfdd15a39b8c78ba14170.svg\"\/>, <img decoding=\"async\" class=\"formula inline\" source=\"D_1\\ldots{}D_n\" alt=\"D_1\\ldots{}D_n\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/32c\/e05\/911\/32ce05911c7728bdf808a4ef84cf0243.svg\"\/> &#8212; the product of the right context dictionaries <img decoding=\"async\" class=\"formula inline\" source=\"F_{\\ldots{},i_1}^{j_1},\\ldots{},F_{\\ldots{},i_n}^{j_n}\" alt=\"F_{\\ldots{},i_1}^{j_1},\\ldots{},F_{\\ldots{},i_n}^{j_n}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/20b\/4ce\/c24\/20b4cec241e4617964f88c868276dac3.svg\"\/>.<\/p>\n<h2>The word in a refined context<\/h2>\n<p>Two words are concordant (9) if the right dictionaries of their contexts have a non-zero overlap (10). But each word of these contexts is also a word in the context (5). Therefore, mutual concordance of the defined word with the defining words is necessary. According to V.A. Lefebvre, this reflexivity is the cause of the ambiguity of natural language and texts&#8217; interpretations (\u00abI think that they think that I think that &#8230;\u00bb).<\/p>\n<p>A mathematical explication of reflexion is the latent semantic nonlinearity of linearly ordered word-signs. Perhaps, in the future, linguistic texts will cease to be linear and oneedimensional.  Note texts, for example, are 5-dimensional, although they can also be transposed into one-dimensional stan-&#171;thread&#187;, but this will turn note texts into monstrously incomprehensible codes with dictionaries comparable to the dictionaries of language texts. Such one-dimensional music texts, like language texts, would require a semantic gestalt translation, not just a personal intonation translation, as for 5-dimensional music texts. In a future multidimensional language text, it will be possible to point to the sense chains of revealing the sense of words and text fragments, rather than to recognize them intuitively or with the help of fast reading know-how.<\/p>\n<p>Context  <img decoding=\"async\" class=\"formula inline\" source=\"F_{i_1,i_2}^j\" alt=\"F_{i_1,i_2}^j\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/8d4\/49d\/fde\/8d449dfde258724aec859e0d34ca72ef.svg\"\/> (1) in the definition of the word (5) can be regarded as the concordant sum of matrix words (21), since each summand word in (1) also has its own context. Then the word in such a refined context for (5) has the form:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"E_{i_2,j} = \\left(F_{i_1,i_2}^j + E\\right) E_{i_2,j} =\\\\  =\\left[\\left[\\left(F_{\\ldots,i_1}^{j_1} + \\ldots + F_{\\ldots,i_n}^{j_n}\\right) \\times \\\\ \\times D\\left(F_{\\ldots,i_1}^{j_1}\\right)D  \\left(F_{\\ldots,i_2}^{j_2}\\right) \\ldots D\\left(F_{\\ldots,i_n}^{j_n}\\right) + E\\right]\\times \\\\ \\times F_{i_1,i_2}^j D\\left(F_{i_1,i_2}^j\\right) + E\\right] E_{i_2,j}, \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (22)\" alt=\"E_{i_2,j} = \\left(F_{i_1,i_2}^j + E\\right) E_{i_2,j} =\\\\  =\\left[\\left[\\left(F_{\\ldots,i_1}^{j_1} + \\ldots + F_{\\ldots,i_n}^{j_n}\\right) \\times \\\\ \\times D\\left(F_{\\ldots,i_1}^{j_1}\\right)D  \\left(F_{\\ldots,i_2}^{j_2}\\right) \\ldots D\\left(F_{\\ldots,i_n}^{j_n}\\right) + E\\right]\\times \\\\ \\times F_{i_1,i_2}^j D\\left(F_{i_1,i_2}^j\\right) + E\\right] E_{i_2,j}, \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (22)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/cea\/cb5\/a2d\/ceacb5a2dd1f49e773d4bd291b5b66e0.svg\" width=\"665\" height=\"170\"\/><\/p>\n<p>where<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\" D\\left(F_{\\ldots,i_1}^{j_1}\\right), \\ldots , D\\left(F_{\\ldots,i_n}^{j_n}\\right) \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (23)\" alt=\" D\\left(F_{\\ldots,i_1}^{j_1}\\right), \\ldots , D\\left(F_{\\ldots,i_n}^{j_n}\\right) \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (23)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/eb1\/0e5\/b9d\/eb10e5b9d0f95603edd415875e1e0111.svg\" width=\"328\" height=\"38\"\/><\/p>\n<p>-context dictionaries <img decoding=\"async\" class=\"formula inline\" source=\"F_{\\ldots,i_1}^{j_1},\\ldots,F_{\\ldots,i_n}^{j_n}\" alt=\"F_{\\ldots,i_1}^{j_1},\\ldots,F_{\\ldots,i_n}^{j_n}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/8ae\/ccd\/812\/8aeccd812351541dd414ab6a9e357605.svg\"\/>,<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\" D\\left(F_{i_1,i_2}^j\\right) \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (24)\" alt=\" D\\left(F_{i_1,i_2}^j\\right) \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (24)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/124\/37b\/62d\/12437b62d44b39cd1f759b2a403f220a.svg\" width=\"196\" height=\"38\"\/><\/p>\n<p>-fragment-context dictionary <img decoding=\"async\" class=\"formula inline\" source=\"F_{i_1,i_2}^j\" alt=\"F_{i_1,i_2}^j\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/6fc\/eaf\/2bf\/6fceaf2bff516ec15b3f4f4e3e97f1d0.svg\"\/>.<\/p>\n<p>The word in the refined context (22) is a matrix bilinear form in <img decoding=\"async\" class=\"formula inline\" source=\"F\" alt=\"F\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/126\/6bf\/159\/1266bf1591169209afc4fbfc805bf1fd.svg\"\/>.<\/p>\n<p>Two words of the form (22) are concordant in the refined contexts if the intersection (product) of all vocabularies of all contexts of both words<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"D_1D_2 \\ne 0, \\ \\ \\ \\ \\ \\ \\ (25)\" alt=\"D_1D_2 \\ne 0, \\ \\ \\ \\ \\ \\ \\ (25)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/753\/4f2\/6b8\/7534f26b896e4284d4ccb5070ec5f8d3.svg\" width=\"164\" height=\"22\"\/><\/p>\n<p>where <img decoding=\"async\" class=\"formula inline\" source=\"D_1\" alt=\"D_1\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/385\/456\/527\/3854565277de4a21cb5f60bc58c1613f.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"D_2\" alt=\"D_2\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/0c7\/86d\/d07\/0c786dd0734d2ca3ffaf7f7ed87b1237.svg\"\/> &#8212; the products of all dictionaries (23) and (24) of the first and second word.<\/p>\n<p>There can be n words concordant on refined contexts if each pair is concordant.  The module of concordance is the product of all vocabularies of all contexts of all forms.<\/p>\n<p>There can be concordant sums of words (text fragments) (21) over refined contexts if each pair of sums is concordant.<\/p>\n<p>A pair of word sums is concordant if the product of the vocabularies of all contexts of all words of the pair of sums is different from zero.<\/p>\n<p>If the modulus of concordance, as the product of the dictionaries of all refined contexts of all words as bilinear forms (22), is nonzero, then the text of these words is concordant.<\/p>\n<h2>Concordance classes<\/h2>\n<p>All words and fragments of the matrix text can be decomposed into concordance classes. Each word  <img decoding=\"async\" class=\"formula inline\" source=\"E_{i_2,j}\" alt=\"E_{i_2,j}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/9d5\/aca\/12b\/9d5aca12b6c655c856157b7dbf9266d1.svg\"\/>  numbered <img decoding=\"async\" class=\"formula inline\" source=\"i_2\" alt=\"i_2\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/05d\/a50\/971\/05da509715d9d60b048c13df8ab962a4.svg\"\/>   to the text in the form (22) corresponds to the multiplier on the left:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"\\left[     \\left[         \\left(F_{\\ldots,i_1}^{j_1} +\\ldots +F_{\\ldots,i_n}^{j_n}         \\right) + E     \\right]F_{i_1,i_2}^j+ E \\right].   \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (26)\" alt=\"\\left[     \\left[         \\left(F_{\\ldots,i_1}^{j_1} +\\ldots +F_{\\ldots,i_n}^{j_n}         \\right) + E     \\right]F_{i_1,i_2}^j+ E \\right].   \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (26)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/206\/ad4\/b3f\/206ad4b3f15659d4a861f79929f867c9.svg\" width=\"447\" height=\"38\"\/><\/p>\n<p>To each text fragment  <img decoding=\"async\" class=\"formula inline\" source=\"F_i\" alt=\"F_i\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/193\/a77\/135\/193a77135d6ca411718cf5729015238b.svg\"\/>, as any <img decoding=\"async\" class=\"formula inline\" source=\"F\" alt=\"F\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/ad0\/7cc\/286\/ad07cc28618b0c6f66b2cf8a67488207.svg\"\/> in (25), corresponds to its vocabulary  <img decoding=\"async\" class=\"formula inline\" source=\"D_i\" alt=\"D_i\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/12c\/0d8\/bd1\/12c0d8bd16f91aab7dbb3be9be98c40b.svg\"\/><\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"F_iD_i= F_i \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (27)\" alt=\"F_iD_i= F_i \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (27)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/cd4\/d20\/16f\/cd4d2016ffb6e88eebc1f17155e6b3ce.svg\" width=\"182\" height=\"22\"\/><\/p>\n<p>The multipliers (26) on the left for <img decoding=\"async\" class=\"formula inline\" source=\"E_{i_2,j}\" alt=\"E_{i_2,j}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/280\/c2c\/81c\/280c2c81c33afdf6284817c8d5ef7a66.svg\"\/> in (22), as well as <img decoding=\"async\" class=\"formula inline\" source=\"D_i\" alt=\"D_i\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/722\/b11\/a84\/722b11a84128e31f91014d3501f7fca0.svg\"\/>. To the right for <img decoding=\"async\" class=\"formula inline\" source=\"F\" alt=\"F\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/0a9\/456\/ee2\/0a9456ee2e34c1fdb1715eb80cce510e.svg\"\/> in (27), exist, but do not change <img decoding=\"async\" class=\"formula inline\" source=\"E_{i_2,j}\" alt=\"E_{i_2,j}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/eae\/ccc\/335\/eaeccc3358581d4ae349283591b6ff0b.svg\"\/> or <img decoding=\"async\" class=\"formula inline\" source=\"F_i\" alt=\"F_i\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/22c\/7f1\/94b\/22c7f194b7db7ac9b95dca485b4a3423.svg\"\/>. In this case, the multipliers are uniquely determined from the text by its fragments. The absence of multiplier influence on signs is a necessary condition, but not sufficient for concordance relations. A sufficient condition is that those not affecting the signs  <img decoding=\"async\" class=\"formula inline\" source=\"E_{i,j}\" alt=\"E_{i,j}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/430\/166\/f0c\/430166f0ceb52ade0e5f30c1306cf6f4.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"F_i\" alt=\"F_i\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/e00\/cbc\/923\/e00cbc923aa4d74f77c1af458b0c308c.svg\"\/>  the multipliers (25)  on the left and <img decoding=\"async\" class=\"formula inline\" source=\"D_i\" alt=\"D_i\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/356\/8dc\/49f\/3568dc49f2c079f82e297756962cc374.svg\"\/> to the right (26)  are a single-valued function (property) of the text.<\/p>\n<p>To each pair of words  <img decoding=\"async\" class=\"formula inline\" source=\"E_{i_1,j_1}\" alt=\"E_{i_1,j_1}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/379\/5b7\/de5\/3795b7de5dfd4e6c2d94eb9285c80303.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"E_{i_2,j_2}\" alt=\"E_{i_2,j_2}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/9a3\/8e1\/1f5\/9a38e11f5e8e41366a41faa0931a6983.svg\"\/>  in the form (22) with the numbers  <img decoding=\"async\" class=\"formula inline\" source=\"i_1\" alt=\"i_1\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/ee8\/6f5\/901\/ee86f59019552b2b4eac0c4d01431408.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"i_2\" alt=\"i_2\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/5bd\/9ea\/41d\/5bd9ea41d95638c2c55cbc2658c1ca9c.svg\"\/>  in the text corresponds to the module  <img decoding=\"async\" class=\"formula inline\" source=\"\\kappa_{i_1,i_2}\" alt=\"\\kappa_{i_1,i_2}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/956\/fa4\/d64\/956fa4d6498eb64277f486abb3fc2f90.svg\"\/> (kappa) concordance is the product of all vocabularies of all refined contexts of both words (25).<\/p>\n<p>Each pair of text fragments  <img decoding=\"async\" class=\"formula inline\" source=\"F_i\" alt=\"F_i\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/8b0\/be0\/4c7\/8b0be04c7322637c28adcb65ad54dddd.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"F_j\" alt=\"F_j\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/588\/d8d\/8c7\/588d8d8c76a2ce87563ace82e0875749.svg\"\/>  corresponds to the module <img decoding=\"async\" class=\"formula inline\" source=\"\\kappa_{i,j}\" alt=\"\\kappa_{i,j}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/ab6\/797\/d16\/ab6797d169c242ba3682e391dc7f7682.svg\"\/> concordance is the product of all dictionaries of all refined contexts of all words. <\/p>\n<p>To each pair <img decoding=\"async\" class=\"formula inline\" source=\"E_{i_1,j_1}\" alt=\"E_{i_1,j_1}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/347\/8a2\/da5\/3478a2da5ee92a69eed764633714b1c9.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"F_j\" alt=\"F_j\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/7ba\/8a4\/ad6\/7ba8a4ad6004c92f1a49a677493c717f.svg\"\/>  of the word form (22) and the text fragment corresponds to the module <img decoding=\"async\" class=\"formula inline\" source=\"\\kappa_{i_1,j}\" alt=\"\\kappa_{i_1,j}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/988\/0e9\/bad\/9880e9bad6616f81d6f4dc741c028c0f.svg\"\/>  concordance \u2013- the product of all dictionaries of all refined contexts  <img decoding=\"async\" class=\"formula inline\" source=\"E_{i_1,j_1}\" alt=\"E_{i_1,j_1}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/130\/3ba\/732\/1303ba73270a38c740d02edc208c4111.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"F_j\" alt=\"F_j\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/be1\/9f1\/6cd\/be19f16cd9a0f6ae009af5512dc87d9e.svg\"\/>.<\/p>\n<p>Conversely each module,  <img decoding=\"async\" class=\"formula inline\" source=\"\\kappa_K\" alt=\"\\kappa_K\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/ed5\/a70\/a86\/ed5a70a86fa5b60f919be52346fcbd49.svg\"\/>  (class name) corresponds to a set of refined contexts, a set of words corresponding to these contexts according to (22) and a set of text fragments having a vocabulary equal to  <img decoding=\"async\" class=\"formula inline\" source=\"\\kappa_K\" alt=\"\\kappa_K\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/28a\/302\/794\/28a30279432555d4f1a799d57fb26b33.svg\"\/>. All these three sets are mutually concordant and all their elements are elements of one concordance class  <img decoding=\"async\" class=\"formula inline\" source=\"\\kappa_K\" alt=\"\\kappa_K\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/380\/a2b\/5ee\/380a2b5eeb017e0d2eb41410bba52047.svg\"\/>.<\/p>\n<p>The set of all concordance classes modulo <img decoding=\"async\" class=\"formula inline\" source=\"\\kappa_K\" alt=\"\\kappa_K\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/376\/9b8\/8da\/3769b88da334ddd4c1565aca5bab060e.svg\"\/> is the Boolean set of all n words of the text dictionary or all its partial sums (fragment dictionaries). The number of all partial sums  <img decoding=\"async\" class=\"formula inline\" source=\"2^n\" alt=\"2^n\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/bb7\/27d\/041\/bb727d04137e629277371871ced93fa7.svg\"\/>.<\/p>\n<p>The belonging of such elements to one class means that there exist matrices of transformation of elements into each other. Indeed, if the set of refined contexts, the set of words corresponding to these contexts according to (22) and the set of text fragments have one vocabulary equal to , then all these elements are similar to each other (20) in <a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.13538.04804\" rel=\"noopener noreferrer nofollow\">[1]<\/a>. In this case, the common object of transformations in refined contexts and text fragments are matrix polynomials (31) in <a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.13538.04804\" rel=\"noopener noreferrer nofollow\">[1]<\/a>.<\/p>\n<p>Reciprocal transformations of refined contexts, words corresponding to these contexts and text fragments having the vocabulary equal to <img decoding=\"async\" class=\"formula inline\" source=\"\\kappa_K\" alt=\"\\kappa_K\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/3f8\/72e\/cf8\/3f872ecf8be05a9a530e25ab4144f3d9.svg\"\/>, the following:<\/p>\n<p>1.Conversion of a pair of refined contexts of the form (26)<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"\\begin{split}         F_1 = \\left[          \\left(F_1^1+\\ldots +F_n^1 \\right)D_{1R} \\ldots D_{nR} + E\\right]F_1 \\\\ F_2 = \\left[          \\left(F_1^2+\\ldots +F_n^2 \\right)D_{1R} \\ldots D_{nR} + E\\right]F_2 \\end{split} \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (28)\" alt=\"\\begin{split}         F_1 = \\left[          \\left(F_1^1+\\ldots +F_n^1 \\right)D_{1R} \\ldots D_{nR} + E\\right]F_1 \\\\ F_2 = \\left[          \\left(F_1^2+\\ldots +F_n^2 \\right)D_{1R} \\ldots D_{nR} + E\\right]F_2 \\end{split} \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (28)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/d35\/112\/877\/d35112877157ed672adbe9c29e7444e7.svg\" width=\"453\" height=\"55\"\/><\/p>\n<p>Let there be two matrix texts (28). Because they belong to the same class, they have the same modulus <img decoding=\"async\" class=\"formula inline\" source=\"\\kappa_i\" alt=\"\\kappa_i\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/3a6\/1f8\/6e7\/3a61f86e7563430a4313bf9f75757969.svg\"\/>  or, what is the same, have the same right dictionaries. But matrix texts having the same dictionaries form ideals (multiples of the dictionary) by (37) in <a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.13538.04804\" rel=\"noopener noreferrer nofollow\">[1]<\/a>. There always exists a matrix polynomial whose multiplication on the left-hand side by one refined fragment (28) results in a refined fragment of the form (28):<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\" F_1 = F_{1,2}F_2 =  \\\\ =          \\left[\\left(F_{1,2}F_1^2+\\ldots +F_{1,2}F_n^2\\right)D_{1R} \\ldots D_{nR} + E\\right]F_{1,2}F_2  \\ \\ \\ \\ \\ \\ \\ \\ (29)\" alt=\" F_1 = F_{1,2}F_2 =  \\\\ =          \\left[\\left(F_{1,2}F_1^2+\\ldots +F_{1,2}F_n^2\\right)D_{1R} \\ldots D_{nR} + E\\right]F_{1,2}F_2  \\ \\ \\ \\ \\ \\ \\ \\ (29)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/327\/37c\/29f\/32737c29f8c691a5fcc5271f5a7f1f03.svg\" width=\"686\" height=\"53\"\/><\/p>\n<p>To the precision of this matrix multiplier  <img decoding=\"async\" class=\"formula inline\" source=\"F_{1,2}\" alt=\"F_{1,2}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/91f\/530\/616\/91f53061617f2114ea123def1177edf2.svg\"\/>  the two refined fragments are indistinguishable (interchangeable).<\/p>\n<p>2.Conversion of words in a refined context of the form (22). Let there be two words:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"\\begin{split}     E_{i_1,j_1} = (F_1 + E) E_{i_1,j_1} \\\\  E_{i_2,j_2} = (F_2 + E) E_{i_2,j_2} \\end{split} \\ \\ \\ \\ \\ \\ \\ \\ \\ (30)\" alt=\"\\begin{split}     E_{i_1,j_1} = (F_1 + E) E_{i_1,j_1} \\\\  E_{i_2,j_2} = (F_2 + E) E_{i_2,j_2} \\end{split} \\ \\ \\ \\ \\ \\ \\ \\ \\ (30)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/ffa\/a42\/03d\/ffaa4203dac968d93af2ea8678068301.svg\" width=\"269\" height=\"52\"\/><\/p>\n<p>Since the words are concordant (have a common vocabulary <img decoding=\"async\" class=\"formula inline\" source=\"\\kappa_{1,2}\" alt=\"\\kappa_{1,2}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/5bf\/35d\/7b9\/5bf35d7b9064c0970b435ab0b7029408.svg\"\/> , as the product of all dictionaries of all refined contexts (14)), then:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"E_{i_1,j_1} \\dot{\\sim} E_{i_2,j_2}(\\kappa_{1,2}) \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (31)\" alt=\"E_{i_1,j_1} \\dot{\\sim} E_{i_2,j_2}(\\kappa_{1,2}) \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (31)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/929\/728\/995\/929728995f64d7ec0810e12f5135d3e8.svg\" width=\"233\" height=\"24\"\/><\/p>\n<p>Like comparisons of integers, the concordance of matrix units (31) can be written through the equality:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\" E_{i_1,j_1}= \\left(F_{1,2}F_2 + E\\right) F_{1,2}E_{i_2,j_2} E_{j_2,j_1} \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (32)\" alt=\" E_{i_1,j_1}= \\left(F_{1,2}F_2 + E\\right) F_{1,2}E_{i_2,j_2} E_{j_2,j_1} \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (32)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/ab7\/11d\/a46\/ab711da46e2c05153f9c721e48cedc24.svg\" width=\"398\" height=\"24\"\/><\/p>\n<p> 3.Conversion of words and contexts.<\/p>\n<p>Let there be a word and a context:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"\\begin{split}  E_{i_1,j_1}= (F_1 + E) E_{i_1,j_1}\\\\  F_2 = \\left[\\left(F_1^2+\\ldots +F_n^2\\right)D_1 \\ldots D_n + E\\right]F_2      \\end{split}  \\ \\ \\ \\ \\ \\ (33)\" alt=\"\\begin{split}  E_{i_1,j_1}= (F_1 + E) E_{i_1,j_1}\\\\  F_2 = \\left[\\left(F_1^2+\\ldots +F_n^2\\right)D_1 \\ldots D_n + E\\right]F_2      \\end{split}  \\ \\ \\ \\ \\ \\ (33)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/3a0\/748\/667\/3a074866754a2fb01889856ecbb61288.svg\" width=\"413\" height=\"54\"\/><\/p>\n<p>Word and context (33) are concordant if they have a common modulus  <img decoding=\"async\" class=\"formula inline\" source=\"\\kappa_{1,2}\" alt=\"\\kappa_{1,2}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/3aa\/0c9\/26a\/3aa0c926a4aab347c3e528b6b8350657.svg\"\/> :<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\" E_{i_1,j_1} \\dot{\\sim} F_2(\\kappa_{1,2}) \\ \\ \\ \\ \\ \\ (34)\" alt=\" E_{i_1,j_1} \\dot{\\sim} F_2(\\kappa_{1,2}) \\ \\ \\ \\ \\ \\ (34)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/fcd\/044\/3be\/fcd0443be92d906db8d1e44196f8355e.svg\" width=\"187\" height=\"24\"\/><\/p>\n<p>Or in the record with equality:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\" E_{i_1,j_1} = \\left(F_{1,2}F_2 + E\\right) F_{1,2}E_{j_2,j_1}, \\ \\ \\ \\ \\ \\ \\ (35)\" alt=\" E_{i_1,j_1} = \\left(F_{1,2}F_2 + E\\right) F_{1,2}E_{j_2,j_1}, \\ \\ \\ \\ \\ \\ \\ (35)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/8ab\/211\/851\/8ab21185172640b63935183bb7fa7968.svg\" width=\"330\" height=\"24\"\/><\/p>\n<p>where <img decoding=\"async\" class=\"formula inline\" source=\"F_{1,2}E_{j_2,j_1}\" alt=\"F_{1,2}E_{j_2,j_1}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/a05\/c24\/309\/a05c2430961fe738a3e84a307696d36b.svg\"\/>  is understood as a concordant transformation of words (32).<\/p>\n<p>The transformation of words and text fragments reduces to (35), because text fragments are matrix polynomials (31) in  <a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.13538.04804\" rel=\"noopener noreferrer nofollow\">[1]<\/a>, as well as contexts. This means that (34)  is the formula for calculating the naming of a text fragment by a word belonging to the concordance class <img decoding=\"async\" class=\"formula inline\" source=\"\\kappa_{1,2}\" alt=\"\\kappa_{1,2}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/a60\/1ba\/d8d\/a601bad8d775a1dac46a24635af58d15.svg\"\/>. And vice versa, word definition by text.<\/p>\n<h2>Noether sense chains<\/h2>\n<p>The concordance classes <img decoding=\"async\" class=\"formula inline\" source=\"\\kappa\" alt=\"\\kappa\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/c69\/04a\/7c7\/c6904a7c7def14183e70fd029f14c95a.svg\"\/>  are distinguished by the words included in the dictionary <img decoding=\"async\" class=\"formula inline\" source=\"\\kappa\" alt=\"\\kappa\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/e56\/5cf\/cde\/e565cfcdeaaf4f5c81f1eb554230babe.svg\"\/> . Let a sequence of dictionaries be given:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"\\kappa_1, \\kappa_2, \\ldots , \\kappa_n, \\ \\ \\ \\ \\ \\ \\ \\ \\ (36)\" alt=\"\\kappa_1, \\kappa_2, \\ldots , \\kappa_n, \\ \\ \\ \\ \\ \\ \\ \\ \\ (36)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/2b1\/610\/8e6\/2b16108e6b409e6acf8c3709c2cc6405.svg\" width=\"199\" height=\"22\"\/><\/p>\n<p>such that neighboring dictionaries are distinguished by one word <img decoding=\"async\" class=\"formula inline\" source=\"E_{i,i}\" alt=\"E_{i,i}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/e26\/61e\/d6b\/e2661ed6bca794be70869e54d9fe94a4.svg\"\/> :<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"\\kappa_i=\\kappa_{i-1}+E_{i,i} \\ \\ \\ \\ \\ \\ \\ \\ \\ (37)\" alt=\"\\kappa_i=\\kappa_{i-1}+E_{i,i} \\ \\ \\ \\ \\ \\ \\ \\ \\ (37)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/0fd\/393\/524\/0fd39352404673c22cb507d4a8c0f627.svg\" width=\"209\" height=\"23\"\/><\/p>\n<p>Concordance class <img decoding=\"async\" class=\"formula inline\" source=\"K_i\" alt=\"K_i\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/d18\/7d3\/8c5\/d187d38c50135c21a52e8fa48c21ca6a.svg\"\/> (capital kappa) for each  <img decoding=\"async\" class=\"formula inline\" source=\"\\kappa_i\" alt=\"\\kappa_i\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/af1\/106\/89c\/af110689c53336b67c5bbf290a108d35.svg\"\/>  &#8212; is the set of all words in the refined context, all refined contexts, and all text fragments with a common vocabulary  <img decoding=\"async\" class=\"formula inline\" source=\"\\kappa_i\" alt=\"\\kappa_i\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/9cd\/35d\/652\/9cd35d652445511562db11c1fa87859e.svg\"\/>. Elements <img decoding=\"async\" class=\"formula inline\" source=\"K_i\" alt=\"K_i\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/f45\/337\/300\/f453373003447dd0945327a1daf67d5e.svg\"\/>  are mutually substitutable by formulas (29), (32) and (35).<\/p>\n<p>Let there be classes of concordance <img decoding=\"async\" class=\"formula inline\" source=\"K_i\" alt=\"K_i\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/3d4\/af1\/3ca\/3d4af13ca53333a017e7739c671610ff.svg\"\/>,  corresponding to (36). Then:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"K_1 \\subset K_2 \\subset \\ldots K_{n-1} \\subset K_n \\ \\ \\ \\ \\ (38)\" alt=\"K_1 \\subset K_2 \\subset \\ldots K_{n-1} \\subset K_n \\ \\ \\ \\ \\ (38)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/932\/a62\/192\/932a6219204aed293f9015968854a7b8.svg\" width=\"282\" height=\"22\"\/><\/p>\n<p>And vice versa,<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"K_1 \\supset K_2 \\supset \\ldots K_{n-1} \\supset K_n \\ \\ \\ \\ \\ \\ \\ \\ (39)\" alt=\"K_1 \\supset K_2 \\supset \\ldots K_{n-1} \\supset K_n \\ \\ \\ \\ \\ \\ \\ \\ (39)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/22f\/1f2\/13d\/22f1f213dfa5be03dcebdd8fd73f160c.svg\" width=\"296\" height=\"22\"\/><\/p>\n<p>for these <img decoding=\"async\" class=\"formula inline\" source=\"\\kappa_i\" alt=\"\\kappa_i\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/5be\/612\/2c0\/5be6122c0b7e4beade5f6d81e1a222e2.svg\"\/> , that<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\" \\kappa_{i-1}+ E_{i,i}=\\kappa_i \\ \\ \\  \\ \\ \\ \\ \\ (40)\" alt=\" \\kappa_{i-1}+ E_{i,i}=\\kappa_i \\ \\ \\  \\ \\ \\ \\ \\ (40)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/9d8\/f82\/77b\/9d8f8277b5a463991eb6fcf8a5998348.svg\" width=\"204\" height=\"23\"\/><\/p>\n<p>In dictionaries (36) and  (37) there is an increase of words in the dictionary <img decoding=\"async\" class=\"formula inline\" source=\"\\kappa_i\" alt=\"\\kappa_i\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/e01\/fac\/146\/e01fac1463ab45a5c9a9ecf55a3dc67d.svg\"\/>  from left to right in (36). In dictionaries (36) and  (40) &#8212; there is a reduction.<\/p>\n<p>The sequence of nonempty subsets <img decoding=\"async\" class=\"formula inline\" source=\"K_1,K_2,\\ldots,K_n\" alt=\"K_1,K_2,\\ldots,K_n\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/048\/d89\/d3e\/048d89d3e4cb145b23e752af590d5d64.svg\"\/> (38)   the corpus of texts compiled from <img decoding=\"async\" class=\"formula inline\" source=\"D\" alt=\"D\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/36c\/9ee\/6d2\/36c9ee6d2a4bb91386e4a0f7cb399c29.svg\"\/>  (the dictionary of the corpus of all texts) is ascending, because each of them is a subset of the next one.<\/p>\n<p>Conversely, the sequence of subsets <img decoding=\"async\" class=\"formula inline\" source=\"K_1,K_2,\\ldots,K_n\" alt=\"K_1,K_2,\\ldots,K_n\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/cca\/55c\/9c8\/cca55c9c890b1f6beafe94e63acef545.svg\"\/>(39)  is decreasing, since each of them contains the next subset.<\/p>\n<p>A sequence is said to stabilize after a finite number of steps if there exists <img decoding=\"async\" class=\"formula inline\" source=\"n\" alt=\"n\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/aee\/97a\/6e2\/aee97a6e23d8af454ecb2893ee38080e.svg\"\/> such that for all <img decoding=\"async\" class=\"formula inline\" source=\"m\\geq{}n\" alt=\"m\\geq{}n\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/b3f\/9df\/5f4\/b3f9df5f40ec8c34e5a6b80cc0490e45.svg\"\/> , <img decoding=\"async\" class=\"formula inline\" source=\"K_n=K_m\" alt=\"K_n=K_m\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/163\/a4a\/4e5\/163a4a4e5b26613a6674a57aeb73f053.svg\"\/> . This is the case for matrix texts &#8212; there is no larger dictionary than the dictionary of all texts <img decoding=\"async\" class=\"formula inline\" source=\"D\" alt=\"D\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/6ea\/ef4\/b76\/6eaef4b76e270ab87e969d5ce8276f2b.svg\"\/>. The set of subsets of a given set <img decoding=\"async\" class=\"formula inline\" source=\"D\" alt=\"D\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/124\/bde\/947\/124bde947a633d8e30981d74d7bb7642.svg\"\/> (or <img decoding=\"async\" class=\"formula inline\" source=\"K\" alt=\"K\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/06d\/bf6\/08f\/06dbf608f358f47f4d31aafd139e6e68.svg\"\/>) satisfies the condition of breaking of increasing chains, since any increasing sequence becomes constant after a finite number of steps.<\/p>\n<p>Any decreasing sequence (39) becomes constant after a finite number of steps, since the dictionary <img decoding=\"async\" class=\"formula inline\" source=\"D\" alt=\"D\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/bb9\/afd\/358\/bb9afd3581c26abce497342eb5e3eb9b.svg\"\/> has a minimal set &#8212; one word, hence the set of subsets (39) satisfies the condition of breaking of decreasing chains.<\/p>\n<p>In general algebra, objects are called nether objects if they satisfy chain breaking conditions. Amalie Emmy Noether has made masterly use of the cliff-chain technique in her many cases. Objects such as concordance classes are also neoteric.<\/p>\n<p>Noether chains can also be defined for word order in a text. Relative word order is essential for texts. For example, \u00abincidental in the necessary\u00bb differs in sense from \u00abnecessary in the incidental\u00bb or \u00abmom&#8217;s dad\u00bb and \u00abdad&#8217;s mom\u00bb. For musical texts and codes, the order of characters is as significant as the characters themselves.<\/p>\n<p>The concordance module is a fragment of the vocabulary of the text. For a dictionary, the word order is insignificant. Therefore, the concordance class contains elements without taking into account the order of words in text fragments. The word order can be taken into account through the available subclasses of the concordance class as follows.<\/p>\n<p>Let there be two words:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"E_{i_1,j_1}=E_{i_1,i_1-1}E_{i_1-1,i_1-2}\\ldots E_{2,1} E_{1,j_1}, \\ \\ \\ \\ \\ (41)\" alt=\"E_{i_1,j_1}=E_{i_1,i_1-1}E_{i_1-1,i_1-2}\\ldots E_{2,1} E_{1,j_1}, \\ \\ \\ \\ \\ (41)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/092\/1a9\/ecf\/0921a9ecf5f5f6924d9c5b20fe784856.svg\" width=\"372\" height=\"24\"\/><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\" E_{i_2,j_2}= E_{i_2,i_1-1}E_{i_2-1,i_2-2}\\ldots E_{2,1} E_{1,j_2}. \\ \\ \\ \\ \\ \\ \\ \\ (42)\" alt=\" E_{i_2,j_2}= E_{i_2,i_1-1}E_{i_2-1,i_2-2}\\ldots E_{2,1} E_{1,j_2}. \\ \\ \\ \\ \\ \\ \\ \\ (42)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/7e9\/6ad\/676\/7e96ad676443a7f6b319a5fa1ea11494.svg\" width=\"387\" height=\"24\"\/><\/p>\n<p>Word <img decoding=\"async\" class=\"formula inline\" source=\"E_{i_1,j_1}\" alt=\"E_{i_1,j_1}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/40d\/861\/496\/40d8614962665b4206a36134fefaad5c.svg\"\/> is in the text to the left of <img decoding=\"async\" class=\"formula inline\" source=\"E_{i_2,j_2}\" alt=\"E_{i_2,j_2}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/05c\/7b0\/3ce\/05c7b03cef24846ddda11666d0b1313a.svg\"\/> , if there exists such a matrix unit:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\" E_{i_2,i_1-1}E_{i_2-1,i_2-2} \\ldots E_{i_1-1,i_1}, \\ \\ \\ (43)\" alt=\" E_{i_2,i_1-1}E_{i_2-1,i_2-2} \\ldots E_{i_1-1,i_1}, \\ \\ \\ (43)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/b67\/748\/a88\/b67748a88aa433c1d267faf93a56d86e.svg\" width=\"281\" height=\"23\"\/><\/p>\n<p>such that:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\" E_{i_2,i_1-1}E_{i_2-1,i_2-2}\\ldots E_{2,1} = \\\\ =   \\left(E_{i_2,i_1-1}E_{i_2-1,i_2-2} \\ldots E_{i_1-1,i_1} \\right)  \\left(E_{i_1,i_1-1} E_{i_1-1,i_1-2}\\ldots E_{2,1} \\right). \\ \\ \\ \\ (44)\" alt=\" E_{i_2,i_1-1}E_{i_2-1,i_2-2}\\ldots E_{2,1} = \\\\ =   \\left(E_{i_2,i_1-1}E_{i_2-1,i_2-2} \\ldots E_{i_1-1,i_1} \\right)  \\left(E_{i_1,i_1-1} E_{i_1-1,i_1-2}\\ldots E_{2,1} \\right). \\ \\ \\ \\ (44)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/b8b\/fec\/038\/b8bfec0386920a470bf5cf93d1d4c911.svg\" width=\"686\" height=\"50\"\/><\/p>\n<p>In this case the set of matrix units:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"\\{E_{i_1,1}\\} = \\{E_{i_1,i_1-1}, \\ldots, E_{2,1}\\} \\ \\ \\ \\ (45)\" alt=\"\\{E_{i_1,1}\\} = \\{E_{i_1,i_1-1}, \\ldots, E_{2,1}\\} \\ \\ \\ \\ (45)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/bc8\/833\/5c3\/bc88335c31edd8ca9a5908f389529415.svg\" width=\"291\" height=\"23\"\/><\/p>\n<p>is a subset of:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"\\{E_{i_2,1} \\} = \\{E_{i_2,i_2-1}, \\ldots, E_{2,1}\\} \\ \\ \\ \\ \\ \\ \\ (46)\" alt=\"\\{E_{i_2,1} \\} = \\{E_{i_2,i_2-1}, \\ldots, E_{2,1}\\} \\ \\ \\ \\ \\ \\ \\ (46)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/290\/fe1\/858\/290fe1858dcdc09ec555770ddfc195be.svg\" width=\"306\" height=\"23\"\/><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"\\{E_{i_1,1}\\} \\subset \\{E_{i_2,1}\\}. \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (47)\" alt=\"\\{E_{i_1,1}\\} \\subset \\{E_{i_2,1}\\}. \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (47)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/0ea\/276\/5c0\/0ea2765c044ed1cf77801acaaddf3038.svg\" width=\"231\" height=\"23\"\/><\/p>\n<p>If the word <img decoding=\"async\" class=\"formula inline\" source=\"E_{i_1,j_1}\" alt=\"E_{i_1,j_1}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/d87\/1f4\/06f\/d871f406f45eda501ae24919def46103.svg\"\/> is in the text to the left of  <img decoding=\"async\" class=\"formula inline\" source=\"E_{i_2,j_2}\" alt=\"E_{i_2,j_2}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/f3d\/b89\/333\/f3db893337dbf7b3aec9e4116f89ba62.svg\"\/> , then in terms of  (47):<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"\\{E_{i_1,j_1}\\} \\subset \\{E_{i_2,j_2} \\} \\ \\ \\ \\ \\ \\ \\ (48)\" alt=\"\\{E_{i_1,j_1}\\} \\subset \\{E_{i_2,j_2} \\} \\ \\ \\ \\ \\ \\ \\ (48)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/8dc\/0c5\/b29\/8dc0c5b293f3c0fe5b7504c4e4d7ac89.svg\" width=\"218\" height=\"24\"\/><\/p>\n<p>Let there be a matrix polynomial:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\" E_{i_1,j_1}+ E_{i_2,j_2}. \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (49)\" alt=\" E_{i_1,j_1}+ E_{i_2,j_2}. \\ \\ \\ \\ \\ \\ \\ \\ \\ \\ (49)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/2c6\/d56\/9a2\/2c6d569a22e53a070cef4556a39c7f04.svg\" width=\"200\" height=\"24\"\/><\/p>\n<p>Expression (50) defines a concordance class with the following description: <\/p>\n<p>1.The elements of the class are polynomials having a dictionary <img decoding=\"async\" class=\"formula inline\" source=\"E_{j_1,j_1}+E_{j_2,j_2}\" alt=\"E_{j_1,j_1}+E_{j_2,j_2}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/1a8\/9ec\/4ff\/1a89ec4ffb2736cd36daa81d6d945dab.svg\"\/> , with any first monomial coordinates.<\/p>\n<p>2.A subclass of elements with such first coordinates that:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"\\{E_{i_1,j_1} \\} \\subset E_{i_2,j_2}\" alt=\"\\{E_{i_1,j_1} \\} \\subset E_{i_2,j_2}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/7cf\/7da\/29e\/7cf7da29e20dc4cf8c11f718572e5d5a.svg\" width=\"130\" height=\"24\"\/><\/p>\n<p>3.A subclass of elements with such first coordinates that:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"\\{E_{i_2,j_2}\\} \\subset \\{E_{i_1,j_1}\\}\" alt=\"\\{E_{i_2,j_2}\\} \\subset \\{E_{i_1,j_1}\\}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/0e0\/3fd\/ed8\/0e03fded89307722e87600efa9531b8d.svg\" width=\"150\" height=\"24\"\/><\/p>\n<p>For the matrix polynomial:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"E_{i_1,j_1} + E_{i_2,j_2}+ \\ldots + E_{i_n,j_n}\" alt=\"E_{i_1,j_1} + E_{i_2,j_2}+ \\ldots + E_{i_n,j_n}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/ce2\/6df\/a25\/ce26dfa25d897c53ac9df90bc2345303.svg\" width=\"223\" height=\"23\"\/><\/p>\n<p>concordance class is defined by the dictionary (module) and consists of subclasses considering the order of words. The order subclasses are defined by ascending or descending Noether chains for the first coordinates of matrix monomials in the left dictionary texts (12) in  <a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.13538.04804\" rel=\"noopener noreferrer nofollow\">[1]<\/a>. Expression (50) corresponds to this definition of the left-hand dictionary. For the left-hand dictionaries there are also the Noether chains, as for the right-hand dictionaries (36).<\/p>\n<p>The Noether chains for words and their order are semantic invariants of the text, preserved by appropriate concordant word substitutions in the text (retelling the text in one&#8217;s own words), substitutions of fragments with words (abstracting and annotating), substitutions of words with fragments (bot-writing). The invariance comes from the fact that netter chains are constructed by left or right dictionaries of matrix polynomials. The invariance on the Noether chains of the right dictionaries means that the places of words in the text are not important for the sense of the text, what matters is the system of their context correspondence as a function of embedding (taking into account the order of words within <em>n<\/em>&#8212;grams).  Invariant on the Noether chains of the left dictionaries means that for the structure of the text the words from the right dictionary are not important, the system of their structural correspondence as a function of embedding the left dictionaries of the text-forming fragments (structural pattern of the text) is important.<\/p>\n<p>The text Noether chains are more preferable for semantic analysis than frequent keywords, because they take into account the contexts of words, and also reveal patterns of disclosure of the system of concepts in the text through the sequence of nesting of their content (context) &#8212; this is the above-mentioned hierarchical continuity of concepts (words). Logical, ethical and aesthetic categories of natural languages can be calculated as Noether chains of sense.<\/p>\n<p>If the Noether semantic chains are defined as target functions (sequences of embeddings), it is possible to compose systems of equations on variables of bilinear forms (22). Because the variables in (22) are pairwise meshed with each other (pairwise nested in Noether chains), a system of quadratic equations on words in a refined context, their contexts and text-forming fragments as unknowns of such equations can be composed.<\/p>\n<h2>The equalizers of sense<\/h2>\n<p>In category theory, the following model is called an equalizer (a generalization of the equation) with respect to matrix text fragments. Let four object-fragments be given <img decoding=\"async\" class=\"formula inline\" source=\"F_1D_1\" alt=\"F_1D_1\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/506\/4b7\/746\/5064b7746af99512a2ad1a76eadaccfc.svg\"\/>, <img decoding=\"async\" class=\"formula inline\" source=\"F_2D_2\" alt=\"F_2D_2\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/157\/7da\/5d0\/1577da5d0c56003059d1865557921ba4.svg\"\/>, <img decoding=\"async\" class=\"formula inline\" source=\"F_3D_3\" alt=\"F_3D_3\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/00a\/782\/893\/00a7828933aafbdf0af964e18c03fffd.svg\"\/>, <img decoding=\"async\" class=\"formula inline\" source=\"F_4D_4\" alt=\"F_4D_4\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/465\/283\/304\/465283304bcf24cb87ea5b925abdcde7.svg\"\/>, where <img decoding=\"async\" class=\"formula inline\" source=\"D_1\" alt=\"D_1\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/ae7\/92b\/49d\/ae792b49dec53c39d69d0400771b2194.svg\"\/>, <img decoding=\"async\" class=\"formula inline\" source=\"D_2\" alt=\"D_2\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/722\/6d9\/a6d\/7226d9a6dc0f1824cd45a6ecf28535e1.svg\"\/>, <img decoding=\"async\" class=\"formula inline\" source=\"D_3\" alt=\"D_3\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/f3a\/818\/2ed\/f3a8182ed3a71eb1b2b5e06d4f3bfcaf.svg\"\/>, <img decoding=\"async\" class=\"formula inline\" source=\"D_4\" alt=\"D_4\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/f76\/289\/5f2\/f762895f2063ae104309cd070a5e9c98.svg\"\/> &#8212; fragment dictionaries.  Objects  <img decoding=\"async\" class=\"formula inline\" source=\"F_1\" alt=\"F_1\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/425\/dc9\/c62\/425dc9c62fb56d1c6e734a646692d5ba.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"F_2\" alt=\"F_2\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/285\/2c9\/e70\/2852c9e7066bb96b84aa6a9003f38e79.svg\"\/>  are connected by a pair of morphisms  <img decoding=\"async\" class=\"formula inline\" source=\"F_{1,2}^1\" alt=\"F_{1,2}^1\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/629\/2a9\/b74\/6292a9b74688de10fc985318b4797c54.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"F_{1,2}^2\" alt=\"F_{1,2}^2\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/04e\/071\/805\/04e071805f9c457a0797ac4ce82275b8.svg\"\/>:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\" F_2D_2 = F_{2,1}^1 F_1D_1, F_2D_2 = F_{2,1}^2 F_1D_1  \\ \\ \\ \\ \\ \\ (50)\" alt=\" F_2D_2 = F_{2,1}^1 F_1D_1, F_2D_2 = F_{2,1}^2 F_1D_1  \\ \\ \\ \\ \\ \\ (50)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/fa0\/016\/25d\/fa001625d858e0d496b91eb390dafa73.svg\" width=\"370\" height=\"27\"\/><\/p>\n<p>This means that the dictionary <img decoding=\"async\" class=\"formula inline\" source=\"D_2\" alt=\"D_2\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/ef7\/130\/3de\/ef71303de35fa98113f890add54413d4.svg\"\/> &#8212; this is part or all of the vocabulary <img decoding=\"async\" class=\"formula inline\" source=\"D_1\" alt=\"D_1\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/6aa\/b22\/732\/6aab22732220ce6c53822ebaa5f4106d.svg\"\/> . <img decoding=\"async\" class=\"formula inline\" source=\"F_{2,1}^1\" alt=\"F_{2,1}^1\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/146\/774\/b6b\/146774b6bb47b33faa05be88c93906b0.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"F_{2,1}^2\" alt=\"F_{2,1}^2\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/141\/e32\/9f7\/141e329f73a5f882011c86b12e90c09d.svg\"\/> may differ from each other because of the fact that in the <img decoding=\"async\" class=\"formula inline\" source=\"F_1\" alt=\"F_1\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/232\/0f2\/63a\/2320f263a43c7aa0c53d80a53b7a9957.svg\"\/>  there may be repetitions of words. Then there is no unambiguity in (10) &#8212; the transformation of fragments (the result depends on which of the repeated words  <img decoding=\"async\" class=\"formula inline\" source=\"F_1\" alt=\"F_1\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/b96\/7fd\/b83\/b967fdb839a0eb66667576eb797d6d94.svg\"\/>  is used to convert a fragment into a word  <img decoding=\"async\" class=\"formula inline\" source=\"F_2\" alt=\"F_2\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/616\/54d\/98b\/61654d98b614a23b2488d49564d0a8e1.svg\"\/> ). The third object-fragment  <em>F<sub>3<\/sub><\/em>  and morphism <em>F<sub>3,1<\/sub><\/em> (function) is called an equalizer<img decoding=\"async\" class=\"formula inline\" source=\"F_{1,2}^1\" alt=\"F_{1,2}^1\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/5fd\/3a7\/5bb\/5fd3a75bb720e72f6e82cac6e5246e3c.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"F_{1,2}^2\" alt=\"F_{1,2}^2\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/7f7\/7e5\/e6f\/7f77e5e6f16d76fd7e84111d833c7699.svg\"\/> , if at<img decoding=\"async\" class=\"formula inline\" source=\"F_1=F_{1,3}F_3\" alt=\"F_1=F_{1,3}F_3\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/430\/abc\/785\/430abc7851fc1fb06a711cb97fcf77fd.svg\"\/> concordant <img decoding=\"async\" class=\"formula inline\" source=\"F_{2,1}^1F_{1,3}\" alt=\"F_{2,1}^1F_{1,3}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/7a0\/d5b\/21b\/7a0d5b21b2d700780ae404d835e23006.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"F_{2,1}^2F_{1,3}\" alt=\"F_{2,1}^2F_{1,3}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/a17\/926\/941\/a17926941b849d75803484b0d4fad689.svg\"\/>:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\" F_{2,1}^1 F_{1,3} \\dot{\\sim} F_{2,1}^2 F_{1,3} \\ \\ \\ \\ \\ (51)\" alt=\" F_{2,1}^1 F_{1,3} \\dot{\\sim} F_{2,1}^2 F_{1,3} \\ \\ \\ \\ \\ (51)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/669\/bee\/d23\/669beed239513288e3903d03d1261e0a.svg\" width=\"200\" height=\"27\"\/><\/p>\n<p>At the same time, for any other object <img decoding=\"async\" class=\"formula inline\" source=\"F_4\" alt=\"F_4\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/8b6\/570\/d88\/8b6570d888c33b66b302094c7fc717ae.svg\"\/> , satisfying the same requirements:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\" F_{2,1}^1 F_{1,4} \\dot{\\sim} F_{2,1}^2 F_{1,4}, \\ \\ \\ \\ \\ \\ \\ (52)\" alt=\" F_{2,1}^1 F_{1,4} \\dot{\\sim} F_{2,1}^2 F_{1,4}, \\ \\ \\ \\ \\ \\ \\ (52)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/40d\/9f9\/170\/40d9f9170831d608ef0e9c659eb8a33a.svg\" width=\"219\" height=\"27\"\/><\/p>\n<p>which and <img decoding=\"async\" class=\"formula inline\" source=\"F_3\" alt=\"F_3\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/269\/7c3\/ca6\/2697c3ca68f635450034ec74be3d263e.svg\"\/> , there is a single morphism  <img decoding=\"async\" class=\"formula inline\" source=\"F_{3,4}\" alt=\"F_{3,4}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/153\/343\/b37\/153343b3720bc4646a6cb320b2d45b16.svg\"\/>:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\" F_3 = F_{3,4}F_4, \\ \\ \\ \\ \\ \\ \\ \\ (53)\" alt=\" F_3 = F_{3,4}F_4, \\ \\ \\ \\ \\ \\ \\ \\ (53)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/92c\/364\/604\/92c364604b8c60155aa58d058c8ed65a.svg\" width=\"181\" height=\"23\"\/><\/p>\n<p>Such that:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\" F_{1,3}F_{3,4}\\dot{\\sim} F_{1,4} \\ \\ \\ \\ \\ \\ \\ \\ (54)\" alt=\" F_{1,3}F_{3,4}\\dot{\\sim} F_{1,4} \\ \\ \\ \\ \\ \\ \\ \\ (54)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/9dd\/1fc\/11f\/9dd1fc11ff72dfd8c7042a9b8caa2156.svg\" width=\"183\" height=\"23\"\/><\/p>\n<p> An essential difference between the above definition for the equalizer of matrix fragments and the canonical definition of the equalizer for the Set category, for instance, is the replacement of the equality relation by the concordance relation. But since equality and concordance relations are equivalence relations (have properties of reflexivity, symmetry and transitivity), such replacement is admissible and satisfies the axioms of the category  <a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.11652.04485\" rel=\"noopener noreferrer nofollow\">[3]<\/a>.<\/p>\n<p>The reason for using concordance is as follows. For (51) it is required to find the third text fragment and its corresponding matrix polynomial-transformation <img decoding=\"async\" class=\"formula inline\" source=\"F_{1,3}\" alt=\"F_{1,3}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/64a\/3ed\/b00\/64a3edb000ad75b35cd1fc86178ddf0b.svg\"\/>  such that, when multiplied by it on the right, the ambiguity in (51) (<img decoding=\"async\" class=\"formula inline\" source=\"F_{1,2}^1\" alt=\"F_{1,2}^1\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/86e\/c29\/fed\/86ec29fed6fa6e9a33b301e6e90b6059.svg\"\/> or <img decoding=\"async\" class=\"formula inline\" source=\"F_{1,2}^2\" alt=\"F_{1,2}^2\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/498\/eb5\/dd6\/498eb5dd600d23a72ab9005929cbc568.svg\"\/>) is eliminated. Since in the monomials of matrix polynomials  <img decoding=\"async\" class=\"formula inline\" source=\"F_{1,2}^1\" alt=\"F_{1,2}^1\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/1d5\/0b2\/c97\/1d50b2c97e9de44bb87f40defca588a1.svg\"\/> or <img decoding=\"async\" class=\"formula inline\" source=\"F_{1,2}^2\" alt=\"F_{1,2}^2\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/d0d\/9b8\/543\/d0d9b8543ee982e95af2f455c5776ccb.svg\"\/>   both coordinates refer to the position of words in the text, then <img decoding=\"async\" class=\"formula inline\" source=\"F_{2,1}^1F_{1,3}\" alt=\"F_{2,1}^1F_{1,3}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/88d\/aeb\/a2a\/88daeba2a48a5712789c788997e86da8.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"F_{2,1}^2F_{1,3}\" alt=\"F_{2,1}^2F_{1,3}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/8b6\/a85\/d46\/8b6a85d46a01d74be78f73df7294b6bd.svg\"\/> &#8212; this is the concordant selection rule for repeated words, which eliminates the ambiguity in  (51).<\/p>\n<p>If words are considered in a refined context, the semantic distinction of repeated words in the text and their concordance on refined contexts are used to achieve this unambiguity.<\/p>\n<p>A system of equations for fragments in refined contexts (a word is a special case of a fragment) can be composed in three ways:<\/p>\n<p>1.According to the correlation of the concordance of text fragments in refined contexts (28) &#8212; (35):<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"F_{i_1}^j\\dot{\\sim} F_{i_2}^j(\\kappa_{i_1,i_2}),  \\ \\ \\ \\ \\ \\ \\ \\ (55)\" alt=\"F_{i_1}^j\\dot{\\sim} F_{i_2}^j(\\kappa_{i_1,i_2}),  \\ \\ \\ \\ \\ \\ \\ \\ (55)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/ab4\/893\/5ee\/ab48935eea8ccafc8aaf8a5bd5ea432b.svg\" width=\"200\" height=\"29\"\/><\/p>\n<p>where <img decoding=\"async\" class=\"formula inline\" source=\"F_{i_1}^j\" alt=\"F_{i_1}^j\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/090\/ef0\/760\/090ef0760b348653e561ce118f69b66d.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"F_{i_2}^j\" alt=\"F_{i_2}^j\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/5ef\/d2f\/7e8\/5efd2f7e85d1dd8eeb1a54a1a590c4d1.svg\"\/> different words and text fragments. For example, it is the concordance of the title of the text and the whole text or parts of the text (paragraphs, chapters, etc.), parts of the text (e.g., the abstract and the whole text, the first paragraphs of paragraphs, etc.). The listed combinations of fragments are denoted by the numbers <img decoding=\"async\" class=\"formula inline\" source=\"j\" alt=\"j\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/16e\/c0c\/c71\/16ec0cc7134865280c422b534544b847.svg\"\/> from (56)  and are the corresponding numbers of equations in the equation systems of the text.<\/p>\n<p>2.By the Noether chains of text fragments and their ordering. The equations in this case are recurrent and are defined by formulas (37) or (40). Recurrence on the first coordinates determines the sequence of text fragments (structural pattern of the text). Recurrence on the second coordinates determines the sequence of fragments by continuity of sense (contextual table of contents of the whole text and its sections). Each Netter chain defines an equation in a system of equations.<\/p>\n<p>3.The combination of the two clauses above.<\/p>\n<p>According to (22), systems of equations have the general form:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"\\sum_{i_1,i_2} F_{i_1}^j F_{i_2}^j =\\sum_{i}F_{i}^j. \\ \\ \\ \\ \\ \\ \\ (56)\" alt=\"\\sum_{i_1,i_2} F_{i_1}^j F_{i_2}^j =\\sum_{i}F_{i}^j. \\ \\ \\ \\ \\ \\ \\ (56)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/3f7\/c69\/891\/3f7c6989188cb240c2327f0c712d002a.svg\" width=\"237\" height=\"47\"\/><\/p>\n<p>Systems of equations (57) are either systems of linear or quadratic equations on <em>F<\/em>, depending on which fragments of <img decoding=\"async\" class=\"formula inline\" source=\"F\" alt=\"F\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/87a\/5b1\/01a\/87a5b101a257a4846eddace02879b0da.svg\"\/> in (57) are taken as unknowns. The set and unknown quantities in (57) are matrices. For the linear case, there are matrix versions of the Gaussian method for solving systems of linear matrix equations. For systems of quadratic matrix equations, there is also a generalization of the Gaussian method of eliminating the unknowns and reductions in systems of equations with many unknowns to an equation with one unknown and formulas for the relation between the unknowns.<\/p>\n<h2>Exact linearization of equations<\/h2>\n<p>In [<a href=\"https:\/\/www.researchgate.net\/publication\/350102374_Spinornyj_metod_isklucenia_i_formuly_svazi_mezdu_neizvestnymi_v_sistemah_nelinejnyh_algebraiceskih_uravnenij\" rel=\"noopener noreferrer nofollow\">4<\/a>,<a href=\"https:\/\/www.researchgate.net\/publication\/350099371_Spinornyj_metod_resenia_sistem_nelinejnyh_algebraiceskih_uravnenij\" rel=\"noopener noreferrer nofollow\">5<\/a>]  a method of exact linearization and solution of systems of nonlinear algebraic equations over the field of real numbers was developed. The system of quadratic equations is a particular judgement. You can reduce a system of quadratic equations to a system of linear equations without loss of generality or accuracy. <\/p>\n<p>For example, let a quadratic equation be given ( <img decoding=\"async\" class=\"formula inline\" source=\"a\" alt=\"a\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/260\/a29\/bc9\/260a29bc99c1a9a16c59905927bfa4a0.svg\"\/> , <img decoding=\"async\" class=\"formula inline\" source=\"b\" alt=\"b\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/8df\/507\/45a\/8df50745af106970a2ca6ac0505ea0b9.svg\"\/> , <img decoding=\"async\" class=\"formula inline\" source=\"c\" alt=\"c\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/d3f\/1a9\/7b6\/d3f1a97b6ee16535f3466602776276d6.svg\"\/>  are real numbers):<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"ax^2 + bx + c = 0  \\ \\ \\ \\ (57)\" alt=\"ax^2 + bx + c = 0  \\ \\ \\ \\ (57)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/451\/593\/570\/451593570b931e001831de06b1ceaa9e.svg\" width=\"194\" height=\"25\"\/><\/p>\n<p>and four matrix units (1) in   <a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.13538.04804\" rel=\"noopener noreferrer nofollow\">[1]<\/a>:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"E_{1,2} = \\left\\| {\\begin{array}{*{20}{c}} 0&amp;1 \\\\  0&amp;0  \\end{array}} \\right\\|,\\;\\; E_{2,1} = \\left\\| {\\begin{array}{*{20}{c}} 0&amp;0 \\\\  1&amp;0  \\end{array}} \\right\\|,\\\\\\;\\;E_{1,1} = {E_{1,2}}{E_{2,1}} = \\left\\| {\\begin{array}{*{20}{c}} 1&amp;0 \\\\  0&amp;0  \\end{array}} \\right\\|,\\\\ \\;\\;{E_{2,2}} = {E_{2,1}}{E_{1,2}} = \\left\\| {\\begin{array}{*{20}{c}} 0&amp;0 \\\\  0&amp;1  \\end{array}} \\right\\|, \\ \\ \\ \\ (58)\" alt=\"E_{1,2} = \\left\\| {\\begin{array}{*{20}{c}} 0&amp;1 \\\\  0&amp;0  \\end{array}} \\right\\|,\\;\\; E_{2,1} = \\left\\| {\\begin{array}{*{20}{c}} 0&amp;0 \\\\  1&amp;0  \\end{array}} \\right\\|,\\\\\\;\\;E_{1,1} = {E_{1,2}}{E_{2,1}} = \\left\\| {\\begin{array}{*{20}{c}} 1&amp;0 \\\\  0&amp;0  \\end{array}} \\right\\|,\\\\ \\;\\;{E_{2,2}} = {E_{2,1}}{E_{1,2}} = \\left\\| {\\begin{array}{*{20}{c}} 0&amp;0 \\\\  0&amp;1  \\end{array}} \\right\\|, \\ \\ \\ \\ (58)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/296\/018\/61c\/29601861cf88af73660d1d382d8bbe84.svg\" width=\"686\" height=\"158\"\/><\/p>\n<p>The matrix units (58) have the following properties:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"\\left(E_{1,2}\\right)^2 = E_{1,2}E_{1,2} = \\left\\| {\\begin{array}{*{20}{c}} 0&amp;0 \\\\  0&amp;0  \\end{array}} \\right\\|,\\\\  \\left(E_{2,1}\\right)^2 = E_{2,1}E_{2,1} = \\left\\| {\\begin{array}{*{20}{c}} 0&amp;0 \\\\  0&amp;0  \\end{array}} \\right\\|, \\ \\ \\ \\ \\ (59)\" alt=\"\\left(E_{1,2}\\right)^2 = E_{1,2}E_{1,2} = \\left\\| {\\begin{array}{*{20}{c}} 0&amp;0 \\\\  0&amp;0  \\end{array}} \\right\\|,\\\\  \\left(E_{2,1}\\right)^2 = E_{2,1}E_{2,1} = \\left\\| {\\begin{array}{*{20}{c}} 0&amp;0 \\\\  0&amp;0  \\end{array}} \\right\\|, \\ \\ \\ \\ \\ (59)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/283\/b3e\/1fa\/283b3e1fa1267fa820a6e2ffd336f586.svg\" width=\"686\" height=\"103\"\/><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\" E_{1,2}E_{2,1} + E_{2,1} E_{1,2} = E , \\ \\ \\ \\ \\ (60)\" alt=\" E_{1,2}E_{2,1} + E_{2,1} E_{1,2} = E , \\ \\ \\ \\ \\ (60)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/dff\/642\/f9e\/dff642f9e43673bb8709d800bb4d789f.svg\" width=\"265\" height=\"23\"\/><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"\\left(E_{1,2} + E_{2,1}\\right)^2= E, \\left(E_{1,1} - E_{2,2}\\right)^2= E, \\ \\ \\ \\ (61)\" alt=\"\\left(E_{1,2} + E_{2,1}\\right)^2= E, \\left(E_{1,1} - E_{2,2}\\right)^2= E, \\ \\ \\ \\ (61)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/658\/278\/692\/6582786926247ec0c400516980da0829.svg\" width=\"381\" height=\"27\"\/><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\" \\left(E_{1,2} + E_{2,1}\\right)\\left(E_{1,1} - E_{2,2}\\right)+ \\left(E_{1,1} - E_{2,2}\\right) \\left(E_{1,2} + E_{2,1}\\right)=0, \\ \\ \\ \\ \\ (62)\" alt=\" \\left(E_{1,2} + E_{2,1}\\right)\\left(E_{1,1} - E_{2,2}\\right)+ \\left(E_{1,1} - E_{2,2}\\right) \\left(E_{1,2} + E_{2,1}\\right)=0, \\ \\ \\ \\ \\ (62)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/1bf\/def\/21b\/1bfdef21bffd5e8e9f92dcc07c56432c.svg\" width=\"555\" height=\"23\"\/><\/p>\n<p>where <img decoding=\"async\" class=\"formula inline\" source=\"E\" alt=\"E\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/a2a\/3c7\/787\/a2a3c778762f9a08472b2f44aa3eea7a.svg\"\/> &#8212; unit matrix, <img decoding=\"async\" class=\"formula inline\" source=\"E=\\left\\|{\\begin{array}{*{20}{c}} 1&amp;0 \\\\  0&amp;1  \\end{array}} \\right\\|\" alt=\"E=\\left\\|{\\begin{array}{*{20}{c}} 1&amp;0 \\\\  0&amp;1  \\end{array}} \\right\\|\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/f5e\/f17\/2f4\/f5ef172f4ad1f3b84ebc831fb62c0f18.svg\"\/><\/p>\n<p>From formulas (60) &#8212; (63)  it follows that the permutation properties of matrix pairs<img decoding=\"async\" class=\"formula inline\" source=\"E_{1,2}\" alt=\"E_{1,2}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/4a1\/56e\/31e\/4a156e31ec914930f60b2209a68353e8.svg\"\/>, <img decoding=\"async\" class=\"formula inline\" source=\"E_{2,1}\" alt=\"E_{2,1}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/715\/92e\/509\/71592e5090117f44ee1ee94e7a492c80.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"(E_{1,2}+E_{2,1})\" alt=\"(E_{1,2}+E_{2,1})\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/0e1\/8c1\/d98\/0e18c1d98523c9754b58342a3e9ec242.svg\"\/>, <img decoding=\"async\" class=\"formula inline\" source=\"(E_{1,1}-E_{2,2})\" alt=\"(E_{1,1}-E_{2,2})\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/fc8\/92e\/8e4\/fc892e8e4b883111e148874f68f5e0f4.svg\"\/>  are opposite. Squares <img decoding=\"async\" class=\"formula inline\" source=\"E_{1,2}\" alt=\"E_{1,2}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/52e\/92c\/cb5\/52e92ccb56f9693ae2ad27b1bbb97456.svg\"\/>, <img decoding=\"async\" class=\"formula inline\" source=\"E_{2,1}\" alt=\"E_{2,1}\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/8ee\/650\/0f4\/8ee6500f449d093cb5c7665bbe15b003.svg\"\/>  are equal to the null matrix, and their sum of products in different orders (the anticommutator (61)) is equal to the unit matrix. Conversely, for the elements <img decoding=\"async\" class=\"formula inline\" source=\"(E_{1,2}+E_{2,1})\" alt=\"(E_{1,2}+E_{2,1})\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/84e\/7ed\/5e3\/84e7ed5e3990a287743148fe3e454ed1.svg\"\/>, <img decoding=\"async\" class=\"formula inline\" source=\"(E_{1,1}-E_{2,2})\" alt=\"(E_{1,1}-E_{2,2})\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/b97\/1b4\/d59\/b971b4d59b454eff022209c3bdd7f4f0.svg\"\/>  their squares are equal to the unit matrix, and the anticommutator is equal to the zero matrix.<\/p>\n<p>If we use the properties of the Kronecker (direct) product of matrices:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"\\omega_1= (E_{1,2} + E_{2,1}) \\otimes E_{1,2}, \\omega_2= (E_{1,2} + E_{2,1}) \\otimes E_{2,1}, \\ \\ \\ \\ \\ \\ (63)\" alt=\"\\omega_1= (E_{1,2} + E_{2,1}) \\otimes E_{1,2}, \\omega_2= (E_{1,2} + E_{2,1}) \\otimes E_{2,1}, \\ \\ \\ \\ \\ \\ (63)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/ce5\/8ae\/445\/ce58ae445826353c2e27960df4b5d2c2.svg\" width=\"499\" height=\"23\"\/><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\" \\alpha_1 = (E_{1,1} - E_{2,2}) \\otimes (E_{1,2} + E_{2,1}) , \\alpha_2 = (E_{1,1} - E_{2,2}) \\otimes (E_{1,1} - E_{2,2}), \\ \\ \\ \\ \\ (64)\" alt=\" \\alpha_1 = (E_{1,1} - E_{2,2}) \\otimes (E_{1,2} + E_{2,1}) , \\alpha_2 = (E_{1,1} - E_{2,2}) \\otimes (E_{1,1} - E_{2,2}), \\ \\ \\ \\ \\ (64)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/42d\/08c\/608\/42d08c608665f1f6f034d25d8cb38acb.svg\" width=\"639\" height=\"23\"\/><\/p>\n<p>then the linearized equation (58) is the expression:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"B\\Phi \\equiv \\left(\\alpha_1 \\sqrt{a_i}x + \\omega_1b +\\omega_2x + \\alpha_2\\sqrt{c}\\right) \\Phi = 0, \\ \\ \\ \\ (65)\" alt=\"B\\Phi \\equiv \\left(\\alpha_1 \\sqrt{a_i}x + \\omega_1b +\\omega_2x + \\alpha_2\\sqrt{c}\\right) \\Phi = 0, \\ \\ \\ \\ (65)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/80c\/1cc\/fa5\/80c1ccfa5a18c5fb4edfd8dbc8a20aed.svg\" width=\"429\" height=\"27\"\/><\/p>\n<p>where <img decoding=\"async\" class=\"formula inline\" source=\"\\Phi\" alt=\"\\Phi\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/d01\/c1c\/49d\/d01c1c49d477ceb8fd81cb7b6d32d0c6.svg\"\/> is a Cartan spinor (simplified, a nonzero column of, in general, complex numbers). The square of the matrix factor <img decoding=\"async\" class=\"formula inline\" source=\"B\" alt=\"B\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/97c\/824\/2b2\/97c8242b2bc755c19a8e4a14eaafcd00.svg\"\/> in (65):<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"(\\alpha_1\\sqrt{a_i}x + \\omega_1 b + \\omega_2x + \\alpha_2\\sqrt{c}) (\\alpha_1\\sqrt{a_i} x + \\omega_1 b +\\omega_2 x + \\alpha_2\\sqrt{c}) = \\\\ =(ax^2+bx+c) E, \\ \\ \\ (66)\" alt=\"(\\alpha_1\\sqrt{a_i}x + \\omega_1 b + \\omega_2x + \\alpha_2\\sqrt{c}) (\\alpha_1\\sqrt{a_i} x + \\omega_1 b +\\omega_2 x + \\alpha_2\\sqrt{c}) = \\\\ =(ax^2+bx+c) E, \\ \\ \\ (66)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/880\/03d\/804\/88003d804962b3602522d59cd14b8f57.svg\" width=\"686\" height=\"55\"\/><\/p>\n<p>where <img decoding=\"async\" class=\"formula inline\" source=\"E\" alt=\"E\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/987\/120\/ba1\/987120ba1eacc53c13aea116f0fcd28a.svg\"\/> is a 4&#215;4 unit matrix. Properties of matrices <img decoding=\"async\" class=\"formula inline\" source=\"\\omega\" alt=\"\\omega\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/0f3\/68a\/873\/0f368a8730c09c1a757c86f49048c9d7.svg\"\/> (64) in the product <img decoding=\"async\" class=\"formula inline\" source=\"BB\" alt=\"BB\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/608\/781\/520\/608781520520b19c4824520186403d49.svg\"\/> leave the product <img decoding=\"async\" class=\"formula inline\" source=\"bx\" alt=\"bx\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/f09\/c64\/cca\/f09c64cca3ef0930f06d444986accb56.svg\"\/> and remove <img decoding=\"async\" class=\"formula inline\" source=\"ax^2\" alt=\"ax^2\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/9c3\/26f\/324\/9c326f324fe7a5087c3e439ef62eb8ab.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"c\" alt=\"c\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/d3f\/af0\/602\/d3faf06023a59d50a9d79039b6279a4b.svg\"\/>. Rearrangement properties  (65) leave <img decoding=\"async\" class=\"formula inline\" source=\"ax^2\" alt=\"ax^2\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/111\/87e\/197\/11187e197241bfa999040d24bc23ec02.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"c\" alt=\"c\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/ab8\/7c2\/0cb\/ab87c20cb64020f2af619ea14e471717.svg\"\/> , and remove <img decoding=\"async\" class=\"formula inline\" source=\"bx\" alt=\"bx\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/863\/594\/422\/86359442219572bbfa0c2d2006054f27.svg\"\/> in <img decoding=\"async\" class=\"formula inline\" source=\"BB\" alt=\"BB\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/398\/1ba\/102\/3981ba102c0f7d95b4dc65ef57aa531a.svg\"\/><\/p>\n<p>In the theory of comparisons of integers, an analogy with logarithms is made for the index of a class of deductions. The sense of the transformation (57) in (66) can be conventionally represented as:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"\\sqrt{\\sum{\\ldots}}= \\sum{\\sqrt{\\ldots}} \\ \\ \\ \\ \\ \\ \\ \\ (67)\" alt=\"\\sqrt{\\sum{\\ldots}}= \\sum{\\sqrt{\\ldots}} \\ \\ \\ \\ \\ \\ \\ \\ (67)\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/78d\/d86\/b5f\/78dd86b5fae98881ecbac6bf0bba3cd8.svg\" width=\"241\" height=\"38\"\/><\/p>\n<p>The permutations of operations (67) over the field of real numbers are impossible, but over the algebra of unions (hypercomplex numbers) are natural. The elements <img decoding=\"async\" class=\"formula inline\" source=\"\\alpha\" alt=\"\\alpha\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/44b\/c7c\/640\/44bc7c640c0fa81a10af35e9ffa8840b.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"\\omega\" alt=\"\\omega\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/a76\/bd1\/7f2\/a76bd17f22b35d643e9e787ddd8f16e6.svg\"\/> (unions) are matrix generalizations of complex numbers, and exact linearizations (67) are possible, but the price to pay is that the coefficients  <img decoding=\"async\" class=\"formula inline\" source=\"\\alpha\" alt=\"\\alpha\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/8ff\/501\/ce6\/8ff501ce6a5a5e7d58288746e1bc9c23.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"\\omega\" alt=\"\\omega\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/55a\/2d8\/f38\/55a2d8f3868ee72585f19de13e7e7566.svg\"\/> in the linear in <img decoding=\"async\" class=\"formula inline\" source=\"x\" alt=\"x\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/ceb\/e3a\/376\/cebe3a3762aed76fac9e5028c0fd1016.svg\"\/> equation (65) become noncommutative.<\/p>\n<p>Algebra unions, exact linearization of systems of algebraic nonlinear equations over the field of real numbers, and the unionic generalization of the Gauss method of eliminating unknowns are described in detail in [<a href=\"https:\/\/www.researchgate.net\/publication\/350102374_Spinornyj_metod_isklucenia_i_formuly_svazi_mezdu_neizvestnymi_v_sistemah_nelinejnyh_algebraiceskih_uravnenij\" rel=\"noopener noreferrer nofollow\">4<\/a>,<a href=\"https:\/\/www.researchgate.net\/publication\/350099371_Spinornyj_metod_resenia_sistem_nelinejnyh_algebraiceskih_uravnenij\" rel=\"noopener noreferrer nofollow\">5<\/a>].<\/p>\n<p>For the exact linearization and solution of systems of concordant equations (56) it is necessary that the symbols in (56) commute with unions  <img decoding=\"async\" class=\"formula inline\" source=\"\\alpha\" alt=\"\\alpha\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/846\/db3\/b6a\/846db3b6ae4c4b8ce0d48d674381a5c3.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"\\omega\" alt=\"\\omega\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/89e\/f41\/aa6\/89ef41aa6517412ff66d01cb25a75941.svg\"\/> , and the unknowns were squared in expression (56). The second requirement is necessary to exclude the unknowns, since <img decoding=\"async\" class=\"formula inline\" source=\"\\alpha^{-1}=\\alpha\" alt=\"\\alpha^{-1}=\\alpha\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/aff\/3a0\/839\/aff3a083913860ecd4475d8b26fc4c65.svg\"\/>, while <img decoding=\"async\" class=\"formula inline\" source=\"\\omega\" alt=\"\\omega\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/402\/867\/4cf\/4028674cf74bc3decfdf7fe26196c7f9.svg\"\/>   &#8212; have no inverse. This requirement is easy to fulfill, because for matrix text fragments the   <img decoding=\"async\" class=\"formula inline\" source=\"F=F^2\" alt=\"F=F^2\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/a14\/377\/70f\/a1437770f85d05e239835d432c5e6871.svg\"\/>  (10) in   <a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.13538.04804\" rel=\"noopener noreferrer nofollow\">[1]<\/a>. The first requirement can be satisfied by using the property of the Kronecker (direct) product of matrices:<\/p>\n<p><img loading=\"lazy\" decoding=\"async\" class=\"formula\" source=\"F_i^j\\longrightarrow E \\otimes F_i^j, F_k^j\\longrightarrow F_k^j \\otimes E\" alt=\"F_i^j\\longrightarrow E \\otimes F_i^j, F_k^j\\longrightarrow F_k^j \\otimes E\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/376\/51e\/028\/37651e0288d92e5d52a544f0324f0046.svg\" width=\"260\" height=\"28\"\/><\/p>\n<p>Fragments and unions <img decoding=\"async\" class=\"formula inline\" source=\"E\\otimes{}F_i^j\" alt=\"E\\otimes{}F_i^j\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/e54\/23b\/b5a\/e5423bb5ab477d02e4cc61caf52944de.svg\"\/> , <img decoding=\"async\" class=\"formula inline\" source=\"F_k^j\\otimes{}E\" alt=\"F_k^j\\otimes{}E\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/64b\/b23\/79e\/64bb2379e131dcc45aba3d3784eebdc7.svg\"\/> , <img decoding=\"async\" class=\"formula inline\" source=\"\\alpha\" alt=\"\\alpha\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/bc0\/5cb\/cb3\/bc05cbcb3a0948e404574b613e3042ce.svg\"\/> and <img decoding=\"async\" class=\"formula inline\" source=\"\\omega\" alt=\"\\omega\" src=\"https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/84f\/91e\/4be\/84f91e4bed2d25793ef3c5169508f419.svg\"\/>  and   are permutable with each other due to a corresponding increase in the dimensionality of the matrix units used.<\/p>\n<h2>References<\/h2>\n<ol>\n<li>\n<p><a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.13538.04804\" rel=\"noopener noreferrer nofollow\">S. B. Pshenichnikov. Algebra of text. Researchgate Preprint, 2021.<\/a><\/p>\n<\/li>\n<li>\n<p><a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.30315.26402\" rel=\"noopener noreferrer nofollow\">S.B. Pshenichnikov. Algebra of text. examples. Researchgate Preprint, 2021.<\/a><\/p>\n<\/li>\n<li>\n<p><a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.11652.04485\" rel=\"noopener noreferrer nofollow\">S. B. Pshenichnikov. Context category. Researchgate Preprint, 2021.<\/a><\/p>\n<\/li>\n<li>\n<p><a href=\"https:\/\/www.researchgate.net\/publication\/350102374_Spinornyj_metod_isklucenia_i_formuly_svazi_mezdu_neizvestnymi_v_sistemah_nelinejnyh_algebraiceskih_uravnenij\" rel=\"noopener noreferrer nofollow\">P. G. Kuznetsov and S. B. Pshenichnikov. The spinor method of solving systems of nonlinear algebraic equations. Doklady Akademii nauk SSSR, 283(5):1073\u20131076, 1985.<\/a><\/p>\n<\/li>\n<li>\n<p><a href=\"https:\/\/www.researchgate.net\/publication\/350099371_Spinornyj_metod_resenia_sistem_nelinejnyh_algebraiceskih_uravnenij\" rel=\"noopener noreferrer nofollow\">S. B. Pshenichnikov. The spinor method of expulsion and formulas for the tie between unknown variables in the systems of the nonlinear algebraic equations. Latvian Mathematical Yearbook, 30:150\u2013161, 1986.<\/a><\/p>\n<\/li>\n<\/ol>\n<p><a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.17295.71842\" rel=\"noopener noreferrer nofollow\">Initially published on researchgate<\/a><\/p>\n<\/div>\n<\/div>\n<\/div>\n<p><!----><!----><\/div>\n<p><!----><!----><br \/> \u0441\u0441\u044b\u043b\u043a\u0430 \u043d\u0430 \u043e\u0440\u0438\u0433\u0438\u043d\u0430\u043b \u0441\u0442\u0430\u0442\u044c\u0438 <a href=\"https:\/\/habr.com\/ru\/articles\/591957\/\"> https:\/\/habr.com\/ru\/articles\/591957\/<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<div><!--[--><!--]--><\/div>\n<div id=\"post-content-body\">\n<div>\n<div class=\"article-formatted-body article-formatted-body article-formatted-body_version-2\">\n<div xmlns=\"http:\/\/www.w3.org\/1999\/xhtml\">\n<p>In [<a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.13538.04804\" rel=\"noopener noreferrer nofollow\">1<\/a>,<a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.30315.26402\" rel=\"noopener noreferrer nofollow\">2<\/a>,<a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.11652.04485\" rel=\"noopener noreferrer nofollow\">3<\/a>] texts (sign sequences with repetitions) were transformed (coordinated) into algebraic systems using matrix units as word images. Coordinatization is a necessary condition of algebraization of any subject area. Function (arrow) (7) in <a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.13538.04804\" rel=\"noopener noreferrer nofollow\">[1]<\/a>) is a matrix coordinatization of text. One can perform algebraic operations with words and fragments of matrix texts as with integers, but taking into account the noncommutativity of multiplication of words as matrices. Structurization of texts is reduced to the calculation of ideals and categories of texts in matrix form.<\/p>\n<p>This article defines the concept of a matrix word in context. Words-signs in repetition may have different fragments of text between them (contexts), and words that are the same in spelling and sound &#8212; have different senses (as homonyms). In a text, all repeated words can be homonyms if their contexts differ by an appropriate measure (modulo). Conversely, words different in spelling and sound can have similar contexts and different measures of synonymy. The frequency of keywords in semantic analysis is more appropriately defined as the frequency of contexts comparable by an appropriate measure than as the frequency of word-signs, like letters of the alphabet. When calculating the semantic frequency of words taking into account the context, different word-signs with the same contexts should be summed in the frequency calculation and, conversely, the same word-signs with different contexts should be excluded.<\/p>\n<p>Matrix words are complemented by context multipliers. These multipliers due to the properties of matrix units do not lead to the change of words as signs but contain signs that affect the sense of the defined words. Context multipliers are present in matrix words, but do not affect the signs. Multipliers contain relations (according to Frege) with other signs (part of the properties of these signs is their sense in a given context). The semantic similarity and difference of words can then be calculated by comparing (matching) these multipliers-contexts.<\/p>\n<p>To perform algebraic operations with matrix words in context, concordance (concordance) &#8212; a semantic concordance of signs and text fragments, which depends on the measure (module) of concordance &#8212; is required. Matrix words can add up to a text if their contexts have a common measure (module). The invariants of matrix texts that retain their sense when words and text fragments are replaced by consonant ones are increasing and decreasing Noether chains. Noether chains allow to make systems of algebraic equations for transformations of texts preserving their sense.<\/p>\n<h2>The word in context<\/h2>\n<p>Suppose there are two repeated words  and  (the second <em>j<\/em> coordinate is the number from the dictionary, the first coordinates <em>i<sub>1<\/sub><\/em> and <em>i<sub>2<\/sub><\/em> \u2013 are the word numbers in the text) and a fragment of the matrix text  between these words (context):<\/p>\n<p>where each <em>k<sub>m<\/sub><\/em> \u2013 is the number of the word in the dictionary (9) in <a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.13538.04804\" rel=\"noopener noreferrer nofollow\">[1]<\/a>, . Because of the coordinate rule (7) in <a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.13538.04804\" rel=\"noopener noreferrer nofollow\">[1]<\/a> any km in (1):<\/p>\n<p>Because<\/p>\n<p> i_2 &#8212; 1, \\ldots, i_2 > i_1 + 1. \\ \\ \\ \\ \\ \\ \\ \\ (4)&#187; alt=&#187; i_2 > i_2 &#8212; 1, \\ldots, i_2 > i_1 + 1. \\ \\ \\ \\ \\ \\ \\ \\ (4)&#187; src=&#187;https:\/\/habrastorage.org\/getpro\/habr\/upload_files\/045\/278\/35c\/04527835c18aae9d167948d39c0951a0.svg&#187; width=&#187;296&#8243; height=&#187;22&#8243;\/><\/p>\n<p>In the case of <em>i<sub>2<\/sub> = i<sub>1<\/sub> + 1<\/em> fragment zero. For example, in the polychrome &#171;&#8230;&#187; in (1) the context of each dot is missing, and then the sense (context) has not each dot, but three dots as a whole, like a word (sign) in the dictionary. In this case the dot is also a sign from the dictionary of the text. Between two dots that are not adjacent, there is a non-zero text fragment (a sentence, as the corresponding context of each dot). Thus, even dots in the text, although they look the same, have different sense-context (as homonyms). Similarly, signs of paragraphs, paragraphs, and, generally speaking, all words have different senses in the text if they are repeated. Conversely, if words have the same appropriate measure (modulo) of context, but these words are different as signs, then they can be considered close in sense (synonyms). For example, \u00ab&#8230;\u00bb, \u00abso on\u00bb, \u00abetc\u00bb.<\/p>\n<p>Highly likely, in order to achieve universal incomprehension among the builders of the Tower of Babel, it was superfluous to force them to speak different languages. There is no universal understanding in a single contextual language, either; we need semantic (contextual) interpreters.<\/p>\n<p>In short  in the context of   is called an expression:<\/p>\n<p>where <em>E<\/em> is a unit matrix. Because of (2):<\/p>\n<p>The product to the right of any summand  from (1) by  is zero.<\/p>\n<p>Multiplier  does not cause (6) to change the sign of , but can be used to compare two (not necessarily repetitive) words  and  by comparing their contexts  and . This semantic comparison of words in the text by context (sense) will hereafter be referred to as concordance (concordance) by sense of words.<\/p>\n<h2>Word concordance<\/h2>\n<p>Let there be two words  and   numbered   and   from the right text dictionary    in contexts  and   between pairs of repeating words:<\/p>\n<p>Where  and  &#8212; right context dictionaries  and , ,  and ,  &#8212; numbers by pairs of repeating words. Hereafter, all dictionaries are taken as right-handed and the  index is not specified.<\/p>\n<p>Two words can be concordant (agreed) both by the intersection of the word contexts (2) in <a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.11652.04485\" rel=\"noopener noreferrer nofollow\">[3]<\/a> and by the association (3) in <a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.11652.04485\" rel=\"noopener noreferrer nofollow\">[3]<\/a>.  In what follows, only the intersection of contexts will be considered. Algebraically descriptions for union and intersection coincide. For application, their purpose is different. A human, due to natural physical limitations, can hold only a few entities (about seven) at a time in the process of understanding. Such an operation of thinking as abstraction is used to reduce the variety of the world to this number. Concordance by intersection is a mathematical explication of the process of abstraction in the form of reduction (4) in <a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.11652.04485\" rel=\"noopener noreferrer nofollow\">[3]<\/a>. The limiting case of abstract concepts of natural language is logical categories (Aristotle, Kant, Hegel). Hierarchical continuity of concepts (words) is necessary for construction of part-whole relations (relations of understanding).<\/p>\n<p>Concordance by association (3) in <a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.11652.04485\" rel=\"noopener noreferrer nofollow\">[3]<\/a> increases essences. But their number matters only for humans. For machine languages this restriction is not essential. Therefore, concordance on unification can be applied to interaction of machines as well as to future collective mind of human population (according to P.G. Kuznetsov), for which it is necessary to create technologies of collective understanding. At present, acceptable understanding is achieved in teams of programmers. For collectives of five or more, such as physicians (according to T. and B. Buzan), there is no single term that they understand in the same way. In mathematics, seemingly the universal language of mankind, with ideal objects not changing in time (P.G. Kuznetsov), specialization has reached such a level that territorially distributed teams of three or four people understand each other completely.<\/p>\n<p>Concordance by intersection will be called simply concordance. Two words (7) and (8) are concordant (consistent) (\u00abdot over tilde\u00bb) on the intersection of the right-hand dictionaries  and   contexts  and :<\/p>\n<p>if the intersection of two dictionaries:<\/p>\n<p>Expression (9) means that the words  and  are similar in the sense that their contexts    and   have a common vocabulary . The consistent contexts are the contexts after the reduction (4) in <a href=\"http:\/\/dx.doi.org\/10.13140\/RG.2.2.11652.04485\" rel=\"noopener noreferrer nofollow\">[3]<\/a>:<\/p>\n<p>Each reduced context contains all the words from the dictionary . Indeed, for any word , available in , but absent in the  :<\/p>\n<p>where   &#8212;  part of the context   after deleting the word . <em>N<\/em> words are concordant if each pair is concordant:<\/p>\n<p>and the work of the dictionaries <\/p>\n<p>Concordance ratio  is an equivalence relation since the reflexivity and symmetry conditions for the matrices are satisfied, and the transitivity of the relation follows from (14) and (15).<\/p>\n<p>The measure (module) of concordance is (15). It is this modulus that explains the appearance of the term &#171;modulo concordance&#187; by analogy with the term &#171;modulo comparison&#187; for integers. Just as different integers can be equal modulo, so different (as characters) words in a text can be equivalent (interchangeable) modulo concordance. This means that if words have concordant contexts, then the words have concordant sense and can be considered equivalent (interchangeable in sense in the text).<\/p>\n<p>Words  and their sums can be concordant modulo. On concordance relations, like equality and comparison modulo, it is possible to compose systems of concordance equations. The unknowns can be definable and determinable words, concordance moduli, contexts, and text fragments. Concordance equations allow to calculate answers to such questions: in what sense (here the unknown is the module of concordance) are words and texts concordant? If the sense (modulus) is given, what set of words do we replace with other words? In this way, it is possible to compute word definitions and sense versions of texts. Find interchangeable words, compute semantic markup and text structuring, annotation text drafts, and semantic text translation (even of the same language). New functions of text editors and readers, messengers and social networks can be based on these computational capabilities. In the latter case, it is possible, by compiling a personal contextual dictionary of a user-participant according to his messages, to accompany communication with semantic translation of text and sound through the personal contextual languages of other participants.<\/p>\n<h2>Concordant addition <\/h2>\n<p>The concordant addition of the pair of words (7) and (8)  is the expression:<\/p>\n<p>At the same time, according to (6):<\/p>\n<p>Because   and  &#8212; are parts of fragments  and , then:<\/p>\n<p>Thus,   is a concordant context for the sum of words. The matching module is a common dictionary of two contexts . Concordant addition of <em>n<\/em> words:<\/p>\n<p>where the ellipses in the indices   means the number of the repeating word   to the left of the number ,  &#8212; the<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[],"tags":[],"class_list":["post-412555","post","type-post","status-publish","format-standard","hentry"],"_links":{"self":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/412555","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=412555"}],"version-history":[{"count":0,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=\/wp\/v2\/posts\/412555\/revisions"}],"wp:attachment":[{"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=412555"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=412555"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/savepearlharbor.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=412555"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}