Finite complete rewriting systems for regular semigroups

It is proved that, given a (von Neumann) regular semigroup with finitely many left and right ideals, if every maximal subgroup is presentable by a finite complete rewriting system, then so is the semigroup. To achieve this, the following two results are proved: the property of being defined by a finite complete rewriting system is preserved when taking an ideal extension by a semigroup defined by a finite complete rewriting system; a completely 0-simple semigroup with finitely many left and right ideals admits a presentation by a finite complete rewriting system provided all of its maximal subgroups do.Comment: 11 page

The structure of one-relator relative presentations and their centres

Suppose that G is a nontrivial torsion-free group and w is a word in the alphabet G\cup\{x_1^{\pm1},...,x_n^{\pm1}\} such that the word w' obtained from w by erasing all letters belonging to G is not a proper power in the free group F(x_1,...,x_n). We show how to reduce the study of the relative presentation \^G= to the case n=1. It turns out that an "n-variable" group \^G can be constructed from similar "one-variable" groups using an explicit construction similar to wreath product. As an illustration, we prove that, for n>1, the centre of \^G is always trivial. For n=1, the centre of \^G is also almost always trivial; there are several exceptions, and all of them are known.Comment: 15 pages. A Russian version of this paper is at http://mech.math.msu.su/department/algebra/staff/klyachko/papers.htm . V4: the intoduction is rewritten; Section 1 is extended; a short introduction to Secton 5 is added; some misprints are corrected and some cosmetic improvements are mad

Groups of Fibonacci type revisited

This article concerns a class of groups of Fibonacci type introduced by Johnson and Mawdesley that includes Conway?s Fibonacci groups, the Sieradski groups, and the Gilbert-Howie groups. This class of groups provides an interesting focus for developing the theory of cyclically presented groups and, following questions by Bardakov and Vesnin and by Cavicchioli, Hegenbarth, and Repov?s, they have enjoyed renewed interest in recent years. We survey results concerning their algebraic properties, such as isomorphisms within the class, the classification of the finite groups, small cancellation properties, abelianizations, asphericity, connections with Labelled Oriented Graph groups, and the semigroups of Fibonacci type. Further, we present a new method of proving the classification of the finite groups that deals with all but three groups

The Kervaire-Laudenbach conjecture and presentations of simple groups

The statement ``no nonabelian simple group can be obtained from a nonsimple group by adding one generator and one relator" 1) is equivalent to the Kervaire--Laudenbach conjecture; 2) becomes true under the additional assumption that the initial nonsimple group is either finite or torsion-free. Key words: Kervaire--Laudenbach conjecture, relative presentations, simple groups, car motion, cocar comotion. AMS MSC: 20E32, 20F05, 20F06.Comment: 20 pages, 13 figure

Risk of cancer following primary total hip replacement or primary resurfacing arthroplasty of the hip : A retrospective cohort study in Scotland

Acknowledgements: We are grateful to Lee Barnsdale, Doug Clark, and Richard Dobbie for advice and assistance with data preparation before analysis, and to the three anonymous referees for their helpful comments and suggestions.Peer reviewedPublisher PD

Largeness and SQ-universality of cyclically presented groups

Largeness, SQ-universality, and the existence of free subgroups of rank 2 are measures of the complexity of a finitely presented group. We obtain conditions under which a cyclically presented group possesses one or more of these properties. We apply our results to a class of groups introduced by Prishchepov which contains, amongst others, the various generalizations of Fibonacci groups introduced by Campbell and Robertson

On-Line Logical Simulation /OLLS/ Summary report

On-line, logical simulation syste

The short term musculoskeletal and cognitive effects of prolonged sitting during office computer work

Office workers are exposed to high levels of sedentary time. In addition to cardio-vascular and metabolic health risks, this sedentary time may have musculoskeletal and/or cognitive impacts on office workers. Participants (n = 20) undertook two hours of laboratory-based sitting computer work to investigate changes in discomfort and cognitive function (sustained attention and problem solving), along with muscle fatigue, movement and mental state. Over time, discomfort increased in all body areas (total body IRR [95% confidence interval]: 1.43 [1.33–1.53]) reaching clinically meaningful levels in the low back and hip/thigh/buttock areas. Creative problem solving errors increased (ß = 0.25 [0.03–1.47]) while sustained attention did not change. There was no change in erector spinae, trapezius, rectus femoris, biceps femoris and external oblique median frequency or amplitude; low back angle changed towards less lordosis, pelvis movement increased, and mental state deteriorated. There were no substantial correlations between discomfort and cognitive function. The observed changes suggest prolonged sitting may have consequences for musculoskeletal discomfort and cognitive function and breaks to interrupt prolonged sitting are recommended

Markov semigroups, monoids, and groups

A group is Markov if it admits a prefix-closed regular language of unique representatives with respect to some generating set, and strongly Markov if it admits such a language of unique minimal-length representatives over every generating set. This paper considers the natural generalizations of these concepts to semigroups and monoids. Two distinct potential generalizations to monoids are shown to be equivalent. Various interesting examples are presented, including an example of a non-Markov monoid that nevertheless admits a regular language of unique representatives over any generating set. It is shown that all finitely generated commutative semigroups are strongly Markov, but that finitely generated subsemigroups of virtually abelian or polycyclic groups need not be. Potential connections with word-hyperbolic semigroups are investigated. A study is made of the interaction of the classes of Markov and strongly Markov semigroups with direct products, free products, and finite-index subsemigroups and extensions. Several questions are posed.Comment: 40 pages; 3 figure

High-pressure behavior of superconducting boron-doped diamond

This work investigates the high-pressure structure of freestanding superconducting ($T_{c}$ = 4.3\,K) boron doped diamond (BDD) and how it affects the electronic and vibrational properties using Raman spectroscopy and x-ray diffraction in the 0-30\,GPa range. High-pressure Raman scattering experiments revealed an abrupt change in the linear pressure coefficients and the grain boundary components undergo an irreversible phase change at 14\,GPa. We show that the blue shift in the pressure-dependent vibrational modes correlates with the negative pressure coefficient of $T_{c}$ in BDD. The analysis of x-ray diffraction data determines the equation of state of the BDD film, revealing a high bulk modulus of $B_{0}$=510$\pm$28\,GPa. The comparative analysis of high-pressure data clarified that the sp$^{2}$ carbons in the grain boundaries transform into hexagonal diamond.Comment: 7 pages, 4 figure