Table of Contents
Fetching ...

Rhizaform algebras

Zafar Normatov

TL;DR

Rhizaform algebras introduce a two-operation splitting of anti-associativity, defining $x\ast y = x\succ y + x\prec y$ so that $(A,\ast)$ is anti-associative and $(A,L_\succ,R_\prec)$ forms a bimodule. The framework is connected to operator theory via $\mathcal{O}$-operators and Rota-Baxter operators to construct compatible rhizaform structures, and to Connes cocycles, which yield natural rhizaform realizations and double constructions. The paper develops an operator-theoretic and cohomological toolkit for rhizaforms, including invertible $\mathcal{O}$-operators and double constructions, culminating in a complete classification of 2-dimensional rhizaform algebras and a unified view of nilpotency notions. This advances the study of anti-associative algebras by providing a dendriform-like splitting, a rich interplay with cohomology, and concrete low-dimensional models for further exploration.

Abstract

Any anti-associative algebra gives rise to a Jacobi-Jordan algebra by [x, y] = xy + yx. This article aims to introduce the concept of "rhizaform algebras", which offer an approach to addressing anti-associativity. These algebras are defined by two operations whose sum is anti-associative, with the left and right multiplication operators forming bimodules of the sum of anti-associative algebras. This characterization parallels that of dendriform algebras, where the sum of operations preserves associativity. Additionally, the notions of O-operators and Rota-Baxter operators on anti-associative algebras are presented as tools to interpret rhizaform algebras. Notably, anti-associative algebras with nondegenerate Connes cocycles admit compatible rhizaform algebra structures.

Rhizaform algebras

TL;DR

Rhizaform algebras introduce a two-operation splitting of anti-associativity, defining so that is anti-associative and forms a bimodule. The framework is connected to operator theory via -operators and Rota-Baxter operators to construct compatible rhizaform structures, and to Connes cocycles, which yield natural rhizaform realizations and double constructions. The paper develops an operator-theoretic and cohomological toolkit for rhizaforms, including invertible -operators and double constructions, culminating in a complete classification of 2-dimensional rhizaform algebras and a unified view of nilpotency notions. This advances the study of anti-associative algebras by providing a dendriform-like splitting, a rich interplay with cohomology, and concrete low-dimensional models for further exploration.

Abstract

Any anti-associative algebra gives rise to a Jacobi-Jordan algebra by [x, y] = xy + yx. This article aims to introduce the concept of "rhizaform algebras", which offer an approach to addressing anti-associativity. These algebras are defined by two operations whose sum is anti-associative, with the left and right multiplication operators forming bimodules of the sum of anti-associative algebras. This characterization parallels that of dendriform algebras, where the sum of operations preserves associativity. Additionally, the notions of O-operators and Rota-Baxter operators on anti-associative algebras are presented as tools to interpret rhizaform algebras. Notably, anti-associative algebras with nondegenerate Connes cocycles admit compatible rhizaform algebra structures.
Paper Structure (5 sections, 19 theorems, 80 equations)

This paper contains 5 sections, 19 theorems, 80 equations.

Key Result

Theorem 2.7

Let $(A, \succ, \prec)$ be a rhizaform algebra. Then the followings hold. (i). Define a bilinear operation $\ast$ by Eq. cdot. Then $(A,\ast)$ is an anti-associative algebra, called the associated anti-associative algebra of $(A, \succ, \prec).$ Furthermore, $(A, \succ, \prec)$ is called a compati defines a pre-Jacobi-Jordan algebra, called the associated pre-Jacobi-Jordan algebra of $(A, \succ

Theorems & Definitions (53)

  • Definition 2.1: BF
  • Definition 2.2
  • Definition 2.3
  • Remark 2.4
  • Definition 2.5
  • Example 2.6
  • Theorem 2.7
  • proof
  • Example 2.8
  • Theorem 2.9
  • ...and 43 more