Algebra and LogicPub Date : 2023-04-20DOI: 10.1007/s10469-023-09699-x
A. V. Kislitsin
{"title":"Minimal Nonzero L-Varieties of Vector Spaces Over the Field ℤ2","authors":"A. V. Kislitsin","doi":"10.1007/s10469-023-09699-x","DOIUrl":"10.1007/s10469-023-09699-x","url":null,"abstract":"<div><div><p>We provide a complete description of minimal nonzero L-varieties of multiplicative vector spaces over the field ℤ<sub>2</sub>.</p></div></div>","PeriodicalId":7422,"journal":{"name":"Algebra and Logic","volume":"61 4","pages":"313 - 317"},"PeriodicalIF":0.5,"publicationDate":"2023-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50498539","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Algebra and LogicPub Date : 2023-04-19DOI: 10.1007/s10469-023-09701-6
E. I. Timoshenko
{"title":"Intersection of Centralizers in a Partially Commutative Metabelian Group","authors":"E. I. Timoshenko","doi":"10.1007/s10469-023-09701-6","DOIUrl":"10.1007/s10469-023-09701-6","url":null,"abstract":"<div><div><p>For a partially commutative metabelian group, necessary and sufficient conditions on a defining graph are found under which the intersection of centralizers of two distinct vertices of the graph and the commutator subgroup is trivial.</p></div></div>","PeriodicalId":7422,"journal":{"name":"Algebra and Logic","volume":"61 4","pages":"328 - 340"},"PeriodicalIF":0.5,"publicationDate":"2023-04-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50495169","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Algebra and LogicPub Date : 2023-04-05DOI: 10.1007/s10469-023-09697-z
Zh. Wang, A. V. Vasil’ev, M. A. Grechkoseeva, A. Kh. Zhurtov
{"title":"A Criterion for Nonsolvability of a Finite Group and Recognition of Direct Squares of Simple Groups","authors":"Zh. Wang, A. V. Vasil’ev, M. A. Grechkoseeva, A. Kh. Zhurtov","doi":"10.1007/s10469-023-09697-z","DOIUrl":"10.1007/s10469-023-09697-z","url":null,"abstract":"<div><div><p>The spectrum ω(G) of a finite group G is the set of orders of its elements. The following sufficient criterion of nonsolvability is proved: if, among the prime divisors of the order of a group G, there are four different primes such that ω(G) contains all their pairwise products but not a product of any three of these numbers, then G is nonsolvable. Using this result, we show that for q ⩾ 8 and q ≠ 32, the direct square Sz(q) × Sz(q) of the simple exceptional Suzuki group Sz(q) is uniquely characterized by its spectrum in the class of finite groups, while for Sz(32) × Sz(32), there are exactly four finite groups with the same spectrum.</p></div></div>","PeriodicalId":7422,"journal":{"name":"Algebra and Logic","volume":"61 4","pages":"288 - 300"},"PeriodicalIF":0.5,"publicationDate":"2023-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50450336","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Algebra and LogicPub Date : 2023-04-05DOI: 10.1007/s10469-023-09703-4
{"title":"Sessions of the Seminar “Algebra i Logika”","authors":"","doi":"10.1007/s10469-023-09703-4","DOIUrl":"10.1007/s10469-023-09703-4","url":null,"abstract":"","PeriodicalId":7422,"journal":{"name":"Algebra and Logic","volume":"61 4","pages":"348 - 350"},"PeriodicalIF":0.5,"publicationDate":"2023-04-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50450334","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Algebra and LogicPub Date : 2022-12-15DOI: 10.1007/s10469-022-09688-6
F. Rakymzhankyzy, N. A. Bazhenov, A. A. Issakhov, B. S. Kalmurzayev
{"title":"Minimal Generalized Computable Numberings and Families of Positive Preorders","authors":"F. Rakymzhankyzy, N. A. Bazhenov, A. A. Issakhov, B. S. Kalmurzayev","doi":"10.1007/s10469-022-09688-6","DOIUrl":"10.1007/s10469-022-09688-6","url":null,"abstract":"<div><div><p>We study A-computable numberings for various natural classes of sets. For an arbitrary oracle A≥<sub>T</sub><b>0</b><sup>′</sup>, an example of an A-computable family S is constructed in which each A-computable numbering of S has a minimal cover, and at the same time, S does not satisfy the sufficient conditions for the existence of minimal covers specified in [Sib. Math. J., <b>43</b>, No. 4, 616-622 (2002)]. It is proved that the family of all positive linear preorders has an A-computable numbering iff A<sup>′</sup>≥<sub>T</sub><b>0</b><sup>\"</sup>. We obtain a series of results on minimal A-computable numberings, in particular, Friedberg numberings and positive undecidable numberings.</p></div></div>","PeriodicalId":7422,"journal":{"name":"Algebra and Logic","volume":"61 3","pages":"188 - 206"},"PeriodicalIF":0.5,"publicationDate":"2022-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50483728","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Algebra and LogicPub Date : 2022-12-15DOI: 10.1007/s10469-022-09689-5
N. S. Romanovskii
{"title":"Divisible Rigid Groups. Morley Rank","authors":"N. S. Romanovskii","doi":"10.1007/s10469-022-09689-5","DOIUrl":"10.1007/s10469-022-09689-5","url":null,"abstract":"<div><div><p>Let <i>G</i> be a countable saturated model of the theory 𝔗<sub><i>m</i></sub> of divisible m-rigid groups. Fix the splitting <i>G</i><sub>1</sub><i>G</i><sub>2</sub> . . .<i>G</i><sub><i>m</i></sub> of a group G into a semidirect product of Abelian groups. With each tuple (<i>n</i><sub>1</sub>, . . . , <i>n</i><sub><i>m</i></sub>) of nonnegative integers we associate an ordinal <i>α</i> = <i>ω</i><sup><i>m</i>−1</sup><i>n</i><sub><i>m</i></sub>+ . . . + <i>ωn</i><sub>2</sub> + <i>n</i><sub>1</sub> and denote by <i>G</i><sup>(<i>α</i>)</sup> the set <span>( {G}_1^{n_1}times {G}_2^{n_2}times dots times {G}_m^{n_m} )</span>, which is definable over <i>G</i> in <span>( {G}^{n_1+dots +{n}_m} )</span>. Then the Morley rank of <i>G</i><sup>(<i>α</i>)</sup> with respect to <i>G</i> is equal to <i>α</i>. This implies that RM (<i>G</i>) = <i>ω</i><sup><i>m</i>−1</sup> + <i>ω</i><sup><i>m</i>−2</sup> + . . . + 1.</p></div></div>","PeriodicalId":7422,"journal":{"name":"Algebra and Logic","volume":"61 3","pages":"207 - 224"},"PeriodicalIF":0.5,"publicationDate":"2022-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50483729","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Algebra and LogicPub Date : 2022-12-10DOI: 10.1007/s10469-022-09691-x
F. A. Dudkin
{"title":"Group and Algorithmic Properties of Generalized Baumslag–Solitar Groups","authors":"F. A. Dudkin","doi":"10.1007/s10469-022-09691-x","DOIUrl":"10.1007/s10469-022-09691-x","url":null,"abstract":"","PeriodicalId":7422,"journal":{"name":"Algebra and Logic","volume":"61 3","pages":"230 - 237"},"PeriodicalIF":0.5,"publicationDate":"2022-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50467567","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Algebra and LogicPub Date : 2022-12-10DOI: 10.1007/s10469-022-09687-7
Yu. L. Ershov
{"title":"K-Completions of T0-Spaces","authors":"Yu. L. Ershov","doi":"10.1007/s10469-022-09687-7","DOIUrl":"10.1007/s10469-022-09687-7","url":null,"abstract":"<div><div><p>For a wide category <b>K</b>, we introduce the notions of a <b>K</b>-precomplete map and of a <b>K-</b>subspace. Based on these, we create a uniform method for constructing <b>K</b>-completions of <i>T</i><sub>0</sub>-spaces.</p></div></div>","PeriodicalId":7422,"journal":{"name":"Algebra and Logic","volume":"61 3","pages":"177 - 187"},"PeriodicalIF":0.5,"publicationDate":"2022-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50467566","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Algebra and LogicPub Date : 2022-12-03DOI: 10.1007/s10469-022-09694-8
{"title":"Sessions of the Seminar “Algebra i Logika”","authors":"","doi":"10.1007/s10469-022-09694-8","DOIUrl":"10.1007/s10469-022-09694-8","url":null,"abstract":"","PeriodicalId":7422,"journal":{"name":"Algebra and Logic","volume":"61 3","pages":"248 - 249"},"PeriodicalIF":0.5,"publicationDate":"2022-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"50444828","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}