Related papers: Doodles and commutator identities

Meadows are a sort of commutative rings with a multiplicative identity element and a total multiplicative inverse operation. In this paper we study algebraic properties of common meadows, which are meadows that introduce, as the inverse of…

We define parametrized cobordism categories and study their formal properties as bivariant theories. Bivariant transformations to a strongly excisive bivariant theory give rise to characteristic classes of smooth bundles with strong…

In the computation of the intersection cohomology of Shimura varieties, or of the $L^2$ cohomology of equal rank locally symmetric spaces, combinatorial identities involving averaged discrete series characters of real reductive groups play…

Using a notation of corner between edges when graph has a fixed rotation, i.e. cyclical order of edges around vertices, we define combinatorial objects - combinatorial maps as pairs of permutations, one for vertices and one for faces.…

The axioms of a quandle imply that the columns of its Cayley table are permutations. This paper studies quandles with exactly one non-trivially permuted column. Their automorphism groups, quandle polynomials, (symmetric) cohomology groups,…

Coloring numbers are one of the simplest combinatorial invariants of knots and links to describe. And with Joyce's introduction of quandles, we can understand them more algebraically. But can we extend these invariants to tangles -- knots…

The notion of a two-dimensional word arises naturally in the study of combinatorics on words, while the iterative construction of pedal triangles results in a rich dynamical system in the study of geometry. At first, these two classes of…

We begin by investigating the class of commutative unital rings in which no two distinct elements divide the same elements. We prove that this class forms a finitely axiomatizable, relatively ideal distributive quasivariety, and it equals…

In the first part of this paper, we propose a uniform interpretation of characteristic classes as obstructions to the reduction of the structure group and to the existence of an equivariant extension of a certain homomorphism defined a…

We construct elements of the third quandle homology groups of knot quandles, which are called the shadow fundamental classes. They play the same roles for the shadow quandle cocycle invariants of knots as the fundamental classes of knot…

Suppose that $R$ is a finite commutative ring with identity. The involutory Cayley graph $\G(R)$ of $R$ is the graph whose vertices are the elements of $R$, and two distinct vertices $x$ and $y$ are adjacent if and only if $(x-y)^2=1$. In…

Delta lenses are a kind of morphism between categories which are used to model bidirectional transformations between systems. Classical state-based lenses, also known as very well-behaved lenses, are both algebras for a monad and coalgebras…

A crossed module constitutes a strict $2$-groupoid $\mathcal{G}$ and a $\mathcal{G}$-valued cocycle on a manifold defines a $2$-bundle. A $2$-connection on this $2$-bundle is given by a Lie algebra $\mathfrak g$ valued $1$-form $A $ and a…

For smooth embeddings of an integral homology 3-sphere in the 6-sphere, we define an integer invariant in terms of their Seifert surfaces. Our invariant gives a bijection between the set of smooth isotopy classes of such embeddings and the…

An algebra with identities $a(bc)=b(ac),$ $(ab)c=(ac)b$ is called bicommutative. We construct list of identities satisfied by commutator and anti-commutator products in a free bicommutative algebra. We give criterions for elements of a free…

Classically, congruence subgroups of the modular group, which can be described by congruence relations, play important roles in group theory and modular forms. In reality, the majority of finite index subgroups of the modular group are…

In the process of studying a conjecture of Holly M. Green and Martin W. Liebeck, we obtain two interesting identities by elementary methods, one is a combinatorial identity, and the other is a number theoretic identity.

Let R be a commutative, noetherian, local ring. Topological Q-vector spaces modelled on full subcategories of the derived category of R are constructed in order to study intersection multiplicities.

The derivative of a polynomial with all zeros on the unit circle has the zeros of its derivative on or inside the unit circle. It has been observed that in many cases the zeros of the derivative have a bimodal distribution: there are two…

The dot-depth hierarchy is a classification of star-free languages. It is related to the quantifier alternation hierarchy of first-order logic over finite words. We consider fragments of languages with dot-depth 1/2 and dot-depth 1 obtained…