Related papers: Implication Zroupoids and Identities of Associativ…

An algebra $\mathbf A = \langle A, \to, 0 \rangle$, where $\to$ is binary and $0$ is a constant, is called an implication zroupoid ($\mathcal I$-zroupoid, for short) if $\mathbf A$ satisfies the identities: $(x \to y) \to z \approx ((z' \to…

An algebra $\mathbf A = \langle A, \to, 0 \rangle$, where $\to$ is binary and $0$ is a constant, is called an implication zroupoid ($\mathcal I$-zroupoid, for short) if $\mathbf A$ satisfies the identities: (I): $(x \to y) \to z \approx…

An algebra $A = \langle A, \to, 0 \rangle$, where $\to$ is binary and $0$ is a constant, is called an implication zroupoid (I-zroupoid, for short) if A satisfies the identities: $(x \to y) \to z \approx ((z' \to x) \to (y \to z)')'$, where…

It is a well known fact that Boolean algebras can be defined using only implication and a constant. In 2012, this result was extended to De Morgan algebras in [8] which led Sankappanavar to introduce, and investigate, the variety I of…

In 2012, the second author introduced and studied the variety $\mathcal{I}$ of implication zroupoids that generalize De Morgan algebras and $\lor$-semilattices with $0$. An algebra $\mathbf A = \langle A, \to, 0 \rangle$, where $\to$ is…

In 2012, the second author introduced and examined a new type of algebras as a generalization of De Morgan algebras. These algebras are of type (2,0) with one binary and one nullary operation satisfying two certain specific identities. Such…

In a paper published in 2012, the second author extended the well-known fact that Boolean algebras can be defined using only implication and a constant, to De Morgan algebras-this result led him to introduce, and investigate (in the same…

A groupoid identity is said to be linear of length $2k$ if the same $k$ variables appear on both sides of the identity exactly once. We classify and count all varieties of groupoids defined by a single linear identity. For $k=3$, there are…

A restatement of the Algebraic Dichotomy Conjecture, due to Maroti and McKenzie, postulates that if a finite algebra A possesses a weak near-unanimity term, then the corresponding constraint satisfaction problem is tractable. A binary…

Metabelian algebras are introduced and it is shown that an algebra $A$ is metabelian if and only if $A$ is a nilpotent algebra having the index of nilpotency at most $3$, i.e. $x y z t = 0$, for all $x$, $y$, $z$, $t \in A$. We prove that…

For an associative algebra $A$ a skew-symmetric sum of $n!$ products of $n$ elements of $A$ in all possible order is called $n$-commutator. We consider $A$ as $n$-ary algebra under $n$-commutator. We prove that it has an identity of…

In 1998, Georgia Benkart and Tom Roby introduced the down-up algebra $\mathcal A$. The algebra $\mathcal A$ is associative, noncommutative, and infinite-dimensional. It is defined by two generators $A,B$ and two relations called the down-up…

In quantum mechanics, associative algebras play an important role in understanding symmetries and operator algebras, providing new algebraic frameworks for describing physical systems. This work classifies associative algebras over a field…

A braided subfactor determines a coupling matrix Z which commutes with the S- and T-matrices arising from the braiding. Such a coupling matrix is not necessarily of "type I", i.e. in general it does not have a block-diagonal structure which…

Let $\alpha$, $\beta$, $\gamma, \dots$ $\Theta$, $\Psi, \dots$ $R$, $S$, $T, \dots$ be variables for, respectively, congruences, tolerances and reflexive admissible relations. Let juxtaposition denote intersection. We show that if the…

The present article is concerned with division algebras that are structurally close to alternative algebras, in the sense that they satisfy some identity or other algebraic property that holds for all alternative division algebras.…

A compatible associative algebra is a vector space equipped with two associative multiplication structures that interact in a certain natural way. This article presents the classification of these algebras with dimension less than four, as…

Let $\mathcal{G}$ denote the variety generated by infinite dimensional Grassmann algebras; i.e., the collection of all unitary associative algebras satisfying the identity $[[z_1,z_2],z_3]=0$, where $[z_i,z_j]=z_iz_j-z_jz_i$. Consider the…

Using the Rost invariant for non split simply connected groups, we define a relative degree $3$ cohomological invariant for pairs of orthogonal or unitary involutions having isomorphic Clifford or discriminant algebras. The main purpose of…

Bicommutative algebras are nonassociative algebras satisfying the polynomial identities of right- and left-commutativity (xy)z=(xz)y and x(yz)=y(xz). We study subvarieties of the variety of all bicommutative algebras over a field of…