Finite presentability of generalized Bruck–Reilly ∗-extension of groups

2016 ◽  
Vol 09 (04) ◽  
pp. 1650090 ◽  
Author(s):  
Seda Oğuz ◽  
Eylem G. Karpuz
Keyword(s):  
Finite Subset ◽  
Identity Element ◽  
Finitely Generated ◽  
Finite Generation ◽  
Finite Set ◽  
Finite Presentability ◽  
Finitely Presented

In [Finite presentability of Bruck–Reilly extensions of groups, J. Algebra 242 (2001) 20–30], Araujo and Ruškuc studied finite generation and finite presentability of Bruck–Reilly extension of a group. In this paper, we aim to generalize some results given in that paper to generalized Bruck–Reilly ∗-extension of a group. In this way, we determine necessary and sufficent conditions for generalized Bruck–Reilly ∗-extension of a group, [Formula: see text], to be finitely generated and finitely presented. Let [Formula: see text] be a group, [Formula: see text] be morphisms and [Formula: see text] ([Formula: see text] and [Formula: see text] are the [Formula: see text]- and [Formula: see text]-classes, respectively, contains the identity element [Formula: see text] of [Formula: see text]). We prove that [Formula: see text] is finitely generated if and only if there exists a finite subset [Formula: see text] such that [Formula: see text] is generated by [Formula: see text]. We also prove that [Formula: see text] is finitely presented if and only if [Formula: see text] is presented by [Formula: see text], where [Formula: see text] is a finite set and [Formula: see text] [Formula: see text] for some finite set of relations [Formula: see text].

scholarly journals Generators and relations of Rees matrix semigroups

1999 ◽  
Vol 42 (3) ◽  
pp. 481-495 ◽  
Author(s):  
H. Ayik ◽  
N. Ruškuc
Keyword(s):  
Rees Matrix Semigroup ◽  
Finitely Generated ◽  
Finite Generation ◽  
Generators And Relations ◽  
Rees Matrix Semigroups ◽  
Finite Presentability ◽  
Matrix Semigroup ◽  
Finitely Presented ◽  
Matrix Semigroups ◽  
The Ideal

In this paper we consider finite generation and finite presentability of Rees matrix semigroups (with or without zero) over arbitrary semigroups. The main result states that a Rees matrix semigroup M[S; I, J; P] is finitely generated (respectively, finitely presented) if and only if S is finitely generated (respectively, finitely presented), and the sets I, J and S\U are finite, where U is the ideal of S generated by the entries of P.

scholarly journals Finite presentability of arithmetic groups over global function fields

1987 ◽  
Vol 30 (1) ◽  
pp. 23-39 ◽  
Author(s):  
Helmut Behr
Keyword(s):  
Small Groups ◽  
Function Fields ◽  
Algebraic Groups ◽  
Number Fields ◽  
Arithmetic Groups ◽  
Finitely Generated ◽  
Global Function ◽  
Global Function Fields ◽  
Finite Presentability ◽  
Finitely Presented

Arithmetic subgroups of reductive algebraic groups over number fields are finitely presentable, but over global function fields this is not always true. All known exceptions are “small” groups, which means that either the rank of the algebraic group or the set S of the underlying S-arithmetic ring has to be small. There exists now a complete list of all such groups which are not finitely generated, whereas we onlyhave a conjecture which groups are finitely generated but not finitely presented.

scholarly journals Generation of diagonal acts of some semigroups of transformations and relations

2005 ◽  
Vol 72 (1) ◽  
pp. 139-146 ◽  
Author(s):  
Peter Gallagher ◽  
Nik Ruškuc
Keyword(s):  
Symmetric Group ◽  
Binary Relations ◽  
Finitely Generated ◽  
Finite Generation ◽  
Finite Set ◽  
Infinite Set

The diagonal right (respectively, left) act of a semigroup S is the set S × S on which S acts via (x, y) s = (xs, ys) (respectively, s (x, y) = (sx, sy)); the same set with both actions is the diagonal bi-act. The diagonal right (respectively, left, bi-) act is said to be finitely generated if there is a finite set A ⊆ S × S such that S × S = AS1 (respectively, S × S = S1A, S × S = SlASl).In this paper we consider the question of finite generation for diagonal acts of certain infinite semigroups of transformations and relations. We show that the semi-groups of full transformations, partial transformations and binary relations on an infinite set each have cyclic diagonal right and left acts. The semigroup of full finite-to-one transformations on an infinite set has a cyclic diagonal right act but its diagonal left act is not finitely generated. The semigroup of partial injections on an infinite set has neither finitely generated diagonal right nor left act, but has a cyclic diagonal bi-act. The semigroup of bijections (symmetric group) on an infinite set does not have any finitely generated diagonal acts.

