New undecidability results for finitely presented monoids

1997 ◽  
pp. 68-82 ◽  
Author(s):  
Andrea Sattler-Klein
Keyword(s):  
Finitely Presented

Noncommutative G-semihereditary rings

2018 ◽  
Vol 17 (01) ◽  
pp. 1850014 ◽  
Author(s):  
Jian Wang ◽  
Yunxia Li ◽  
Jiangsheng Hu
Keyword(s):  
Associative Ring ◽  
Sufficient Condition ◽  
Projective Modules ◽  
The Third ◽  
Flat Modules ◽  
Gorenstein Projective Modules ◽  
Direct Limits ◽  
Gorenstein Flat ◽  
Finitely Presented ◽  
Semihereditary Rings

In this paper, we introduce and study left (right) [Formula: see text]-semihereditary rings over any associative ring, and these rings are exactly [Formula: see text]-semihereditary rings defined by Mahdou and Tamekkante provided that [Formula: see text] is a commutative ring. Some new characterizations of left [Formula: see text]-semihereditary rings are given. Applications go in three directions. The first is to give a sufficient condition when a finitely presented right [Formula: see text]-module is Gorenstein flat if and only if it is Gorenstein projective provided that [Formula: see text] is left coherent. The second is to investigate the relationships between Gorenstein flat modules and direct limits of finitely presented Gorenstein projective modules. The third is to obtain some new characterizations of semihereditary rings, [Formula: see text]-[Formula: see text] rings and [Formula: see text] rings.

A. A. Fridman. Stépéni nérazréšimosti problémy toždéstva v konéčno oprédélénnyh gruppah. Doklady Akadémii Nauk SSSR, vol. 147 (1962), pp. 805–808. - A. A. Fridman. Degrees of insolvability of the word problem in finitely defined groups. English translation of the preceding by Sue Ann Walker. Soviet mathematics, vol. 3 no. 6 (1962), pp. 1733–1737. - C. R. J. Clapham. Finitely presented groups with word problems of arbitrary degrees of insolubility. Proceedings of the London Mathematical Society, ser. 3 vol. 14 (1964), pp. 633–676. - William W. Boone. Finitely presented group whose word problem has the same degree as that of an arbitrarily given Thue system (an application of methods of Britton). Proceedings of the National Academy of Sciences, vol. 53 (1965), pp. 265–269. - William W. Boone. Word problems and recursively enumerable degrees of unsolvability. A first paper on Thue systems. Annals of mathematics, ser. 2 vol. 83 (1966), pp. 520–571. - William W. Boone. Word problems and recursively enumerable degrees of unsolvability. A sequel on finitely presented groups. Annals of mathematics, ser. 2 vol. 84 (1966), pp. 49–84.

1968 ◽  
Vol 33 (2) ◽  
pp. 296-297
Author(s):  
J. C. Shepherdson
Keyword(s):  
Word Problem ◽  
Word Problems ◽  
Nauk Sssr ◽  
London Mathematical Society ◽  
National Academy Of Sciences ◽  
Doklady Akademii Nauk Sssr ◽  
Finitely Presented Groups ◽  
Recursively Enumerable ◽  
Finitely Presented ◽  
Degrees Of Unsolvability

scholarly journals Coordinates of the representation space in the semisimple Lie group of rank one

1998 ◽  
Vol 58 (3) ◽  
pp. 435-444 ◽  
Author(s):  
Inkang Kim
Keyword(s):  
Rank One ◽  
Noetherian Property ◽  
Marked Length Spectrum ◽  
Algebraic Convergence ◽  
Finite Step ◽  
Group Of Isometries ◽  
A Minor ◽  
Nested Sequence ◽  
Finitely Presented ◽  
Double Limit

In this paper we show that the space of irreducible representations from a finitely presented group into the group of isometries of a rank one symmetric space of non-compact type, embeds into ℝn for some n, where the coordinates are the translation lengths of isometries in the representation. The ingredients of the proof consist of the two facts that the representation is determined by its marked length spectrum and that the nested sequence of algebraic subvarieties is stabilised at a finite step by the Noetherian property of the polynomial ring. As a minor application, we use this fact to simplify McMullen's proof about the exponential algebraic convergence of Thurston's double limit to the geometrically infinite manifold in the space of discrete faithful representations of π1(S) in Iso+.

scholarly journals Finitely presented monoids and algebras defined by permutation relations of abelian type

2012 ◽  
Vol 216 (5) ◽  
pp. 1033-1039 ◽  
Author(s):  
Ferran Cedó ◽  
Eric Jespers ◽  
Georg Klein
Keyword(s):  
Finitely Presented

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