https://arxiv.org/abs/2006.07865 A general mechanism for "breaking" commutativity in algebras is proposed: if the underlying set is taken to be not a crisp set, but rather an obscure/fuzzy set, the membership function, reflecting the degree of truth that an element belongs to the set, can be incorporated into the commutation relations. The special "deformations" of commutativity and e-commutativity are introduced in such a way that equal degrees of truth result in the "nondeformed" case. We also sketch how to "deform" e-Lie algebras and Weyl algebras. Further, the above constructions are extended to n-ary algebras for which the projective representations and e-commutativity are studied.

1. arXiv:2006.07865v1[math.RA]14Jun2020
MEMBERSHIP DEFORMATION OF COMMUTATIVITY
AND OBSCURE n-ARY ALGEBRAS
STEVEN DUPLIJ
Center for Information Technology (WWU IT), Universit¨at M¨unster, R¨ontgenstrasse 7-13
D-48149 M¨unster, Deutschland
ABSTRACT. A general mechanism for “breaking” commutativity in algebras is proposed: if the un-
derlying set is taken to be not a crisp set, but rather an obscure/fuzzy set, the membership function,
reflecting the degree of truth that an element belongs to the set, can be incorporated into the com-
mutation relations. The special “deformations” of commutativity and ε-commutativity are introduced
in such a way that equal degrees of truth result in the “nondeformed” case. We also sketch how to
“deform” ε-Lie algebras and Weyl algebras. Further, the above constructions are extended to n-ary
algebras for which the projective representations and ε-commutativity are studied.
CONTENTS
1. INTRODUCTION 2
2. PRELIMINARIES 2
3. MEMBERSHIP FUNCTION AND OBSCURE ALGEBRAS 4
4. MEMBERSHIP DEFORMATION OF COMMUTATIVITY 5
4.1. Deformation of commutative algebras 5
4.2. Deformation of ε-commutative algebras 7
4.3. Double εǫ-Lie algebras 8
5. PROJECTIVE REPRESENTATIONS 9
5.1. Binary projective representations 9
5.2. n-ary projective representations 10
6. n-ARY DOUBLE COMMUTATIVE ALGEBRAS 12
6.1. n-ary ε-commutative algebras 12
6.2. Membership deformed n-ary algebras 16
Acknowledgements 17
REFERENCES 18
E-mail address: douplii@uni-muenster.de; sduplij@gmail.com; https://ivv5hpp.uni-muenster.de/u/douplii.
Date: of start February 22, 2020. Date: of completion June 14, 2020. Total: 27 references.
2010 Mathematics Subject Classification. 03E72, 08A72, 13A02, 16U80, 16W50, 17A42, 17A70, 17B05, 17B70,
17B75, 20C25, 20C35, 20F29, 20N15, 20N25, 94D05.
Key words and phrases. associative algebra, almost commutative algebra, color algebra, obscure algebra, degree of
truth, membership deformation, fuzzy set, vagueness, graded algebra, membership function, noncommutative algebra,
n-ary algebra, Lie algebra, projective representation, n-ary representation.

2. 1. INTRODUCTION
Noncommutativity is the main mathematical idea of modern physics which, on the one hand, is
grounded in quantum mechanics, in which generators of the algebra of observables do not commute,
and, on the other hand, in supersymmetry and its variations based on the graded commutativity
concept. Informally, “deformation” of commutativity in algebras is mostly a special way to place a
“scalar” multiplier from the algebra field before the permuted product of two arbitrary elements. The
general approach is based on projective representation theory and realized using almost commutative
(ε-commutative) graded algebras, where the role of the multipliers is played by bicharacters of the
grading group (as suitable “scalar” objects taking values in the algebra field k).
Here we propose, principally, a new another mechanism for “deformation” of commutativity
which comes from incorporating the ideas of vagueness in logic SMITH [2008] to algebra. First, take
the underlying set of the algebra not as a crisp set, but as an obscure/fuzzy set DUBOIS AND PRADE
[2000]. Second, consider an algebra (over k “ C), such that each element can be endowed with
a membership function (representing the degree of truth), a scalar function that takes values in the
unit interval and describes the containment of a given element in the underlying set BˇELOHL ´AVEK
[2002]. Third, introduce a special “membership deformation” of the commutation relations, so to
speak the difference of the degree of truth, which determines a “measure of noncommutativity”,
whereby the elements having equal membership functions commute. Such procedure can be also
interpreted as the “continuous noncommutativity”, because the membership function is usually con-
tinuous. Likewise we “deform” ε-commutativity relations and ε-Lie algebras SCHEUNERT [1979],
RITTENBERG AND WYLER [1978]. Then we universalize and apply the above constructions to n-
ary algebras MICHOR AND VINOGRADOV [1996] for which we also study projective representations
generalizing the binary ones ˇZMUD´ [1972].
2. PRELIMINARIES
First recall the main features of the standard gradation concept and of generalized (almost) com-
mutativity (or ε-commutativity) SCHEUNERT [1979], RITTENBERG AND WYLER [1978].
Let k be a unital field (with unit 1 P k and zero 0 P k) and A “ xA | ¨, `y be an associative
algebra over k having a zero z P A and unit e P A (for unital algebras). A graded algebra AG
(G-graded k-algebra) is a direct sum of subalgebras AG “
À
gPG Ag, where G “ xG | `1
y is a
grading group (an abelian (finite) group with “unit” 0 P G) and the set multiplication is (“respecting
gradation”)
Ag ¨ Ah Ď Ag`1h, g, h P G. (2.1)
Elements of subsets a “ apgq P Ag (with “full membership”) are G-homogeneous of degree g
g ” deg
`
apgq
˘
“ deg paq “ a1
pgq ” a1
P G, a “ apgq P Ag. (2.2)
The graded algebra AG is called a cross product, if in each subalgebra Ag there exists at least
one invertible element. If all nonzero homogeneous elements are invertible, then AG is called a
graded division algebra DADE [1980]. The morphisms ϕ : AG Ñ BG acting on homogeneous
elements (from Ai) should be compatible with the grading ϕ pAgq Ă Bg, @g P G, while ker ϕ is an
– 2 –

