BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Murray R. Bremner

Murray R. Bremner contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.RAmath.RTmath-phmath.MPmath.COhep-thmath.ACmath.AGmath.DGmath.GRmath.KTSymbolic Computation

Trust snapshot

Quick read

Trust 21 - Emerging
25works
0followers
12topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

25 published item(s)

preprint2013arXiv

A polynomial identity for the bilinear operation in Lie-Yamaguti algebras

We use computer algebra to demonstrate the existence of a multilinear polynomial identity of degree 8 satisfied by the bilinear operation in every Lie-Yamaguti algebra. This identity is a consequence of the defining identities for Lie-Yamaguti algebras, but is not a consequence of anticommutativity. We give an explicit form of this identity as an alternating sum over all permutations of the variables in a polynomial with 8 terms. Our computations also show that such identities do not exist in degrees less than 8.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Free associative algebras, noncommutative Grobner bases, and universal associative envelopes for nonassociative structures

These are the lecture notes from my short course of the same title at the CIMPA Research School on Associative and Nonassociative Algebras and Dialgebras: Theory and Algorithms - In Honour of Jean-Louis Loday (1946-2012), held at CIMAT, Guanajuato, Mexico, February 17 to March 2, 2013. The underlying motivation is to apply the theory of noncommutative Grobner bases in free associative algebras to the construction of universal associative envelopes for nonassociative structures defined by multilinear operations. Trilinear operations were classified by the author and Peresi in 2007. In her Ph.D. thesis of 2012, Elgendy studied the universal associative envelopes of nonassociative triple systems obtained by applying these trilinear operations to the 2-dimensional simple associative triple system. In these notes I use computer algebra to extend some aspects of her work to the 4-dimensional and 6-dimensional simple associative triple systems.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Structure of the rational monoid algebra for Boolean matrices of order 3

We use computer algebra to study the 512-dimensional associative algebra Q B_3, the rational monoid algebra of 3 x 3 Boolean matrices. We obtain a basis for the radical in bijection with the 42 non-regular elements of B_3. The center of the 470-dimensional semisimple quotient has dimension 14; we use a splitting algorithm to find a basis of orthogonal primitive idempotents. We show that the semisimple quotient is the direct sum of simple two-sided ideals isomorphic to d x d rational matrix algebras for d = 1, 1, 1, 2, 3, 3, 3, 3, 6, 6, 7, 9, 9, 12. We construct the irreducible representations of B_3 over Q by calculating the representation matrices for a minimal set of generators.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Algebras, dialgebras, and polynomial identities

This is a survey of some recent developments in the theory of associative and nonassociative dialgebras, with an emphasis on polynomial identities and multilinear operations. We discuss associative, Lie, Jordan, and alternative algebras, and the corresponding dialgebras; the KP algorithm for converting identities for algebras into identities for dialgebras; the BSO algorithm for converting operations in algebras into operations in dialgebras; Lie and Jordan triple systems, and the corresponding disystems; and a noncommutative version of Lie triple systems based on the trilinear operation abc-bca. The paper concludes with a conjecture relating the KP and BSO algorithms, and some suggestions for further research. Most of the original results are joint work with Raul Felipe, Luiz A. Peresi, and Juana Sanchez-Ortega.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Canonical forms of small tensors over F_2

We consider multidimensional arrays with at most 27 entries over the field with two elements, and their equivalence classes for the action of the direct product of general linear groups. The possible 3-dimensional formats are p x 2 x 2 (p = 2, ..., 6), p x 3 x 2 (p = 3, 4), and 3 x 3 x 3; the possible 4-dimensional formats are p x 2 x 2 x 2 (p = 2, 3). In each case, we compute the orbits for the group action, and then we determine the rank of each orbit. In particular, we determine the maximum rank for these arrays over F_2.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Higher identities for the ternary commutator

We use computer algebra to study polynomial identities for the trilinear operation [a,b,c] = abc - acb - bac + bca + cab - cba in the free associative algebra. It is known that [a,b,c] satisfies the alternating property in degree 3, no new identities in degree 5, a multilinear identity in degree 7 which alternates in 6 arguments, and no new identities in degree 9. We use the representation theory of the symmetric group to demonstrate the existence of new identities in degree 11. The only irreducible representations of dimension < 400 with new identities correspond to partitions 2^5 1 and 2^4 1^3 and have dimensions 132 and 165. We construct an explicit new multilinear identity for partition 2^5 1 and we demonstrate the existence of a new non-multilinear identity in which the underlying variables are permutations of a^2 b^2 c^2 d^2 e^2 f.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

The fundamental invariants of 3 x 3 x 3 arrays

