Ideal ring extensions and trusses

DOI10.1016/J.JALGEBRA.2022.01.038MaRDI QIDQ2118943zbMATH OpenOpenAlexFDO

Authors Ryszard R. Andruszkiewicz, Tomasz Brzeziński, Bernard Rybołowicz

Publication date 23 March 2022

Published in Journal of Algebra (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/2101.09484

zbMATH Keywords

extension ring truss

Mathematics Subject Classification ID

Algebraic structures (08A99) Extensions of associative rings by ideals (16S70) Generalizations (16Y99)

Abstract: It is shown that there is a close relationship between ideal extensions of rings and trusses, that is, sets with a semigroup operation distributing over a ternary abelian heap operation. Specifically, a truss can be associated to every element of an extension ring that projects down to an idempotent in the extending ring; every weak equivalence of extensions yields an isomorphism of corresponding trusses. Furthermore, equivalence classes of ideal extensions of rings by integers are in one-to-one correspondence with associated trusses up to isomorphism given by a translation. Conversely, to any truss

T

and an element of this truss one can associate a ring and its extension by integers in which

T

is embedded as a truss. Consequently any truss can be understood as arising from an ideal extension by integers. The key role is played by interpretation of ideal extensions by integers as extensions defined by double homothetisms of Redei [L. Redei, Die Verallgemeinerung der Schreierschen Erweiterungstheorie, {em Acta Sci. Math. Szeged}, {�f 14} (1952), 252--273] or by self-permutable bimultiplications of Mac Lane [S. Mac Lane, Extensions and obstructions for rings, {em Illinois J. Math.} {�f 2} (1958), 316--345], that is, as {em integral homothetic extensions}. It is shown that integral homothetic extensions of trusses are universal as extensions of trusses to rings but still enjoy a particular smallness property: they do not contain any subrings to which the truss inclusion map corestricts. Minimal extensions of trusses into rings are defined. The correspondence between homothetic ring extensions and trusses is used to classify fully up to isomorphism trusses arising from rings with zero multiplication and rings with trivial annihilators.

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 R\). Several applications of the theory are given. A classification or description of all trusses induced by homothetic data on rings with zero multiplication and on rings with trivial annihilator is given. In conclusion, a full classification (up to isomorphism) of trusses that can be constructed on the heap determined by the abelian group \(\mathbb{Z}_{p}\oplus \mathbb{Z}_{p}\) for a prime \(p\), is provided.

Recommendations

Cites work

Cited in

(17)

This page was built for publication: Ideal ring extensions and trusses

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2118943)