Showing 1–7 of 7 results for author: Elgendy, H A

On the irreducible representations of the Jordan triple system of $p \times q$ matrices

Authors: Hader A. Elgendy

Abstract: Let $\mathcal{J}_{\field}$ be the Jordan triple system of all $p \times q$ ($p\neq q$; $p,q >1)$ rectangular matrices over a field $\field$ of characteristic 0 with the triple product $\{x,y,z\}= x y^t z+ z y^t x $, where $y^t$ is the transpose of $y$. We study the universal associative envelope $\mathcal{U}(\mathcal{J}_{\field})$ of $\mathcal{J}_{\field}$ and show that… ▽ More Let $\mathcal{J}_{\field}$ be the Jordan triple system of all $p \times q$ ($p\neq q$; $p,q >1)$ rectangular matrices over a field $\field$ of characteristic 0 with the triple product $\{x,y,z\}= x y^t z+ z y^t x $, where $y^t$ is the transpose of $y$. We study the universal associative envelope $\mathcal{U}(\mathcal{J}_{\field})$ of $\mathcal{J}_{\field}$ and show that $\mathcal{U}(\mathcal{J}_{\field}) \cong M_{p+q \times p+q}(\field)$, where $M_{p+q\times p+q} (\field)$ is the ordinary associative algebra of all $(p+q) \times (p+q)$ matrices over $\field$. It follows that there exist only one nontrivial irreducible representation of $\mathcal{J}_{\field}$. The center of $\mathcal{U}(\mathcal{J}_{\field})$ is deduced. △ Less

Submitted 12 January, 2023; v1 submitted 5 February, 2022; originally announced February 2022.

Comments: This paper has been published in International Electronic Journal of Algebra

A new classification of algebraic identities for linear operators on associative algebras

Authors: Murray R. Bremner, Hader A. Elgendy

Abstract: We introduce a new approach to the classification of operator identities, based on basic concepts from the theory of algebraic operads together with computational commutative algebra applied to determinantal ideals of matrices over polynomial rings. We consider operator identities of degree 2 (the number of variables in each term) and multiplicity 1 or 2 (the number of operators in each term), but… ▽ More We introduce a new approach to the classification of operator identities, based on basic concepts from the theory of algebraic operads together with computational commutative algebra applied to determinantal ideals of matrices over polynomial rings. We consider operator identities of degree 2 (the number of variables in each term) and multiplicity 1 or 2 (the number of operators in each term), but our methods apply more generally. Given an operator identity with indeterminate coefficients, we use partial compositions to construct a matrix of consequences, and then use computer algebra to determine the values of the indeterminates for which this matrix has submaximal rank. For multiplicity 1 we obtain six identities, including the derivation identity. For multiplicity 2 we obtain eighteen identities and two parametrized families, including the left and right averaging identities, the Rota-Baxter identity, the Nijenhuis identity, and some new identities which deserve further study. △ Less

Submitted 9 September, 2021; originally announced September 2021.

Comments: 20 pages

MSC Class: Primary 47C05. Secondary 13P10; 13P15; 17B38; 18M70; 39B42; 47-08

Special Identities for Comtrans Algebras

Authors: Murray R. Bremner, Hader A. Elgendy

Abstract: Comtrans algebras, arising in web geometry, have two trilinear operations, commutator and translator. We determine a Gröbner basis for the comtrans operad, and state a conjecture on its dimension formula. We study multilinear polynomial identities for the special commutator $[x,y,z] = xyz-yxz$ and special translator $\langle x, y, z \rangle = xyz-yzx$ in associative triple systems. In degree 3, th… ▽ More Comtrans algebras, arising in web geometry, have two trilinear operations, commutator and translator. We determine a Gröbner basis for the comtrans operad, and state a conjecture on its dimension formula. We study multilinear polynomial identities for the special commutator $[x,y,z] = xyz-yxz$ and special translator $\langle x, y, z \rangle = xyz-yzx$ in associative triple systems. In degree 3, the defining identities for comtrans algebras generate all identities. In degree 5, we simplify known identities for each operation and determine new identities relating the operations. In degree 7, we use representation theory of the symmetric group to show that each operation satisfies identities which do not follow from those of lower degree but there are no new identities relating the operations. We use noncommutative Gröbner bases to construct the universal associative envelope for the special comtrans algebra of $2 \times 2$ matrices. △ Less

Submitted 7 October, 2018; v1 submitted 26 June, 2018; originally announced June 2018.

Comments: 18 pages, 4 figures. Sections 3.2 and 3.3 have been rewritten to emphasize the importance of the forgetful functor from symmetric operads to shuffle operads

MSC Class: 17A40 (Primary); 15-04; 15A21; 15A69; 15B36; 18D50; 20C30; 68W30 (Secondary)