scholarly journals Topological groups with dense compactly generated subgroups

2002 ◽  
Vol 3 (1) ◽  
pp. 85 ◽  
Author(s):  
Hiroshi Fujita ◽  
Dimitri Shakhmatov
Keyword(s):  
Topological Group ◽  
Compact Subset ◽  
Open Subset ◽  
Identity Element ◽  
Topological Groups ◽  
Finitely Generated ◽  
Finite Set ◽  
Metrizable Topological Group ◽  
Compactly Generated ◽  
Compact Subsets

<p>A topological group G is: (i) compactly generated if it contains a compact subset algebraically generating G, (ii) -compact if G is a union of countably many compact subsets, (iii) <sub>0</sub>-bounded if arbitrary neighborhood U of the identity element of G has countably many translates xU that cover G, and (iv) finitely generated modulo open sets if for every non-empty open subset U of G there exists a finite set F such that F  U algebraically generates G. We prove that: (1) a topological group containing a dense compactly generated subgroup is both <sub>0</sub>-bounded and finitely generated modulo open sets, (2) an almost metrizable topological group has a dense compactly generated subgroup if and only if it is both <sub>0</sub>-bounded and finitely generated modulo open sets, and (3) an almost metrizable topological group is compactly generated if and only if it is -compact and finitely generated modulo open sets.</p>

On groups and 3-manifolds with weak dimension ≤ 1

1974 ◽  
Vol 75 (1) ◽  
pp. 33-35
Author(s):  
David E. Galewski
Keyword(s):  
Fundamental Group ◽  
Finitely Generated ◽  
Finite Generation ◽  
Connected Sum ◽  
Finitely Presented Groups ◽  
Finitely Presented Group ◽  
Weak Dimension ◽  
Finitely Presented

