nLab truss

Idea

While a ring is a set with two operations, (Abelian) group with respect to one and semigroup with respect to another with a standard two-sided distributivity law, there are also interesting examples of a “brace-like” distributivity law instead. Truss is a formalization/generalization of the usage of the alternative distributivity which uses a heap as a weakening of a concept of a group. Trusses appear in a number of subjects including the study of solutions to quantum Yang-Baxter equation, ideal ring extensions, Hopf-Galois extensions, inverse semigroups etc.

If we drop Abelianess of the “additive” group then we talk about a more general notion of a skew truss (which is therefore to near-ring roughly what a truss is to a ring).

Definition

A left truss is a heap (A,[.,.,.])(A,[.,.,.]) together with another “multiplicative” operation which distributes with the ternary operation of the heap from the left

a[b,c,d]=[ab,ac,ad] a\cdot [b,c,d] = [a\cdot b,a\cdot c,a\cdot d]

A truss is a left and right truss.

A left truss is a left brace if it is Abelian group under the multiplicative operation.

Alternatively, we can use the binary operations only, together with some sort of a cocycle (measuring nonstandardness of distributive law). So let (A,+)(A,+) be a group (though additive, not necessarily commutative!) and (A,)(A,\cdot) a semigroup. As usually, consider the associated heap operation of (A,+)(A,+),

[b,c,d]=bc+d [b,c,d] = b - c + d

(where - means adding, in this order, the additive inverse). Then the following are equivalent:

  1. (A,[.,.,.])(A,[.,.,.]) is a truss

  2. σ:AA\exists \sigma: A\to A such that a(b+c)=(ab)σ(a)+(ac)a\cdot(b+c) = (a\cdot b)-\sigma(a)+(a\cdot c)

  3. λ:A×ASA\exists\lambda : A\times A\to SA such that a(b+c)=(ab)+λ(a,c)a\cdot(b+c) = (a\cdot b) + \lambda(a,c)

  4. μ:A×ASA\exists\mu : A\times A\to SA such that a(b+c)=μ(a,b)+(ac)a\cdot(b+c) = \mu(a,b)+(a\cdot c)

  5. κ,κ˜\exists\kappa,\tilde\kappa such that a(b+c)=κ(a,b)+κ˜(a,c)a\cdot(b+c) = \kappa(a,b)+\tilde\kappa(a,c)

Examples

  • All even numbers form a (nonunital) subring of the ring of integers. Another coset, the class 2+12\mathbb{Z}+1 of all odd numbers is closed under multiplication, but not under addition. However, if we introduce the new addition ab=a1+ba\oplus b = a - 1 + b then 2+12\mathbb{Z}+1 is closed under both operation and the brace-like distributive law holds a(bc)=abaaca\cdot(b \oplus c) = a\cdot b \ominus a \oplus a\cdot c.

Properties

Literature

  • Tomasz Brzeziński, Trusses: Between braces and rings, Trans. Amer. Math. Soc. 372 (2019), 4149-4176 doi; preprint pdf

  • T. Brzeziński, Enter truss, Northatlantic NCG seminar 2021 (video 2hr yt)

  • Tomasz Brzeziński, Bernard Rybołowicz, Modules over trusses vs modules over rings: direct sums and free modules, Algebra and Representation Theory 25, 1–23 (2022) doi

  • Ryszard R. Adruszkiewicz, Tomasz Brzeziński, Bernard Rybołowicz, Ideal ring extensions and trusses, arXiv:2101.09484

category: algebra

Last revised on August 22, 2022 at 18:27:41. See the history of this page for a list of all contributions to it.