Elements of Algebraic Geometry and the Positive Theory of Partially Commutative Groups

Author:

Casals-Ruiz Montserrat,Kazachkov Ilya V.

Abstract

AbstractThe first main result of the paper is a criterion for a partially commutative group 𝔾 to be a domain. It allows us to reduce the study of algebraic sets over 𝔾 to the study of irreducible algebraic sets, and reduce the elementary theory of 𝔾 (of a coordinate group over 𝔾) to the elementary theories of the direct factors of 𝔾 (to the elementary theory of coordinate groups of irreducible algebraic sets).Then we establish normal forms for quantifier-free formulas over a non-abelian directly indecomposable partially commutative group ℍ. Analogously to the case of free groups, we introduce the notion of a generalised equation and prove that the positive theory of ℍ has quantifier elimination and that arbitrary first-order formulas lift from ℍ to ℍ * F, where F is a free group of finite rank. As a consequence, the positive theory of an arbitrary partially commutative group is decidable.

Publisher

Canadian Mathematical Society

Subject

General Mathematics

Cited by 8 articles. 订阅此论文施引文献 订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献

1. On the elementary theory of graph products of groups;Dissertationes Mathematicae;2024

2. First-order aspects of Coxeter groups;Journal of Algebra;2022-04

3. Implicaciones teóricas, políticas y metodológicas de la investigación activista feminista;Empiria. Revista de metodología de ciencias sociales;2021-04-05

4. On the Positive Theory of Groups Acting on Trees;International Mathematics Research Notices;2020-07-24

5. Limit groups over partially commutative groups and group actions on real cubings;Geometry & Topology;2015-04-10

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3