Math 2.0

Nonassociative rings and algebras Definition

Malcev algebra

Builds on Anticommutative algebraLie algebraAlternative algebra

Definition

Let kk be a field of characteristic not 22. A Malcev algebra over kk is a vector space AA over kk with a bilinear product (x,y)↦xy(x, y) \mapsto xy such that:

  1. xx=0xx = 0 for all x∈Ax \in A (the product is anticommutative);
  2. (xy)(xz)=((xy)z)x+((yz)x)x+((zx)x)y(xy)(xz) = ((xy)z)x + ((yz)x)x + ((zx)x)y for all x,y,z∈Ax, y, z \in A (Malcev identity).

Remarks

With the Jacobian J(x,y,z)=(xy)z+(yz)x+(zx)yJ(x, y, z) = (xy)z + (yz)x + (zx)y, the Malcev identity is equivalent, for anticommutative products, to J(x,y,xz)=J(x,y,z) xJ(x, y, xz) = J(x, y, z)\, x.

Example: every Lie algebra is a Malcev algebra, since J=0J = 0 makes both sides of J(x,y,xz)=J(x,y,z) xJ(x, y, xz) = J(x, y, z)\, x vanish. If AA is an alternative algebra, then AA with the commutator [x,y]=xy−yx[x, y] = xy - yx is a Malcev algebra.

Non-example: let AA have basis x,y,zx, y, z with xy=yxy = y, yx=−yyx = -y, yz=xyz = x, zy=−xzy = -x, and all other products of basis vectors zero. This product is anticommutative, and J(x,y,z)=yz+xx+0=xJ(x, y, z) = yz + xx + 0 = x. In the form J(u,v,uw)=J(u,v,w) uJ(u, v, uw) = J(u, v, w)\, u, take u=yu = y, v=zv = z, w=xw = x. The left side is J(y,z,yx)=−J(y,z,y)=0J(y, z, yx) = -J(y, z, y) = 0, since JJ is alternating. The right side is J(y,z,x) y=J(x,y,z) y=xy=y≠0J(y, z, x)\, y = J(x, y, z)\, y = xy = y \neq 0. So the Malcev identity fails.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Alternative algebra concept
  2. Anticommutative algebra concept
  3. Lie algebra concept
  4. Malcev algebra definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Malcev_algebra
About this page
TagQJ9E9DEYDC
URIm2://QJ9E9DEYDC
Kinddefinition
WritingW0 stub
MSC17D10
DefinesMalcev algebra
UsesAnticommutative algebra, Lie algebra, Alternative algebra
Changed3 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.