Mariana Badano, Miguel A. Campercholi, Diego J. Vaggione
{"title":"具有存在可定义因子一致性的变种","authors":"Mariana Badano, Miguel A. Campercholi, Diego J. Vaggione","doi":"10.1007/s00012-021-00720-x","DOIUrl":null,"url":null,"abstract":"<div><p>We study the varieties with <span>\\(\\vec {0}\\)</span> and <span>\\(\\vec {1}\\)</span> where factor congruences are definable by existential formulas parameterized by central elements. This continues previous work on equational definability of factor congruences.</p></div>","PeriodicalId":50827,"journal":{"name":"Algebra Universalis","volume":null,"pages":null},"PeriodicalIF":0.6000,"publicationDate":"2022-04-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Varieties with existentially definable factor congruences\",\"authors\":\"Mariana Badano, Miguel A. Campercholi, Diego J. Vaggione\",\"doi\":\"10.1007/s00012-021-00720-x\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>We study the varieties with <span>\\\\(\\\\vec {0}\\\\)</span> and <span>\\\\(\\\\vec {1}\\\\)</span> where factor congruences are definable by existential formulas parameterized by central elements. This continues previous work on equational definability of factor congruences.</p></div>\",\"PeriodicalId\":50827,\"journal\":{\"name\":\"Algebra Universalis\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2022-04-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Algebra Universalis\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s00012-021-00720-x\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Algebra Universalis","FirstCategoryId":"100","ListUrlMain":"https://link.springer.com/article/10.1007/s00012-021-00720-x","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
Varieties with existentially definable factor congruences
We study the varieties with \(\vec {0}\) and \(\vec {1}\) where factor congruences are definable by existential formulas parameterized by central elements. This continues previous work on equational definability of factor congruences.
期刊介绍:
Algebra Universalis publishes papers in universal algebra, lattice theory, and related fields. In a pragmatic way, one could define the areas of interest of the journal as the union of the areas of interest of the members of the Editorial Board. In addition to research papers, we are also interested in publishing high quality survey articles.