Ideal ring extensions and trusses
type: Item
instance of: scholarly article
title: Ideal ring extensions and trusses
zbMATH Open document ID: 1502.16029
author: Ryszard R. Andruszkiewicz
author: Tomasz Brzeziński
author: Bernard Rybołowicz
published in: Journal of Algebra
publication date: 2022-03-23T00:00:00Z
full work available at URL: https://arxiv.org/abs/2101.09484
review text: An abelian heap is a set \(H\) with a ternary \([\_,\_,\_]\) operation on \(H\). This ternary operation is subject to certain requirements which ensure that for any \(e\in H,\) the binary operation \(a+_{e}b=[a,e,b]\) gives an abelian group with identity \(e\) on \(H.\) Conversely, any abelian group \(G\) determines an abelian heap by defining \([a,b,c]=a-b+c.\) An abelian heap endowed with an associative binary multiplication that distributes from the left and the right over the ternary operation is called a truss. A truss equipped with a specific nullary operation or with an element with special properties can be made into a ring. Conversely, every ring can be made into a truss in a natural way, by associating the (unique) heap operation \([a,b,c]=a-b+c\) to the abelian group operation. The structure of trusses and their relationships to other algebraic structures, for example braces, have been investigated during the last few years. Here the authors study the relationship between ideal extensions of rings and trusses. The main results show that a truss can be associated to every element of an extension ring that projects down to an idempotent in the extending ring, while every weak equivalence of extensions yields an isomorphism of corresponding trusses. Conversely, to any truss and an element of this truss one can associate a ring together with its extension by integers in which the truss is embedded as a truss. In dealing with the ring extensions, Redei's theory of homothetisms and Mac Lane's self-permutable bimultiplications play an important role. Any infinite homothetic extension is equivalent to an extension by the ring of integers. A categorical interpretation of the infinite homothetic ring extensions \(T(e)\) in which a truss \(T\) embeds is given and it is shown that it has the universal property that any truss homomorphism from \(T\) to a ring \(R\) factorises through the inclusion \(T\rightarrow T(e)\) and a unique ring homomorphism \(T(e)\rightarrow …
reviewed by: Stefan Veldsman
Mathematics Subject Classification ID: 16S70
Mathematics Subject Classification ID: 16Y99
Mathematics Subject Classification ID: 08A99
zbMATH DE Number: 7496449
zbMATH Keywords: truss
zbMATH Keywords: ring
zbMATH Keywords: extension
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W4214924415
arXiv ID: 2101.09484
cites work: ON MAXIMAL ESSENTIAL EXTENSIONS OF RINGS
cites work: Q3728169
cites work: Q3140646
cites work: Trusses: Between braces and rings
cites work: Trusses: paragons, ideals and modules
cites work: Congruence classes and extensions of rings with an application to braces
cites work: Modules over trusses vs modules over rings: direct sums and free modules
cites work: Double Centralizers and Extensions of C ∗ -Algebras
cites work: Braces and the Yang-Baxter equation
cites work: An Extension Theory for Rings
cites work: On the ideal and radical embedding of algebras. I. Extreme embeddings
cites work: Skew braces and the Yang–Baxter equation
cites work: Cohomology and representations of associative algebras
cites work: Multipliers of Banach algebras
cites work: Extensions and obstructions for rings
cites work: Q4215784
cites work: A note on additive groups of some specific torsion-free rings of rank three and mixed associative rings
cites work: Formale Theorie der linearen Differentialgleichungen. (Zweiter Teil).
cites work: Ideal extensions of rings
cites work: Q5813223
cites work: Q5584555
cites work: Idealizers and hereditary Noetherian prime rings
cites work: Braces, radical rings, and the quatum Yang-Baxter equation.
cites work: Q4296949
DOI: 10.1016/J.JALGEBRA.2022.01.038
description: scientific article