0. Introduction. A group π has weak dimension (wd) ≤ n (see Cartan and Ellen-berg (2)) if Hk(π, A) = 0 for all right Z(π)-modules A and all k > n. We say that the weak dimension of a manifold M is ≤ n if wd (πl(M))≤ n. In section 1 we show that open, orientable, irreducible 3-manifolds have wd ≤ 1 if and only if they are the monotone on of 1-handle bodies. In his celebrated theorem (10), Stallings proves that finitely presented groups of cohomological dimensions ≤ 1 are free. In section 2 we prove that if π is a finitely presented group which is the fundamental group of any orientable 3-manifold with wd ≤ 1 then π is free. We also give an example to show that the finite generation of π is necessary. (Swan (11) removes the finitely presented hypothesis from Stalling's theorem.) Finally, in section 3 we generalize a theorem of McMillan (5) and prove that if M is an open, orientable, irreducible 3-manifold with finitely generated fundamental group, then M is stably (taking the product with n ≥ 1 copies of ℝ) a connected sum along the boundary of trivial (n+2)-disc Sl bundles.

FINITE PRESENTABILITY OF HNN EXTENSIONS OF INVERSE SEMIGROUPS

2005 ◽  
Vol 15 (03) ◽  
pp. 423-436 ◽  
Author(s):  
E. R. DOMBI ◽  
N. D. GILBERT ◽  
N. RUŠKUC
Keyword(s):  
Inverse Semigroup ◽  
Inverse Semigroups ◽  
Finitely Generated ◽  
Semigroup Presentation ◽  
Hnn Extensions ◽  
Hnn Extension ◽  
Finite Presentability ◽  
Order Ideals ◽  
Inverse Subsemigroups ◽  
Finitely Presented

HNN extensions of inverse semigroups, where the associated inverse subsemigroups are order ideals of the base, are defined by means of a construction based upon the isomorphism between the categories of inverse semigroups and inductive groupoids. The resulting HNN extension may conveniently be described by an inverse semigroup presentation, and we determine when an HNN extension with finitely generated or finitely presented base is again finitely generated or finitely presented. Our main results depend upon properties of the [Formula: see text]-preorder in the associated subsemigroups. Let S be a finitely generated inverse semigroup and let U, V be inverse subsemigroups of S, isomorphic via φ: U → V, that are order ideals in S. We prove that the HNN extension S*U,φ is finitely generated if and only if U is finitely [Formula: see text]-dominated. If S is finitely presented, we give a necessary and suffcient condition for S*U,φ to be finitely presented. Here, in contrast to the theory of HNN extensions of groups, it is not necessary that U be finitely generated.

FINITE PRESENTABILITY OF BRUCK–REILLY EXTENSIONS OF CLIFFORD MONOIDS

2007 ◽  
Vol 06 (05) ◽  
pp. 801-814 ◽  
Author(s):  
C. A. CARVALHO ◽  
N. RUSKUC
Keyword(s):  
Sufficient Conditions ◽  
Necessary And Sufficient Conditions ◽  
Finitely Generated ◽  
Finite Presentability ◽  
Necessary And Sufficient ◽  
Finitely Presented

Let M be a Clifford monoid and let θ be an endomorphism of M. We prove that if the Bruck–Reilly extension BR(M, θ) is finitely presented then M is finitely generated. This allows us to derive necessary and sufficient conditions for Bruck–Reilly extensions of Clifford monoids to be finitely presented.

scholarly journals Hopfian And Co-Hopfian Subsemigroups And Extensions

2014 ◽  
Vol 47 (4) ◽  
Author(s):  
Alan J. Cain ◽  
Victor Maltcev
Keyword(s):  
Finite Index ◽  
Finitely Generated ◽  
Finite Generation ◽  
Green Index ◽  
Finitely Presented

AbstractThis paper investigates the preservation of hopficity and co-hopficity on passing to finite-index subsemigroups and extensions. It was already known that hopficity is not preserved on passing to finite Rees index subsemigroups, even in the finitely generated case. We give a stronger example to show that it is not preserved even in the finitely presented case. It was also known that hopficity is not preserved in general on passing to finite Rees index extensions, but that it is preserved in the finitely generated case. We show that, in contrast, hopficity is not preserved on passing to finite Green index extensions, even within the class of finitely presented semigroups. Turning to co-hopficity, we prove that within the class of finitely generated semigroups, co-hopficity is preserved on passing to finite Rees index extensions, but is not preserved on passing to finite Rees index subsemigroups, even in the finitely presented case. Finally, by linking co-hopficity for graphs to co-hopficity for semigroups, we show that without the hypothesis of finite generation, co-hopficity is not preserved on passing to finite Rees index extensions.

PRESENTATIONS FOR SEMIGROUPS AND SEMIGROUPOIDS

2005 ◽  
Vol 15 (02) ◽  
pp. 291-308 ◽  
Author(s):  
MARK KAMBITES
Keyword(s):  
Finite Extension ◽  
Zero Semigroup ◽  
Finitely Generated ◽  
Finite Generation ◽  
Combinatorial Properties ◽  
Rees Matrix Semigroups ◽  
Finite Presentability ◽  
The Relationship ◽  
Matrix Semigroups

We consider the relationship between the combinatorial properties of semigroupoids in general and semigroups in particular. We show that a semigroupoid is finitely generated [finitely presentable] exactly if the corresponding categorical-at-zero semigroup is finitely generated [respectively, finitely presentable]. This allows us to extend some of the main results of [17], to show that finite generation and presentability are preserved under finite extension of semigroupoids and the taking of cofinite subsemigroupoids. We apply this result to extend the results of [6], giving characterizations of finite generation and finite presentability in Rees matrix semigroups over semigroupoids.

scholarly journals RATIONAL POLYHEDRA AND PROJECTIVE LATTICE-ORDERED ABELIAN GROUPS WITH ORDER UNIT

2012 ◽  
Vol 14 (03) ◽  
pp. 1250017 ◽  
Author(s):  
LEONARDO CABRER ◽  
DANIELE MUNDICI
Keyword(s):  
Abelian Group ◽  
Algebraic Topology ◽  
Lattice Structure ◽  
Order Unit ◽  
Finitely Generated ◽  
Lattice Order ◽  
Translation Invariant ◽  
Projective Lattice ◽  
Rational Polyhedra ◽  
Finitely Presented

An ℓ-groupG is an abelian group equipped with a translation invariant lattice-order. Baker and Beynon proved that G is finitely generated projective if and only if it is finitely presented. A unital ℓ-group is an ℓ-group G with a distinguished order unit, i.e. an element 0 ≤ u ∈ G whose positive integer multiples eventually dominate every element of G. Unital ℓ-homomorphisms between unital ℓ-groups are group homomorphisms that also preserve the order unit and the lattice structure. A unital ℓ-group (G, u) is projective if whenever ψ : (A, a) → (B, b) is a surjective unital ℓ-homomorphism and ϕ : (G, u) → (B, b) is a unital ℓ-homomorphism, there is a unital ℓ-homomorphism θ : (G, u) → (A, a) such that ϕ = ψ ◦ θ. While every finitely generated projective unital ℓ-group is finitely presented, the converse does not hold in general. Classical algebraic topology (à la Whitehead) is combined in this paper with the Włodarczyk–Morelli solution of the weak Oda conjecture for toric varieties, to describe finitely generated projective unital ℓ-groups.

Sign in / Sign up

Export Citation Format

Share Document