We determine the three fundamental invariants in the entries of a $3 \times 3 \times 3$ array over $\mathbb{C}$ as explicit polynomials in the 27 variables $x_{ijk}$ for $1 \le i, j, k \le 3$. By the work of Vinberg on $θ$-groups, it is known that these homogeneous polynomials have degrees 6, 9 and 12; they freely generate the algebra of invariants for the Lie group $SL_3(\mathbb{C}) \times SL_3(\mathbb{C}) \times SL_3(\mathbb{C})$ acting irreducibly on its natural representation $\mathbb{C}^3 \otimes \mathbb{C}^3 \otimes \mathbb{C}^3$. These generators have respectively 1152, 9216 and 209061 terms; we find compact expressions in terms of the orbits of the finite group $(S_3 \times S_3 \times S_3) \rtimes S_3$ acting on monomials of weight zero for the action of the Lie algebra $\mathfrak{sl}_3(\mathbb{C}) \oplus \mathfrak{sl}_3(\mathbb{C}) \oplus \mathfrak{sl}_3(\mathbb{C})$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A hyperdeterminant for 2 x 2 x 3 arrays

We use the representation theory of Lie algebras and computational linear algebra to determine the simplest nonconstant invariant polynomial in the entries of a general 2 x 2 x 3 array. This polynomial is homogeneous of degree 6 and has 66 terms with coefficients 1, -1, 2, -2 in the 12 indeterminates x_ijk where i,j = 1,2 and k = 1,2,3. This invariant can be regarded as a natural generalization of Cayley&#39;s hyperdeterminant for 2 x 2 x 2 arrays.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Jordan Triple Disystems

We take an algorithmic and computational approach to a basic problem in abstract algebra: determining the correct generalization to dialgebras of a given variety of nonassociative algebras. We give a simplified statement of the KP algorithm introduced by Kolesnikov and Pozhidaev for extending polynomial identities for algebras to corresponding identities for dialgebras. We apply the KP algorithm to the defining identities for Jordan triple systems to obtain a new variety of nonassociative triple systems, called Jordan triple disystems. We give a generalized statement of the BSO algorithm introduced by Bremner and Sanchez-Ortega for extending multilinear operations in an associative algebra to corresponding operations in an associative dialgebra. We apply the BSO algorithm to the Jordan triple product and use computer algebra to verify that the polynomial identities satisfied by the resulting operations coincide with the results of the KP algorithm; this provides a large class of examples of Jordan triple disystems. We formulate a general conjecture expressed by a commutative diagram relating the output of the KP and BSO algorithms. We conclude by generalizing the Jordan triple product in a Jordan algebra to operations in a Jordan dialgebra; we use computer algebra to verify that resulting structures provide further examples of Jordan triple disystems. For this last result, we also provide an independent theoretical proof using Jordan structure theory.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Leibniz triple systems

We define Leibniz triple systems in a functorial manner using the algorithm of Kolesnikov and Pozhidaev which converts identities for algebras into identities for dialgebras. We verify that Leibniz triple systems are the natural analogues of Lie triple systems in the context of dialgebras by showing that both the iterated bracket in a Leibniz algebra and the permuted associator in a Jordan dialgebra satisfy the defining identities for Leibniz triple systems. We construct the universal Leibniz envelopes of Leibniz triple systems and prove that every identity satisfied by the iterated bracket in a Leibniz algebra is a consequence of the defining identities for Leibniz triple systems. To conclude, we present some examples of 2-dimensional Leibniz triple systems and their universal Leibniz envelopes.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Malcev dialgebras

We apply Kolesnikov&#39;s algorithm to obtain a variety of nonassociative algebras defined by right anticommutativity and a `noncommutative&#39; version of the Malcev identity. We use computational linear algebra to verify that these identities are equivalent to the identities of degree <= 4 satisfied by the dicommutator in every alternative dialgebra. We extend these computations to show that any special identity for Malcev dialgebras must have degree at least 7. Finally, we introduce a trilinear operation which makes any Malcev dialgebra into a Leibniz triple system.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The hyperdeterminant of 3 x 3 x 2 arrays, and the simplest invariant of 4 x 4 x 2 arrays

We use the representation theory of Lie algebras and computational linear algebra to obtain an explicit formula for the hyperdeterminant of a $3 \times 3 \times 2$ array: a homogeneous polynomial of degree 12 in 18 variables with 16749 monomials and 41 distinct integer coefficients; the monomials belong to 178 orbits under the action of $(S_3 \times S_3 \times S_2) \rtimes S_2$. We also obtain the simplest invariant for a $4 \times 4 \times 2$ array: a homogeneous polynomial of degree 8 in 32 variables with 14148 monomials and 13 distinct integer coefficients; the monomials belong to 28 orbits under $(S_4 \times S_4 \times S_2) \rtimes S_2$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

The simple non-Lie Malcev algebra as a Lie-Yamaguti algebra

The simple 7-dimensional Malcev algebra $M$ is isomorphic to the irreducible $\mathfrak{sl}(2,\mathbb{C})$-module V(6) with binary product $[x,y] = α(x \wedge y)$ defined by the $\mathfrak{sl}(2,\mathbb{C})$-module morphism $α\colon Λ^2 V(6) \to V(6)$. Combining this with the ternary product $(x,y,z) = β(x \wedge y) \cdot z$ defined by the $\mathfrak{sl}(2,\mathbb{C})$-module morphism $β\colon Λ^2 V(6) \to V(2) \approx \s$ gives $M$ the structure of a generalized Lie triple system, or Lie-Yamaguti algebra. We use computer algebra to determine the polynomial identities of low degree satisfied by this binary-ternary structure.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

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

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Enveloping algebras of Malcev algebras