The universal Associative envelope of the anti-Jordan triple system of $n \times n$ matrices

Authors: Hader A. Elgendy

Abstract: We show that the universal associative enveloping algebra of the simple anti-Jordan triple system of all $n \times n$ matrices $(n \ge 2)$ over an algebraically closed field of characteristic 0 is finite dimensional. We investigate the structure of the universal envelope and focus on the monomial basis, the structure constants, and the center. We explicitly determine the decomposition of the unive… ▽ More We show that the universal associative enveloping algebra of the simple anti-Jordan triple system of all $n \times n$ matrices $(n \ge 2)$ over an algebraically closed field of characteristic 0 is finite dimensional. We investigate the structure of the universal envelope and focus on the monomial basis, the structure constants, and the center. We explicitly determine the decomposition of the universal envelope into matrix algebras. We classify all finite dimensional irreducible representations of the simple anti-Jordan triple system, and show that the universal envelope is semisimple. We also provide an example to show that the universal enveloping algebras of anti-Jordan triple systems are not necessary to be finite-dimensional. △ Less

Submitted 1 March, 2013; originally announced March 2013.

Comments: To appear in Journal of Algebra

Universal associative envelopes of nonassociative triple systems

Authors: Hader A. Elgendy

Abstract: We construct universal associative envelopes for the nonassociative triple systems arising from the trilinear operations of Bremner and Peresi applied to the 2-dimensional simple associative triple system. We use noncommutative Gröbner bases to determine monomial bases, structure constants, and centers of the universal envelopes. We show that the infinite dimensional envelopes are closely related… ▽ More We construct universal associative envelopes for the nonassociative triple systems arising from the trilinear operations of Bremner and Peresi applied to the 2-dimensional simple associative triple system. We use noncommutative Gröbner bases to determine monomial bases, structure constants, and centers of the universal envelopes. We show that the infinite dimensional envelopes are closely related to the down-up algebras of Benkart and Roby. For the finite dimensional envelopes, we determine the Wedderburn decompositions and classify the irreducible representations. △ Less

Submitted 18 November, 2012; originally announced November 2012.

Comments: Accepted for publication in Communications in Algebra

Alternating quaternary algebra structures on irreducible representations of sl(2,C)

Authors: Murray R. Bremner, Hader A. elgendy

Abstract: We determine the multiplicity of the irreducible representation V(n) of the simple Lie algebra sl(2,C) as a direct summand of its fourth exterior power $Λ^4 V(n)$. The multiplicity is 1 (resp. 2) if and only if n = 4, 6 (resp. n = 8, 10). For these n we determine the multilinear polynomial identities of degree $\le 7$ satisfied by the sl(2,C)-invariant alternating quaternary algebra structures obt… ▽ More We determine the multiplicity of the irreducible representation V(n) of the simple Lie algebra sl(2,C) as a direct summand of its fourth exterior power $Λ^4 V(n)$. The multiplicity is 1 (resp. 2) if and only if n = 4, 6 (resp. n = 8, 10). For these n we determine the multilinear polynomial identities of degree $\le 7$ satisfied by the sl(2,C)-invariant alternating quaternary algebra structures obtained from the projections $Λ^4 V(n) \to V(n)$. We represent the polynomial identities as the nullspace of a large integer matrix and use computational linear algebra to find the canonical basis of the nullspace. △ Less

Submitted 11 August, 2010; originally announced August 2010.

Comments: 26 pages, 13 tables

MSC Class: Primary 17A42. Secondary 17A30; 17B10; 17B81

Universal associative envelopes of (n+1)-dimensional n-Lie algebras

Authors: Murray R. Bremner, Hader A. Elgendy

Abstract: For n even, we prove Pozhidaev's conjecture on the existence of associative enveloping algebras for simple n-Lie algebras. More generally, for n even and any (n+1)-dimensional n-Lie algebra L, we construct a universal associative enveloping algebra U(L) and show that the natural map from L to U(L) is injective. We use noncommutative Grobner bases to present U(L) as a quotient of the free associati… ▽ More For n even, we prove Pozhidaev's conjecture on the existence of associative enveloping algebras for simple n-Lie algebras. More generally, for n even and any (n+1)-dimensional n-Lie algebra L, we construct a universal associative enveloping algebra U(L) and show that the natural map from L to U(L) is injective. We use noncommutative Grobner bases to present U(L) as a quotient of the free associative algebra on a basis of L and to obtain a monomial basis of U(L). In the last section, we provide computational evidence that the construction of U(L) is much more difficult for n odd. △ Less

Submitted 11 August, 2010; originally announced August 2010.

Comments: 13 pages

MSC Class: Primary 17A42. Secondary 13P10; 16S30; 17B35