相关论文: Symbolic computation in cubic Jordan matrix algebr…

We present different methods for symbolic computer algebra computations in higher dimensional (\ge9) Clifford algebras using the \Clifford\ and \Bigebra\ packages for \Maple(R). This is achieved using graded tensor decompositions,…

We construct Lie algebras arising from cubic norm pairs over arbitrary commutative base rings. Such Lie algebras admit a grading by a root system of type $G_2$, and when the cubic norm pair is a cubic Jordan matrix algebra, the…

We present a scheme for translating logic programs, which may use aggregation and arithmetic, into algebraic expressions that denote bag relations over ground terms of the Herbrand universe. To evaluate queries against these relations, we…

We developed a new proper method for classifying $n$-dimensional derived Jordan algebras, and apply it to the classification of $3$-dimensional derived Jordan algebras. As a byproduct, we have the algebraic classification of $3$-dimensional…

We introduce some basic concepts for Jacobi-Jordan algebras such as: representations, crossed products or Frobenius/metabelian/co-flag objects. A new family of solutions for the quantum Yang-Baxter equation is constructed arising from any…

We define Jordan quadruple systems by the polynomial identities of degrees 4 and 7 satisfied by the Jordan tetrad {a,b,c,d} = abcd + dcba as a quadrilinear operation on associative algebras. We find further identities in degree 10 which are…

In this paper, we define the notion of crossed modules of groups with action and investigate related structures. Functions for computing of these structures have been written using the GAP computational discrete algebra programming…

We introduce QuAlg, an open-source symbolic algebra package for quantum information. QuAlg supports working with qubit-states, qudit-states, fock-states and even wave-functions in infinite dimenional Hilbert spaces. States can have…

We introduce the Macaulay2 package GradedLieAlgebras for doing computations in graded Lie algebras presented by generators and relations.

An affine variety induces the structure of an algebraic matroid on the set of coordinates of the ambient space. The matroid has two natural decorations: a circuit polynomial attached to each circuit, and the degree of the projection map to…

In this article, we present a combinatorial formula for computing the Wedderburn decomposition of the rational group algebra associated with an ordinary metacyclic $p$-group $G$, where $p$ is any prime. We also provide a formula for…

In this paper, we described the GAP implementation of crossed modules of commutative algebras and cat$^{1}$-algebras and their equivalence.

We present a Mathematica package for doing computations with gamma matrices, spinors, tensors and other objects, in any dimension and signature. The approach we use is based on defining the commutation relations of the relevant matrices,…

We show that any order isomorphism between ordered structures of associative unital JB-subalgebras of JBW algebras is implemented naturally by a Jordan isomorphism. Consequently, JBW algebras are determined by the structure of their…

Multi-parameter versions U_p(g) and C_p[G] of the standard quantum groups U_q(g) and C_q[G] are considered where G is a semi-simple connected complex algebraic group and g is the Lie algebra of G. The primitive spectrum of C_p[G] is…

The optimal calculation order of a computational graph can be represented by a set of algebraic expressions. Computational graph and algebraic expression both have close relations and significant differences, this paper looks into these…

Let G be a p-adic Lie group. This paper is about the Jordan-Hoelder series of locally analytic G-representations which are induced from locally algebraic representations of a parabolic subgroup.

In this paper we study the structure of the Algebraic Cobordism ring of a variety as a module over the Lazard ring, and show that it has relations in positive codimensions. We actually prove the stronger graded version. This extends the…

A prototype for an extensible interactive graphical term manipulation system is presented that combines pattern matching and nondeterministic evaluation to provide a convenient framework for doing tedious algebraic manipulations that so far…

A Jordan algebra J is said to be pseudo-euclidean if J is endowed with an associative non-degenerate symmetric bilinear form B. B is said an associative scalar product on J. First, we provide a description of the pseudo-euclidean Jordan…