We first discuss the construction by Perez-Izquierdo and Shestakov of universal nonassociative enveloping algebras of Malcev algebras. We then describe recent results on explicit structure constants for the universal enveloping algebras (both nonassociative and alternative) of the 4-dimensional solvable Malcev algebra and the 5-dimensional nilpotent Malcev algebra. We include a proof (due to Shestakov) that the universal alternative enveloping algebra of the real 7-dimensional simple Malcev algebra is isomorphic to the 8-dimensional division algebra of real octonions. We conclude with some brief remarks on tangent algebras of analytic Bol loops and monoassociative loops. This is a revised and expanded version of the survey talk given by the first author at the Second Mile High Conference on Nonassociative Mathematics at the University of Denver (Denver, Colorado, USA, June 22 to 26, 2009).

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Enveloping algebras of the nilpotent Malcev algebra of dimension five

Perez-Izquierdo and Shestakov recently extended the PBW theorem to Malcev algebras. It follows from their construction that for any Malcev algebra $M$ over a field of characteristic $\ne 2, 3$ there is a representation of the universal nonassociative enveloping algebra $U(M)$ by linear operators on the polynomial algebra $P(M)$. For the nilpotent non-Lie Malcev algebra $\mathbb{M}$ of dimension 5, we use this representation to determine explicit structure constants for $U(\mathbb{M})$; from this it follows that $U(\mathbb{M})$ is not power-associative. We obtain a finite set of generators for the alternator ideal $I(\mathbb{M}) \subset U(\mathbb{M})$ and derive structure constants for the universal alternative enveloping algebra $A(\mathbb{M}) = U(\mathbb{M})/I(\mathbb{M})$, a new infinite dimensional alternative algebra. We verify that the map $ι\colon \mathbb{M} \to A(\mathbb{M})$ is injective, and so $\mathbb{M}$ is special.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

How to compute the Wedderburn decomposition of a finite-dimensional associative algebra

This is a survey paper on algorithms that have been developed during the last 25 years for the explicit computation of the structure of an associative algebra of finite dimension over either a finite field or an algebraic number field. This constructive approach was initiated in 1985 by Friedl and Ronyai and has since been developed by Cohen, de Graaf, Eberly, Giesbrecht, Ivanyos, Kuronya and Wales. I illustrate these algorithms with the case n = 2 of the rational semigroup algebra of the partial transformation semigroup PT_n on n elements; this generalizes the full transformation semigroup and the symmetric inverse semigroup, and these generalize the symmetric group S_n.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Lie invariants in two and three variables

We use computer algebra to determine the Lie invariants of degree <= 12 in the free Lie algebra on two generators corresponding to the natural representation of the simple 3-dimensional Lie algebra sl(2,C). We then consider the free Lie algebra on three generators, and compute the Lie invariants of degree <= 7 corresponding to the adjoint representation of sl(2,C), and the Lie invariants of degree <= 9 corresponding to the natural representation of sl(3,C). We represent the action of sl(2,C) and sl(3,C) on Lie polynomials by computing the coefficient matrix with respect to the basis of Hall words. We then use algorithms for linear algebra (row canonical form, Hermite normal form, lattice basis reduction) to compute a basis of the nullspace.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

On the definition of quasi-Jordan algebra

Velasquez and Felipe recently introduced quasi-Jordan algebras based on the product $a \triangleleft b = \tfrac12 ( a \dashv b + b \vdash a )$ in an associative dialgebra with operations $\dashv$ and $\vdash$. We determine the polynomial identities of degree $\le 4$ satisfied by this product. In addition to right commutativity and the right quasi-Jordan identity, we obtain a new associator-derivation identity.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Polynomial identities for ternary intermolecular recombination

The operation of binary intermolecular recombination, originating in the theory of DNA computing, permits a natural generalization to n-ary operations which perform simultaneous recombination of n molecules. In the case n = 3, we use computer algebra to determine the polynomial identities of degree <= 9 satisfied by this trilinear nonassociative operation. Our approach requires computing a basis for the nullspace of a large integer matrix, and for this we compare two methods: (i) the row canonical form, and (ii) the Hermite normal form with lattice basis reduction. In the conclusion, we formulate some conjectures for the general case of n-ary intermolecular recombination.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Special identities for quasi-Jordan algebras

Semispecial quasi-Jordan algebras (also called Jordan dialgebras) are defined by the polynomial identities $a(bc) = a(cb)$, $(ba)a^2 = (ba^2)a$, and $(b,a^2,c) = 2(b,a,c)a$. These identities are satisfied by the product $ab = a \dashv b + b \vdash a$ in an associative dialgebra. We use computer algebra to show that every identity for this product in degree $\le 7$ is a consequence of the three identities in degree $\le 4$, but that six new identities exist in degree 8. Some but not all of these new identities are noncommutative preimages of the Glennie identity.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

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

For n even, we prove Pozhidaev&#39;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.

0 citations0 reviewsNo code linkedOpen access