S. Duplij, "Membership deformation of commutativity and obscure n-ary algebras", Journal of Mathematical Physics, Analysis, Geometry, 2021, vol. 17, No 4, pp. 441-462
This document proposes a new mechanism for "deforming" or breaking commutativity in algebras called "membership deformation". It involves taking the underlying set of an algebra to be an "obscure/fuzzy set" with elements having membership functions between 0 and 1 rather than a crisp set. The membership functions are incorporated into the commutation relations such that elements with equal membership functions commute, while others do not. This provides a continuous way to deform commutativity. The approach is then generalized to ε-commutative algebras and n-ary algebras. Projective representations of n-ary algebras are also studied in relation to this new type of deformation.
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.
The document discusses the mathematical background of the finite element method. It begins with an overview of concepts from functional analysis including vector spaces, scalar products, linear functionals, and Riesz representation theorem. Green's functions are introduced as the Riesz elements representing linear functionals. Green's identities are then used to derive classical influence functions for displacements and forces. Physically, Green's functions represent monopoles and dipoles with infinite energy, placing them outside the theory of weak boundary value problems. In nonlinear problems, Green's functions can be viewed as Lagrange multipliers at the linearization point.
Polyadic systems and their representations are reviewed and a classification of general polyadic systems is presented. A new multiplace generalization of associativity preserving homomorphisms, a ’heteromorphism’ which connects polyadic systems having unequal arities, is introduced via an explicit formula, together with related definitions for multiplace representations and multiactions. Concrete examples of matrix representations for some ternary groups are then reviewed. Ternary algebras and Hopf algebras are defined, and their properties are studied. At the end some ternary generalizations of quantum groups and the Yang-Baxter equation are presented.
This document summarizes the generalized (G'/G)-expansion method for finding exact solutions to nonlinear partial differential equations with variable coefficients. It applies this method to derive new solutions to the shallow water wave equation with variable coefficients. Three types of solutions are obtained: hyperbolic function solutions when the discriminant is positive, trigonometric function solutions when the discriminant is negative, and rational solutions when the discriminant is zero. Graphs are provided to illustrate representative solutions from each case.
IRJET - Triple Factorization of Non-Abelian Groups by Two Minimal SubgroupsIRJET Journal
This document presents research on the triple factorization of non-abelian groups by two minimal subgroups. It begins with an abstract discussing the triple factorization of a group G as G = ABA, where A and B are proper subgroups of G. It then studies the triple factorizations of two classes of non-abelian finite groups: the dihedral groups D2n and the projective special linear groups PSL(2,2n). Several lemmas and a main theorem are presented regarding the triple factorizations and related rank-two coset geometries of these groups. In particular, the theorem discusses conditions for the existence of non-degenerate triple factorizations of D2n and properties of the associated rank-two coset
The document summarizes existing research on establishing the existence and uniqueness of coupled fixed points for contraction mappings on partially ordered metric spaces. It presents several key theorems:
1) Theorems by Geraghty, Amini-Harandi and Emami, and Gnana Bhaskar and Lakshmikantham establish the existence of unique fixed points for contraction mappings on complete metric spaces and partially ordered metric spaces.
2) Choudhury and Kundu extended these results to Geraghty contractions by introducing an altering distance function.
3) GVR Babu and P. Subhashini further generalized the results to coupled fixed points for Geraghty contractions using an altering distance
This is a journal concise version (without diagrams and figures) of the preprint arXiv:1308.4060.
Abstract: Polyadic systems and their representations are reviewed and a classification of general polyadic systems is presented. A new multiplace generalization of associativity preserving homomorphisms, a 'heteromorphism' which connects polyadic systems having unequal arities, is introduced via an explicit formula, together with related definitions for multiplace representations and multiactions. Concrete examples of matrix representations for some ternary groups are then reviewed. Ternary algebras and Hopf algebras are defined, and their properties are studied. At the end some ternary generalizations of quantum groups and the Yang-Baxter equation are presented.
Auto Regressive Process (1) with Change Point: Bayesian ApprochIJRESJOURNAL
Abstract : Here we consider first order autoregressive process with changing autoregressive coefficient at some point of time m. This is called change point inference problem. For Bayes estimation of m and autoregressive coefficient we used MHRW (Metropolis Hasting Random Walk) algorithm and Gibbs sampling. The effects of prior information on the Bayes estimates are also studied.
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.
The document discusses the mathematical background of the finite element method. It begins with an overview of concepts from functional analysis including vector spaces, scalar products, linear functionals, and Riesz representation theorem. Green's functions are introduced as the Riesz elements representing linear functionals. Green's identities are then used to derive classical influence functions for displacements and forces. Physically, Green's functions represent monopoles and dipoles with infinite energy, placing them outside the theory of weak boundary value problems. In nonlinear problems, Green's functions can be viewed as Lagrange multipliers at the linearization point.
Polyadic systems and their representations are reviewed and a classification of general polyadic systems is presented. A new multiplace generalization of associativity preserving homomorphisms, a ’heteromorphism’ which connects polyadic systems having unequal arities, is introduced via an explicit formula, together with related definitions for multiplace representations and multiactions. Concrete examples of matrix representations for some ternary groups are then reviewed. Ternary algebras and Hopf algebras are defined, and their properties are studied. At the end some ternary generalizations of quantum groups and the Yang-Baxter equation are presented.
This document summarizes the generalized (G'/G)-expansion method for finding exact solutions to nonlinear partial differential equations with variable coefficients. It applies this method to derive new solutions to the shallow water wave equation with variable coefficients. Three types of solutions are obtained: hyperbolic function solutions when the discriminant is positive, trigonometric function solutions when the discriminant is negative, and rational solutions when the discriminant is zero. Graphs are provided to illustrate representative solutions from each case.
IRJET - Triple Factorization of Non-Abelian Groups by Two Minimal SubgroupsIRJET Journal
This document presents research on the triple factorization of non-abelian groups by two minimal subgroups. It begins with an abstract discussing the triple factorization of a group G as G = ABA, where A and B are proper subgroups of G. It then studies the triple factorizations of two classes of non-abelian finite groups: the dihedral groups D2n and the projective special linear groups PSL(2,2n). Several lemmas and a main theorem are presented regarding the triple factorizations and related rank-two coset geometries of these groups. In particular, the theorem discusses conditions for the existence of non-degenerate triple factorizations of D2n and properties of the associated rank-two coset
The document summarizes existing research on establishing the existence and uniqueness of coupled fixed points for contraction mappings on partially ordered metric spaces. It presents several key theorems:
1) Theorems by Geraghty, Amini-Harandi and Emami, and Gnana Bhaskar and Lakshmikantham establish the existence of unique fixed points for contraction mappings on complete metric spaces and partially ordered metric spaces.
2) Choudhury and Kundu extended these results to Geraghty contractions by introducing an altering distance function.
3) GVR Babu and P. Subhashini further generalized the results to coupled fixed points for Geraghty contractions using an altering distance
This is a journal concise version (without diagrams and figures) of the preprint arXiv:1308.4060.
Abstract: Polyadic systems and their representations are reviewed and a classification of general polyadic systems is presented. A new multiplace generalization of associativity preserving homomorphisms, a 'heteromorphism' which connects polyadic systems having unequal arities, is introduced via an explicit formula, together with related definitions for multiplace representations and multiactions. Concrete examples of matrix representations for some ternary groups are then reviewed. Ternary algebras and Hopf algebras are defined, and their properties are studied. At the end some ternary generalizations of quantum groups and the Yang-Baxter equation are presented.
Auto Regressive Process (1) with Change Point: Bayesian ApprochIJRESJOURNAL
Abstract : Here we consider first order autoregressive process with changing autoregressive coefficient at some point of time m. This is called change point inference problem. For Bayes estimation of m and autoregressive coefficient we used MHRW (Metropolis Hasting Random Walk) algorithm and Gibbs sampling. The effects of prior information on the Bayes estimates are also studied.
Suborbits and suborbital graphs of the symmetric group acting on ordered r ...Alexander Decker
]
This document discusses suborbits and suborbital graphs of the symmetric group Sn acting on the set X of all ordered r-element subsets from a set X of size n. Some key points:
- Suborbits are orbits of the stabilizer Gx of a point x under the group action. Suborbital graphs are constructed from suborbits.
- Theorems characterize when a suborbit is self-paired or when two suborbits are paired in terms of properties of the permutations that define the suborbits.
- Formulas are derived for the number of self-paired suborbits in terms of the cycle structure of group elements and character values.
The degree equitable connected cototal dominating graph 퐷푐 푒 (퐺) of a graph 퐺 = (푉, 퐸) is a graph with 푉 퐷푐 푒 퐺 = 푉(퐺) ∪ 퐹, where F is the set of all minimal degree equitable connected cototal dominating sets of G and with two vertices 푢, 푣 ∈ 푉(퐷푐 푒 (퐺)) are adjacent if 푢 = 푣 푎푛푑 푣 = 퐷푐 푒 is a minimal degree equitable connected dominating set of G containing u. In this paper we introduce this new graph valued function and obtained some results
This document introduces Dirac notation, which provides a concise way to represent states in a linear space without specifying a coordinate system. It summarizes:
1) Dirac notation uses "kets" to represent vectors and "bras" to represent their complex conjugates. Combining a bra and ket represents an inner product.
2) The outer product of two vectors represents a linear operator. In Dirac notation, a ket-bra combination represents an outer product, while a bra-ket combination represents an inner product.
3) Dirac notation allows representations of states, operators, and transformations between bases to be written independently of any particular coordinate system.
This document discusses the group SU(2)xU(1), which describes the electroweak interaction. It first covers relevant group theory concepts like Lie groups and representations. It then explains that SU(2) corresponds to rotations of spinors in real space, and physically represents weak isospin. Together with U(1), SU(2)xU(1) gives rise to the three weak gauge bosons through its symmetry with weak isospin. Representations of these groups relate their mathematical properties to observable physical phenomena.
sarminIJMA1-4-2015 forth paper after been publishingMustafa El-sanfaz
This document discusses the probability that a group element fixes a set and its application to generalized conjugacy class graphs. It begins with background on commutativity degree and graph theory concepts. It then reviews previous work calculating the probability for various groups and defining generalized conjugacy class graphs. The main results calculate the probability for semi-dihedral and quasi-dihedral groups as 1/2 and 1/3 respectively, and determine that the corresponding generalized conjugacy class graphs are K2 and Ke (empty graph).
This document discusses the probability that an element of a metacyclic 2-group fixes a set. It begins by providing background information on metacyclic groups and related concepts such as commutativity degree. It then summarizes previous works that have studied the probability of a group element fixing a set. The main results presented calculate the probability for various metacyclic 2-groups of negative type with nilpotency class of at least two. In particular, it determines the probability for metacyclic 2-groups of negative type with nilpotency class of at least three. It also calculates the probability for other specific metacyclic 2-group structures.
Polyadic systems and their representations are reviewed and a classification of general polyadic systems is presented. A new multiplace generalization of associativity preserving homomorphisms, a 'heteromorphism' which connects polyadic systems having unequal arities, is introduced via an explicit formula, together with related definitions for multiplace representations and multiactions. Concrete examples of matrix representations for some ternary groups are then reviewed.
MSC classes: 16T05, 16T25, 17A42, 20N15, 20F29, 20G05, 20G42, 57T05
The document discusses subgroups of groups, with examples. It defines a subgroup as a subset of a group that is closed under the group's operation and contains inverses and identities. Examples of groups given include the general linear group of invertible matrices, the symmetric group of permutations, and the integers under addition. Subgroups are discussed, including cyclic subgroups generated by a group element and its powers. Specific subgroups of the positive integers under addition are analyzed in detail.
The document summarizes research on the energy of graphs. It defines the energy of a graph as the sum of the absolute values of its eigenvalues. It shows that for any positive epsilon, there exist infinitely many values of n for which a k-regular graph of order n exists whose energy is arbitrarily close to the known upper bound for k-regular graphs. It also establishes the existence of equienergetic graphs that are not cospectral. Equienergetic graphs have the same energy even if they do not have the same spectrum of eigenvalues.
1) The document discusses the probability that an element of a dihedral group fixes a set under group actions like conjugation.
2) It defines the probability as the number of orbits of the set divided by the size of the set.
3) For a dihedral group G of order 2n, the probability is 4/3n^2 if n and n/2 are even, and 3/3n^2 if n is even and n/2 is odd.
International Journal of Humanities and Social Science Invention (IJHSSI)inventionjournals
International Journal of Humanities and Social Science Invention (IJHSSI) is an international journal intended for professionals and researchers in all fields of Humanities and Social Science. IJHSSI publishes research articles and reviews within the whole field Humanities and Social Science, new teaching methods, assessment, validation and the impact of new technologies and it will continue to provide information on the latest trends and developments in this ever-expanding subject. The publications of papers are selected through double peer reviewed to ensure originality, relevance, and readability. The articles published in our journal can be accessed online.
AGGREGATION OF OPINIONS FOR SYSTEM SELECTION USING APPROXIMATIONS OF FUZZY NU...mathsjournal
In this article we assume that experts express their view points by way of approximation of Triangular
fuzzy numbers. We take the help of fuzzy set theory concept to model the situation and present a method to
aggregate these approximations of triangular fuzzy numbers to obtain an overall approximation of
triangular fuzzy number for each system and then linear ordering done before the best system is chosen. A
comparison has been made betweenapproximation of triangular fuzzy systems and the corresponding fuzzy
triangular numbers systems. The notions like fuzziness and ambiguity for the approximation of triangular
fuzzy numbers are also found.
AGGREGATION OF OPINIONS FOR SYSTEM SELECTION USING APPROXIMATIONS OF FUZZY NU...mathsjournal
In this article we assume that experts express their view points by way of approximation of Triangular fuzzy numbers. We take the help of fuzzy set theory concept to model the situation and present a method to aggregate these approximations of triangular fuzzy numbers to obtain an overall approximation of triangular fuzzy number for each system and then linear ordering done before the best system is chosen. A comparison has been made between approximation of triangular fuzzy systems and the corresponding fuzzy triangular numbers systems. The notions like fuzziness and ambiguity for the approximation of triangular fuzzy numbers are also found.
AGGREGATION OF OPINIONS FOR SYSTEM SELECTION USING APPROXIMATIONS OF FUZZY NU...mathsjournal
In this article we assume that experts express their view points by way of approximation of Triangular
fuzzy numbers. We take the help of fuzzy set theory concept to model the situation and present a method to
aggregate these approximations of triangular fuzzy numbers to obtain an overall approximation of
triangular fuzzy number for each system and then linear ordering done before the best system is chosen. A
comparison has been made betweenapproximation of triangular fuzzy systems and the corresponding fuzzy
triangular numbers systems. The notions like fuzziness and ambiguity for the approximation of triangular
fuzzy numbers are also found.
This document investigates the transitivity, primitivity, ranks, and subdegrees of the direct product of the symmetric group acting on the Cartesian product of three sets. It proves that this action is both transitive and imprimitive for all 2n ≥ 6. The rank associated with the action is a constant 3/2. The subdegrees are calculated according to their increasing magnitude. Examples are provided to illustrate the ranks and subdegrees when the sets have 2, 3, and 4 elements, respectively.
Plan: 1. Classification of general polyadic systems and special elements. 2. Definition of n-ary semigroups and groups. 3. Homomorphisms of polyadic systems. 4. The Hosszú-Gluskin theorem and its “q-deformed” generalization. 5. Multiplace generalization of homorphisms - heteromorpisms. 6. Associativity quivers. 7. Multiplace representations and multiactions. 8. Examples of matrix multiplace representations for ternary groups. 9. Polyadic rings and fields. 10. Polyadic analogs of the integer number ring Z and the Galois field GF(p). 11. Equal sums of like powers Diophantine equation over polyadic integer numbers.
A Non Local Boundary Value Problem with Integral Boundary ConditionIJMERJOURNAL
This document discusses a non-local boundary value problem with an integral boundary condition for a second order differential equation. It begins by introducing the specific boundary value problem and providing relevant background information. It then establishes some preliminary definitions and results needed to prove existence and uniqueness of solutions. The key results proved are: 1) the Green's function for the corresponding homogeneous boundary value problem is derived; 2) it is shown that the unique solution can be written using this Green's function and an integral operator; and 3) an integral equation is obtained that can be used to solve for the unique solution.
International Journal of Engineering and Science Invention (IJESI) is an international journal intended for professionals and researchers in all fields of computer science and electronics. IJESI publishes research articles and reviews within the whole field Engineering Science and Technology, new teaching methods, assessment, validation and the impact of new technologies and it will continue to provide information on the latest trends and developments in this ever-expanding subject. The publications of papers are selected through double peer reviewed to ensure originality, relevance, and readability. The articles published in our journal can be accessed online.
Abstract: Algebraic structures in which the property of commutativity is substituted by the me- diality property are introduced. We consider (associative) graded algebras and instead of almost commutativity (generalized commutativity or e-commutativity), we introduce almost mediality (“commutativity-to-mediality” ansatz). Higher graded twisted products and “deforming” brackets (being the medial analog of Lie brackets) are defined. Toyoda’s theorem which connects (universal) medial algebras with abelian algebras is proven for the almost medial graded algebras introduced here. In a similar way we generalize tensor categories and braided tensor categories. A polyadic (non-strict) tensor category has an n-ary tensor product as an additional multiplication with (n-1) associators of the arity (2n-1) satisfying a (n^2-1)-gon relation, which is a polyadic analog of the pentagon axiom. Polyadic monoidal categories may contain several unit objects, and it is also possible that all objects are units. A new kind of polyadic categories (called groupal) is defined: they are close to monoidal categories but may not contain units: instead the querfunctor and (natural) functorial isomorphisms, the quertors, are considered (by analogy with the querelements in n-ary groups). The arity-nonreducible n-ary braiding is introduced and the equation for it is derived, which for n=2 coincides with the Yang–Baxter equation. Then, analogously to the first part of the paper, we introduce “medialing” instead of braiding and construct “medialed” polyadic tensor categories.
Brian Covello: Research in Mathematical Group Representation Theory and SymmetryBrian Covello
Brian Covello's research review on group representation theory and symmetry. In the mathematical field of representation theory, group representations describe abstract groups in terms of linear transformations of vector spaces; in particular, they can be used to represent group elements as matrices so that the group operation can be represented by matrix multiplication. Representations of groups are important because they allow many group-theoretic problems to be reduced to problems in linear algebra, which is well understood. They are also important in physics because, for example, they describe how the symmetry group of a physical system affects the solutions of equations describing that system.
The term representation of a group is also used in a more general sense to mean any "description" of a group as a group of transformations of some mathematical object. More formally, a "representation" means a homomorphism from the group to the automorphism group of an object. If the object is a vector space we have a linear representation. Some people use realization for the general notion and reserve the term representation for the special case of linear representations.
In mathematics, representation theory is a technique for analyzing abstract groups in terms of groups of linear transformations.
For the symmetric groups, a graphical method exists to determine their finite representations that associates with each representation a Young tableau (also known as a Young diagram). The direct product of two representations may easily be decomposed into a direct sum of irreducible representation by a set of rules for the "direct product" of two Young diagrams. Each diagram also contains information about the dimension of the representation to which it corresponds. Young tableaux provide a far cleaner way of working with representations than the algebraic methods that underlie their use.
Pseudo Bipolar Fuzzy Cosets of Bipolar Fuzzy and Bipolar Anti-Fuzzy HX Subgroupsmathsjournal
In this paper, we introduce the concept of pseudo bipolar fuzzy cosets, pseudo bipolar fuzzy double cosets of a bipolar fuzzy and bipolar anti-fuzzy subgroups. We also establish these concepts to bipolar fuzzy and bipolar anti-fuzzy HX subgroups of a HX group with suitable examples. Also we discuss some of their relative properties.
Suborbits and suborbital graphs of the symmetric group acting on ordered r ...Alexander Decker
]
This document discusses suborbits and suborbital graphs of the symmetric group Sn acting on the set X of all ordered r-element subsets from a set X of size n. Some key points:
- Suborbits are orbits of the stabilizer Gx of a point x under the group action. Suborbital graphs are constructed from suborbits.
- Theorems characterize when a suborbit is self-paired or when two suborbits are paired in terms of properties of the permutations that define the suborbits.
- Formulas are derived for the number of self-paired suborbits in terms of the cycle structure of group elements and character values.
The degree equitable connected cototal dominating graph 퐷푐 푒 (퐺) of a graph 퐺 = (푉, 퐸) is a graph with 푉 퐷푐 푒 퐺 = 푉(퐺) ∪ 퐹, where F is the set of all minimal degree equitable connected cototal dominating sets of G and with two vertices 푢, 푣 ∈ 푉(퐷푐 푒 (퐺)) are adjacent if 푢 = 푣 푎푛푑 푣 = 퐷푐 푒 is a minimal degree equitable connected dominating set of G containing u. In this paper we introduce this new graph valued function and obtained some results
This document introduces Dirac notation, which provides a concise way to represent states in a linear space without specifying a coordinate system. It summarizes:
1) Dirac notation uses "kets" to represent vectors and "bras" to represent their complex conjugates. Combining a bra and ket represents an inner product.
2) The outer product of two vectors represents a linear operator. In Dirac notation, a ket-bra combination represents an outer product, while a bra-ket combination represents an inner product.
3) Dirac notation allows representations of states, operators, and transformations between bases to be written independently of any particular coordinate system.
This document discusses the group SU(2)xU(1), which describes the electroweak interaction. It first covers relevant group theory concepts like Lie groups and representations. It then explains that SU(2) corresponds to rotations of spinors in real space, and physically represents weak isospin. Together with U(1), SU(2)xU(1) gives rise to the three weak gauge bosons through its symmetry with weak isospin. Representations of these groups relate their mathematical properties to observable physical phenomena.
sarminIJMA1-4-2015 forth paper after been publishingMustafa El-sanfaz
This document discusses the probability that a group element fixes a set and its application to generalized conjugacy class graphs. It begins with background on commutativity degree and graph theory concepts. It then reviews previous work calculating the probability for various groups and defining generalized conjugacy class graphs. The main results calculate the probability for semi-dihedral and quasi-dihedral groups as 1/2 and 1/3 respectively, and determine that the corresponding generalized conjugacy class graphs are K2 and Ke (empty graph).
This document discusses the probability that an element of a metacyclic 2-group fixes a set. It begins by providing background information on metacyclic groups and related concepts such as commutativity degree. It then summarizes previous works that have studied the probability of a group element fixing a set. The main results presented calculate the probability for various metacyclic 2-groups of negative type with nilpotency class of at least two. In particular, it determines the probability for metacyclic 2-groups of negative type with nilpotency class of at least three. It also calculates the probability for other specific metacyclic 2-group structures.
Polyadic systems and their representations are reviewed and a classification of general polyadic systems is presented. A new multiplace generalization of associativity preserving homomorphisms, a 'heteromorphism' which connects polyadic systems having unequal arities, is introduced via an explicit formula, together with related definitions for multiplace representations and multiactions. Concrete examples of matrix representations for some ternary groups are then reviewed.
MSC classes: 16T05, 16T25, 17A42, 20N15, 20F29, 20G05, 20G42, 57T05
The document discusses subgroups of groups, with examples. It defines a subgroup as a subset of a group that is closed under the group's operation and contains inverses and identities. Examples of groups given include the general linear group of invertible matrices, the symmetric group of permutations, and the integers under addition. Subgroups are discussed, including cyclic subgroups generated by a group element and its powers. Specific subgroups of the positive integers under addition are analyzed in detail.
The document summarizes research on the energy of graphs. It defines the energy of a graph as the sum of the absolute values of its eigenvalues. It shows that for any positive epsilon, there exist infinitely many values of n for which a k-regular graph of order n exists whose energy is arbitrarily close to the known upper bound for k-regular graphs. It also establishes the existence of equienergetic graphs that are not cospectral. Equienergetic graphs have the same energy even if they do not have the same spectrum of eigenvalues.
1) The document discusses the probability that an element of a dihedral group fixes a set under group actions like conjugation.
2) It defines the probability as the number of orbits of the set divided by the size of the set.
3) For a dihedral group G of order 2n, the probability is 4/3n^2 if n and n/2 are even, and 3/3n^2 if n is even and n/2 is odd.
International Journal of Humanities and Social Science Invention (IJHSSI)inventionjournals
International Journal of Humanities and Social Science Invention (IJHSSI) is an international journal intended for professionals and researchers in all fields of Humanities and Social Science. IJHSSI publishes research articles and reviews within the whole field Humanities and Social Science, new teaching methods, assessment, validation and the impact of new technologies and it will continue to provide information on the latest trends and developments in this ever-expanding subject. The publications of papers are selected through double peer reviewed to ensure originality, relevance, and readability. The articles published in our journal can be accessed online.
AGGREGATION OF OPINIONS FOR SYSTEM SELECTION USING APPROXIMATIONS OF FUZZY NU...mathsjournal
In this article we assume that experts express their view points by way of approximation of Triangular
fuzzy numbers. We take the help of fuzzy set theory concept to model the situation and present a method to
aggregate these approximations of triangular fuzzy numbers to obtain an overall approximation of
triangular fuzzy number for each system and then linear ordering done before the best system is chosen. A
comparison has been made betweenapproximation of triangular fuzzy systems and the corresponding fuzzy
triangular numbers systems. The notions like fuzziness and ambiguity for the approximation of triangular
fuzzy numbers are also found.
AGGREGATION OF OPINIONS FOR SYSTEM SELECTION USING APPROXIMATIONS OF FUZZY NU...mathsjournal
In this article we assume that experts express their view points by way of approximation of Triangular fuzzy numbers. We take the help of fuzzy set theory concept to model the situation and present a method to aggregate these approximations of triangular fuzzy numbers to obtain an overall approximation of triangular fuzzy number for each system and then linear ordering done before the best system is chosen. A comparison has been made between approximation of triangular fuzzy systems and the corresponding fuzzy triangular numbers systems. The notions like fuzziness and ambiguity for the approximation of triangular fuzzy numbers are also found.
AGGREGATION OF OPINIONS FOR SYSTEM SELECTION USING APPROXIMATIONS OF FUZZY NU...mathsjournal
In this article we assume that experts express their view points by way of approximation of Triangular
fuzzy numbers. We take the help of fuzzy set theory concept to model the situation and present a method to
aggregate these approximations of triangular fuzzy numbers to obtain an overall approximation of
triangular fuzzy number for each system and then linear ordering done before the best system is chosen. A
comparison has been made betweenapproximation of triangular fuzzy systems and the corresponding fuzzy
triangular numbers systems. The notions like fuzziness and ambiguity for the approximation of triangular
fuzzy numbers are also found.
This document investigates the transitivity, primitivity, ranks, and subdegrees of the direct product of the symmetric group acting on the Cartesian product of three sets. It proves that this action is both transitive and imprimitive for all 2n ≥ 6. The rank associated with the action is a constant 3/2. The subdegrees are calculated according to their increasing magnitude. Examples are provided to illustrate the ranks and subdegrees when the sets have 2, 3, and 4 elements, respectively.
Plan: 1. Classification of general polyadic systems and special elements. 2. Definition of n-ary semigroups and groups. 3. Homomorphisms of polyadic systems. 4. The Hosszú-Gluskin theorem and its “q-deformed” generalization. 5. Multiplace generalization of homorphisms - heteromorpisms. 6. Associativity quivers. 7. Multiplace representations and multiactions. 8. Examples of matrix multiplace representations for ternary groups. 9. Polyadic rings and fields. 10. Polyadic analogs of the integer number ring Z and the Galois field GF(p). 11. Equal sums of like powers Diophantine equation over polyadic integer numbers.
A Non Local Boundary Value Problem with Integral Boundary ConditionIJMERJOURNAL
This document discusses a non-local boundary value problem with an integral boundary condition for a second order differential equation. It begins by introducing the specific boundary value problem and providing relevant background information. It then establishes some preliminary definitions and results needed to prove existence and uniqueness of solutions. The key results proved are: 1) the Green's function for the corresponding homogeneous boundary value problem is derived; 2) it is shown that the unique solution can be written using this Green's function and an integral operator; and 3) an integral equation is obtained that can be used to solve for the unique solution.
International Journal of Engineering and Science Invention (IJESI) is an international journal intended for professionals and researchers in all fields of computer science and electronics. IJESI publishes research articles and reviews within the whole field Engineering Science and Technology, new teaching methods, assessment, validation and the impact of new technologies and it will continue to provide information on the latest trends and developments in this ever-expanding subject. The publications of papers are selected through double peer reviewed to ensure originality, relevance, and readability. The articles published in our journal can be accessed online.
Similar to S. Duplij, "Membership deformation of commutativity and obscure n-ary algebras", Journal of Mathematical Physics, Analysis, Geometry, 2021, vol. 17, No 4, pp. 441-462
Abstract: Algebraic structures in which the property of commutativity is substituted by the me- diality property are introduced. We consider (associative) graded algebras and instead of almost commutativity (generalized commutativity or e-commutativity), we introduce almost mediality (“commutativity-to-mediality” ansatz). Higher graded twisted products and “deforming” brackets (being the medial analog of Lie brackets) are defined. Toyoda’s theorem which connects (universal) medial algebras with abelian algebras is proven for the almost medial graded algebras introduced here. In a similar way we generalize tensor categories and braided tensor categories. A polyadic (non-strict) tensor category has an n-ary tensor product as an additional multiplication with (n-1) associators of the arity (2n-1) satisfying a (n^2-1)-gon relation, which is a polyadic analog of the pentagon axiom. Polyadic monoidal categories may contain several unit objects, and it is also possible that all objects are units. A new kind of polyadic categories (called groupal) is defined: they are close to monoidal categories but may not contain units: instead the querfunctor and (natural) functorial isomorphisms, the quertors, are considered (by analogy with the querelements in n-ary groups). The arity-nonreducible n-ary braiding is introduced and the equation for it is derived, which for n=2 coincides with the Yang–Baxter equation. Then, analogously to the first part of the paper, we introduce “medialing” instead of braiding and construct “medialed” polyadic tensor categories.
Brian Covello: Research in Mathematical Group Representation Theory and SymmetryBrian Covello
Brian Covello's research review on group representation theory and symmetry. In the mathematical field of representation theory, group representations describe abstract groups in terms of linear transformations of vector spaces; in particular, they can be used to represent group elements as matrices so that the group operation can be represented by matrix multiplication. Representations of groups are important because they allow many group-theoretic problems to be reduced to problems in linear algebra, which is well understood. They are also important in physics because, for example, they describe how the symmetry group of a physical system affects the solutions of equations describing that system.
The term representation of a group is also used in a more general sense to mean any "description" of a group as a group of transformations of some mathematical object. More formally, a "representation" means a homomorphism from the group to the automorphism group of an object. If the object is a vector space we have a linear representation. Some people use realization for the general notion and reserve the term representation for the special case of linear representations.
In mathematics, representation theory is a technique for analyzing abstract groups in terms of groups of linear transformations.
For the symmetric groups, a graphical method exists to determine their finite representations that associates with each representation a Young tableau (also known as a Young diagram). The direct product of two representations may easily be decomposed into a direct sum of irreducible representation by a set of rules for the "direct product" of two Young diagrams. Each diagram also contains information about the dimension of the representation to which it corresponds. Young tableaux provide a far cleaner way of working with representations than the algebraic methods that underlie their use.
Pseudo Bipolar Fuzzy Cosets of Bipolar Fuzzy and Bipolar Anti-Fuzzy HX Subgroupsmathsjournal
In this paper, we introduce the concept of pseudo bipolar fuzzy cosets, pseudo bipolar fuzzy double cosets of a bipolar fuzzy and bipolar anti-fuzzy subgroups. We also establish these concepts to bipolar fuzzy and bipolar anti-fuzzy HX subgroups of a HX group with suitable examples. Also we discuss some of their relative properties.
This document explores the Cayley graph and geodesics of the braid group on four strands (B4). It first provides background on words, groups, Cayley graphs, and geodesics of the group Z * Z2. It then builds the Cayley graph of a subgroup H = <a2, b2, c2> of B4 by embedding H into R3. Finally, it discusses potential applications of understanding the Cayley graph of this subgroup for exploring the larger Cayley graph of B4.
Discrete Mathematics and Its Applications 7th Edition Rose Solutions ManualTallulahTallulah
Full download : http://alibabadownload.com/product/discrete-mathematics-and-its-applications-7th-edition-rose-solutions-manual/ Discrete Mathematics and Its Applications 7th Edition Rose Solutions Manual
Zaharescu__Eugen Color Image Indexing Using Mathematical MorphologyEugen Zaharescu
This document discusses using mathematical morphology techniques for color image indexing. It proposes using morphological signatures as powerful descriptions of image content. Morphological signatures are defined as a series of morphological operations (openings and closings) using structuring elements of varying sizes. For color images, morphological feature extraction algorithms are used that include more complex operators like color gradient, homotopic skeleton, and Hit-or-Miss transform. Examples applying this approach on real images are also provided.
This document contains the solutions to homework problems from a group theory course. It includes:
1) Finding inverses in groups of integers and units of rings.
2) Simplifying expressions in groups and showing a group is Abelian.
3) Proving properties of groups like every element is the inverse of another.
4) Examples of groups like the special linear group and orthogonal group.
The document discusses the differences and relationships between quadratic functions and quadratic equations. It notes that quadratic functions can take any real number as an input, while quadratic equations only have two solutions. The roots of a quadratic equation are also the x-intercepts of the graph of the corresponding quadratic function. The remainder theorem states that the value of a polynomial when a number is substituted for the variable is equal to the remainder when the polynomial is divided by the linear factor corresponding to that number. This connects the roots of quadratic equations to factors of quadratic functions. A quadratic can only have two distinct roots, as having three would mean it has an infinite number of roots.
This paper investigates fuzzy triangle and similarity of fuzzy triangles. Five rules to determine similarity of
fuzzy triangles are studied. Extension principle and concept of same and inverse points in fuzzy geometry
are used to analyze the proposed concepts.
The document discusses finite fields and related algebraic concepts. It begins by defining groups, rings, and fields. It then focuses on finite fields, particularly GF(p) fields consisting of integers modulo a prime p. It discusses finding multiplicative inverses in such fields using the extended Euclidean algorithm. As an example, it finds the inverse of 550 modulo 1759.
This document provides an introduction and overview of a paper that will prove Lagrange's Four Square Theorem using quaternion algebras. It will introduce quaternion arithmetic and show that the set of quaternions being considered forms a non-commutative ring. This will allow the author to eventually prove that every positive integer can be expressed as the sum of four integer squares.
This document provides a basic refresher on Green's functions as applied to scalar field theories. It outlines the Lagrangian for a basic Higgs boson theory and considers perturbative solutions. The Green's function is expressed as a Fourier integral, and contour integration is used to derive forms for both massless and massive scalar fields. For a massless scalar, the Green's function is shown to be proportional to the difference of two delta functions representing forward and backward traveling waves.
Pseudo Bipolar Fuzzy Cosets of Bipolar Fuzzy and Bipolar Anti-Fuzzy HX Subgroupsmathsjournal
In this paper, we introduce the concept of pseudo bipolar fuzzy cosets, pseudo bipolar fuzzy double cosets of a bipolar fuzzy and bipolar anti-fuzzy subgroups. We also establish these concepts to bipolar fuzzy and bipolar anti-fuzzy HX subgroups of a HX group with suitable examples. Also we discuss some of their relative properties.
The document discusses logical equivalence and provides a truth table to show that the statements (P ∨ Q) and (¬P) ∧ (¬Q) are logically equivalent. It shows that ¬(P ∨ Q) ↔ (¬P) ∧ (¬Q) is true according to the truth table.
Projection of a Vector upon a Plane from an Arbitrary Angle, via Geometric (C...James Smith
We show how to calculate the projection of a vector, from an arbitrary direction, upon a given plane whose orientation is characterized by its normal vector, and by a bivector to which the plane is parallel. The resulting solutions are tested by means of an interactive GeoGebra construction.
The document discusses functions and evaluating functions. It provides examples of determining if a given equation is a function using the vertical line test and evaluating functions by substituting values into the function equation. It also includes examples of evaluating composite functions using flow diagrams to illustrate the steps of evaluating each individual function.
We first consider a ternary matrix group related to the von Neumann regular semigroups and to the Artin braid group (in an algebraic way). The product of a special kind of ternary matrices (idempotent and of finite order) reproduces the regular semigroups and braid groups with their binary multiplication of components. We then generalize the construction to the higher arity case, which allows us to obtain some higher degree versions (in our sense) of the regular semigroups and braid groups. The latter are connected with the generalized polyadic braid equation and R-matrix introduced by the author, which differ from any version of the well-known tetrahedron equation and higher-dimensional analogs of the Yang-Baxter equation, n-simplex equations. The higher degree (in our sense) Coxeter group and symmetry groups are then defined, and it is shown that these are connected only in the non-higher case.
Mathematics (from Greek μάθημα máthēma, “knowledge, study, learning”) is the study of topics such as quantity (numbers), structure, space, and change. There is a range of views among mathematicians and philosophers as to the exact scope and definition of mathematics
This document describes the Witch of Agnesi curve. It begins by introducing the curve and how it is constructed geometrically based on a circle. Vector-valued functions are derived to describe the curve parametrically, and the rectangular equation is obtained by eliminating the parameter. Specifically:
1) Vector-valued functions rA(θ) and rB(θ) are derived to describe points A and B on the curve parametrically.
2) These are combined to obtain the vector-valued function r(θ) for the overall Witch of Agnesi curve.
3) The rectangular equation y=(8a^3)/(x^2+4a^2) is then derived by eliminating
Similar to S. Duplij, "Membership deformation of commutativity and obscure n-ary algebras", Journal of Mathematical Physics, Analysis, Geometry, 2021, vol. 17, No 4, pp. 441-462 (20)
We introduce a polyadic analog of supersymmetry by considering the polyadization procedure (proposed by the author) applied to the toy model of one-dimensional supersymmetric quantum mechanics. The supercharges are generalized to polyadic ones using the n-ary sigma matrices defined in earlier work. In this way, polyadic analogs of supercharges and Hamiltonians take the cyclic shift block matrix form, and they can describe multidegenerated quantum states in a way that is different from the N-extended and multigraded SQM. While constructing the corresponding supersymmetry as an n-ary Lie superalgebra (n is the arity of the initial associative multiplication), we have found new brackets with a reduced arity of 2<=m<n and a related series of m-ary superalgebras (which is impossible for binary superalgebras). In the case of even reduced arity m we obtain a tower of higher order (as differential operators) even Hamiltonians, while for m odd we get a tower of higher order odd supercharges, and the corresponding algebra consists of the odd sector only.
https://arxiv.org/abs/2406.02188
We generalize σ-matrices to higher arities using the polyadization procedure proposed by the author. We build the nonderived n-ary version of SU(2) using cyclic shift block matrices. We define a new function, the polyadic trace, which has an additivity property analogous to the ordinary trace for block diagonal matrices and which can be used to build the corresponding invariants. The elementary Σ-matrices introduced here play a role similar to ordinary matrix units, and their sums are full Σ-matrices which can be treated as a polyadic analog of σ-matrices. The presentation of n-ary SU(2) in terms of full Σ-matrices is done using the Hadamard product. We then generalize the Pauli group in two ways: for the binary case we introduce the extended phase shifted σ-matrices with multipliers in cyclic groups of order 4q (q>4), and for the polyadic case we construct the correspondent finite n-ary semigroup of phase-shifted elementary Σ-matrices of order 4q(n-1)+1, and the finite n-ary group of phase-shifted full Σ-matrices of order 4q. Finally, we introduce the finite n-ary group of heterogeneous full Σ^het-matrices of order (4q(n-1))^4. Some examples of the lowest arities are presented.
https://arxiv.org/abs/2403.19361. *) https://www.researchgate.net/publication/360882654_Polyadic_Algebraic_Structures, https://iopscience.iop.org/book/978-0-7503-2648-3.
CONTENTS 1. INTRODUCTION 2. PRELIMINARIES 3. POLYADIC SU p2q 4. POLYADIC ANALOG OF SIGMA MATRICES 4.1. Elementary Σ-matrices 4.2. Full Σ-matrices 5. TERNARY SUp2q AND Σ-MATRICES 6. n-ARY SEMIGROUPS AND GROUPS OF Σ-MATRICES 6.1. The Pauli group 6.2. Groups of phase-shifted sigma matrices 6.3. The n-ary semigroup of elementary Σ-matrices 6.4. The n-ary group of full Σ-matrices 7. HETEROGENEOUS FULL Σ-MATRICES REFERENCES
We introduce a new class of division algebras, the hyperpolyadic algebras, which correspond to the binary division algebras R, C, H, O without considering new elements. First, we use the matrix polyadization procedure proposed earlier which increases the dimension of the algebra. The algebras obtained in this way obey binary addition and a nonderived n-ary multiplication and their subalgebras are division n-ary algebras. For each invertible element we define a new norm which is polyadically multiplicative, and the corresponding map is a n-ary homomorphism. We define a polyadic analog of the Cayley-Dickson construction which corresponds to the consequent embedding of monomial matrices from the polyadization procedure. We then obtain another series of n-ary algebras corresponding to the binary division algebras which have a higher dimension, that is proportional to the intermediate arities. Second, a new polyadic product of vectors in any vector space is defined. Endowed with this product the vector space becomes a polyadic algebra which is a division algebra under some invertibility conditions, and its structure constants are computed. Third, we propose a new iterative process ("imaginary tower"), which leads to nonunital nonderived ternary division algebras of half the dimension, which we call "half-quaternions" and "half-octonions". The latter are not subalgebras of the binary division algebras, but subsets only, since they have different arity. Nevertheless, they are actually ternary division algebras, because they allow division, and their nonzero elements are invertible. From the multiplicativity of the introduced "half-quaternion" norm we obtain the ternary analog of the sum of two squares identity. We prove that the unitless ternary division algebra of imaginary "half-octonions" we have introduced is ternary alternative.
https://arxiv.org/abs/2312.01366
https://www.amazon.com/s?k=duplij
This document introduces hyperpolyadic structures, which are n-ary analogs of binary division algebras like the reals, complexes, quaternions, and octonions. It proposes two constructions:
1) A matrix polyadization procedure that increases the dimension of a binary algebra to obtain a corresponding n-ary algebra by using cyclic shift block matrices.
2) An "imaginary tower" construction on subsets of binary division algebras that gives nonderived ternary division algebras of half the original dimension, called "half-quaternions" and "half-octonions."
178 pages, 6 Chapters. DOI: 10.1088/978-0-7503-5281-9. This book presents new and prospective approaches to quantum computing. It introduces the many possibilities to further develop the mathematical methods of quantum computation and its applications to future functioning and operational quantum computers. In this book, various extensions of the qubit concept, starting from obscure qubits, superqubits and other fundamental generalizations, are considered. New gates, known as higher braiding gates, are introduced. These new gates are implemented as an additional stage of computation for topological quantum computations and unconventional computing when computational complexity is affected by its environment. Other generalizations are considered and explained in a widely accessible and easy-to-understand way. Presented in a book for the first time, these new mathematical methods will increase the efficiency and speed of quantum computing.Part of IOP Series in Coherent Sources, Quantum Fundamentals, and Applications. Key features • Provides new mathematical methods for quantum computing. • Presents material in a widely accessible way. • Contains methods for unconventional computing where there is computational complexity. • Provides methods to increase speed and efficiency. For the light paperback version use MyPrint service here: https://iopscience.iop.org/book/mono/978-0-7503-5281-9, also PDF, ePub and Kindle. For the libraries and direct ordering from IOP: https://store.ioppublishing.org/page/detail/Innovative-Quantum-Computing/?K=9780750352796. Amazon ordering: https://www.amazon.de/gp/product/0750352795
Quantum field theory has achieved some extraordinary successes over the past sixty years; however, it retains a set of challenging problems. It is not yet able to describe gravity in a mathematically consistent manner. CP violation remains unexplained. Grand unified theories have been eliminated by experiment, and a viable unification model has yet to replace them. Even the highly successful quantum chromodynamics, despite significant computational achievements, struggles to provide theoretical insight into the low-energy regime of quark physics, where the nature and structure of hadrons are determined. The only proposal for resolving the fine-tuning problem, low-energy supersymmetry, has been eliminated by results from the LHC. Since mathematics is the true and proper language for quantitative physical models, we expect new mathematical constructions to provide insight into physical phenomena and fresh approaches for building physical theories.
https://www.mdpi.com/books/book/6455
We investigate finite field extensions of the unital 3-field, consisting of the unit element alone, and find considerable differences to classical field theory. Furthermore, the structure of their automorphism groups is clarified and the respective subfields are determined. In an attempt to better understand the structure of 3-fields that show up here we look at ways in which new unital 3-fields can be obtained from known ones in terms of product structures, one of them the Cartesian product which has no analogue for binary fields.
https://arxiv.org/abs/2212.08606
In this note we, first, recall that the sets of all representatives of some special ordinary residue classes become (m, n)-rings. Second, we introduce a possible p-adic analog of the residue class modulo a p-adic integer. Then, we find the relations which determine, when the representatives form a (m, n)-ring. At the very short spacetime scales such rings could lead to new symmetries of modern particle models.
Книга «Поэфизика души» представляет собой полное, на момент издания 2022 г., собрание прозаических произведений автора. Как рассказы, так и миниатюры на полстраницы, пронизаны эмоциями и искренними чувствами на грани срыва, что заставляет возвращаться к ним вновь. Буквально каждое слово рисует уникальные картины нетривиальных внутренних миров автора, которые перетекают друг в друга поэтическими образами, воплощенными в прозе. Также включены юмористические путевые заметки о поездке в Китай.
Книга "Поэфизика души", Степан Дуплий – полное собрание прозы 2022, 230 стр. вышла в Ridero: https://ridero.ru/books/poefizika_dushi и Kindle Edition file на Амазоне: https://amazon.com/dp/B0B9Y4X4VJ . "Бумажную" книгу можно заказать на Озоне https://ozon.ru/product/poefizika-dushi-682515885/?sh=XPu-9Sb42Q и на ЛитРес: https://litres.ru/stepan-dupliy/poefizika-dushi-emocionalnaya-proza-kitayskiy-shtrih-punktir . Google books: https://books.google.com/books?id=9w2DEAAAQBAJ .
Книгу можно заказать из-за рубежа на AliExpress: https://aliexpress.com/item/1005004660613179.html .
Книга «Гравитация страсти» представляет собой полное собрание стихотворений автора на момент издания (август, 2022). Стихотворения пронизаны эмоциями и искренними чувствами на грани срыва, что заставляет возвращаться к ним вновь. Буквально каждое слово рисует уникальные картины нетривиальных внутренних миров автора, которые перетекают друг в друга необычными поэтическими образами.
Книга "Гравитация страсти", Степан Дуплий - полное собрание стихотворений 2022, 338 стр. вышла в Ridero: https://ridero.ru/books/gravitaciya_strasti
. Книга в мягкой обложке доступна для заказа на Ozon.ru: https://ozon.ru/product/gravitatsiya-strasti-707068219/?oos_search=false&sh=XPu-9TbW9Q
, на Litres.ru: https://www.litres.ru/stepan-dupliy/gravitaciya-strasti-stihotvoreniya , за рубежом на AliExpress: https://aliexpress.com/item/1005004722134442.html , и в электронном виде Kindle file на Amazon.com: https://amazon.com/dp/B0BDFTT33W .
A generalization of the semisimplicity concept for polyadic algebraic structures is proposed. If semisimple structures can be presented as block diagonal matrices (resulting in the Wedderburn decomposition), general forms of polyadic structures are given by block-shift matrices. We combine these forms to get a general shape of semisimple nonderived polyadic structures (“double” decomposition of two kinds). We then introduce the polyadization concept (a “polyadic constructor”), according to which one can construct a nonderived polyadic algebraic structure of any arity from a given binary structure. The polyadization of supersymmetric structures is also discussed. The “deformation” by shifts of operations on the direct power of binary structures is defined and used to obtain a nonderived polyadic multiplication. Illustrative concrete examples for the new constructions are given.
A generalization of the semisimplicity concept for polyadic algebraic structures is proposed. If semisimple structures can be presented in the block-diagonal matrix form (Wedderburn decomposition), a general form of polyadic structures is given by block-shift matrices. We combine these forms in a special way to get a general shape of semisimple nonderived polyadic structures. We then introduce the polyadization concept (a "polyadic constructor") according to which one can construct a nonderived polyadic algebraic structure of any arity from a given binary structure. The polyadization of supersymmetric structures is also discussed. The "deformation" by shifts of operations on the direct power of binary structures is defined and used to obtain a nonderived polyadic multiplication. Illustrative concrete examples for the new constructions are given.
We generalize the Grothendieck construction of the completion group for a monoid (being the starting point of the algebraic $K$-theory) to the polyadic case, when an initial semigroup is $m$-ary and the corresponding final class group $K_{0}$ can be $n$-ary. As opposed to the binary case: 1) there can be different polyadic direct products which can be built from one polyadic semigroup; 2) the final arity $n$ of the class groups can be different from the arity $m$ of initial semigroup; 3) commutative initial $m$-ary semigroups can lead to noncommutative class $n$-ary groups; 4) the identity is not necessary for initial $m$-ary semigroup to obtain the class $n$-ary group, which in its turn can contain no identity at all. The presented numerical examples show that the properties of the polyadic completion groups are considerably nontrivial and have more complicated structure than in the binary case.
In book: S. Duplij, "Polyadic Algebraic Structures", 2022, IOP Publishing (Bristol), Section 1.5. See https://iopscience.iop.org/book/978-0-7503-2648-3
https://arxiv.org/abs/2206.14840
The book is devoted to the thorough study of polyadic (higher arity) algebraic structures, which has a long history, starting from 19th century. The main idea was to take a single set, closed under one binary operation, and to 'generalize' it by increasing the arity of the operation, called a polyadic operation. Until now, a general approach to polyadic concrete many-set algebraic structures was absent. We propose to investigate algebraic structures in the 'concrete way' and provide consequent 'polyadization' of each operation, starting from group-like structures and finishing with the Hopf algebra structures. Polyadic analogs of homomorphisms which change arity, heteromorphisms, are introduced and applied for constructing unusual representations, multiactions, matrix representations and polyadic analogs of direct product. We provide the polyadic generalization of the Yang–Baxter equation, find its constant solutions, and introduce polyadic tensor categories.
Suitable for university students of advanced level algebra courses and mathematical physics courses.
Key features
• Provides a general, unified approach
• Widens readers perspective of the possibilities to develop standard algebraic structures
• Provides the new kind of homomorphisms changing the arity, heteromorphisms, are introduced and applied for construction of new representations, multiactions and matrix representations
• Presents applications of 'polyadization' approach to concrete algebraic structures
We propose a generalization of the external direct product concept to polyadic algebraic structures which introduces novel properties in two ways: the arity of the product can differ from that of the constituents, and the elements from different multipliers can be “entangled” such that the product is no longer componentwise. The main property which we want to preserve is associativity, which is gained by using the associativity quiver technique, which was provided previously. For polyadic semigroups and groups we introduce two external products: (1) the iterated direct product, which is componentwise but can have an arity that is different from the multipliers and (2) the hetero product (power), which is noncomponentwise and constructed by analogy with the heteromorphism concept introduced earlier. We show in which cases the product of polyadic groups can itself be a polyadic group. In the same way, the external product of polyadic rings and fields is generalized. The most exotic case is the external product of polyadic fields, which can be a polyadic field (as opposed to the binary fields), in which all multipliers are zeroless fields. Many illustrative concrete examples are presented. Thу proposed construction can lead to a new category of polyadic fields.
https://arxiv.org/abs/2201.08479
We propose a generalization of the external direct product concept to polyadic algebraic structures which introduces novel properties in two ways: the arity of the product can differ from that of the constituents, and the elements from different multipliers can be "entangled" such that the product is no longer componentwise. The main property which we want to preserve is associativity, which is gained by using the associativity quiver technique provided earlier. For polyadic semigroups and groups we introduce two external products: 1) the iterated direct product which is componentwise, but can have arity different from the multipliers; 2) the hetero product (power) which is noncomponentwise and constructed by analogy with the heteromorphism concept introduced earlier. It is shown in which cases the product of polyadic groups can itself be a polyadic group. In the same way the external product of polyadic rings and fields is generalized. The most exotic case is the external product of polyadic fields, which can be a polyadic field (as opposed to the binary fields), when all multipliers are zeroless fields, which can lead to a new category of polyadic fields. Many illustrative concrete examples are presented.
We generalize the regularity concept for semigroups in two ways simultaneously: to higher regularity and to higher arity. We show that the one-relational and multi-relational formulations of higher regularity do not coincide, and each element has several inverses. The higher idempotents are introduced, and their commutation leads to unique inverses in the multi-relational formulation, and then further to the higher inverse semigroups. For polyadic semigroups we introduce several types of higher regularity which satisfy the arity invariance principle as introduced: the expressions should not depend of the numerical arity values, which allows us to provide natural and correct binary limits. In the first definition no idempotents can be defined, analogously to the binary semigroups, and therefore the uniqueness of inverses can be governed by shifts. In the second definition called sandwich higher regularity, we are able to introduce the higher polyadic idempotents, but their commutation does not provide uniqueness of inverses, because of the middle terms in the higher polyadic regularity conditions. Finally, we introduce the sandwich higher polyadic regularity with generalized idempotents.
This document discusses generalizing the concept of regularity for semigroups in two ways: higher regularity and higher arity (polyadic semigroups).
For binary semigroups, higher n-regularity is defined such that each element has multiple inverse elements rather than a single inverse. However, for binary semigroups this reduces to ordinary regularity. For polyadic semigroups, several definitions of regularity and higher regularity are introduced to account for the higher arity operations. Idempotents and identities are also generalized for polyadic semigroups. It is shown that the definitions of regularity for polyadic semigroups cannot be reduced in the same
In this note we generalize the regularity concept for semigroups in two ways simul- taneously: to higher regularity and to higher arity. We show that the one-relational and multi-relational formulations of higher regularity do not coincide, and each element has several inverses. The higher idempotents are introduced, and their commutation leads to unique inverses in the multi-relational formulation, and then further to the higher inverse semigroups. For polyadic semigroups we introduce several types of higher regularity which satisfy the arity invariance principle as introduced: the expressions should not depend of the numerical arity values, which allows us to provide natural and correct binary limits. In the first definition no idempotents can be defined, analogously to the binary semigroups, and therefore the uniqueness of inverses can be governed by shifts. In the second definition called sandwich higher regularity, we are able to introduce the higher polyadic idempotents, but their commutation does not provide uniqueness of inverses, because of the middle terms in the higher polyadic regularity conditions.
A new kind of quantum gates, higher braiding gates, as matrix solutions of the polyadic braid equations (different from the generalized Yang–Baxter equations) is introduced. Such gates lead to another special multiqubit entanglement that can speed up key distribution and accelerate algorithms. Ternary braiding gates acting on three qubit states are studied in detail. We also consider exotic non-invertible gates, which can be related with qubit loss, and define partial identities (which can be orthogonal), partial unitarity, and partially bounded operators (which can be non-invertible). We define two classes of matrices, star and circle ones, such that the magic matrices (connected with the Cartan decomposition) belong to the star class. The general algebraic structure of the introduced classes is described in terms of semigroups, ternary and 5-ary groups and modules. The higher braid group and its representation by the higher braid operators are given. Finally, we show, that for each multiqubit state, there exist higher braiding gates that are not entangling, and the concrete conditions to be non-entangling are given for the obtained binary and ternary gates.
PPT on Direct Seeded Rice presented at the three-day 'Training and Validation Workshop on Modules of Climate Smart Agriculture (CSA) Technologies in South Asia' workshop on April 22, 2024.
The cost of acquiring information by natural selectionCarl Bergstrom
This is a short talk that I gave at the Banff International Research Station workshop on Modeling and Theory in Population Biology. The idea is to try to understand how the burden of natural selection relates to the amount of information that selection puts into the genome.
It's based on the first part of this research paper:
The cost of information acquisition by natural selection
Ryan Seamus McGee, Olivia Kosterlitz, Artem Kaznatcheev, Benjamin Kerr, Carl T. Bergstrom
bioRxiv 2022.07.02.498577; doi: https://doi.org/10.1101/2022.07.02.498577
Current Ms word generated power point presentation covers major details about the micronuclei test. It's significance and assays to conduct it. It is used to detect the micronuclei formation inside the cells of nearly every multicellular organism. It's formation takes place during chromosomal sepration at metaphase.
The technology uses reclaimed CO₂ as the dyeing medium in a closed loop process. When pressurized, CO₂ becomes supercritical (SC-CO₂). In this state CO₂ has a very high solvent power, allowing the dye to dissolve easily.
When I was asked to give a companion lecture in support of ‘The Philosophy of Science’ (https://shorturl.at/4pUXz) I decided not to walk through the detail of the many methodologies in order of use. Instead, I chose to employ a long standing, and ongoing, scientific development as an exemplar. And so, I chose the ever evolving story of Thermodynamics as a scientific investigation at its best.
Conducted over a period of >200 years, Thermodynamics R&D, and application, benefitted from the highest levels of professionalism, collaboration, and technical thoroughness. New layers of application, methodology, and practice were made possible by the progressive advance of technology. In turn, this has seen measurement and modelling accuracy continually improved at a micro and macro level.
Perhaps most importantly, Thermodynamics rapidly became a primary tool in the advance of applied science/engineering/technology, spanning micro-tech, to aerospace and cosmology. I can think of no better a story to illustrate the breadth of scientific methodologies and applications at their best.
(June 12, 2024) Webinar: Development of PET theranostics targeting the molecu...Scintica Instrumentation
Targeting Hsp90 and its pathogen Orthologs with Tethered Inhibitors as a Diagnostic and Therapeutic Strategy for cancer and infectious diseases with Dr. Timothy Haystead.
EWOCS-I: The catalog of X-ray sources in Westerlund 1 from the Extended Weste...Sérgio Sacani
Context. With a mass exceeding several 104 M⊙ and a rich and dense population of massive stars, supermassive young star clusters
represent the most massive star-forming environment that is dominated by the feedback from massive stars and gravitational interactions
among stars.
Aims. In this paper we present the Extended Westerlund 1 and 2 Open Clusters Survey (EWOCS) project, which aims to investigate
the influence of the starburst environment on the formation of stars and planets, and on the evolution of both low and high mass stars.
The primary targets of this project are Westerlund 1 and 2, the closest supermassive star clusters to the Sun.
Methods. The project is based primarily on recent observations conducted with the Chandra and JWST observatories. Specifically,
the Chandra survey of Westerlund 1 consists of 36 new ACIS-I observations, nearly co-pointed, for a total exposure time of 1 Msec.
Additionally, we included 8 archival Chandra/ACIS-S observations. This paper presents the resulting catalog of X-ray sources within
and around Westerlund 1. Sources were detected by combining various existing methods, and photon extraction and source validation
were carried out using the ACIS-Extract software.
Results. The EWOCS X-ray catalog comprises 5963 validated sources out of the 9420 initially provided to ACIS-Extract, reaching a
photon flux threshold of approximately 2 × 10−8 photons cm−2
s
−1
. The X-ray sources exhibit a highly concentrated spatial distribution,
with 1075 sources located within the central 1 arcmin. We have successfully detected X-ray emissions from 126 out of the 166 known
massive stars of the cluster, and we have collected over 71 000 photons from the magnetar CXO J164710.20-455217.
Describing and Interpreting an Immersive Learning Case with the Immersion Cub...Leonel Morgado
Current descriptions of immersive learning cases are often difficult or impossible to compare. This is due to a myriad of different options on what details to include, which aspects are relevant, and on the descriptive approaches employed. Also, these aspects often combine very specific details with more general guidelines or indicate intents and rationales without clarifying their implementation. In this paper we provide a method to describe immersive learning cases that is structured to enable comparisons, yet flexible enough to allow researchers and practitioners to decide which aspects to include. This method leverages a taxonomy that classifies educational aspects at three levels (uses, practices, and strategies) and then utilizes two frameworks, the Immersive Learning Brain and the Immersion Cube, to enable a structured description and interpretation of immersive learning cases. The method is then demonstrated on a published immersive learning case on training for wind turbine maintenance using virtual reality. Applying the method results in a structured artifact, the Immersive Learning Case Sheet, that tags the case with its proximal uses, practices, and strategies, and refines the free text case description to ensure that matching details are included. This contribution is thus a case description method in support of future comparative research of immersive learning cases. We then discuss how the resulting description and interpretation can be leveraged to change immersion learning cases, by enriching them (considering low-effort changes or additions) or innovating (exploring more challenging avenues of transformation). The method holds significant promise to support better-grounded research in immersive learning.
Authoring a personal GPT for your research and practice: How we created the Q...Leonel Morgado
Thematic analysis in qualitative research is a time-consuming and systematic task, typically done using teams. Team members must ground their activities on common understandings of the major concepts underlying the thematic analysis, and define criteria for its development. However, conceptual misunderstandings, equivocations, and lack of adherence to criteria are challenges to the quality and speed of this process. Given the distributed and uncertain nature of this process, we wondered if the tasks in thematic analysis could be supported by readily available artificial intelligence chatbots. Our early efforts point to potential benefits: not just saving time in the coding process but better adherence to criteria and grounding, by increasing triangulation between humans and artificial intelligence. This tutorial will provide a description and demonstration of the process we followed, as two academic researchers, to develop a custom ChatGPT to assist with qualitative coding in the thematic data analysis process of immersive learning accounts in a survey of the academic literature: QUAL-E Immersive Learning Thematic Analysis Helper. In the hands-on time, participants will try out QUAL-E and develop their ideas for their own qualitative coding ChatGPT. Participants that have the paid ChatGPT Plus subscription can create a draft of their assistants. The organizers will provide course materials and slide deck that participants will be able to utilize to continue development of their custom GPT. The paid subscription to ChatGPT Plus is not required to participate in this workshop, just for trying out personal GPTs during it.
S. Duplij, "Membership deformation of commutativity and obscure n-ary algebras", Journal of Mathematical Physics, Analysis, Geometry, 2021, vol. 17, No 4, pp. 441-462
1. Journal of Mathematical Physics, Analysis, Geometry
2021, Vol. 17, No. 4, pp. 441–462
doi:
Membership Deformation of Commutativity
and Obscure n-ary Algebras
Steven Duplij
A general mechanism for “breaking” commutativity in algebras is pro-
posed: if the underlying set is taken to be not a crisp set, but rather an ob-
scure/fuzzy set, the membership function, reflecting the degree of truth that
an element belongs to the set, can be incorporated into the commutation re-
lations. The special “deformations” of commutativity and ε-commutativity
are introduced in such a way that equal degrees of truth result in the “non-
deformed” 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.
Key words: almost commutative algebra, obscure algebra, membership
deformation, fuzzy set, membership function, n-ary algebra, Lie algebra,
projective representation
Mathematical Subject Classification 2010: 16U80, 20C35, 20N15, 20N25
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 supersymme-
try 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 ar-
bitrary elements. The general approach is based on the 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 a principally new mechanism for “deformation” of commu-
tativity which comes from incorporating the ideas of vagueness in logic [22] to
algebra. First, take the underlying set of the algebra not as a crisp set, but as an
obscure/fuzzy set [23]. 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 [5]. Third, introduce
c
Steven Duplij, 2021
2. 442 Steven Duplij
a special “membership deformation” of the commutation relations, so to speak
the difference of the degree of truth, which determines a “measure of noncom-
mutativity”, whereby the elements having equal membership functions commute.
Such procedure can be also interpreted as the “continuous noncommutativity”,
because the membership function is usually continuous. Likewise we “deform”
ε-commutativity relations and ε-Lie algebras [20,21]. Then we universalize and
apply the above constructions to n-ary algebras [17] for which we also study
projective representations generalizing the binary ones [27].
2. Preliminaries
First recall the main features of the standard gradation concept and of gen-
eralized (almost) commutativity (or ε-commutativity) [20,21].
Let k be a unital field (with unit 1 ∈ k and zero 0 ∈ k) and A = hA | ·, +i be an
associative algebra over k having zero z ∈ A and unit e ∈ A (for unital algebras).
A graded algebra AG (G-graded k-algebra) is a direct sum of subalgebras AG =
L
g∈G Ag, where G = hG | +0i is a grading group (an abelian (finite) group with
“unit” 0 ∈ G) and the set multiplication is (“respecting gradation”)
Ag · Ah ⊆ Ag+0h, g, h ∈ G. (2.1)
The elements of subsets a = a(g) ∈ Ag with “full membership”are G -
homogeneous of degree g
g ≡ deg a(g)
= deg (a) = a0
(g) ≡ a0
∈ G, a = a(g) ∈ 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 [8]. The morphisms
ϕ : AG → BG acting on homogeneous elements from Ai should be compatible
with the grading ϕ (Ag) ⊂ Bg, g ∈ G, while ker ϕ is a 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., [4,8]).
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
ε(2) : G × G → k× (where k× = k 0) can be introduced [20,21] as
a · b = ε(2)
a0
, b0
b · a, a, b ∈ A, a0
, b0
∈ G. (2.3)
The properties of the commutation factor ε(2) under double permutation and
associativity
ε(2)
a0
, b0
ε(2)
b0
, a0
= 1, (2.4)
ε(2)
a0
, b0
+ c0
= ε(2)
a0
, b0
ε(2)
a0
, c0
, (2.5)
ε(2)
a0
+ b0
, c0
= ε(2)
a0
, c0
ε(2)
b0
, c0
, a0
, b0
, c0
∈ G, (2.6)
3. Membership Deformation of Commutativity and Obscure n-ary Algebras 443
make ε(2) a special 2-cocycle on the group G [4]. The conditions (2.4)–(2.6) imply
that ε(2) (a0, b0) 6= 0, ε(2) (a0, a0)
2
= 1, ε(2) (a0, 0) = ε(2) (0, a0) = 1, and 0 ∈ G.
A graded algebra AG endowed with the commutation factor ε(2) satisfying (2.3)–
(2.6) is called an almost commutative (ε(2)-commutative, color) algebra [20, 21]
(for a review, see [10]).
The simplest example of a commutation factor is a sign rule
ε(2)
a0
, b0
= (−1)ha0,b0i
, (2.7)
where h·, ·i : G × G → Z2 is a bilinear form (“scalar product”), and for G = Z2
the form is a product, i.e. ha0, b0i = a0b0 ≡ gh ∈ Z2. This gives the standard
supercommutative algebra [3,15,19].
In the case G = Zn
2 , the “scalar product” h·, ·i : G × G → Z is defined by (see
(2.2))
a0
1 . . . a0
n
, b0
1 . . . b0
n
= a0
1b0
1 + . . . + a0
nb0
n ≡ g1h1 + . . . + gnhn ∈ Z, (2.8)
which leads to Zn
2 -commutative associative algebras [7].
A classification of the commutation factors ε(2) can be made in terms of the
factors, binary Schur multipliers, π(2) : G × G → k× such that [21,26]
ε(2)
π a0
, b0
=
π(2) (a0, b0)
π(2) (b0, a0)
, a0
, b0
∈ G. (2.9)
The (Schur) factors π(2) naturally appear in the projective representation
theory [27] and satisfy the relation
π(2)
a0
, b0
+ c0
π(2)
b0
, c0
= π(2)
a0
, b0
π(2)
a0
+ b0
, c0
, a0
, b0
∈ G, (2.10)
which follows from associativity. Using (2.9), we can rewrite the ε(2)-commutation
relation (2.3) of the graded algebra AG in the form
π(2)
b0
, a0
a · b = π(2)
a0
, b0
b · a, a, b ∈ A, a0
, b0
∈ G. (2.11)
We call (2.11) a π-commutativity. A factor set
n
π
(2)
sym
o
is symmetric if
π(2)
sym b0
, a0
= π(2)
sym a0
, b0
, (2.12)
ε(2)
πsym
a0
, b0
= 1, a0
, b0
∈ G, (2.13)
and thus the graded algebra AG becomes commutative.
For further details, see Section 5 and [20,21].
3. Membership function and obscure algebras
Now let us consider a generalization of associative algebras and graded al-
gebras 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., [23, 25]). In this
4. 444 Steven Duplij
case, an element a ∈ A of the algebra A = hA | ·, +i , over k, can be endowed
with an additional function, the membership function µ : A → [0, 1], 0, 1 ∈ k,
which “measures” the degree of truth as a “grade of membership” [5]. If A is a
crisp set, then µ ∈ {0, 1} and µcrisp (a) = 1 if a ∈ A and µcrisp (a) = 0 if a /
∈ A.
Also, we assume that the zero has full membership µ (z) = 1, z ∈ A (for details,
see, e.g., [23, 25]). If the membership function µ is positive, we can identify an
obscure (fuzzy) set A(µ) with support the universal set A consisting of pairs
A(µ)
= {(a|µ (a))} , a ∈ A, µ (a) 0. (3.1)
Sometimes, instead of the operations with obscure sets it is convenient to
consider the corresponding operations only in terms of the membership function
µ itself. Denote a ∧ b = min {a, b}, a ∨ b = max {a, b}. Then, for inclusion ⊆,
union ∪, intersection ∩ and negation of obscure sets, one can write µ (a) ≤ µ (b),
µ (a) ∨ µ (b), µ (a) ∧ µ (b), 1 − µ (a), a, b ∈ A(µ), respectively.
Definition 3.1. An obscure algebra A (µ) =
A(µ) | ·, +
is an algebra over
k having an obscure set A(µ) as its underlying set, where the following conditions
hold:
µ (a + b) ≥ µ (a) ∧ µ (b) , (3.2)
µ (a · b) ≥ µ (a) ∧ µ (b) , (3.3)
µ (ka) ≥ µ (a) , a, b ∈ A, k ∈ k. (3.4)
Definition 3.2. An obscure unity η is given by η (a) = 1 if a = 0, and
η (a) = 0 if a 6= 0.
For two obscure sets their direct sum A(µ) = A(µg)⊕ A(µh) can be defined
if µg ∧ µh = η and the joint membership function has two “nonintersecting”
components
µ (a) = µg a(g)
∨ µh a(h)
, µg ∧ µh = η, (3.5)
a = a(g) + a(h), a ∈ A(µ)
, a(g) ∈ A(µg)
, a(h) ∈ A(µh)
, g, h ∈ G, (3.6)
satisfying
µ a(g) · a(h)
≥ µg a(g)
∧ µh a(h)
. (3.7)
Definition 3.3. An obscure G-graded algebra is a direct sum decomposition
AG (µ) =
M
g∈G
A (µg) (3.8)
such that the relation (2.1) holds and the joint membership function is
µ (a) = ∨
g∈G
µg a(g)
, a =
X
g∈G
a(g), a ∈ A(µ)
, a(g) ∈ A(µg)
, g ∈ G. (3.9)
5. Membership Deformation of Commutativity and Obscure n-ary Algebras 445
4. Membership deformation of commutativity
The membership concept leads to the question whether it is possible to gen-
eralize commutativity and ε(2)-commutativity (2.3) for the obscure algebras. A
positive answer to this question can be based on a consistent usage of the mem-
bership µ as ordinary functions which are pre-defined for each element and satisfy
some conditions (see, e.g., [23, 25]). In this case, the commutation factor (and
the Schur factors) may depend not only on the element 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 (µ) =
A(µ) | ·, +
(see Definition 3.1), in which a · b =
b · a, a, b ∈ A(µ). Now we “deform” this commutativity by the membership
function µ and introduce a new algebra product (∗) for the elements in A to get
a noncommutative algebra.
Definition 4.1. An obscure membership deformed algebra is A∗ (µ) =
A(µ) | ∗, +
in which the noncommutativity relation is
µ (b) a ∗ b = µ (a) b ∗ a, a, b ∈ A(µ)
. (4.1)
Remark 4.2. The relation (4.1) is a 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 grading. Therefore, the membership defor-
mation of commutativity (4.1) is highly nonlinear as opposed to the gradation.
As in our consideration the membership function µ cannot be zero, it follows
from (4.1) that
a ∗ b = (2)
µ (a, b) b ∗ a, (4.2)
(2)
µ (a, b) =
µ (a)
µ (b)
, a, b ∈ A(µ)
, (4.3)
where
(2)
µ is the membership commutation factor.
Corollary 4.3. An obscure membership deformed algebra A∗ (µ) 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 A(µ). So, if two elements
have the same membership function, they commute.
Proposition 4.5. In A∗ (µ) , the membership function satisfies the equality
(cf. (3.4))
µ (ka) = µ (a) , a ∈ A(µ)
, k ∈ k. (4.4)
6. 446 Steven Duplij
Proof. From the distributivity of the scalar multiplication k (a ∗ b) = ka∗b =
a ∗ kb and the membership noncommutativity (4.1), we get
µ (b) ka ∗ b = µ (ka) b ∗ ka, (4.5)
µ (kb) a ∗ kb = µ (a) kb ∗ a. (4.6)
So, µ (ka) µ (kb) = µ (a) µ (b), a ∈ A(µ), k ∈ k, and thus (4.4) follows.
In general, the algebra A∗ (µ) 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∗ (µ) 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 derivations of associativity coincide and give a cocycle relation
similar to (2.5)–(2.6) also for
(2)
µ , e.g.,
(2)
µ (a, b ∗ c) = (2)
µ (a, b) (2)
µ (a, c) . (4.7)
This becomes µ (a) = µ (b) µ (c) µ (b ∗ c) in terms of the membership function
(4.3), but it is impossible for all a, b, c ∈ A(µ). On the other side, after double
commutation in (a ∗ b) ∗ c → c ∗ (b ∗ a) and a ∗ (b ∗ c) → (c ∗ b) ∗ a we obtain (if
the associativity of (∗) is implied)
(2)
µ (a, b ∗ c) (2)
µ (b, c) = (2)
µ (a ∗ b, c) (2)
µ (a, b) , (4.8)
which in terms of the membership function becomes µ (b)2
= µ (a ∗ b) µ (b ∗ c),
and this is also impossible for arbitrary a, b, c ∈ A(µ).
Nevertheless, distributivity of the algebra multiplication and algebra addition
in A∗ (µ) is possible, but can only be one-sided.
Proposition 4.7. The algebra A∗ (µ) is right-distributive, but has the mem-
bership deformed left distributivity
µ (b + c) a ∗ (b + c) = µ (b) a ∗ b + µ (c) a ∗ c, (4.9)
(b + c) ∗ a = b ∗ a + c ∗ a, a, b, c ∈ A(µ)
. (4.10)
Proof. Applying the membership noncommutativity (4.1) to (4.9), we obtain
µ (a) (b + c) ∗ a = µ (a) b ∗ a + µ (a) c ∗ a, and then (4.10), because µ 0.
Theorem 4.8. The binary obscure algebra A∗ (µ) =
A(µ) | ∗, +
is nec-
essarily nonassociative and
(2)
µ -commutative (4.2), right-distributive (4.10) and
membership deformed left distributive (4.9).
7. Membership Deformation of Commutativity and Obscure n-ary Algebras 447
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 [1], but the latter is two-sided distributive, in distinction to the obscure
algebra A∗ (µ).
Example 4.10 (Deformed Weyl algebra). Consider an obscure algebra
AWeyl
13. (µ) a membership deformed Weyl algebra. Because the member-
ship function is predefined and µ (x
14. y) is not a symplectic form, the algebra
AWeyl
15. (µ) is not isomorphic to the ordinary Weyl algebra (see, e.g., [16]). In the
same way, the graded Weyl algebra [24] 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.
4.2. Deformation of ε-commutative algebras. Here we apply the mem-
bership deformation procedure (4.1) to the obscure G-graded algebras (3.8) which
are ε(2)-commutative (2.3). We now “deform” (2.11) by analogy with (4.1).
Let AG (µ) be a binary obscure G-graded algebra (3.8) which is ε(2)-
commutative with the Schur factor π(2) (2.9).
Definition 4.12. An obscure membership deformed ε(2)-commutative G-
graded algebra is AG? (µ) =
A(µ) | ?, +
in which the noncommutativity relation
is given by
µ (b) π(2)
b0
, a0
a ? b = µ (a) π(2)
a0
, b0
b ? a, a, b ∈ A(µ)
, a0
, b0
∈ G. (4.12)
Both functions π(2) and µ being nonvanishing, we can combine (2.9) and (4.3).
Definition 4.13. An algebra AG? (µ) is called a double ε
(2)
π /
(2)
µ -commutative
algebra when
a ? b = ε(2)
π a0
, b0
(2)
µ (a, b) b ? a, a, b ∈ A(µ)
, a0
, b0
∈ G (4.13)
(2)
µ (a, b) =
µ (a)
µ (b)
, (4.14)
ε(2)
π a0
, b0
=
π(2) (a0, b0)
π(2) (b0, a0)
, (4.15)
where ε
(2)
π is the grading commutation factor and
(2)
µ is the membership commu-
tation factor.
16. 448 Steven Duplij
In the first version, we assume that ε
(2)
π is still a cocycle and satisfies (2.4)–
(2.6). Then in AG? (µ) 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 ε
(2)
π /
(2)
µ -commutative algebra AG? (µ) with
the fixed grading commutation factor ε
(2)
π 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 ε
(2)
πµ/
(2)
µ -commutative algebra
AG~ (µ) =
D
A(µ)
| ~, +
E
with
a ~ b = ε(2)
πµ a0
, b0
(2)
µ (a, b) b ~ a, (2)
µ (a, b) =
µ (a)
µ (b)
(4.16)
is associative if the noncocycle commutation factor ε
(2)
πµ satisfies the “membership
deformed cocycle-like” conditions
ε(2)
πµ a0
, b0
ε(2)
πµ b0
, a0
=
1
(2)
µ (a, b)
(2)
µ (b, a)
, (4.17)
ε(2)
πµ a0
, b0
+ c0
= ε(2)
πµ a0
, b0
ε(2)
πµ a0
, c0
(2)
µ (a, b)
(2)
µ (a, c)
(2)
µ (a, b ~ c)
, (4.18)
ε(2)
πµ a0
+ b0
, c0
= ε(2)
πµ a0
, c0
ε(2)
πµ b0
, c0
(2)
µ (a, c)
(2)
µ (b, c)
(2)
µ (a ~ b, c)
, (4.19)
for all a, b ∈ A(µ) and a0, b0 ∈ G.
Proof. Now indeed the double commutation factor (the product of the grading
and membership factors) ε
(2)
πµ
(2)
µ satisfies (2.4)–(2.6). Then (4.17)–(4.19) imme-
diately follow.
We can find the deformed equation for the Schur-like factors (similar to (4.17)–
(4.19))
ε(2)
πµ a0
, b0
=
π
(2)
µ (a0, b0)
π
(2)
µ (b0, a0)
, (4.20)
such that the following “membership deformed” commutation takes place (see
(4.16)):
π(2)
µ b0
, a0
µ (b) a ~ b = π(2)
µ a0
, b0
µ (a) b ~ a, a, b ∈ A(µ)
, a0
, b0
∈ G, (4.21)
and the algebra AG~ (µ) becomes associative in distinct with (4.12), where the
grading commutation factor ε
(2)
π satisfies (2.4)–(2.6) and the algebra multiplica-
tions (?) are different.
17. Membership Deformation of Commutativity and Obscure n-ary Algebras 449
Thus the deformed binary Schur-like factors π
(2)
µ of the obscure membership
deformed associative double commutative algebra AG~ (µ) satisfy
π(2)
µ a0
, b0
+ c0
π(2)
µ b0
, c0
= π(2)
µ a0
, b0
π(2)
µ a0
+ b0
, c0
µ (a ~ b)
µ (b)
, (4.22)
for all a, b ∈ A(µ) and a0, b0 ∈ 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 ε
(2)
πµ/
(2)
µ -commutative algebra AG~ (µ) defined in (4.16)–(4.19) and con-
struct a corresponding analog of the Lie algebra by following the same procedure
as for associative ε-commutative algebras [18,20,21].
Take AG~ (µ) and define a double ε-Lie bracket Lε : A(µ) ⊗ A(µ) → A(µ) by
Lε [a, b] = a ~ b − ε(2)
πµ a0
, b0
(2)
µ (a, b) b ~ a, a, b ∈ A(µ)
, a0
, b0
∈ G, (4.23)
where ε
(2)
πµ and
(2)
µ are given in (4.16) and (4.20), respectively.
Proposition 4.15. The double ε-Lie bracket is ε-skew commutative, i.e. it
satisfies double commutativity with the commutation factor
−ε
(2)
πµ
(2)
µ
.
Proof. Multiply (4.23) by ε
(2)
πµ (b0, a0)
(2)
µ (b, a) and use (4.17) to obtain
ε(2)
πµ b0
, a0
(2)
µ (b, a) Lε [a, b] = ε(2)
πµ b0
, a0
(2)
µ (b, a) a ~ b − b ~ a = −Lε [b, a] .
Therefore,
Lε [a, b] = −ε(2)
πµ a0
, b0
(2)
µ (a, b) Lε [b, a] , (4.24)
which should be compared with (4.16).
Proposition 4.16. The double ε-Lie bracket satisfies the membership de-
formed ε-Jacobi identity
ε(2)
πµ a0
, b0
(2)
µ (a, b) Lε [a, Lε [b, c]] + cyclic permutations = 0,
a, b, c ∈ A(µ)
, a0
, b0
, c0
∈ G. (4.25)
Definition 4.17. A double ε-Lie algebra is an obscure G-graded algebra
with the double ε-Lie bracket (satisfying the ε-skew commutativity (4.24)
and the membership deformed Jacobi identity (4.25)) as a multiplication, i.e.
AGL (µ) =
A(µ) | Lε, +
.
5. Projective representations
To generalize the ε-commutative algebras to the n-ary case, we need to intro-
duce n-ary projective representations and study them in brief.
18. 450 Steven Duplij
5.1. Binary projective representations. First, recall some general prop-
erties of the Schur factors and corresponding commutation factors in the projec-
tive representation theory of Abelian groups [26,27] (see also [14] and the unitary
ray representations in [2]). 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 H(2) = hH | ui be a binary Abelian group and f : H(2) → E(2) ,
where E(2) = hEnd V | ◦i, and V is a vector space over a field k. A map f is
a (binary) projective representation (σ-representation [26]) if f (x1) ◦ f (x2) =
π
(2)
0 (x1, x2) f (x1 u x2), x1, x2 ∈ H, and π
(2)
0 : H(2) × H(2) → k× is a (Schur)
factor, while (◦) is a (noncommutative binary) product in End V ). The “associa-
tivity relation” of factors follows immediately from the associativity of (◦) such
that (cf. (2.10))
π
(2)
0 (x1, x2 u x3) π
(2)
0 (x2, x3) = π
(2)
0 (x1, x2) π
(2)
0 (x1 u x2, x3) ,
x1, x2, x3 ∈ H. (5.1)
Two factor systems are equivalent
n
π
(2)
0
o
λ
∼
n
π̃
(2)
0
o
(or associated [27]) if
there exists λ : H(2) → k× such that
π̃
(2)
0 (x1, x2) =
λ (x1) λ (x2)
λ (x1 u x2)
π
(2)
0 (x1, x2) , x1, x2 ∈ H, (5.2)
and the π̃
(2)
0 -representation is given by ˜
f (x) = λ (x) f (x), x ∈ H. The cocycle
condition (5.1) means that π
(2)
0 belongs to the group Z2 H(2), k×
of 2-cocycles of
H(2) over k×, the quotient
n
π
(2)
0
o
/
λ
∼ gives the corresponding multiplier group, if
k = C, and, in the general case, coincides with the exponents of the 2-cohomology
classes H2 H(2), k
(for details, see, e.g., [10,26,27]).
The group H(2) is Abelian, and therefore we have (cf. (2.11))
π
(2)
0 (x2, x1) f (x1) ◦ f (x2) = π
(2)
0 (x2, x1) π
(2)
0 (x1, x2) f (x1 u x2)
= π
(2)
0 (x1, x2) f (x2) ◦ f (x1) , (5.3)
which allows us to introduce a (binary) commutation factor ε
(2)
π0 : H(2) × H(2) →
k× by (see (2.3), (2.9))
ε(2)
π0
(x1, x2) =
π
(2)
0 (x1, x2)
π
(2)
0 (x2, x1)
, (5.4)
f (x1) ◦ f (x2) = ε(2)
π0
(x1, x2) f (x2) ◦ f (x1) , x1, x2 ∈ H, (5.5)
with the obvious “normalization” (cf. (2.4))
ε(2)
π0
(x1, x2) ε(2)
π0
(x2, x1) = 1, ε(2)
π0
(x, x) = 1, x1, x2, x ∈ H, (5.6)
which will be important in the n-ary case below.
19. Membership Deformation of Commutativity and Obscure n-ary Algebras 451
The multiplication of the commutation factors follows from different permu-
tations of the three terms:
f (y) ◦ f (x1) ◦ f (x2) = ε(2)
π0
(y, x1) f (x1) ◦ f (y) ◦ f (x2)
= ε(2)
π0
(y, x1) ε(2)
π0
(y, x2) f (x1) ◦ f (x2) ◦ f (y)
= π
(2)
0 (x1, x2) f (y) ◦ f (x1 u x2)
= ε(2)
π0
(y, x1 u x2)
π
(2)
0 (x1, x2) f (x1 u x2)
◦ f (y)
= ε(2)
π0
(y, x1 u x2) f (x1) ◦ f (x2) ◦ f (y) , x1, x2, y ∈ H. (5.7)
Thus, it follows that the commutation factor multiplication is (and similarly
for the second place, cf. (2.5)–(2.6))
ε(2)
π0
(y, x1 u x2) = ε(2)
π0
(y, x1) ε(2)
π0
(y, x2) , x1, x2, y ∈ H, (5.8)
which means that ε
(2)
π0 is a (binary) bicharacter on H(2), because for χ
(2)
y (x) ≡
ε
(2)
π0 (y, x) we have
χ(2)
y (x1) χ(2)
y (x2) = χ(2)
y (x1 u x2) , x1, x2 ∈ H. (5.9)
Denote the group of bicharacters χ
(2)
y on H(2) with the multiplication (5.9)
by B(2)(H(2), k). We observe that the mapping π
(2)
0 → ε
(2)
π0 is a homomorphism of
Z2 H(2), k×
to B(2)(H(2), k) whose kernel is a subgroup of the 2-coboundaries
of H(2) over k× (for more details, see [27]).
5.2. n-ary projective representations. Here we consider some features
of n-ary projective representations and corresponding particular generalizations
of binary ε-commutativity.
Let H(n) =
D
H | [ ]
(n)
u
E
be an n-ary Abelian group with the totally com-
mutative multiplication [ ]
(n)
u , and the mapping f : H(n) → E(n) , where E(n) =
D
End V | [ ](n)
◦
E
(for general polyadic representations, see [12] and references
therein). Here we suppose that V is a vector space over a field k, and [ ](n)
◦ is an
n-ary associative product in End V , which means that
f
h
[f (x1) , . . . , f (xn)](n)
◦ , f (xn+1) , . . . , f (x2n−1)
i(n)
◦
= f
h
f (x1) , [f (x2) , . . . , f (xn+1)](n)
◦ , f (xn+2) , . . . , f (x2n−1)
i(n)
◦
· · ·
= f
h
f (x1) , f (x2) , . . . , f (xn−1) , [f (xn) , . . . , f (x2n−1)](n)
◦
i(n)
◦
. (5.10)
Definition 5.1. A map f is an n-ary projective representation if
[f (x1) , . . . , f (xn)](n)
◦ = π
(n)
0 (x1, . . . , xn) f
[x1, . . . , xn]
(n)
u
, x1, . . . , xn ∈ H,
(5.11)
20. 452 Steven Duplij
and π
(n)
0 :
n
z }| {
H(n)
× . . . × H(n)
→ k× is an n-ary (Schur-like) factor.
Proposition 5.2. The factors π
(n)
0 satisfy the n-ary 2-cocycle conditions
(cf. (5.1))
π
(n)
0 (x1, . . . , xn) π
(n)
0
[x1, . . . , xn]
(n)
u , xn+1, . . . , x2n−1
= π
(n)
0 (x2, . . . , xn+1) π
(n)
0
x1, [x2, . . . , xn+1]
(n)
u , xn+2, . . . , x2n−1
· · ·
= π
(n)
0 (xn, . . . , xn+1) π
(n)
0
x1, . . . , xn−1, [xn, . . . , x2n−1]
(n)
u
,
x1, . . . , x2n−1 ∈ 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
n
π
(n)
0
o
λ
∼
n
π̃
(n)
0
o
if there exists λ :
H(n) → k× such that
π̃
(n)
0 (x1, . . . , xn) =
λ (x1) λ (x2) . . . λ (xn)
λ
[x1, . . . , xn]
(n)
u
π
(n)
0 (x1, . . . , xn) , x1, x2 ∈ H, (5.13)
and the π̃
(n)
0 -representation is given by ˜
f (x) = λ (x) f (x), x ∈ H.
To understand how properly and uniquely to introduce the commutation fac-
tors for n-ary projective representations, we need to consider an n-ary analog of
(5.3) (see also (2.11)).
Proposition 5.3. The commutativity of a π
(n)
0 -representation is given by
(n! − 1) relations of the form
π
(n)
0 xσ(1), . . . , xσ(n)
[f (x1) , . . . , f (xn)](n)
◦
= π
(n)
0 (x1, . . . , xn)
f xσ(1)
, . . . , f xσ(n)
(n)
◦
, (5.14)
where σ ∈ Sn, σ 6= 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 left-hand side and right-hand side of (5.14)
π
(n)
0 xσ(1), . . . , xσ(n)
π
(n)
0 (x1, . . . , xn) f
[x1, . . . , xn]
(n)
u
(5.15)
and
π
(n)
0 (x1, . . . , xn) π
(n)
0 xσ(1), . . . , xσ(n)
f
xσ(1), . . . , xσ(n)
(n)
u
, (5.16)
respectively.
21. Membership Deformation of Commutativity and Obscure n-ary Algebras 453
Since H(n) is totally commutative
[x1, . . . , xn]
(n)
u =
xσ(1), . . . , xσ(n)
(n)
u
, x1, . . . , xn ∈ H, σ ∈ Sn, (5.17)
then f
[x1, . . . , xn]
(n)
u
= f
xσ(1), . . . , xσ(n)
(n)
u
. Taking into account all non-
identical permutations, we get (n! − 1) relations in (5.14).
Corollary 5.4. To describe the noncommutativity of an n-ary projective rep-
resentation, we need to have not one relation between Schur factors (as in the
binary case (5.3) and (2.11)), but (n! − 1) relations (5.14). This leads to the
concept of the set of (n! − 1) commutation factors.
Definition 5.5. The commutativity of the n-ary projective representation
with the Schur-like factor π
(n)
0 (x1, . . . , xn) is governed by the set of (n! − 1)
commutation factors
ε
(n)
σ(1),...,σ(n) ≡ ε
(n)
σ(1),...,σ(n) (x1, . . . , xn) =
π
(n)
0 (x1, . . . , xn)
π
(n)
0 xσ(1), . . . , xσ(n)
, (5.18)
[f (x1) , . . . , f (xn)](n)
◦ = ε
(n)
σ(1),...,σ(n)
f xσ(1)
, . . . , f xσ(n)
(n)
◦
, (5.19)
where σ ∈ Sn. We call all ε
(n)
σ(1),...,σ(n) as a commutation factor “vector” and
denote it by ~
ε, where its components will be enumerated in lexicographic order.
Thus, each component of ~
ε is responsible for the commutation of any two n-
ary monomials with different permutations σ, σ0 ∈ Sn since from (5.19) it follows
that
f xσ0(1)
, . . . , f xσ0(n)
(n)
◦
= ε
(n)
σ(1),...,σ(n) xσ0(1), . . . , xσ0(n)
f xσ(1)
, . . . , f xσ(n)
(n)
◦
, (5.20)
It follows from (5.18) that an n-ary analog of the normalization property (5.6)
is
ε
(n)
σ(1),...,σ(n) xσ0(1), . . . , xσ0(n)
ε
(n)
σ0(1),...,σ0(n) xσ(1), . . . , xσ(n)
= 1, (5.21)
ε
(n)
1,...,n (x, . . . , x) = 1, (5.22)
where σ,σ0 ∈ Sn, x1, . . . , xn, x ∈ H.
In this notation, the binary commutation factor (5.4) is ε
(2)
π0 (x1, x2) =
ε
(2)
21 (x1, x2).
Example 5.6 (Ternary projective representation). Consider the minimal non-
binary case n = 3. The ternary projective representation of the Abelian ternary
group H(3) is given by
[f (x1) , f (x2) , f (x3)] = π0 (x1, x2, x3) f (x1 u x2 u x3) , x1, x2, x3 ∈ H, (5.23)
22. 454 Steven Duplij
where we denote π
(3)
0 ≡ π0, [ ](3)
◦ ≡ [ ] and [x1, x2, x3]
(3)
u ≡ x1 u x2 u x3.
The ternary 2-cocycle conditions for the ternary Schur-like factor π0 now
become
π0 (x1, x2, x3)π0 (x1 u x2 u x3, x4, x5)
= π0 (x2, x3, x4) π0 (x1, x2 u x3 u x4, x5)
= π0 (x3, x4, x5) π0 (x1, x2, x3 u x4 u x5) . (5.24)
Thus, we obtain (3! − 1) = 5 different ternary commutation relations and the
corresponding 5-dimensional “vector” ~
ε
[f (x1) , f (x2) , f (x3)] = εσ(1)σ(2)σ(3)
f xσ(1)
, f xσ(2)
, f xσ(3)
, (5.25)
ε132 =
π0 (x1, x2, x3)
π0 (x1, x3, x2)
, ε231 =
π0 (x1, x2, x3)
π0 (x2, x3, x1)
, ε213 =
π0 (x1, x2, x3)
π0 (x2, x1, x3)
,
ε312 =
π0 (x1, x2, x3)
π0 (x3, x1, x2)
, ε321 =
π0 (x1, x2, x3)
π0 (x3, x2, x1)
, x1, x2, x3 ∈ H, σ ∈ S3. (5.26)
6. n-ary double commutative algebras
6.1. n-ary ε-commutative algebras. Here we introduce grading noncom-
mutativity for n-ary algebras (“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.
Let A(n) =
D
A | [ ](n)
, +
E
be an associative n-ary algebra [6, 11, 17] over a
binary field k (with the binary addition) having zero z ∈ A and unit e ∈ A if A(n)
is unital (for polyadic algebras with all nonbinary operations, see [13]). An n-ary
graded algebra A
(n)
G (an n-ary G-graded k-algebra) is a direct sum of subalgebras
A
(n)
G =
L
g∈G Ag, where G = hG | +0i is a (binary Abelian) grading group and
the set n-ary multiplication “respects the gradation”
[Ag1 , . . . , Agn ](n)
⊆ Ag1+0...+0gn , g1, . . . , gn ∈ G. (6.1)
As in the binary case (2.2), the elements from Ag ⊂ A are homogeneous of
degree a0 = g ∈ 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 A
(n)
G , the n-ary Schur-like factor
is an n-place function on gradings π(n) :
n
z }| {
G × . . . × G → A satisfying the n-ary
cocycle condition (cf. (2.10) and (5.12)):
π(n)
a0
1, . . . , a0
n
π(n)
a0
1, . . . , a0
n
(n)
, a0
n+1, . . . , a0
2n−1
= π(n)
a0
2, . . . , a0
n+1
π(n)
a0
1,
a0
2, . . . , a0
n+1
(n)
, a0
n+2, . . . , a0
2n−1
23. Membership Deformation of Commutativity and Obscure n-ary Algebras 455
· · ·
= π(n)
a0
n, . . . , a0
n+1
π(n)
a0
1, . . . , a0
n−1,
a0
n, . . . , a0
2n−1
(n)
,
a0
1, . . . , a0
2n−1 ∈ G. (6.2)
There are many possible ways to introduce noncommutativity for n-ary al-
gebras [9, 17]. We propose a “projective version” of noncommutativity in A
(n)
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 A
(n)
G is called π-commutative if the
(n! − 1) relations (cf. (5.14))
π(n)
a0
σ(1), . . . , a0
σ(n)
[a1, . . . , an](n)
= π(n)
a0
1, . . . , a0
n
aσ(1), . . . , aσ(n)
(n)
(6.3)
hold for all a1, . . . , an ∈ A, and σ ∈ Sn, σ 6= I, where π(n) are the n-ary Schur-like
factors satisfying (6.2).
Two n-ary Schur-like factor systems are equivalent
π(n)
λ̃
∼
π̃(n)
if there
exists λ̃ : A
(n)
G → k× such that (cf. (5.13))
π̃(n)
a0
1, . . . , a0
n
=
λ̃ (a0
1) . . . λ̃ (a0
n)
λ̃
[a0
1, . . . , a0
n](n)
π(n)
a0
1, . . . , a0
n
, a0
1, . . . , a0
2 ∈ G. (6.4)
The quotient, by this equivalence relation
π(n)
/
λ̃
∼, is the corresponding
multiplier group as in the binary case [21].
Let ϕ ∈ Aut G and
π(n)
be a factor system, then its pullback
π
(n)
∗ a0
1, . . . , a0
n
= π(n)
ϕ a0
1
, . . . , ϕ a0
n
(6.5)
is also a factor system
n
π
(n)
∗
o
. In the n-ary case, the “homotopic” analog of (6.5)
is possible
π
(n)
∗∗ a0
1, . . . , a0
n
= π(n)
ϕ1 a0
1
, . . . , ϕn a0
n
, (6.6)
where ϕ1, . . . , ϕn ∈ Aut G such that
n
π
(n)
∗∗
o
is also a factor system.
Comparing (6.3) with the binary π-commutativity (2.11), we observe that the
most general description of n-ary graded algebras A
(n)
G can be achieved by using
at least (n! − 1) commutation factors.
Definition 6.3. An n-ary graded algebra A
(n)
G is ε(n)-commutative if there
are (n! − 1) commutation factors
ε
(n)
σ(1),...,σ(n) ≡ ε
(n)
σ(1),...,σ(n) a0
1, . . . , a0
n
=
π(n) (a0
1, . . . , a0
n)
π(n)
a0
σ(1), . . . , a0
σ(n)
, (6.7)
24. 456 Steven Duplij
[a1, . . . , an](n)
= ε
(n)
σ(1),...,σ(n)
aσ(1), . . . , aσ(n)
(n)
, (6.8)
where σ ∈ Sn, σ 6= I, and the factors π(n) satisfy (6.2). The set of ε
(n)
σ(1),...,σ(n) is a
commutation factor “vector” −
→
ε of the algebra A
(n)
G having (n! − 1) components.
Each component of the “vector” −
→
ε is responsible for the commutation of two
n-ary monomials in A
(n)
G such that from (6.8) we have
aσ0(1), . . . , aσ0(n)
(n)
= ε
(n)
σ(1),...,σ(n)
a0
σ0(1), . . . , a0
σ0(n)
aσ(1), . . . , aσ(n)
(n)
(6.9)
with permutations σ, σ0 ∈ Sn.
It follows from (5.18) that an n-ary analog of the normalization property (5.6)
is
ε
(n)
σ(1),...,σ(n)
a0
σ0(1), . . . , a0
σ0(n)
ε
(n)
σ0(1),...,σ0(n)
a0
σ(1), . . . , a0
σ(n)
= 1, (6.10)
ε
(n)
1,...,n a0
, . . . , a0
= 1, (6.11)
where σ,σ0 ∈ Sn, a0
1, . . . , a0
n, a0 ∈ G.
If ϕ ∈ Aut G and
n
π
(n)
∗
o
is a pullback of
π(n)
(6.5), then the corresponding
ε
(n)
∗σ(1),...,σ(n) a0
1, . . . , a0
n
=
π
(n)
∗ (a0
1, . . . , a0
n)
π
(n)
∗
a0
σ(1), . . . , a0
σ(n)
(6.12)
are commutation factors as well (if k is algebraically closed by analogy with [21]).
The same is true for their “homotopic” analog
n
π
(n)
∗∗
o
(6.6).
Definition 6.4. A factor set
π(n)
is called totally symmetric if −
→
ε is the
unit commutation factor “vector”such that all of its (n! − 1) components are
identities (in k)
ε
(n)
σ(1),...,σ(n) a0
1, . . . , a0
n
= 1, σ ∈ Sn, σ 6= I, a0
1, . . . , a0
n ∈ G. (6.13)
Suppose we have two factor sets
n
π
(n)
1
o
and
n
π
(n)
2
o
which correspond to the
same commutation factor ε(n) in A
(n)
G such that
exε
(n)
σ(1),...,σ(n) a0
1, . . . , a0
n
=
π
(n)
1 (a0
1, . . . , a0
n)
π
(n)
1
a0
σ(1), . . . , a0
σ(n)
=
π
(n)
2 (a0
1, . . . , a0
n)
π
(n)
2
a0
σ(1), . . . , a0
σ(n)
. (6.14)
25. Membership Deformation of Commutativity and Obscure n-ary Algebras 457
We can always choose the same order for the commutation factor “vector” com-
ponents σ. Define a new factor set
n
π
(n)
12
o
by
π
(n)
12 a0
1, . . . , a0
n
=
π
(n)
1 (a0
1, . . . , a0
n)
π
(n)
2 (a0
1, . . . , a0
n)
, a0
1, . . . , a0
n ∈ G. (6.15)
Then
n
π
(n)
12
o
becomes totally symmetric, because the corresponding commu-
nication factor is
ε
(n)
12,σ(1),...,σ(n) a0
1, . . . , a0
n
=
π
(n)
12 (a0
1, . . . , a0
n)
π
(n)
12
a0
σ(1), . . . , a0
σ(n)
= 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, then the communication
factor ε(n) is constructed from the unique multiplier
π(n)
[21].
The are two possible differences from the simple binary case (2.13), where for
identity commutation factor the symmetry condition (2.12) is sufficient:
1) Not all ε(n) need to be equal to the identity.
2) Some arguments of the Schur-like factors π(n) can be intact.
Definition 6.5. An ε(n)-commutative n-ary graded algebra A
(n)
G is called
m-partially (or partially) commutative if exactly m commutation factors (with
permutations σ̃) from the (n! − 1) total are equal to 1,
ε
(n)
σ̃(1),...,σ̃(n) a0
1, . . . , a0
n
= 1, #σ̃ ≤ #σ, σ ∈ Sn, a0
1, . . . , a0
n ∈ G, (6.17)
where we denote #σ̃ = m, #σ = n! − 1. If #σ̃ = #σ, then A
(n)
G is totally
commutative, see (6.13).
In an m-partially commutative n-ary graded algebra A
(n)
G , the Schur-like fac-
tors π(n) satisfy m additional symmetry conditions (cf. (2.12))
π(n)
a0
1, . . . , a0
n
= π(n)
a0
σ̃(1), . . . , a0
σ̃(n)
, #σ̃ ≤ #σ, σ ∈ Sn. (6.18)
Example 6.6 (Ternary ε-commutative algebra). Let A
(3)
G = hA | [ ] , +i be
a ternary associative G-graded algebra over k. The ternary Schur-like factor
π0 (a0
1, a0
2, a0
3) satisfies the ternary 2-cocycle conditions (cf. (5.24))
π(3)
a0
1, a0
2, a0
3
π(3)
a0
1 + a0
2 + a0
3, a0
4, a0
5
= π(3)
a0
2, a0
3, a0
4
π(3)
a0
1, a0
2 + a0
3 + a0
4, a0
5
= π(3)
a0
3, a0
4, a0
5
π(3)
a0
1, a0
2, a0
3 + a0
4 + a0
5
, a0
1, . . . , a0
5 ∈ G. (6.19)
26. 458 Steven Duplij
We can introduce (3! − 1) = 5 different ternary commutation relations explic-
itly,
[a1, a2, a3] = ε
(3)
σ(1)σ(2)σ(3)
aσ(1), aσ(2), aσ(3)
, a1, a2, a3 ∈ A, σ ∈ S3, (6.20)
ε
(3)
132 =
π(3) (a0
1, a0
2, a0
3)
π(3) (a0
1, a0
3, a0
2)
, ε
(3)
231 =
π(3) (a0
1, a0
2, a0
3)
π(3) (a0
2, a0
3, a0
1)
, ε
(3)
213 =
π(3) (a0
1, a0
2, a0
3)
π(3) (a0
2, a0
1, a0
3)
,
ε
(3)
312 =
π(3) (a0
1, a0
2, a0
3)
π(3) (a0
3, a0
1, a0
2)
, ε
(3)
321 =
π(3) (a0
1, a0
2, a0
3)
π(3) (a0
3, a0
2, a0
1)
, a0
1, a0
2, a0
3 ∈ G. (6.21)
The 1-partial commutativity in A
(3)
G can be realized if, for instance,
π(3)
a0
1, a0
2, a0
3
= π(3)
a0
1, a0
3, a0
2
, a0
1, a0
2, a0
3 ∈ G, (6.22)
and in this case, ε
(3)
132 = 1 so that we obtain one commutativity relation
[a1, a2, a3] = [a1, a3, a2] , a1, a2, a3 ∈ 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 A(n) (µ) =
D
A(µ) | [ ](n)
, +
E
is an
n-ary algebra A(n) over k having an obscure set A(µ) = {(a|µ (a)) , a ∈ A, µ 0}
as its underlying set (see (3.1)), and where the membership function µ (a) satisfies
µ (a1 + a2) ≥ min {µ (a1) , µ (a2)} , (6.24)
µ ([a1, . . . , an]n) ≥ min {µ (a1) , . . . , µ (an)} , (6.25)
µ (ka) ≥ µ (a) , a, ai ∈ A, k ∈ k, i = 1, . . . , n. (6.26)
Definition 6.8. An obscure G-graded n-ary algebra A
(n)
G (µ) is a direct sum
decomposition (cf. (3.8)),
A
(n)
G (µ) =
M
g∈G
A(n)
g (µg) , (6.27)
where A(µ) =
S
g∈GA
(µg)
g , A(µg) = {(a|µg (a)) , a ∈ Ag, µg = (0, 1]}, and the joint
membership function µ is given by (3.9).
In the obscure totally commutative n-ary algebra A
(n)
G (µ) (for homogeneous
elements) we have (n! − 1) commutativity relations (cf. (5.17))
[a1, . . . , an](n)
=
aσ(1), . . . , aσ(n)
(n)
, a1, . . . , an ∈ A(µ)
, σ ∈ Sn, σ 6= I. (6.28)
Let us consider a “linear” (in µ) deformation of (6.28) analogous to the binary
case (4.1).
27. Membership Deformation of Commutativity and Obscure n-ary Algebras 459
Definition 6.9. An obscure membership deformed n-ary algebra is
A
(n)
∗G (µ) =
D
A(µ)
| [ ](n)
∗ , +
E
in which there are (n! − 1) possible noncommutativity relations
µa0
n
(an) [a1, . . . , an](n)
∗ = µa0
σ(n)
aσ(n)
aσ(1), . . . , aσ(n)
(n)
∗
,
a1, . . . , an ∈ A(µ)
, a0
n, a0
σ(n) ∈ G, σ ∈ Sn, σ 6= I. (6.29)
Since µ 0, we can have
Definition 6.10. The (n! − 1) membership commutation factors in A
(n)
∗G (µ)
are defined by
(n)
σ(n)
a0
n, a0
σ(n), an, aσ(n)
=
µa0
σ(n)
aσ(n)
µa0
n
(an)
, a0
n, a0
σ(n) ∈ G, σ ∈ Sn, σ 6= I, (6.30)
and the relations (6.29) become
[a1, . . . , an](n)
∗ =
(n)
σ(n)
a0
n, a0
σ(n), an, aσ(n)
aσ(1), . . . , aσ(n)
(n)
∗
. (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).
Example 6.11. For the obscure membership deformed ternary algebra
A
(3)
∗G (µ) =
D
A(µ)
| [ ](3)
∗ , +
E
,
we obtain
[a1, a2, a3] =
(3)
σ(1)σ(2)σ(3)
aσ(1), aσ(2), aσ(3)
(3)
∗
, a1, a2, a3 ∈ A, σ ∈ S3, (6.32)
(3)
132 =
(3)
312 =
µa0
3
(a3)
µa0
2
(a2)
,
(3)
231 =
(3)
321 =
µa0
3
(a3)
µa0
1
(a1)
,
(3)
213 = 1, , a0
1, a0
2, a0
3 ∈ G,
which means that it is 1-partially commutative (see (6.17)) and has only 2 inde-
pendent 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).
28. 460 Steven Duplij
Definition 6.12. An obscure membership deformed n-ary π-commutative
algebra over k is A
(n)
?G (µ) =
D
A(µ) | [ ](n)
? , +
E
in which the following (n! − 1)
noncommutativity relations are valid:
π(n)
a0
σ(1), . . . , a0
σ(n)
µa0
n
(an) [a1, . . . , an](n)
?
= π(n)
a0
1, . . . , a0
n
µa0
σ(n)
aσ(n)
aσ(1), . . . , aσ(n)
(n)
?
,
ai ∈ A(µ)
, a0
i ∈ G, σ ∈ Sn, σ 6= I, (6.33)
where π(n) are n-ary Schur-like factors satisfying the 2-cocycle conditions (6.2).
Definition 6.13. An algebra A
(n)
?G (µ) is called a double ε
(n)
π /
(n)
µ -commuta-
tive algebra if
[a1, . . . , an](n)
?
= ε
(n)
σ(1),...,σ(n) a0
1, . . . , a0
n
(n)
σ(n)
a0
n, a0
σ(n), an, aσ(n)
aσ(1), . . . , aσ(n)
(n)
?
, (6.34)
ε
(n)
σ(1),...,σ(n) a0
1, . . . , a0
n
=
π(n) (a0
1, . . . , a0
n)
π(n)
a0
σ(1), . . . , a0
σ(n)
, (6.35)
(n)
σ(n)
a0
n, a0
σ(n), an, aσ(n)
=
µa0
σ(n)
aσ(n)
µa0
n
(an)
, a1, . . . , an, aσ(1), . . . , aσ(n) ∈ A(µ)
,
a0
1, . . . , a0
n, a0
σ(1), . . . , a0
σ(n) ∈ G, σ ∈ Sn, σ 6= I, (6.36)
where ε
(n)
π is the n-ary grading commutation factor (6.7) and
(n)
µ is the n-ary
membership commutation 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 nonassocia-
tive 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 [ ]
(n)
~ such that the product of commutation factors
ε(n)(n) satisfies the n-ary 2-cocycle-like conditions, while the n-ary noncocycle
commutation factor satisfies the “membership deformed cocycle-like” conditions
analogously to (4.17)–(4.19).
Acknowledgments. 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.
References
[1] V.A. Artamonov, Quantum polynomial algebras, J. Math. Sci. 87 (1997), 3441–
3462.
29. Membership Deformation of Commutativity and Obscure n-ary Algebras 461
[2] V. Bargmann, On unitary ray representations of continuous groups, Ann. Math.
Second Series 59 (1954), 1–46.
[3] F.A. Berezin, Introduction to Superanalysis, Reidel, Dordrecht, 1987.
[4] N. Bourbaki, Algebra I: Chapters 1-3, Springer, 1998.
[5] R. Bělohlávek, Fuzzy relational systems: foundations and principles, Springer, New
York, 2002.
[6] R. Carlsson, N-ary algebras, Nagoya Math. J. 78 (1980), 45–56.
[7] T. Covolo, J. Grabowski, and N. Poncin, The category of Zn
2 -supermanifolds, J.
Math. Phys. 57 (2016), 073503, 16.
[8] E.C. Dade, Group-graded rings and modules, Math. Z. 174 (1980), 241–262.
[9] J.A. de Azcarraga and J.M. Izquierdo, n-Ary algebras: A review with applications,
J. Phys. A43 (2010), 293001.
[10] A. de Goursac, T. Masson, and J.-C. Wallet, Noncommutative ε-graded connections,
J. Noncommut. Geom. 6 (2012), 343–387.
[11] T. de Oliveira, Modular systems, Univ. Lisboa Rev. Fac. Ci. A (2) 8 (1960), 155–167.
[12] S. Duplij, Polyadic algebraic structures and their representations, in Exotic Alge-
braic and Geometric Structures in Theoretical Physics, (Ed. S. Duplij), Nova Pub-
lishers, New York, 2018, 251–308. Available from: https://arxiv.org/abs/1308.
4060.
[13] S. Duplij, Arity shape of polyadic algebraic structures, Zh. Mat. Fiz. Anal. Geom.
15 (2019), 3–56.
[14] R. Frucht, Zur Darstellung endlicher Abelscher Gruppen durch Kollineationen,
Math. Z. 63 (1955), 145–155.
[15] V.G. Kac, Lie superalgebras, Adv. Math. 26 (1977), 8–96.
[16] T.Y. Lam, A first course in noncommutative rings, Vol. 131 of Graduate Texts in
Mathematics, Second edition, Springer, New York, 2001.
[17] P.W. Michor and A.M. Vinogradov, n-Ary Lie and associative algebras, Rend. Sem.
Mat. Univ. Pol. Torino 54 (1996), 373–392.
[18] S. Montgomery, Constructing simple Lie superalgebras from associative graded al-
gebras, J. Alg. 195 (1997), 558–579.
[19] W. Nahm, V. Rittenberg, and M. Scheunert, The classification of graded Lie alge-
bras, Phys. Lett. 61B (1976), 383–391.
[20] V. Rittenberg and D. Wyler, Generalized superalgebras, Nuclear Phys. B 139
(1978), 189–202.
[21] M. Scheunert, Generalized Lie algebras, J. Math. Phys. 20 (1979), 712–720.
[22] N.J.J. Smith, Vagueness and degrees of truth, Oxford University Press, Oxford,
2008.
[23] The Handbooks of Fuzzy Sets Series, 7: Fundamentals of fuzzy sets, (Eds. D. Dubois
and H. Prade), Kluwer, Boston, 2000.
[24] H. Tilgner, Graded generalizations of Weyl and Clifford algebras, J. Pure Appl. Alg.
10 (1977), 163–168.
30. 462 Steven Duplij
[25] H.-J. Zimmermann, Fuzzy set theory and its applications, Second edition, Springer,
New York, 2011.
[26] È. M. Žmud´, Isomorphisms of irreducible protective representations of finite
groups, Zap. Meh.-Mat. Fak. i Har´kov Mat. Obšc. 26 (1960), 333–372 (Russian).
[27] È. M. Žmud´, Symplectic geometric and projective representations of finite abelian
groups, Math. USSR Sbornik 16 (1972), 1–16.
Received September 17, 2020, revised April 15, 2021.
Steven Duplij,
Center for Information Technology (WWU IT), Universität Münster, D-48149 Münster,
Deutschland,
E-mail: douplii@uni-muenster.de, sduplij@gmail.com
Деформацiя приналежностi комутативностi та
нечiткi n-арнi алгебри
Steven Duplij
Запропоновано загальний механiзм “порушення” комутативностi в
алгебрах: якщо базова множина приймається не за чiтку множину, а ско-
рiше за нечiтку, функцiя приналежностi, що вiдображає ступiнь iстин-
ностi приналежностi елемента до множини, може бути включена в ко-
мутацiйнi спiввiдношення. Спецiальнi “деформацiї” комутативностi i ε-
комутативностi вводяться таким чином, що рiвнi ступенi iстинностi при-
зводять до “недеформованому” випадку. Ми також наводимо схеми “де-
формування” ε-алгебр Лi i алгебри Вейля. Далi, наведенi вище констру-
кцiї поширюються на n-арнi алгебри, для яких вивчаються проективнi
подання та ε-комутативнiсть.
Ключовi слова: майже комутативна алгебра, неясна алгебра, дефор-
мацiя приналежностi, нечiтка множина, функцiя приналежностi, n-арна
алгебра, алгебра Лi, проективне подання