{"title":"代数的几何等价性","authors":"M. Shahryari","doi":"10.1016/j.apal.2023.103386","DOIUrl":null,"url":null,"abstract":"<div><p>It is known that an algebra is geometrically equivalent to any of its filterpowers if it is <span><math><msub><mrow><mi>q</mi></mrow><mrow><mi>ω</mi></mrow></msub></math></span>-compact. We present an explicit description for the radicals of systems of equation over an algebra <em>A</em> and then we prove the above assertion by an elementary new argument. Then we define <span><math><msub><mrow><mi>q</mi></mrow><mrow><mi>κ</mi></mrow></msub></math></span>-compact algebras and <em>κ</em>-filterpowers for any infinite cardinal <em>κ</em>. We show that any <span><math><msub><mrow><mi>q</mi></mrow><mrow><mi>κ</mi></mrow></msub></math></span>-compact algebra is geometric equivalent to its <em>κ</em>-filterpowers. As there is no algebraic description of the <em>κ</em>-quasivariety generated by an algebra, the classical argument can not be applied in this case, while our proof still works.</p></div>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2023-10-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On the geometric equivalence of algebras\",\"authors\":\"M. Shahryari\",\"doi\":\"10.1016/j.apal.2023.103386\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>It is known that an algebra is geometrically equivalent to any of its filterpowers if it is <span><math><msub><mrow><mi>q</mi></mrow><mrow><mi>ω</mi></mrow></msub></math></span>-compact. We present an explicit description for the radicals of systems of equation over an algebra <em>A</em> and then we prove the above assertion by an elementary new argument. Then we define <span><math><msub><mrow><mi>q</mi></mrow><mrow><mi>κ</mi></mrow></msub></math></span>-compact algebras and <em>κ</em>-filterpowers for any infinite cardinal <em>κ</em>. We show that any <span><math><msub><mrow><mi>q</mi></mrow><mrow><mi>κ</mi></mrow></msub></math></span>-compact algebra is geometric equivalent to its <em>κ</em>-filterpowers. As there is no algebraic description of the <em>κ</em>-quasivariety generated by an algebra, the classical argument can not be applied in this case, while our proof still works.</p></div>\",\"PeriodicalId\":0,\"journal\":{\"name\":\"\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0,\"publicationDate\":\"2023-10-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0168007223001434\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0168007223001434","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
It is known that an algebra is geometrically equivalent to any of its filterpowers if it is -compact. We present an explicit description for the radicals of systems of equation over an algebra A and then we prove the above assertion by an elementary new argument. Then we define -compact algebras and κ-filterpowers for any infinite cardinal κ. We show that any -compact algebra is geometric equivalent to its κ-filterpowers. As there is no algebraic description of the κ-quasivariety generated by an algebra, the classical argument can not be applied in this case, while our proof still works.