Related papers: Equational quasigroup definitions
A unified framework for different formulations of quantum theoery is introduced specifying what is meant by a quantum mechanical theory in general.
A semigroup $S$ is called an equational domain if any finite union of algebraic sets over $S$ is algebraic. We prove some necessary and sufficient conditions for a completely simple semigroup to be an equational domain.
Diagram semigroups are interesting algebraic and combinatorial objects, several types of them originating from questions in computer science and in physics. Here we describe diagram semigroups in a general framework and extend our…
Some forms of qKdV type equations are indicated which arise from Virasoro considerations.
We determine the structure of biquasigroups (Q,^,*) satisfying varations of Polonijo's Ward double quasigroup identity (x^z)*(y^z)=x*y, including those that are linear over a group.
We introduce the notion of a quasi-connected reductive group over an arbitrary field to be an almost direct product of a connected semisimple group and a quasi-torus (a smooth group of multiplicative type). We show that a linear algebraic…
Structures of commuting semigroups of isometries under certain additional assumptions like double commutativity or dual double commutativity are found.
Given a connected linear algebraic group $G$, we descrive the subgroup of $G$ generated by all semisimple elements.
A quasi-automatic semigroup is a finitely generated semigroup with a rational set of representatives such that the graph of right multiplication by any generator is a rational relation. A asynchronously automatic semigroup is a…
Groups, in which every subgroup containing some fixed primary cyclic subgroup has a complement, are investigated.
In this paper we define a family of theories, quasi-theories, motivated by quasi-elliptic cohomology. They can be defined from constant loop spaces. With them, the constructions on certain theories can be made in a neat way, such as those…
This paper deals with the comparison of two common types of equivalence groups of differential equations, and this gives rise to a number of results presented in the form of theorems. It is shown in particular that one type can be…
A quasigroup is a pair $(Q, *)$ where $Q$ is a non-empty set and $*$ is a binary operation on $Q$ such that for every $(a, b) \in Q^2$ there exists a unique $(x, y) \in Q^2$ such that $a*x=b=y*a$. Let $(Q, *)$ be a quasigroup. A pair $(x,…
A semigroup $S$ is called an equational domain if any finite union of algebraic sets over $S$ is algebraic. We prove if a completely regular semigroup $S$ is an equational domain then $S$ is completely simple.
In this paper, we define and study quasi S-primary hyperideals, weakly quasi S-hyperideals and strongly S-primary hyperideals.
A quasi-automatic semigroup is defined by a finite set of generators, a rational (regular) set of representatives, such that if a is a generator or neutral, then the graph of right multiplication by a on the set of representatives is a…
A hypergeometric type equation satisfying certain conditions defines either a finite or an infinite system of orthogonal polynomials. We present in a unified and explicit way all these systems of orthogonal polynomials, the associated…
For relatively hyperbolic groups, we investigate conditions guaranteeing that the subgroup generated by two relatively quasiconvex subgroups $Q_1$ and $Q_2$ is relatively quasiconvex and isomorphic to $Q_1 \ast_{Q_1 \cap Q_2} Q_2$. The main…
We define a "quantum spherical model", a quantum lattice model.
The notion of a Hopf module over a Hopf (co)quasigroup is introduced and a version of the fundamental theorem for Hopf (co)quasigroups is proven.