3. PRELIMINARIES
homogeneous ideal. The category of binary G-graded algebras G-Alg consists of the corresponding
class of algebras and the homogeneous morphisms (see, e.g., BOURBAKI [1998], DADE [1980]).
In binary graded algebras there exists a way to generalize noncommutativity such that it can
be dependent on the gradings (“coloring”). Indeed, some (two-place) function on grading degrees
(bicharacter), a (binary) commutation factor εp2q
: GˆG Ñ kˆ
(where kˆ
“ kz0) can be introduced
SCHEUNERT [1979], RITTENBERG AND WYLER [1978] :
a ¨ b “ εp2q
pa1
, b1
q b ¨ a, @a, b P A, @a1
, b1
P G. (2.3)
The properties of the commutation factor εp2q
under double permutation and associativity
εp2q
pa1
, b1
q εp2q
pb1
, a1
q “ 1, (2.4)
εp2q
pa1
, b1
` c1
q “ εp2q
pa1
, b1
q εp2q
pa1
, c1
q , (2.5)
εp2q
pa1
` b1
, c1
q “ εp2q
pa1
, c1
q εp2q
pb1
, c1
q , @a1
, b1
, c1
P G, (2.6)
make εp2q
a special 2-cocycle on the group G BOURBAKI [1998]. The conditions (2.4)–(2.6) imply
that εp2q
pa1
, b1
q ‰ 0,
`
εp2q
pa1
, a1
q
˘2
“ 1, εp2q
pa1
, 0q “ εp2q
p0, a1
q “ 1, and 0 P G. A graded algebra
AG endowed with the commutation factor εp2q
satisfying (2.3)–(2.6) is called an almost commutative
(εp2q
-commutative, color) algebra SCHEUNERT [1979], RITTENBERG AND WYLER [1978] (for a
review, see DE GOURSAC ET AL. [2012]).
The simplest example of a commutation factor is a sign rule
εp2q
pa1
, b1
q “ p´1qăa1,b1ą
, (2.7)
where ă , ą: G ˆ G Ñ Z2 is a bilinear form (“scalar product”), and for G “ Z2 the form is a
product i.e. ă a1
, b1
ą“ a1
b1
” gh P Z2. This gives the standard supercommutative algebra KAC
[1977], NAHM ET AL. [1976], BEREZIN [1987].
In the case G “ Zn
2 the “scalar product” ă , ą: G ˆ G Ñ Z is defined by (see (2.2))
ă pa1
1 . . . a1
nq , pb1
1 . . . b1
nq ą“ a1
1b1
1 ` . . . ` a1
nb1
n ” g1h1 ` . . . ` gnhn P Z, (2.8)
which leads to Zn
2 -commutative associative algebras COVOLO ET AL. [2016].
A classification of the commutation factors εp2q
can be made in terms of the factors (binary Schur
multipliers) πp2q
: G ˆ G Ñ kˆ
such that ˇZMUD´ [1960], SCHEUNERT [1979]
εp2q
π pa1
, b1
q “
πp2q
pa1
, b1
q
πp2q pb1, a1q
, @a1
, b1
P G. (2.9)
The (Schur) factors πp2q
naturally appear in projective representation theory ˇZMUD´ [1972] and
satisfy the relation
πp2q
pa1
, b1
` c1
q πp2q
pb1
, c1
q “ πp2q
pa1
, b1
q πp2q
pa1
` b1
, c1
q , @a1
, b1
P G, (2.10)
which follows from associativity. Using (2.9) we can rewrite the εp2q
-commutation relation (2.3) of
the graded algebra AG in the form
πp2q
pb1
, a1
q a ¨ b “ πp2q
pa1
, b1
q b ¨ a, @a, b P A, @a1
, b1
P G. (2.11)
We call (2.11) a π-commutativity. A factor set
!
π
p2q
sym
)
is symmetric, if
πp2q
sym pb1
, a1
q “ πp2q
sym pa1
, b1
q , (2.12)
εp2q
πsym
pa1
, b1
q “ 1, @a1
, b1
P G, (2.13)
and so the graded algebra AG becomes commutative.
– 3 –

4. PRELIMINARIES
For further details, see SECTION 5 and SCHEUNERT [1979], RITTENBERG AND WYLER [1978].
3. MEMBERSHIP FUNCTION AND OBSCURE ALGEBRAS
Now let us consider a generalization of associative algebras and graded algebras to the case where
the degree of truth (containment of an element in the underlying set) is not full or distinct (for a
review, see, e.g. DUBOIS AND PRADE [2000], ZIMMERMANN [2011]). In this case, an element
a P A of the algebra A “ xA | ¨, `y (over k) can be endowed with an additional function, the
membership function µ : A Ñ r0, 1s, 0, 1 P k, which “measures” the degree of truth as a “grade of
membership” BˇELOHL ´AVEK [2002]. If A is a crisp set then µ P t0, 1u and µcrisp
paq “ 1, if a P A
and µcrisp
paq “ 0, if a R A. Also, we assume that the zero has full membership µ pzq “ 1, z P A (for
details, see, e.g. DUBOIS AND PRADE [2000], ZIMMERMANN [2011]). If the membership function
µ is positive, we can identify an obscure (fuzzy) set Apµq
with support the universal set A consisting
of pairs
Apµq
“ tpa|µ paqqu , a P A, µ paq ą 0. (3.1)
Sometimes, instead of operations with obscure sets it is convenient to consider the corresponding
operations only in terms of the membership function µ itself. Denote a ^ b “ min ta, bu, a _ b “
max ta, bu. Then for inclusion Ď, union Y, intersection X and negation of obscure sets one can write
µ paq ď µ pbq, µ paq _ µ pbq, µ paq ^ µ pbq, 1 ´ µ paq, a, b P Apµq
, respectively.
Definition 3.1. An obscure algebra A pµq “
A
Apµq
| ¨, `
E
is an algebra over k having an obscure
set Apµq
as its underlying set, where the following conditions hold
µ pa ` bq ě µ paq ^ µ pbq , (3.2)
µ pa ¨ bq ě µ paq ^ µ pbq , (3.3)
µ pkaq ě µ paq , @a, b P A, k P k. (3.4)
Definition 3.2. A obscure unity η is given by η paq “ 1, if a “ 0 and η paq “ 0, if a ‰ 0.
For two obscure sets their direct sum Apµq
“ Apµgq
‘ Apµhq
can be defined, if µg ^ µh “ η, and the
joint membership function has two “nonintersecting” components
µ paq “ µg
`
apgq
˘
_ µh
`
aphq
˘
, µg ^ µh “ η, (3.5)
a “ apgq ` aphq, a P Apµq
, apgq P Apµgq
, aphq P Apµhq
, g, h P G, (3.6)
satisfying
µ
`
apgq ¨ aphq
˘
ě µg
`
apgq
˘
^ µh
`
aphq
˘
. (3.7)
Definition 3.3. An obscure G-graded algebra is a direct sum decomposition
AG pµq “
à
gPG
A pµgq , (3.8)
such that the relation (2.1) holds and the joint membership function is
µ paq “ _
gPG
µg
`
apgq
˘
, a “
ÿ
gPG
apgq, @a P Apµq
, apgq P Apµgq
, g P G. (3.9)
– 4 –

5. Deformation of commutative algebras MEMBERSHIP DEFORMATION OF COMMUTATIVITY
4. MEMBERSHIP DEFORMATION OF COMMUTATIVITY
The membership concept leads to the question whether is it possible to generalize commutativity
and εp2q
-commutativity (2.3) for the obscure algebras? A positive answer to this question can be
based on a consistent usage of the membership µ as ordinary functions which are pre-defined for
each element and satisfy some conditions (see, e.g. DUBOIS AND PRADE [2000], ZIMMERMANN
[2011]). In this case, the commutation factor (and the Schur factors) may depend not only on the ele-
ment grading, but also on the element membership function µ, and therefore it becomes “individual”
for each pair of elements, and moreover it can be continuous. We call this procedure a membership
deformation of commutativity.
4.1. Deformation of commutative algebras. Let us consider an obscure commutative algebra
A pµq “
A
Apµq
| ¨, `
E
(see Definition 3.1), in which a ¨ b “ b ¨ a, @a, b P Apµq
. Now we “de-
form” this commutativity by the membership function µ and introduce a new algebra product p˚q for
the elements in A to get a noncommutative algebra.
Definition 4.1. An obscure membership deformed algebra is A˚ pµq “
A
Apµq
| ˚, `
E
in which the
noncommutativity relation is
µ pbq a ˚ b “ µ paq b ˚ a, @a, b P Apµq
. (4.1)
Remark 4.2. The relation (4.1) is reminiscent of (2.11), where the role of the Schur factors is played
by the membership function µ which depends on the element itself, but not on the element’s grading.
Therefore, the membership deformation of commutativity (4.1) is highly nonlinear as opposed to
gradation.
Because in our consideration the membership function µ cannot be zero, it follows from (4.1) that
a ˚ b “ ǫp2q
µ pa, bq b ˚ a, (4.2)
ǫp2q
µ pa, bq “
µ paq
µ pbq
, @a, b P Apµq
, (4.3)
where ǫ
p2q
µ is the membership commutation factor.
Corollary 4.3. An obscure membership deformed algebra A˚ pµq is a (kind of) ǫµ-commutative
algebra with a membership commutation factor (4.3) which now depends not on the element gradings
(as in (2.9)), but on the membership function µ.
Remark 4.4. As can be seen from (4.3), the noncommutativity “measures” the difference between
the element degree of truth and Apµq
. So if two elements have the same membership function, they
commute.
Proposition 4.5. In Apµq
˚ the membership function satisfies the equality (cf. (3.4))
µ pkaq “ µ paq , @a P Apµq
, k P k. (4.4)
Proof. From the distributivity of the scalar multiplication k pa ˚ bq “ ka ˚ b “ a ˚ kb and the
membership noncommutativity (4.1), we get
µ pbq ka ˚ b “ µ pkaq b ˚ ka, (4.5)
µ pkbq a ˚ kb “ µ paq kb ˚ a, (4.6)
and so µ pkaq µ pkbq “ µ paq µ pbq, @a P Apµq
, k P k, and thus (4.4) follows.
– 5 –

6. MEMBERSHIP DEFORMATION OF COMMUTATIVITY Deformation of ε-commutative algebras
In general, the algebra A˚ pµq is not associative without further conditions (for instance, similar
to (2.10)) on the membership function µ which is assumed predefined and satisfies the properties
(3.2)–(3.3) and (4.4) only.
Proposition 4.6. The obscure membership deformed algebra A˚ pµq cannot be associative with any
additional conditions on the membership function µ.
Proof. Since the ε-commutativity (2.3) and the ǫ-commutativity (4.2) have the same form, the deriva-
tions of associativity coincide and give a cocycle relation similar to (2.5)–(2.6) also for ǫ
p2q
µ , e.g.
ǫp2q
µ pa, b ˚ cq “ ǫp2q
µ pa, bq ǫp2q
µ pa, cq . (4.7)
In terms of the membership function (4.3) this becomes µ paq “ µ pbq µ pcq ä µ pb ˚ cq, but this is
impossible for all a, b, c P Apµq
. On the other side, after double commutation in pa ˚ bq˚c Ñ c˚pb ˚ aq
and a ˚ pb ˚ cq Ñ pc ˚ bq ˚ a we obtain (if the associativity of p˚q is implied)
ǫp2q
µ pa, b ˚ cq ǫp2q
µ pb, cq “ ǫp2q
µ pa ˚ b, cq ǫp2q
µ pa, bq , (4.8)
which in terms of the membership function becomes µ pbq2
“ µ pa ˚ bq µ pb ˚ cq, and this is also
impossible for arbitrary a, b, c P Apµq
.
Nevertheless, distributivity of the algebra multiplication and algebra addition in A˚ pµq is possi-
ble, but can only be one-sided.
Proposition 4.7. The algebra A˚ pµq is right-distributive, but has the membership deformed left
distributivity
µ pb ` cq a ˚ pb ` cq “ µ pbq a ˚ b ` µ pcq a ˚ c, (4.9)
pb ` cq ˚ a “ b ˚ a ` c ˚ a, @a, b, c P Apµq
. (4.10)
Proof. Applying the membership noncommutativity (4.1) to (4.9), we obtain µ paq pb ` cq ˚ a “
µ paq b ˚ a ` µ paq c ˚ a, and then (4.10), because µ ą 0.
Theorem 4.8. The binary obscure algebra A˚ pµq “
A
Apµq
| ˚, `
E
is necessarily nonassociative
and ǫ
p2q
µ -commutative (4.2), right-distributive (4.10) and membership deformed left-distributive (4.9).
Remark 4.9. If membership noncommutativity is valid for generators of the algebra only, then the
form of (4.2) coincides with that of the quantum polynomial algebra ARTAMONOV [1997], but the
latter is two-sided distributive, in distinction to the obscure algebra A˚ pµq.
Example 4.10 (Deformed Weyl algebra). Consider an obscure algebra AW eyl
d pµq “
A
Apµq
| d, `
E
generated by two generators x, y P Apµq
satisfying the Weyl-like relation (cf. (4.1))
µ pyq x d y “ µ pxq y d x ` µ px d yq e, x, y, e P Apµq
. (4.11)
We call AW eyl
d pµq a membership deformed Weyl algebra. Because the membership function is
predefined, and µ px d yq is not a symplectic form, the algebra AW eyl
d pµq is not isomorphic to the
ordinary Weyl algebra (see, e.g., LAM [2001]). In the same way, the graded Weyl algebra TILGNER
[1977] can be membership deformed in a similar way.
Remark 4.11. The special property of the membership noncommutativity is the fact that each pair
of elements has their own “individual” commutation factor ǫ which depends on the membership
function (4.3) that can also be continuous.
– 6 –

7. Deformation of ε-commutative algebras MEMBERSHIP DEFORMATION OF COMMUTATIVITY
4.2. Deformation of ε-commutative algebras. Here we apply the membership deformation pro-
cedure (4.1) to the obscure G-graded algebras (3.8) which are εp2q
-commutative (2.3). We now
“deform” (2.11) by analogy with (4.1).
Let AG pµq be a binary obscure G-graded algebra (3.8) which is εp2q
-commutative with the Schur
factor πp2q
(2.9).
Definition 4.12. An obscure membership deformed εp2q
-commutative G-graded algebra is
AG‹ pµq “
A
Apµq
| ‹, `
E
in which the noncommutativity relation is given by
µ pbq πp2q
pb1
, a1
q a ‹ b “ µ paq πp2q
pa1
, b1
q b ‹ a, @a, b P Apµq
, @a1
, b1
P G. (4.12)
Because both functions πp2q
and µ are nonvanishing, we can combine (2.9) and (4.3).
Definition 4.13. An algebra AG‹ pµq is called a double ε
p2q
π {ǫ
p2q
µ -commutative algebra, when
a ‹ b “ εp2q
π pa1
, b1
q ǫp2q
µ pa, bq b ‹ a, @a, b P Apµq
, @a1
, b1
P G (4.13)
ǫp2q
µ pa, bq “
µ paq
µ pbq
, (4.14)
εp2q
π pa1
, b1
q “
πp2q
pa1
, b1
q
πp2q pb1, a1q
, (4.15)
where ε
p2q
π is the grading commutation factor and ǫ
p2q
µ is the membership commutation factor.
In the first version, we assume that ε
p2q
π is still a cocycle and satisfies (2.4)–(2.6), then in AG‹ pµq
the relation (4.4) is satisfied as well, because the Schur factors cancel in the derivation from (4.5)–
(4.6). For the same reason Assertion 4.6 holds, and therefore the double ε
p2q
π {ǫ
p2q
µ -commutative
algebra AG‹ pµq with the fixed grading commutation factor ε
p2q
π is necessarily nonassociative.
As the second version, we consider the case when the grading commutation factor does not satisfy
(2.4)–(2.6), but the double commutation factor does satisfy them (the membership function is fixed,
being predefined for each element), which can lead to an associative algebra.
Proposition 4.14. A double ε
p2q
πµ{ǫ
p2q
µ -commutative algebra AGf pµq “
A
Apµq
| f, `
E
with
a f b “ εp2q
πµ pa1
, b1
q ǫp2q
µ pa, bq b f a, ǫp2q
µ pa, bq “
µ paq
µ pbq
(4.16)
is associative, if the noncocycle commutation factor ε
p2q
πµ satisfies the “membership deformed
cocycle-like” conditions
εp2q
πµ pa1
, b1
q εp2q
πµ pb1
, a1
q “
1
ǫ
p2q
µ pa, bq ǫ
p2q
µ pb, aq
, (4.17)
εp2q
πµ pa1
, b1
` c1
q “ εp2q
πµ pa1
, b1
q εp2q
πµ pa1
, c1
q
ǫ
p2q
µ pa, bq ǫ
p2q
µ pa, cq
ǫ
p2q
µ pa, b f cq
, (4.18)
εp2q
πµ pa1
` b1
, c1
q “ εp2q
πµ pa1
, c1
q εp2q
πµ pb1
, c1
q
ǫ
p2q
µ pa, cq ǫ
p2q
µ pb, cq
ǫ
p2q
µ pa f b, cq
, (4.19)
@a, b P Apµq
, @a1
, b1
P G.
Proof. Now indeed the double commutation factor (the product of the grading and membership
factors) ε
p2q
πµǫ
p2q
µ satisfies (2.4)–(2.6). Then (4.17)–(4.19) immediately follow.
– 7 –

8. MEMBERSHIP DEFORMATION OF COMMUTATIVITY
We can find the deformed equation for the Schur-like factors (similar to (4.17)–(4.19))
εp2q
πµ pa1
, b1
q “
π
p2q
µ pa1
, b1
q
π
p2q
µ pb1, a1q
, (4.20)
such that the following “membership deformed” commutation takes place (see (4.16))
πp2q
µ pb1
, a1
q µ pbq a f b “ πp2q
µ pa1
, b1
q µ paq b f a, @a, b P Apµq
, @a1
, b1
P G, (4.21)
and the algebra AGf pµq becomes associative (in distinct with (4.12), where the grading commuta-
tion factor ε
p2q
π , satisfies (2.4)–(2.6), and the algebra multiplications p‹q are different).
Thus the deformed binary Schur-like factors π
p2q
µ of the obscure membership deformed associative
double commutative algebra AGf pµq satisfy
πp2q
µ pa1
, b1
` c1
q πp2q
µ pb1
, c1
q “ πp2q
µ pa1
, b1
q πp2q
µ pa1
` b1
, c1
q
µ pa f bq
µ pbq
, (4.22)
@a, b P Apµq
, @a1
, b1
P G,
which should be compared with the corresponding nondeformed relation (2.10).
4.3. Double εǫ-Lie algebras. Consider the second version of an obscure double ε
p2q
πµ{ǫ
p2q
µ -
commutative algebra AGf pµq defined in (4.16)–(4.19) and construct a corresponding analog of the
Lie algebra, following the same procedure as for associative ε-commutative algebras SCHEUNERT
[1979], RITTENBERG AND WYLER [1978], MONTGOMERY [1997].
Take AGf pµq and define a double εǫ-Lie bracket Lεǫ : Apµq
b Apµq
Ñ Apµq
by
Lεǫ ra, bs “ a f b ´ εp2q
πµ pa1
, b1
q ǫp2q
µ pa, bq b f a, @a, b P Apµq
, @a1
, b1
P G, (4.23)
where ε
p2q
πµ and ǫ
p2q
µ are given in (4.16) and (4.20), respectively.
Proposition 4.15. The double εǫ-Lie bracket is εǫ-skew commutative, i.e. it satisfies double commu-
tativity with the commutation factor
´
´ε
p2q
πµǫ
p2q
µ
¯
.
Proof. Multiply (4.23) by ε
p2q
πµ pb1
, a1
q ǫ
p2q
µ pb, aq and use (4.17) to obtain
εp2q
πµ pb1
, a1
q ǫp2q
µ pb, aq Lεǫ ra, bs “ εp2q
πµ pb1
, a1
q ǫp2q
µ pb, aq a f b ´ b f a “ ´Lεǫ rb, as . (4.24)
Therefore,
Lεǫ ra, bs “ ´εp2q
πµ pa1
, b1
q ǫp2q
µ pa, bq Lεǫ rb, as , (4.25)
which should be compared with (4.16).
Proposition 4.16. The double εǫ-Lie bracket satisfies the membership deformed εǫ-Jacobi identity
εp2q
πµ pa1
, b1
q ǫp2q
µ pa, bq Lεǫ
“
a, Lεǫ rb, cs
‰
` cyclic permutations “ 0, (4.26)
@a, b, c P Apµq
, @a1
, b1
, c1
P G.
Definition 4.17. A double εǫ-Lie algebra is an obscure G-graded algebra with the double εǫ-Lie
bracket (satisfying εǫ-skew commutativity (4.25) and the membership deformed Jacobi identity
(4.26)) as a multiplication, that is AGL pµq “
A
Apµq
| Lεǫ, `
E
.
– 8 –

9. Binary projective representations PROJECTIVE REPRESENTATIONS
5. PROJECTIVE REPRESENTATIONS
To generalize the ε-commutative algebras to the n-ary case, we need to introduce n-ary projective
representations and study them in brief.
5.1. Binary projective representations. First, briefly recall some general properties of the Schur
factors and corresponding commutation factors in the projective representation theory of Abelian
groups ˇZMUD´ [1960, 1972] (see, also, FRUCHT [1955] and the unitary ray representations
BARGMANN [1954]). We show some known details in our notation which can be useful in further
extensions of the well-known binary constructions to the n-ary case.
Let Hp2q
“ xH | `y be a binary Abelian group and f : Hp2q
Ñ Ep2q
, whereEp2q
“ xEnd V | ˝y,
and V is a vector space over a field k. A map f is a (binary) projective representation (σ-
representation ˇZMUD´ [1960]), if f px1q ˝ f px2q “ π
p2q
0 px1, x2q f px1 ` x2q, x1, x2 P H, and
π
p2q
0 : Hp2q
ˆ Hp2q
Ñ kˆ
is a (Schur) factor, while p˝q is a (noncommutative binary) product
in End V ). The “associativity relation” of factors follows immediately from the associativity of p˝q
such that (cf. (2.10))
π
p2q
0 px1, x2 ` x3q π
p2q
0 px2, x3q “ π
p2q
0 px1, x2q π
p2q
0 px1 ` x2, x3q , @x1, x2, x3 P H. (5.1)
Two factor systems are equivalent
!
π
p2q
0
)
λ
„
!
˜π
p2q
0
)
(or associated ˇZMUD´ [1972]), if there exists
λ : Hp2q
Ñ kˆ
such that
˜π
p2q
0 px1, x2q “
λ px1q λ px2q
λ px1 ` x2q
π
p2q
0 px1, x2q , @x1, x2 P H, (5.2)
and the ˜π
p2q
0 -representation is given by ˜f pxq “ λ pxq f pxq, x P H. The cocycle condition (5.1)
means that π
p2q
0 belongs to the group Z2
`
Hp2q
, kˆ
˘
of 2-cocycles of Hp2q
over kˆ
, the quotient!
π
p2q
0
)
ä
λ
„ gives the corresponding multiplier group, if k “ C, and, in the general case, coincides
with the exponents of the 2-cohomology classes H2
`
Hp2q
, k
˘
(for details, see, e.g., ˇZMUD´ [1960,
1972], DE GOURSAC ET AL. [2012]).
The group Hp2q
is Abelian, and therefore we have (cf. (2.11))
π
p2q
0 px2, x1q f px1q ˝ f px2q “ π
p2q
0 px2, x1q π
p2q
0 px1, x2q f px1 ` x2q “ π
p2q
0 px1, x2q f px2q ˝ f px1q ,
(5.3)
which allows us to introduce a (binary) commutation factor ε
p2q
π0 : Hp2q
ˆ Hp2q
Ñ kˆ
by (see (2.3),
(2.9))
εp2q
π0
px1, x2q “
π
p2q
0 px1, x2q
π
p2q
0 px2, x1q
, (5.4)
f px1q ˝ f px2q “ εp2q
π0
px1, x2q f px2q ˝ f px1q , @x1, x2 P H, (5.5)
with the obvious “normalization” (cf. (2.4))
εp2q
π0
px1, x2q εp2q
π0
px2, x1q “ 1, εp2q
π0
px, xq “ 1, @x1, x2, x P H, (5.6)
which will be important in the n-ary case below.
– 9 –

10. PROJECTIVE REPRESENTATIONS n-ary projective representations
The multiplication of the commutation factors follows from different permutations of the three
terms
f pyq ˝ f px1q ˝ f px2q “ εp2q
π0
py, x1q f px1q ˝ f pyq ˝ f px2q
“ εp2q
π0
py, x1q εp2q
π0
py, x2q f px1q ˝ f px2q ˝ f pyq
“ π
p2q
0 px1, x2q f pyq ˝ f px1 ` x2q “ εp2q
π0
py, x1 ` x2q
´
π
p2q
0 px1, x2q f px1 ` x2q
¯
˝ f pyq
“ εp2q
π0
py, x1 ` x2q f px1q ˝ f px2q ˝ f pyq , @x1, x2, y P H. (5.7)
Thus, it follows that the commutation factor multiplication is (and similarly for the second place,
cf. (2.5)-(2.6))
εp2q
π0
py, x1 ` x2q “ εp2q
π0
py, x1q εp2q
π0
py, x2q , @x1, x2, y P H, (5.8)
which means that ε
p2q
π0 is a (binary) bicharacter on Hp2q
, because for χ
p2q
y pxq ” ε
p2q
π0 py, xq we have
χp2q
y px1q χp2q
y px2q “ χp2q
y px1 ` x2q , @x1, x2 P H. (5.9)
Denoting the group of bicharacters χ
p2q
y on Hp2q
with the multiplication (5.9) by Bp2q
pHp2q
, kq,
we observe that the mapping π
p2q
0 Ñ ε
p2q
π0 is a homomorphism of Z2
`
Hp2q
, kˆ
˘
to Bp2q
pHp2q
, kq
with the kernel a subgroup of the 2-coboundaries of Hp2q
over kˆ
(for more details, see ˇZMUD´
[1972]).
5.2. n-ary projective representations. Here we consider some features of n-ary projective repre-
sentations and corresponding particular generalizations of binary ε-commutativity.
Let Hpnq
“
A
H | r spnq
`
E
be an n-ary Abelian group with the totally commutative multiplication
r spnq
` , and the mapping f : Hpnq
Ñ Epnq
, where Epnq
“
A
End V | r spnq
˝
E
(for general polyadic
representations, see DUPLIJ [2018] and refs therein). Here we suppose that V is a vector space over
a field k, and r spnq
˝ is an n-ary associative product in End V , which means that
f
”
rf px1q , . . . , f pxnqspnq
˝ , f pxn`1q , . . . , f px2n´1q
ıpnq
˝
“ f
”
f px1q , rf px2q , . . . , f pxn`1qspnq
˝ , f pxn`2q , . . . , f px2n´1q
ıpnq
˝
...
“ f
”
f px1q , f px2q , . . . , f pxn´1q , rf pxnq , . . . , f px2n´1qspnq
˝
ıpnq
˝
(5.10)
Definition 5.1. A map f is an n-ary projective representation, if
rf px1q , . . . , f pxnqspnq
˝ “ π
pnq
0 px1, . . . , xnq f
´
rx1, . . . , xnspnq
`
¯
, x1, . . . , xn P H, (5.11)
and π
pnq
0 :
nhkkkkkkkkkkikkkkkkkkkkj
Hpnq
ˆ . . . ˆ Hpnq
Ñ kˆ
is an n-ary (Schur-like) factor.
– 10 –

11. n-ary projective representations PROJECTIVE REPRESENTATIONS
Proposition 5.2. The factors π
pnq
0 satisfy the n-ary 2-cocycle conditions (cf. (5.1))
π
pnq
0 px1, . . . , xnq π
pnq
0
´
rx1, . . . , xnspnq
` , xn`1, . . . , x2n´1
¯
“ π
pnq
0 px2, . . . , xn`1q π
pnq
0
´
x1, rx2, . . . , xn`1spnq
` , xn`2, . . . , x2n´1
¯
...
“ π
pnq
0 pxn, . . . , xn`1q π
pnq
0
´
x1, . . . , xn´1, rxn, . . . , x2n´1spnq
`
¯
, x1, . . . , x2n´1 P H. (5.12)
Proof. These immediately follow from the n-ary associativity in End V (5.10) and (5.11).
Two n-ary factor systems are equivalent
!
π
pnq
0
)
λ
„
!
˜π
pnq
0
)
, if there exists λ : Hpnq
Ñ kˆ
such
that
˜π
pnq
0 px1, . . . , xnq “
λ px1q λ px2q . . . λ pxnq
λ
´
rx1, . . . , xnspnq
`
¯ π
pnq
0 px1, . . . , xnq , @x1, x2 P H, (5.13)
and the ˜π
pnq
0 -representation is given by ˜f pxq “ λ pxq f pxq, x P H.
To understand how properly and uniquely to introduce the commutation factors for n-ary projec-
tive representations, we need to consider an n-ary analog of (5.3) (see, also (2.11)).
Proposition 5.3. The commutativity of a π
pnq
0 -representation is given by pn! ´ 1q relations of the
form
π
pnq
0
`
xσp1q, . . . , xσpnq
˘
rf px1q , . . . , f pxnqspnq
˝ “ π
pnq
0 px1, . . . , xnq
“
f
`
xσp1q
˘
, . . . , f
`
xσpnq
˘‰pnq
˝
,
(5.14)
where σ P Sn, σ ‰ I, Sn is the symmetry permutation group on n elements.
Proof. Using the definition of the n-ary projective representation (5.11), we obtain for the l.h.s. and
r.h.s. of (5.14)
π
pnq
0
`
xσp1q, . . . , xσpnq
˘
π
pnq
0 px1, . . . , xnq f
´
rx1, . . . , xnspnq
`
¯
(5.15)
and
π
pnq
0 px1, . . . , xnq π
pnq
0
`
xσp1q, . . . , xσpnq
˘
f
´“
xσp1q, . . . , xσpnq
‰pnq
`
¯
, (5.16)
respectively.
Because Hpnq
is totally commutative
rx1, . . . , xnspnq
` “
“
xσp1q, . . . , xσpnq
‰pnq
`
, @x1, . . . , xn P H, @σ P Sn. (5.17)
then f
´
rx1, . . . , xnspnq
`
¯
“ f
´“
xσp1q, . . . , xσpnq
‰pnq
`
¯
. Taking into account all nonidentical permuta-
tions, we get pn! ´ 1q relations in (5.14).
Corollary 5.4. To describe the noncommutativity of an n-ary projective representation, we need to
have not one relation between Schur factors (as in the binary case (5.3) and (2.11)), but pn! ´ 1q
relations (5.14). This leads to the concept of the set of pn! ´ 1q commutation factors.
– 11 –

12. PROJECTIVE REPRESENTATIONS n-ary ε-commutative algebras
Definition 5.5. The commutativity of the n-ary projective representation with the Schur-like factor
π
pnq
0 px1, . . . , xnq is governed by the set of pn! ´ 1q commutation factors
ε
pnq
σp1q,...,σpnq ” ε
pnq
σp1q,...,σpnq px1, . . . , xnq “
π
pnq
0 px1, . . . , xnq
π
pnq
0
`
xσp1q, . . . , xσpnq
˘, (5.18)
rf px1q , . . . , f pxnqspnq
˝ “ ε
pnq
σp1q,...,σpnq
“
f
`
xσp1q
˘
, . . . , f
`
xσpnq
˘‰pnq
˝
, (5.19)
where σ P Sn. We call all ε
pnq
σp1q,...,σpnq as a commutation factor “vector” and denote it by ε, where its
components will be enumerated by lexicographic order.
Thus, each component of ε is responsible for the commutation of any two n-ary monomials with
different permutations σ, σ1
P Sn, since from (5.19) it follows that
“
f
`
xσ1p1q
˘
, . . . , f
`
xσ1pnq
˘‰pnq
˝
“ ε
pnq
σp1q,...,σpnq
`
xσ1p1q, . . . , xσ1pnq
˘ “
f
`
xσp1q
˘
, . . . , f
`
xσpnq
˘‰pnq
˝
,
(5.20)
It follows from (5.18) that an n-ary analog of the normalization property (5.6) is
ε
pnq
σp1q,...,σpnq
`
xσ1p1q, . . . , xσ1pnq
˘
ε
pnq
σ1p1q,...,σ1pnq
`
xσp1q, . . . , xσpnq
˘
“ 1, (5.21)
ε
pnq
1,...,n px, . . . , xq “ 1, (5.22)
where σ,σ1
P Sn, x1, . . . , xn, x P H.
In this notation the binary commutation factor (5.4) is ε
p2q
π0 px1, x2q “ ε
p2q
21 px1, x2q.
Example 5.6 (Ternary projective representation). Consider the minimal nonbinary case n “ 3. The
ternary projective representation of the Abelian ternary group Hp3q
is given by
rf px1q , f px2q , f px3qs “ π0 px1, x2, x3q f px1 ` x2 ` x3q , x1, x2, x3 P H, (5.23)
where we denote π
p3q
0 ” π0, r sp3q
˝ ” r s and rx1, x2, x3sp3q
` ” x1 ` x2 ` x3.
The ternary 2-cocycle conditions for the ternary Schur-like factor π0 now become
π0 px1, x2, x3q π0 px1 ` x2 ` x3, x4, x5q
“ π0 px2, x3, x4q π0 px1, x2 ` x3 ` x4, x5q
“ π0 px3, x4, x5q π0 px1, x2, x3 ` x4 ` x5q . (5.24)
Thus, we obtain p3! ´ 1q “ 5 different ternary commutation relations and the corresponding 5-
dimensional “vector” ε
rf px1q , f px2q , f px3qs “ εσp1qσp2qσp3q
“
f
`
xσp1q
˘
, f
`
xσp2q
˘
, f
`
xσp3q
˘‰
, (5.25)
ε132 “
π0 px1, x2, x3q
π0 px1, x3, x2q
, ε231 “
π0 px1, x2, x3q
π0 px2, x3, x1q
, ε213 “
π0 px1, x2, x3q
π0 px2, x1, x3q
,
ε312 “
π0 px1, x2, x3q
π0 px3, x1, x2q
, ε321 “
π0 px1, x2, x3q
π0 px3, x2, x1q
, x1, x2, x3 P H, σ P S3. (5.26)
6. n-ARY DOUBLE COMMUTATIVE ALGEBRAS
6.1. n-ary ε-commutative algebras. Here we introduce grading noncommutativity for n-ary al-
gebras (“n-ary coloring”), which is closest to the binary (“coloring”) case (2.3). We are exploiting
an n-ary analog of the (Schur) factor (2.9) and its relation (2.11) by means of the n-ary projective
representation theory from SECTION 5.
– 12 –

13. n-ary ε-commutative algebras n-ARY DOUBLE COMMUTATIVE ALGEBRAS
Let Apnq
“
A
A | r spnq
, `
E
be an associative n-ary algebra CARLSSON [1980],
MICHOR AND VINOGRADOV [1996], DE OLIVEIRA [1960] over a binary field k (with the binary
addition) having zero z P A and unit e P A, if Apnq
is unital (for polyadic algebras with all nonbi-
nary operations, see DUPLIJ [2019]). A n-ary graded algebra Apnq
G (an n-ary G-graded k-algebra)
is a direct sum of subalgebras Apnq
G “
À
gPG Ag, where G “ xG | `1
y is a (binary Abelian) grading
group and the set n-ary multiplication “respects the gradation”
rAg1 , . . . , Agn spnq
Ď Ag1`1...`1gn , g1, . . . , gn P G. (6.1)
As in the binary case (2.2) the elements from Ag Ă A are homogeneous of degree a1
“ g P G.
It is natural to start our n-ary consideration from the Schur-like factors (5.12) which generalize
(2.10) and (5.1).
Definition 6.1. In an n-ary graded algebra Apnq
G the n-ary Schur-like factor is an n-place function
on gradings πpnq
:
nhkkkkkkikkkkkkj
G ˆ . . . ˆ G Ñ A satisfying the n-ary cocycle condition (cf. (2.10) and (5.12))
πpnq
pa1
1, . . . , a1
nq πpnq
´
ra1
1, . . . , a1
ns
pnq
, a1
n`1, . . . , a1
2n´1
¯
“ πpnq
`
a1
2, . . . , a1
n`1
˘
πpnq
´
a1
1,
“
a1
2, . . . , a1
n`1
‰pnq
, a1
n`2, . . . , a1
2n´1
¯
...
“ πpnq
`
a1
n, . . . , a1
n`1
˘
πpnq
´
a1
1, . . . , a1
n´1,
“
a1
n, . . . , a1
2n´1
‰pnq
¯
, a1
1, . . . , a1
2n´1 P G. (6.2)
There are many possible ways to introduce noncommutativity for n-ary algebras DE AZCARRAGA AND IZQUIERD
[2010], MICHOR AND VINOGRADOV [1996]. We propose a “projective version” of noncommuta-
tivity in Apnq
G which naturally follows from the n-ary projective representations (5.18) and can be
formulated in terms of the Schur-like factors as in (2.11) and (5.14).
Definition 6.2. An n-ary graded algebra Apnq
G is called π-commutative, if the pn! ´ 1q relations (cf.
(5.14))
πpnq
`
a1
σp1q, . . . , a1
σpnq
˘
ra1, . . . , anspnq
“ πpnq
pa1
1, . . . , a1
nq
“
aσp1q, . . . , aσpnq
‰pnq
, (6.3)
hold for all a1, . . . , an P A, and σ P Sn, σ ‰ I, where πpnq
are n-ary Schur-like factors satisfying
(6.2).
Two n-ary Schur-like factor systems are equivalent πpnq
( ˜λ
„ ˜πpnq
(
, if there exists ˜λ : Apnq
G Ñ
kˆ
such that (cf. (5.13))
˜πpnq
pa1
1, . . . , a1
nq “
˜λ pa1
1q . . . ˜λ pa1
nq
˜λ
´
ra1
1, . . . , a1
nspnq
¯πpnq
pa1
1, . . . , a1
nq , @a1
1, . . . , a1
2 P G. (6.4)
The quotient by this equivalence relation πpnq
(
ä
˜λ
„ is the corresponding multiplier group, as in
the binary case SCHEUNERT [1979].
Let ϕ P Aut G and πpnq
(
be a factor system, then its pullback
πpnq
˚ pa1
1, . . . , a1
nq “ πpnq
pϕ pa1
1q , . . . , ϕ pa1
nqq (6.5)
– 13 –

14. n-ARY DOUBLE COMMUTATIVE ALGEBRAS n-ary ε-commutative algebras
is also a factor system
!
π
pnq
˚
)
. In the n-ary case the “homotopic” analog of (6.5) is possible
πpnq
˚˚ pa1
1, . . . , a1
nq “ πpnq
pϕ1 pa1
1q , . . . , ϕn pa1
nqq , (6.6)
where ϕ1, . . . , ϕn P Aut G, such that
!
π
pnq
˚˚
)
is also a factor system.
Comparing (6.3) with binary π-commutativity (2.11) we observe that the most general description
of n-ary graded algebras Apnq
G can be achieved by using at least pn! ´ 1q commutation factors.
Definition 6.3. An n-ary graded algebra Apnq
G is εpnq
-commutative if there are pn! ´ 1q commutation
factors
ε
pnq
σp1q,...,σpnq ” ε
pnq
σp1q,...,σpnq pa1
1, . . . , a1
nq “
πpnq
pa1
1, . . . , a1
nq
πpnq
´
a1
σp1q, . . . , a1
σpnq
¯, (6.7)
ra1, . . . , anspnq
“ ε
pnq
σp1q,...,σpnq
“
aσp1q, . . . , aσpnq
‰pnq
, (6.8)
where σ P Sn, σ ‰ I, and the factors πpnq
satisfy (6.2). The set of ε
pnq
σp1q,...,σpnq is a commutation factor
“vector” ÝÑε of the algebra Apnq
G having pn! ´ 1q components.
Each component of the “vector” ÝÑε is responsible for the commutation of two n-ary monomials
in Apnq
G such that from (6.8) we have
“
aσ1p1q, . . . , aσ1pnq
‰pnq
“ ε
pnq
σp1q,...,σpnq
`
a1
σ1p1q, . . . , a1
σ1pnq
˘ “
aσp1q, . . . , aσpnq
‰pnq
, (6.9)
with permutations σ, σ1
P Sn.
It follows from (5.18) that an n-ary analog of the normalization property (5.6) is
ε
pnq
σp1q,...,σpnq
`
a1
σ1p1q, . . . , a1
σ1pnq
˘
ε
pnq
σ1p1q,...,σ1pnq
`
a1
σp1q, . . . , a1
σpnq
˘
“ 1, (6.10)
ε
pnq
1,...,n pa1
, . . . , a1
q “ 1, (6.11)
where σ,σ1
P Sn, a1
1, . . . , a1
n, a1
P G.
If ϕ P Aut G and
!
π
pnq
˚
)
is a pullback of πpnq
(
(6.5), then the corresponding
ε
pnq
˚σp1q,...,σpnq pa1
1, . . . , a1
nq “
π
pnq
˚ pa1
1, . . . , a1
nq
π
pnq
˚
´
a1
σp1q, . . . , a1
σpnq
¯ (6.12)
are commutation factors as well (if k is algebraically closed, by analogy with SCHEUNERT [1979]).
The same is true for their “homotopic” analog
!
π
pnq
˚˚
)
(6.6).
Definition 6.4. A factor set πpnq
(
is called totally symmetric, if ÝÑε is the unit commutation factor
“vector”, such that all of its pn! ´ 1q components are identities (in k)
ε
pnq
σp1q,...,σpnq pa1
1, . . . , a1
nq “ 1, σ P Sn, σ ‰ I, a1
1, . . . , a1
n P G. (6.13)
Suppose we have two factor sets
!
π
pnq
1
)
and
!
π
pnq
2
)
which correspond to the same commutation
factor εpnq
in Apnq
G such that
ε
pnq
σp1q,...,σpnq pa1
1, . . . , a1
nq “
π
pnq
1 pa1
1, . . . , a1
nq
π
pnq
1
´
a1
σp1q, . . . , a1
σpnq
¯ “
π
pnq
2 pa1
1, . . . , a1
nq
π
pnq
2
´
a1
σp1q, . . . , a1
σpnq
¯. (6.14)
– 14 –

15. n-ary ε-commutative algebras n-ARY DOUBLE COMMUTATIVE ALGEBRAS
We can always choose the same order for the commutation factor “vector” components σ. Define a
new factor set
!
π
pnq
12
)
by
π
pnq
12 pa1
1, . . . , a1
nq “
π
pnq
1 pa1
1, . . . , a1
nq
π
pnq
2 pa1
1, . . . , a1
nq
, a1
1, . . . , a1
n P G. (6.15)
Then
!
π
pnq
12
)
becomes totally symmetric, because the corresponding communication factor is
ε
pnq
12,σp1q,...,σpnq pa1
1, . . . , a1
nq “
π
pnq
12 pa1
1, . . . , a1
nq
π
pnq
12
´
a1
σp1q, . . . , a1
σpnq
¯ “ 1, (6.16)
as follows from (6.14)–(6.15). Therefore, as in the binary case, if the grading group G is finitely
generated and k is algebraically closed, the communication factor εpnq
is constructed from the unique
multiplier πpnq
(
SCHEUNERT [1979].
The are two possible differences from the simple binary case (2.13), where for identity commuta-
tion factor the symmetry condition (2.12) is sufficient: 1) Not all εpnq
need be equal to the identity.
2) Some arguments of the Schur-like factors πpnq
can be intact.
Definition 6.5. An εpnq
-commutative n-ary graded algebra Apnq
G is called m-partially (or partially)
commutative if exactly m commutation factors (with permutations ˜σ) from the pn! ´ 1q total are
equal to 1
ε
pnq
˜σp1q,...,˜σpnq pa1
1, . . . , a1
nq “ 1, #˜σ ď #σ, σ P Sn, a1
1, . . . , a1
n P G, (6.17)
where we denote #˜σ “ m, #σ “ n!´1. If #˜σ “ #σ, then Apnq
G is totally commutative, see (6.13).
In an m-partially commutative n-ary graded algebra Apnq
G the Schur-like factors πpnq
satisfy m
additional symmetry conditions (cf. (2.12))
πpnq
pa1
1, . . . , a1
nq “ πpnq
`
a1
˜σp1q, . . . , a1
˜σpnq
˘
, #˜σ ď #σ, σ P Sn. (6.18)
Example 6.6 (Ternary ε-commutative algebra). Let Ap3q
G “ xA | r s , `y be a ternary associative G-
graded algebra over k. The ternary Schur-like factor π0 pa1
1, a1
2, a1
3q satisfies the ternary 2-cocycle
conditions (cf. (5.24))
πp3q
pa1
1, a1
2, a1
3q πp3q
pa1
1 ` a1
2 ` a1
3, a1
4, a1
5q
“ πp3q
pa1
2, a1
3, a1
4q πp3q
pa1
1, a1
2 ` a1
3 ` a1
4, a1
5q
“ πp3q
pa1
3, a1
4, a1
5q πp3q
pa1
1, a1
2, a1
3 ` a1
4 ` a1
5q , a1
1, . . . , a1
5 P G. (6.19)
We can introduce p3! ´ 1q “ 5 different ternary commutation relations, explicitly
ra1, a2, a3s “ ε
p3q
σp1qσp2qσp3q
“
aσp1q, aσp2q, aσp3q
‰
, a1, a2, a3 P A, , σ P S3, (6.20)
ε
p3q
132 “
πp3q
pa1
1, a1
2, a1
3q
πp3q pa1
1, a1
3, a1
2q
, ε
p3q
231 “
πp3q
pa1
1, a1
2, a1
3q
πp3q pa1
2, a1
3, a1
1q
, ε
p3q
213 “
πp3q
pa1
1, a1
2, a1
3q
πp3q pa1
2, a1
1, a1
3q
,
ε
p3q
312 “
πp3q
pa1
1, a1
2, a1
3q
πp3q pa1
3, a1
1, a1
2q
, ε
p3q
321 “
πp3q
pa1
1, a1
2, a1
3q
πp3q pa1
3, a1
2, a1
1q
, a1
1, a1
2, a1
3 P G. (6.21)
The 1-partial commutativity in Ap3q
G can be realized, if, for instance,
πp3q
pa1
1, a1
2, a1
3q “ πp3q
pa1
1, a1
3, a1
2q , a1
1, a1
2, a1
3 P G, (6.22)
– 15 –

16. n-ARY DOUBLE COMMUTATIVE ALGEBRAS Membership deformed n-ary algebras
and in this case ε
p3q
132 “ 1 so that we obtain one commutativity relation
ra1, a2, a3s “ ra1, a3, a2s , a1, a2, a3 P A, (6.23)
while the other 4 relations in (6.20) will be ε-commutative.
6.2. Membership deformed n-ary algebras. Now we consider n-ary algebras over obscure sets
as their underlying sets, where each element of them is endowed with the membership function µ as
a degree of truth (see SECTION 3).
Definition 6.7. An obscure n-ary algebra Apnq
pµq “
A
Apµq
| r spnq
, `
E
is an n-ary algebra Apnq
over k having an obscure set Apµq
“ tpa|µ paqq , a P A, µ ą 0u as its underlying set (see (3.1)), and
where the membership function µ paq satisfies
µ pa1 ` a2q ě min tµ pa1q , µ pa2qu , (6.24)
µ pra1, . . . , ansnq ě min tµ pa1q , . . . , µ panqu , (6.25)
µ pkaq ě µ paq , @a, ai P A, k P k, i “ 1, . . . , n. (6.26)
Definition 6.8. An obscure G-graded n-ary algebra Apnq
G pµq is a direct sum decomposition (cf.
(3.8))
Apnq
G pµq “
à
gPG
Apnq
g pµgq , (6.27)
where Apµq
“
Ť
gPGApµgq
g , Apµgq
“ tpa|µg paqq , a P Ag, µg “ p0, 1su, and the joint membership
function µ is given by (3.9).
In the obscure totally commutative n-ary algebra Apnq
G pµq (for homogeneous elements) we have
pn! ´ 1q commutativity relations (cf. (5.17))
ra1, . . . , anspnq
“
“
aσp1q, . . . , aσpnq
‰pnq
, @a1, . . . , an P Apµq
, @σ P Sn, σ ‰ I. (6.28)
Let us consider a “linear” (in µ) deformation of (6.28) analogous to the binary case (4.1).
Definition 6.9. An obscure membership deformed n-ary algebra is Apnq
˚G pµq “
A
Apµq
| r spnq
˚ , `
E
in which there are pn! ´ 1q possible noncommutativity relations
µa1
n
panq ra1, . . . , anspnq
˚ “ µa1
σpnq
`
aσpnq
˘ “
aσp1q, . . . , aσpnq
‰pnq
˚
, (6.29)
@a1, . . . , an P Apµq
, a1
n, a1
σpnq P G, @σ P Sn, σ ‰ I.
Since µ ą 0, we can have
Definition 6.10. The pn! ´ 1q membership commutation factors in Apnq
˚G pµq are defined by
ǫ
pnq
σpnq
`
a1
n, a1
σpnq, an, aσpnq
˘
“
µa1
σpnq
`
aσpnq
˘
µa1
n
panq
, a1
n, a1
σpnq P G, @σ P Sn, σ ‰ I, (6.30)
and the relations (6.29) become
ra1, . . . , anspnq
˚ “ ǫ
pnq
σpnq
`
a1
n, a1
σpnq, an, aσpnq
˘ “
aσp1q, . . . , aσpnq
‰pnq
˚
. (6.31)
These definitions are unique, if we require: 1) for connection only two monomials with different
permutations; 2) membership “linearity” (in µ); 3) compatibility with the binary case (4.2)–(4.3).
– 16 –

