Theories of first order of integer semigroup rings

MaRDI QIDQ1909855zbMATH OpenFDO

Authors V. A. Tyukov

Publication date 12 May 1996

Published in Russian Mathematics (Search for Journal in Brave)

zbMATH Keywords

decidable theorieselementary equivalencefirst order theories of semigroup ringsfree semigroupsinteger semigroup rings

Mathematics Subject Classification ID

Basic properties of first-order languages and structures (03C07) Ordinary and skew polynomial rings and semigroup rings (16S36) Applications of logic to group theory (20A15) Group rings of infinite groups and their modules (group-theoretic aspects) (20C07) Free semigroups, generators and relations, word problems (20M05) Semigroup rings, multiplicative semigroups of rings (20M25)

Review text

The aim of the paper is to start studying the first order theories of semigroup rings. From the author's commentary: ``In the first section we consider integer semigroup rings of free semigroups of no more than countable rank and of cyclic groups. We establish criteria of elementary equivalence of such rings. In the second section we consider integer semigroup rings of free semigroups with unit of arbitrary rank and cyclic semigroups. We describe decidable theories of such rings in the frames of the scheme-alternative hierarchy, which was defined in [\textit{Yu. M. Vazhenin}, Algebra Logika 26, No. 4, 419-434 (1987; Zbl 0647.03006)].

Recommendations

• Publication:3204451
• scientific article; zbMATH DE number 4179358
• Elementary and universal equivalence of group rings
• Rings of monoids elementarily equivalent to polynomial rings
• scientific article; zbMATH DE number 21146

Cited in

(1)

• scientific article; zbMATH DE number 4029528 (Why is no real title available?)

This page was built for publication: Theories of first order of integer semigroup rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1909855)