scholarly journals CANCELLATIVE AND MALCEV PRESENTATIONS FOR FINITE REES INDEX SUBSEMIGROUPS AND EXTENSIONS

2008 ◽  
Vol 84 (1) ◽  
pp. 39-61 ◽  
Author(s):  
ALAN J. CAIN ◽  
EDMUND F. ROBERTSON ◽  
NIK RUŠKUC

AbstractIt is known that, for semigroups, the property of admitting a finite presentation is preserved on passing to subsemigroups and extensions of finite Rees index. The present paper shows that the same holds true for Malcev, cancellative, left-cancellative and right-cancellative presentations. (A Malcev (respectively, cancellative, left-cancellative, right-cancellative) presentation is a presentation of a special type that can be used to define any group-embeddable (respectively, cancellative, left-cancellative, right-cancellative) semigroup.)

1991 ◽  
Vol 01 (03) ◽  
pp. 339-351
Author(s):  
ROBERT H. GILMAN

This paper is concerned with computation in finitely presented groups. We discuss a procedure for showing that a finite presentation presents a group with a free subgroup of finite index, and we give methods for solving various problems in such groups. Our procedure works by constructing a particular kind of partial groupoid whose universal group is isomorphic to the group presented. When the procedure succeeds, the partial groupoid can be used as an aid to computation in the group.


1970 ◽  
Vol 22 (5) ◽  
pp. 1079-1081 ◽  
Author(s):  
Stephen S. Shatz

If G is an ordinary group and H is a non-empty subset of G, then there are two elementary criteria for H to be a subgroup of G. The first and more general is that the mapping H × H → G × G → G, via 〈x, y〉 ⟼ xy–1 factor through H. The second is that H be finite and closed under multiplication.In the category of group schemes, if one writes down the hypotheses for the first criterion in diagram form, one can supply the proof by a suitable translation of the classical arguments. The only point that causes any difficulty whatsoever is that one must assume that the structure morphism πH: H → S (S is the base scheme) is an epimorphism in order to factor the identity section through H. The second criterion is also true for group schemes under a mild finite presentation hypothesis. It is our aim to provide a simple proof for the following theorem.


1971 ◽  
Vol 12 (2) ◽  
pp. 187-192
Author(s):  
Charles V. Heuer

In [1] D. W. Miller and the author established necessary and sufficient conditions for the existence of a cancellative (ideal) extension of a commutative cancellative semigroup by a cyclic group with zero. The purpose of this paper is to extend these results to cancellative extensions by any finitely generated Abelian group with zero and to establish in this general case conditions under which two such extensions are equivalent.


1988 ◽  
Vol 117 (2) ◽  
pp. 290-296 ◽  
Author(s):  
J Okninski ◽  
F Van Oystaeyen

Author(s):  
E. Jespers

AbstractThe following questions are studied: When is a semigroup graded ring left Noetherian, respectively semiprime left Goldie? Necessary sufficient conditions are proved for cancellative semigroup-graded subrings of rings weakly or strongly graded by a polycyclic-by-finite (unique product) group. For semigroup rings R[S] we also give a solution to the problem in case S is an inverse semigroup.


2013 ◽  
Vol 156 (1) ◽  
pp. 115-121
Author(s):  
ANITHA THILLAISUNDARAM

AbstractIn a previous paper, Button and Thillaisundaram proved that all finitely presented groups of p-deficiency greater than one are p-large. Here we prove that groups with a finite presentation of p-deficiency one possess a finite index subgroup that surjects onto the integers. This implies that these groups do not have Kazhdan's property (T). Additionally, we show that the aforementioned result of Button and Thillaisundaram implies a result of Lackenby.


2003 ◽  
Vol 181 (1) ◽  
pp. 15-22 ◽  
Author(s):  
Gilbert Baumslag ◽  
Martin R. Bridson ◽  
Derek F. Holt ◽  
Charles F. Miller III

2013 ◽  
Vol 135 (4) ◽  
pp. 891-933 ◽  
Author(s):  
Martin R. Bridson ◽  
James Howie ◽  
Charles F. Miller ◽  
Hamish Short

Sign in / Sign up

Export Citation Format

Share Document