17. Membership deformed n-ary algebras n-ARY DOUBLE COMMUTATIVE ALGEBRAS
Example 6.11. For the obscure membership deformed ternary algebra Ap3q
˚G pµq “
A
Apµq
| r sp3q
˚ , `
E
,
we obtain
ra1, a2, a3s “ ǫ
p3q
σp1qσp2qσp3q
“
aσp1q, aσp2q, aσp3q
‰p3q
˚
, a1, a2, a3 P A, , σ P S3, (6.32)
ǫ
p3q
132 “ ǫ
p3q
312 “
µa1
3
pa3q
µa1
2
pa2q
, ǫ
p3q
231 “ ǫ
p3q
321 “
µa1
3
pa3q
µa1
1
pa1q
, ǫ
p3q
213 “ 1, , a1
1, a1
2, a1
3 P G,
which means that it is 1-partially commutative (see (6.17)) and has only 2 independent membership
commutation factors (cf. the binary case (4.3)).
We now provide a sketch construction of the n-ary ε-commutative algebras (6.8) membership
deformation (see Subsection 4.2 for the binary case).
Definition 6.12. An obscure membership deformed n-ary π-commutative algebra over k is
Apnq
‹G pµq “
A
Apµq
| r spnq
‹ , `
E
in which the following pn! ´ 1q noncommutativity relations are valid
πpnq
`
a1
σp1q, . . . , a1
σpnq
˘
µa1
n
panq ra1, . . . , anspnq
‹
“ πpnq
pa1
1, . . . , a1
nq µa1
σpnq
`
aσpnq
˘ “
aσp1q, . . . , aσpnq
‰pnq
‹
, @ai P Apµq
, a1
i P G, @σ P Sn, σ ‰ I,
(6.33)
where πpnq
are n-ary Schur-like factors satisfying the 2-cocycle conditions (6.2).
Definition 6.13. An algebra Apnq
‹G pµq is called a double ε
pnq
π {ǫ
pnq
µ -commutative algebra, if
ra1, . . . , anspnq
‹ “ ε
pnq
σp1q,...,σpnq pa1
1, . . . , a1
nq ǫ
pnq
σpnq
`
a1
n, a1
σpnq, an, aσpnq
˘ “
aσp1q, . . . , aσpnq
‰pnq
‹
, (6.34)
ε
pnq
σp1q,...,σpnq pa1
1, . . . , a1
nq “
πpnq
pa1
1, . . . , a1
nq
πpnq
´
a1
σp1q, . . . , a1
σpnq
¯, (6.35)
ǫ
pnq
σpnq
`
a1
n, a1
σpnq, an, aσpnq
˘
“
µa1
σpnq
`
aσpnq
˘
µa1
n
panq
, (6.36)
a1, . . . , an, aσp1q, . . . , aσpnq P Apµq
, a1
1, . . . , a1
n, a1
σp1q, . . . , a1
σpnq P G, @σ P Sn, σ ‰ I, (6.37)
where ε
pnq
π is the n-ary grading commutation factor (6.7) and ǫ
pnq
µ is the n-ary membership commu-
tation factor (in our definition (6.30)).
This procedure can be considered to be the membership deformation of the given ε-commutative
algebra (6.8), which corresponds to the first version of the binary commutative algebra deformation
as in (4.12) and leads to a nonassociative algebra, in general. To achieve associativity one should
consider the second version of the algebra deformation as in the binary case (4.16): to introduce a
different n-ary multiplication r spnq
f such that the product of commutation factors εpnq
ǫpnq
satisfies
the n-ary 2-cocycle-like conditions, while the n-ary noncocycle commutation factor satisfies the
“membership deformed cocycle-like” conditions, analogous to (4.17)–(4.19).
Acknowledgements. The author wishes to express his sincere thankfulness and deep gratitude to
Andrew James Bruce, Grigorij Kurinnoj, Mike Hewitt, Thomas Nordahl, Vladimir Tkach, Raimund
Vogl, Alexander Voronov, and Wend Werner for numerous fruitful discussions and valuable support.
– 17 –

18. REFERENCES
ARTAMONOV, V. A. (1997). Quantum polynomial algebras. J. Math. Sci. 87 (3), 3441–3462. [Cited on page 6]
BARGMANN, V. (1954). On unitary ray representations of continuous groups. Ann. Math. Second Series 59, 1–46.
[Cited on page 9]
BEREZIN, F. A. (1987). Introduction to Superanalysis. Dordrecht: Reidel. [Cited on page 3]
BOURBAKI, N. (1998). Algebra I: Chapters 1-3. Springer. [Cited on page 3]
BˇELOHL ´AVEK, R. (2002). Fuzzy relational systems: foundations and principles. New York: Springer. [Cited on pages 2
and 4]
CARLSSON, R. (1980). N-ary algebras. Nagoya Math. J. 78 (1), 45–56. [Cited on page 13]
COVOLO, T., J. GRABOWSKI, AND N. PONCIN (2016). The category of Zn
2 -supermanifolds. J. Math. Phys. 57 (7),
073503, 16. [Cited on page 3]
DADE, E. C. (1980). Group-graded rings and modules. Math. Z. 174 (3), 241–262. [Cited on pages 2 and 3]
DE AZCARRAGA, J. A. AND J. M. IZQUIERDO (2010). n-Ary algebras: A review with applications. J. Phys. A43,
293001. [Cited on page 13]
DE GOURSAC, A., T. MASSON, AND J.-C. WALLET (2012). Noncommutative ε-graded connections. J. Noncommut.
Geom. 6 (2), 343–387. [Cited on pages 3 and 9]
DE OLIVEIRA, T. (1960). Modular systems. Univ. Lisboa Rev. Fac. Ci. A (2) 8, 155–167. [Cited on page 13]
DUBOIS, D. AND H. PRADE (Eds.) (2000). Fundamentals of fuzzy sets, Vol. 7 of The Handbooks of Fuzzy Sets Series.
Boston: Kluwer. [Cited on pages 2, 4, and 5]
DUPLIJ, S. (2018). Polyadic algebraic structures and their representations. In: S. DUPLIJ (Ed.), Exotic Algebraic and
Geometric Structures in Theoretical Physics, New York: Nova Publishers, pp. 251–308. arXiv:math.RT/1308.4060.
[Cited on page 10]
DUPLIJ, S. (2019). Arity shape of polyadic algebraic structures. J. Math. Physics, Analysis, Geometry 15 (1), 3–56.
arXiv:math.RA/1703.10132. [Cited on page 13]
FRUCHT, R. (1955). Zur Darstellung endlicher Abelscher Gruppen durch Kollineationen. Math. Z. 63, 145–155. [Cited
on page 9]
KAC, V. G. (1977). Lie superalgebras. Adv. Math. 26 (1), 8–96. [Cited on page 3]
LAM, T. Y. (2001). A first course in noncommutative rings (Second ed.), Vol. 131 of Graduate Texts in Mathematics.
New York: Springer. [Cited on page 6]
MICHOR, P. W. AND A. M. VINOGRADOV (1996). n-Ary Lie and associative algebras. Rend. Sem. Mat. Univ. Pol.
Torino 54 (4), 373–392. [Cited on pages 2 and 13]
MONTGOMERY, S. (1997). Constructing simple Lie superalgebras from associative graded algebras. J. Alg. 195 (2),
558–579. [Cited on page 8]
NAHM, W., V. RITTENBERG, AND M. SCHEUNERT (1976). The classification of graded Lie algebras. Phys. Lett. 61B,
383–391. [Cited on page 3]
RITTENBERG, V. AND D. WYLER (1978). Generalized superalgebras. Nuclear Phys. B 139 (3), 189–202. [Cited on
pages 2, 3, 4, and 8]
SCHEUNERT, M. (1979). Generalized Lie algebras. J. Math. Phys. 20 (4), 712–720. [Cited on pages 2, 3, 4, 8, 13, 14, and 15]
SMITH, N. J. J. (2008). Vagueness and degrees of truth. Oxford: Oxford University Press. [Cited on page 2]
TILGNER, H. (1977). Graded generalizations of Weyl- and Clifford algebras. J. Pure Appl. Alg. 10 (2), 163–168. [Cited
on page 6]
ZIMMERMANN, H.-J. (2011). Fuzzy set theory and its applications (Second ed.). New York: Springer. [Cited on pages
4 and 5]
ˇZMUD´, `E. M. (1960). Isomorphisms of irreducible protective representations of finite groups. Zap. Meh.-Mat. Fak. i
Har´kov Mat. Obˇsc. 26 (4), 333–372. (Russian, MR 0244409). [Cited on pages 3 and 9]
ˇZMUD´, `E. M. (1972). Symplectic geometric and projective representations of finite abelian groups. Math. USSR
Sbornik 16 (1), 1–16. (Mat. Sbornik, Tom 87 (129), (1972), No. 1, pp. 3–17, MR 0292963). [Cited on pages 2, 3, 9, and 10]
– 18 –