Related papers: Complementation of Subquandles

In this note we show that a ring R is left perfect if and only if every left R-module is weakly supplemented if and only if R is semilocal and the radical of the countably infinite free left R-module has a weak supplement.

We introduce and investigate a natural family of metrics on connected components of a rack. The metrics are closely related to certain bi-invariant metrics on the group of inner automorphisms of the rack. We also introduce a bounded…

We continue our study of strongly unbounded colorings, this time focusing on subadditive maps. In Part I of this series, we showed that, for many pairs of infinite cardinals $\theta<\kappa$, the existence of a strongly unbounded coloring…

We present a construction that yields infinite families of non-isomorphic semidirect products $N \rtimes F_m$ sharing a specified profinite completion. Within each family, $m \ge 2$ is constant and $N$ is a fixed group. For $m=2$ we can…

By introducing the concept of quantaloidal completions for an order-enriched category, relationships between the category of quantaloids and the category of order-enriched categories are studied. It is proved that quantaloidal completions…

We continue investigating the interaction between flatness and $\mathfrak{a}$-adic completion for infinitely generated modules over a commutative ring $A$. We introduce the concept of $\mathfrak{a}$-adic flatness, which is weaker than…

We introduce and explore a natural rank for totally disconnected locally compact groups called the bounded conjugacy rank. This rank is shown to be a lattice invariant for lattices in sigma compact totally disconnected locally compact…

Brauer and Thrall conjectured that a finite-dimensional algebra over a field of bounded representation type is actually of finite representation type and a finite-dimensional algebra (over an infinite field) of infinite representation type…

Let S and R be the rings of regular functions on affine algebraic varieties over a field of characteristic 0, R be embedded as a subring in S, and F : S --> S be an endomorphism such that F(R) subset R. Suppose that every ideal of height 1…

We consider relational semantics (R-models) for the Lambek calculus extended with intersection and explicit constants for zero and unit. For its variant without constants and a restriction which disallows empty antecedents, Andreka and…

We prove that for any element in the $\gamma$-completion of the space of smooth compact exact Lagrangian submanifolds of a cotangent bundle, if its $\gamma$-support is a smooth Lagrangian submanifold, then the element itself is a smooth…

We obtain some general restrictions on the continuous endomorphisms of a profinite group G under the assumption that G has only finitely many open subgroups of each index (an assumption which automatically holds, for instance, if G is…

We show that the cohomology groups usually associated with racks and quandles agree with the Quillen cohomology groups for the algebraic theories of racks and quandles, respectively. We also explain how this makes available the entire range…

We show that for non-conjugate subgroups $G_1$ and $G_2$ of a finite group $G$ there exists an extension of $G$ (by a finite group) in which the pre-images of $G_1$ and $G_2$ are not isomorphic. This allows us to show that $\mathbb Z$-coset…

We establish conditions under which lattices in certain simple Lie groups are profinitely solitary in the absolute sense, so that the commensurability class of the profinite completion determines the commensurability class of the group…

We exhibit a simple condition under which a finite involutary semigroup whose semigroup reduct is inherently nonfinitely based is also inherently nonfinitely based as a unary semigroup. As applications, we get already known as well as new…

A quandle is an algebraic structure satisfying three axioms: idempotency, right-invertibility and right self-distributivity. In quandles, right translations are permutations. The profile of a quandle is the list of cycle structures, one per…

For a slim, planar, semimodular lattice $L$ and covering square~$S$, G.~Cz\'edli and E.\,T.~Schmidt introduced the fork extension, $L[S]$, which is also a slim, planar, semimodular lattice. We investigate when a congruence of $L$ extends to…

A minimal Cantor system is said to be self-induced whenever it is conjugate to one of its induced systems. Substitution subshifts and some odometers are classical examples, and we show that these are the only examples in the equicontinuous…

We characterize the corings whose category of comodules has a generating set of small projective comodules in terms of the (non commutative) descent theory. In order to extricate the structure of these corings, we give a generalization of…