scholarly journals ON RESIDUALLY FINITE VARIETIES OF INVOLUTION SEMIGROUPS

2010 ◽  
Vol 89 (2) ◽  
pp. 181-198 ◽  
Author(s):  
IGOR DOLINKA

AbstractWe prove that the variety consisting of all involutory inflations of normal bands is the unique maximal residually finite variety consisting of combinatorial semigroups with involution.

Author(s):  
Tim Koussas

We determine all quasivarieties of aperiodic semigroups that are contained in some residually finite variety. This endeavor was initially motivated by a problem in natural dualities, but our work here also serves as a partial correction to an error found in a result of Sapir from the 1980s.


1969 ◽  
Vol 10 (3-4) ◽  
pp. 497-498 ◽  
Author(s):  
Gilbert Baumslag

Let G be a group on two generators a and b subject to the single defining relation a = [a, ab]: . As usual [x, y] = x−1y−1xy and xy = y−1xy if x and y are elements of a group. The object of this note is to show that every finite quotient of G is cyclic. This implies that every normal subgroup of G contains the derived group G′. But by Magnus' theory of groups with a single defining relation G′ ≠ 1 ([1], §4.4). So G is not residually finite. This underlines the fact that groups with a single defining relation need not be residually finite (cf. [2]).


2017 ◽  
Vol 16 (10) ◽  
pp. 1750200 ◽  
Author(s):  
László Székelyhidi ◽  
Bettina Wilkens

In 2004, a counterexample was given for a 1965 result of R. J. Elliott claiming that discrete spectral synthesis holds on every Abelian group. Since then the investigation of discrete spectral analysis and synthesis has gained traction. Characterizations of the Abelian groups that possess spectral analysis and spectral synthesis, respectively, were published in 2005. A characterization of the varieties on discrete Abelian groups enjoying spectral synthesis is still missing. We present a ring theoretical approach to the issue. In particular, we provide a generalization of the Principal Ideal Theorem on discrete Abelian groups.


2000 ◽  
Vol 231 (2) ◽  
pp. 561-573
Author(s):  
Ulderico Dardano ◽  
Bettina Eick ◽  
Martin Menth

2016 ◽  
Vol 27 (08) ◽  
pp. 909-941 ◽  
Author(s):  
Saeid Alirezazadeh

Forest algebras are defined for investigating languages of forests [ordered sequences] of unranked trees, where a node may have more than two [ordered] successors. They consist of two monoids, the horizontal and the vertical, with an action of the vertical monoid on the horizontal monoid, and a complementary axiom of faithfulness. In the study of forest algebras one of the main difficulties is how to handle the faithfulness property. A pseudovariety is a class of finite algebras of a given signature, closed under the taking of homomorphic images, subalgebras and finitary direct products. We tried to adapt in this context some of the results in the theory of semigroups, specially the studies on relatively free profinite semigroups, which are an important tool in the theory of pseudovarieties of semigroups. We define a new version of syntactic congruence of a subset of the free forest algebra, not just a forest language. This new version is the natural extension of the syntactic congruence for monoids in the case of forest algebras and is used in the proof of an analog of Hunter’s Lemma. We show that under a certain assumption the two versions of syntactic congruences coincide. We adapt some results of Almeida on metric semigroups to the context of forest algebras. We show that the analog of Hunter’s Lemma holds for metric forest algebras, which leads to the result that zero-dimensional compact metric forest algebras are residually finite. We show an analog of Reiterman’s Theorem, which is based on a study of the structure profinite forest algebras.


1992 ◽  
Vol 35 (3) ◽  
pp. 390-399 ◽  
Author(s):  
Goansu Kim ◽  
C. Y. Tang

AbstractIn general polygonal products of finitely generated torsion-free nilpotent groups amalgamating cyclic subgroups need not be residually finite. In this paper we prove that polygonal products of finitely generated torsion-free nilpotent groups amalgamating maximal cyclic subgroups such that the amalgamated cycles generate an isolated subgroup in the vertex group containing them, are residually finite. We also prove that, for finitely generated torsion-free nilpotent groups, if the subgroups generated by the amalgamated cycles have the same nilpotency classes as their respective vertex groups, then their polygonal product is residually finite.


2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Hip Kuen Chong ◽  
Daniel T. Wise

Abstract We study a family of finitely generated residually finite groups. These groups are doubles F 2 * H F 2 F_{2}*_{H}F_{2} of a rank-2 free group F 2 F_{2} along an infinitely generated subgroup 𝐻. Varying 𝐻 yields uncountably many groups up to isomorphism.


Author(s):  
Alonso Castillo-Ramirez

For a group [Formula: see text] and a set [Formula: see text], let [Formula: see text] be the monoid of all cellular automata over [Formula: see text], and let [Formula: see text] be its group of units. By establishing a characterization of surjunctive groups in terms of the monoid [Formula: see text], we prove that the rank of [Formula: see text] (i.e. the smallest cardinality of a generating set) is equal to the rank of [Formula: see text] plus the relative rank of [Formula: see text] in [Formula: see text], and that the latter is infinite when [Formula: see text] has an infinite decreasing chain of normal subgroups of finite index, condition which is satisfied, for example, for any infinite residually finite group. Moreover, when [Formula: see text] is a vector space over a field [Formula: see text], we study the monoid [Formula: see text] of all linear cellular automata over [Formula: see text] and its group of units [Formula: see text]. We show that if [Formula: see text] is an indicable group and [Formula: see text] is finite-dimensional, then [Formula: see text] is not finitely generated; however, for any finitely generated indicable group [Formula: see text], the group [Formula: see text] is finitely generated if and only if [Formula: see text] is finite.


2020 ◽  
pp. 1-10
Author(s):  
Michelle Daher ◽  
Alexander Dranishnikov

We prove that for 4-manifolds [Formula: see text] with residually finite fundamental group and non-spin universal covering [Formula: see text], the inequality [Formula: see text] implies the inequality [Formula: see text]. This allows us to complete the proof of Gromov’s Conjecture for 4-manifolds with abelian fundamental group.


Sign in / Sign up

Export Citation Format

Share Document