Conţinutul numărului revistei |
Articolul precedent |
Articolul urmator |
684 2 |
Ultima descărcare din IBN: 2021-07-08 18:22 |
Căutarea după subiecte similare conform CZU |
512.55+512.56+519.6 (1) |
Алгебра (410) |
Вычислительная математика. Численный анализ (123) |
SM ISO690:2012 CORNEJO, Juan M., SANKAPPANAVA, Hanamantagouda P.. Implication zroupoids and identities of associative type. In: Quasigroups and Related Systems, 2018, vol. 26, nr. 1(39), pp. 13-34. ISSN 1561-2848. |
EXPORT metadate: Google Scholar Crossref CERIF DataCite Dublin Core |
Quasigroups and Related Systems | ||||||
Volumul 26, Numărul 1(39) / 2018 / ISSN 1561-2848 | ||||||
|
||||||
CZU: 512.55+512.56+519.6 | ||||||
Pag. 13-34 | ||||||
|
||||||
Descarcă PDF | ||||||
Rezumat | ||||||
An algebra A = hA;!; 0i, where ! is binary and 0 is a constant, is called an Izroupoid if A satis_es the identities: (x ! y) ! z _ [(z0 ! x) ! (y ! z)0]0 and 000 _ 0, where x0 := x ! 0, and I denotes the variety of all I-zroupoids. An I-zroupoid is symmetric if it satis_es x00 _ x and (x ! y0)0 _ (y ! x0)0. The variety of symmetric I-zroupoids is denoted by S. An identity p _ q, in the groupoid language h!i, is called an identity of associative type of length 3 if p and q have exactly 3 (distinct) variables, say x; y; z, and are grouped according to one of the two ways of grouping: (1) ? ! (? ! ?) and (2) (? ! ?) ! ?, where ? is a place holder for a variable. A subvariety of I is said to be of associative type of length 3, if it is de_ned, relative to I, by a single identity of associative type of length 3. In this paper we give a complete analysis of the mutual relationships of all subvarieties of I of associative type of length 3. We prove, in our main theorem, that there are exactly 8 such subvarieties of I that are distinct from each other and describe explicitly the poset formed by them under inclusion. As an application of the main theorem, we derive that there are three distinct subvarieties of the variety S of associative type, each de_ned relative to S, by a single identity of associative type of length 3. |
||||||
|
Cerif XML Export
<?xml version='1.0' encoding='utf-8'?> <CERIF xmlns='urn:xmlns:org:eurocris:cerif-1.5-1' xsi:schemaLocation='urn:xmlns:org:eurocris:cerif-1.5-1 http://www.eurocris.org/Uploads/Web%20pages/CERIF-1.5/CERIF_1.5_1.xsd' xmlns:xsi='http://www.w3.org/2001/XMLSchema-instance' release='1.5' date='2012-10-07' sourceDatabase='Output Profile'> <cfResPubl> <cfResPublId>ibn-ResPubl-65101</cfResPublId> <cfResPublDate>2018-07-01</cfResPublDate> <cfVol>39</cfVol> <cfIssue>1</cfIssue> <cfStartPage>13</cfStartPage> <cfISSN>1561-2848</cfISSN> <cfURI>https://ibn.idsi.md/ro/vizualizare_articol/65101</cfURI> <cfTitle cfLangCode='EN' cfTrans='o'>Implication zroupoids and identities of associative type</cfTitle> <cfAbstr cfLangCode='EN' cfTrans='o'><p>An algebra A = hA;!; 0i, where ! is binary and 0 is a constant, is called an Izroupoid if A satis_es the identities: (x ! y) ! z _ [(z0 ! x) ! (y ! z)0]0 and 000 _ 0, where x0 := x ! 0, and I denotes the variety of all I-zroupoids. An I-zroupoid is symmetric if it satis_es x00 _ x and (x ! y0)0 _ (y ! x0)0. The variety of symmetric I-zroupoids is denoted by S. An identity p _ q, in the groupoid language h!i, is called an identity of associative type of length 3 if p and q have exactly 3 (distinct) variables, say x; y; z, and are grouped according to one of the two ways of grouping: (1) ? ! (? ! ?) and (2) (? ! ?) ! ?, where ? is a place holder for a variable. A subvariety of I is said to be of associative type of length 3, if it is de_ned, relative to I, by a single identity of associative type of length 3. In this paper we give a complete analysis of the mutual relationships of all subvarieties of I of associative type of length 3. We prove, in our main theorem, that there are exactly 8 such subvarieties of I that are distinct from each other and describe explicitly the poset formed by them under inclusion. As an application of the main theorem, we derive that there are three distinct subvarieties of the variety S of associative type, each de_ned relative to S, by a single identity of associative type of length 3.</p></cfAbstr> <cfResPubl_Class> <cfClassId>eda2d9e9-34c5-11e1-b86c-0800200c9a66</cfClassId> <cfClassSchemeId>759af938-34ae-11e1-b86c-0800200c9a66</cfClassSchemeId> <cfStartDate>2018-07-01T24:00:00</cfStartDate> </cfResPubl_Class> <cfResPubl_Class> <cfClassId>e601872f-4b7e-4d88-929f-7df027b226c9</cfClassId> <cfClassSchemeId>40e90e2f-446d-460a-98e5-5dce57550c48</cfClassSchemeId> <cfStartDate>2018-07-01T24:00:00</cfStartDate> </cfResPubl_Class> <cfPers_ResPubl> <cfPersId>ibn-person-57882</cfPersId> <cfClassId>49815870-1cfe-11e1-8bc2-0800200c9a66</cfClassId> <cfClassSchemeId>b7135ad0-1d00-11e1-8bc2-0800200c9a66</cfClassSchemeId> <cfStartDate>2018-07-01T24:00:00</cfStartDate> </cfPers_ResPubl> <cfPers_ResPubl> <cfPersId>ibn-person-57883</cfPersId> <cfClassId>49815870-1cfe-11e1-8bc2-0800200c9a66</cfClassId> <cfClassSchemeId>b7135ad0-1d00-11e1-8bc2-0800200c9a66</cfClassSchemeId> <cfStartDate>2018-07-01T24:00:00</cfStartDate> </cfPers_ResPubl> </cfResPubl> <cfPers> <cfPersId>ibn-Pers-57882</cfPersId> <cfPersName_Pers> <cfPersNameId>ibn-PersName-57882-3</cfPersNameId> <cfClassId>55f90543-d631-42eb-8d47-d8d9266cbb26</cfClassId> <cfClassSchemeId>7375609d-cfa6-45ce-a803-75de69abe21f</cfClassSchemeId> <cfStartDate>2018-07-01T24:00:00</cfStartDate> <cfFamilyNames>Cornejo</cfFamilyNames> <cfFirstNames>Juan M.</cfFirstNames> </cfPersName_Pers> </cfPers> <cfPers> <cfPersId>ibn-Pers-57883</cfPersId> <cfPersName_Pers> <cfPersNameId>ibn-PersName-57883-3</cfPersNameId> <cfClassId>55f90543-d631-42eb-8d47-d8d9266cbb26</cfClassId> <cfClassSchemeId>7375609d-cfa6-45ce-a803-75de69abe21f</cfClassSchemeId> <cfStartDate>2018-07-01T24:00:00</cfStartDate> <cfFamilyNames>Sankappanava</cfFamilyNames> <cfFirstNames>Hanamantagouda P.</cfFirstNames> </cfPersName_Pers> </cfPers> </CERIF>