Related papers: Complementation of Subquandles
We consider closed manifolds that possess a so called rank one ray structure. That is a (flat) affine structure such that the linear part is given by the products of a diagonal transformation and a commuting rotation. We show that closed…
In the paper we present various characterizations of chain-compact and chain-finite topological semilattices. A topological semilattice $X$ is called chain-compact (resp. chain-finite) if each closed chain in $X$ is compact (finite). In…
We show that the commutator subgroup G' of a classical knot group G need not have subgroups of every finite index, but it will if G' has a surjective homomorphism to the integers and we give an exact criterion for that to happen. We also…
We consider the problem of covering $\mathbb{Z}^2$ with a finite number of sublattices of finite index, satisfying a simple minimality or non-degeneracy condition. We show how this problem may be viewed as a projective (or homogeneous)…
Let $\Lambda$ be a finite-dimensional associative algebra over a field. A semibrick pair is a finite set of $\Lambda$-modules for which certain Hom- and Ext-sets vanish. A semibrick pair is completable if it can be enlarged so that a…
A graph is strongly perfect if every induced subgraph H has a stable set that meets every nonempty maximal clique of H. The characterization of strongly perfect graphs by a set of forbidden induced subgraphs is not known. Here we provide…
A birack is an algebraic structure with axioms encoding the blackboard-framed Reidemeister moves, incorporating quandles, racks, strong biquandles and semiquandles as special cases. In this paper we extend the counting invariant for finite…
A graph is chordal if it contains no induced cycle of length four or more. While finite chordal graphs are precisely those admitting tree-decompositions into cliques, this fails for infinite graphs. We establish two results extending the…
This article establishes the algebraic covering theory of quandles. For every connected quandle we explicitly construct a universal covering, which in turn leads us to define the algebraic fundamental group as the automorphism group of the…
We show that for any quantale $\mathcal{Q}$, a $\mathcal{Q}$-category is skeletal and complete if and only if it is injective with respect to fully faithful $\mathcal{Q}$-functors. This is a special case of known theorems due to Hofmann and…
In this work we prove constructively that the complement ${\mathbb R}^n\setminus{\mathcal K}$ of an $n$-dimensional unbounded convex polyhedron ${\mathcal K}\subset{\mathbb R}^n$ and the complement ${\mathbb R}^n\setminus{\rm Int}({\mathcal…
A digraph is semicomplete if any two vertices are connected by at least one arc and is locally semicomplete if the out-neighbourhood (resp. in-neighbourhood) of any vertex induces a semicomplete digraph. In this paper, we characterize all…
We show that property (T) is not profinite, that is, we construct two finitely generated residually finite groups which have isomorphic profinite completions while one admits property (T) and the other does not. This settles a question…
Each straight infinite line defined by two vertices of a finite square point lattice contains (covers) these two points and a - possibly empty - subset of points that happen to be collinear to these. This work documents vertex subsets of…
Every Dedekind complete Riesz space X has a unique sup-completion X^{s}, which is a Dedekind complete lattice cone. This paper aims to present a systematic study this cone by extending several known results to general setting, proving new…
Properties of several sorts of lattices of convex subsets of R^n are examined. The lattice of convex sets containing the origin turns out, for n>1, to satisfy a set of identities strictly between those of the lattice of all convex subsets…
We define a quasimodule Q over a bounded lattice L in an analogous way as a module over a semiring is defined. The essential difference is that L need not be distributive. Also for quasimodules there can be introduced the concepts of inner…
The notion of an internal preneighbourhood space on a finitely complete category with finite coproducts and a proper $(\mathsf{E}, \mathsf{M})$ system such that for each object $X$ the set of $\mathsf{M}$-subobjects of $X$ is a complete…
We will determine all infinite $2$-locally finite groups as well as infinite $2$-groups with planar subgroup graph and show that infinite groups satisfying the chain conditions containing an involution do not have planar embeddings. Also,…
Every end of an infinite graph $ G $ defines a tangle of infinite order in $ G $. These tangles indicate a highly cohesive substructure in the graph if and only if they are closed in some natural topology. We characterize, for every finite…