A finite latin square is an n × n matrix whose entries are elements of the set {1, . . . , n} and no element is repeated in any row or column. Given equivalence relations on the set of rows, the set of columns, and the set of symbols, respectively, we can use these relations to identify equivalent rows, columns and symbols, and obtain an amalgamated latin square. There is a set of natural equat...

Ž . A group G is LERF locally extended residually finite if for any finitely generated subgroup S of G and for any g f S there exists a finite index subgroup S of G which contains S but not g. Using graph-theoretical methods we give 0 algorithms for constructing finite index subgroups in amalgamated free products of groups with good separability properties. We prove that a free product of a fre...

To this end let X and Y be 3–manifolds with incompressible boundary homeomorphic to a connected surface F . It is not difficult to show that if HX and HY are Heegaard surfaces in X and Y then we can amalgamate these splittings to obtain a Heegaard surface in X∪F Y with genus equal to g(HX)+g(HY )−g(F) (see, for example, Schultens [14]). Letting g(X), g(Y), and g(X∪F Y) denote the minimal genus ...

Let R be a discrete valuation ring with fraction field K and X a flat R-scheme. Given a faithful action of a K-group scheme GK over the generic fibre XK , we study models G of GK acting on X. In various situations, we prove that if such a model G exists, then there exists another model G′ that acts faithfully on X. This model is the schematic closure of G inside the fppf sheaf AutR(X) ; the maj...

Hardware lock-elision (HLE) introduces concurrency into legacy lockbased code by optimistically executing critical sections in a fast-path as hardware transactions. Its main limitation is that in case of repeated aborts, it reverts to a fallback-path that acquires a serial lock. This fallback-path lacks hardwaresoftware concurrency, because all fast-path hardware transactions abort and wait for...

in this note we introduce the notion of weak mccoy rings as a generalization of mccoy rings, and investigate their properties. also we show that, if is a semi-commutative ring, then is weak mccoy if and only if is weak mccoy.