No Cover Image

Journal article 573 views 97 downloads

Ideal ring extensions and trusses

Ryszard R. Andruszkiewicz, Tomasz Brzezinski Orcid Logo, Bernard Rybołowicz

Journal of Algebra, Volume: 600, Pages: 237 - 278

Swansea University Author: Tomasz Brzezinski Orcid Logo

  • 60087.pdf

    PDF | Version of Record

    © 2022 The Authors. This is an open access article under the CC BY license

    Download (635.16KB)

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...

Full description

Published in: Journal of Algebra
ISSN: 0021-8693
Published: Elsevier BV 2022
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa60087
Tags: Add Tag
No Tags, Be the first to tag this record!
first_indexed 2022-05-26T10:24:10Z
last_indexed 2023-01-11T14:41:48Z
id cronfa60087
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2022-10-27T11:50:20.6524038</datestamp><bib-version>v2</bib-version><id>60087</id><entry>2022-05-26</entry><title>Ideal ring extensions and trusses</title><swanseaauthors><author><sid>30466d840b59627325596fbbb2c82754</sid><ORCID>0000-0001-6270-3439</ORCID><firstname>Tomasz</firstname><surname>Brzezinski</surname><name>Tomasz Brzezinski</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2022-05-26</date><deptcode>SMA</deptcode><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 (1952) [24]) or by self-permutable bimultiplications of Mac Lane (S. Mac Lane (1958) [18]), that is, as integral homothetic extensions. The correspondence between homothetic ring extensions and trusses is used to classify fully up to iIt 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 (1952) [24]) or by self-permutable bimultiplications of Mac Lane (S. Mac Lane (1958) [18]), that is, as integral homothetic extensions. 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.somorphism trusses arising from rings with zero multiplication and rings with trivial annihilators.</abstract><type>Journal Article</type><journal>Journal of Algebra</journal><volume>600</volume><journalNumber/><paginationStart>237</paginationStart><paginationEnd>278</paginationEnd><publisher>Elsevier BV</publisher><placeOfPublication/><isbnPrint/><isbnElectronic/><issnPrint>0021-8693</issnPrint><issnElectronic/><keywords>Truss; Ring; Extension</keywords><publishedDay>15</publishedDay><publishedMonth>6</publishedMonth><publishedYear>2022</publishedYear><publishedDate>2022-06-15</publishedDate><doi>10.1016/j.jalgebra.2022.01.038</doi><url/><notes/><college>COLLEGE NANME</college><department>Mathematics</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SMA</DepartmentCode><institution>Swansea University</institution><apcterm>Another institution paid the OA fee</apcterm><funders>The research of the first two authors is partially supported by the National Science Centre, Poland, grant no. 2019/35/B/ST1/01115. The third author is supported by the EPSRC research grant EP/V008129/1 and was supported by the Swansea University Research Excellence Scholarship (SURES).</funders><projectreference/><lastEdited>2022-10-27T11:50:20.6524038</lastEdited><Created>2022-05-26T11:15:07.2993997</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Mathematics</level></path><authors><author><firstname>Ryszard R.</firstname><surname>Andruszkiewicz</surname><order>1</order></author><author><firstname>Tomasz</firstname><surname>Brzezinski</surname><orcid>0000-0001-6270-3439</orcid><order>2</order></author><author><firstname>Bernard</firstname><surname>Rybo&#x142;owicz</surname><order>3</order></author></authors><documents><document><filename>60087__24310__4c785e1bd11e4a84871727c6836d2a07.pdf</filename><originalFilename>60087.pdf</originalFilename><uploaded>2022-06-14T12:47:50.1308109</uploaded><type>Output</type><contentLength>650408</contentLength><contentType>application/pdf</contentType><version>Version of Record</version><cronfaStatus>true</cronfaStatus><documentNotes>&#xA9; 2022 The Authors. This is an open access article under the CC BY license</documentNotes><copyrightCorrect>true</copyrightCorrect><language>eng</language><licence>http://creativecommons.org/licenses/by/4.0/</licence></document></documents><OutputDurs/></rfc1807>
spelling 2022-10-27T11:50:20.6524038 v2 60087 2022-05-26 Ideal ring extensions and trusses 30466d840b59627325596fbbb2c82754 0000-0001-6270-3439 Tomasz Brzezinski Tomasz Brzezinski true false 2022-05-26 SMA 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 (1952) [24]) or by self-permutable bimultiplications of Mac Lane (S. Mac Lane (1958) [18]), that is, as integral homothetic extensions. The correspondence between homothetic ring extensions and trusses is used to classify fully up to iIt 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 (1952) [24]) or by self-permutable bimultiplications of Mac Lane (S. Mac Lane (1958) [18]), that is, as integral homothetic extensions. 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.somorphism trusses arising from rings with zero multiplication and rings with trivial annihilators. Journal Article Journal of Algebra 600 237 278 Elsevier BV 0021-8693 Truss; Ring; Extension 15 6 2022 2022-06-15 10.1016/j.jalgebra.2022.01.038 COLLEGE NANME Mathematics COLLEGE CODE SMA Swansea University Another institution paid the OA fee The research of the first two authors is partially supported by the National Science Centre, Poland, grant no. 2019/35/B/ST1/01115. The third author is supported by the EPSRC research grant EP/V008129/1 and was supported by the Swansea University Research Excellence Scholarship (SURES). 2022-10-27T11:50:20.6524038 2022-05-26T11:15:07.2993997 Faculty of Science and Engineering School of Mathematics and Computer Science - Mathematics Ryszard R. Andruszkiewicz 1 Tomasz Brzezinski 0000-0001-6270-3439 2 Bernard Rybołowicz 3 60087__24310__4c785e1bd11e4a84871727c6836d2a07.pdf 60087.pdf 2022-06-14T12:47:50.1308109 Output 650408 application/pdf Version of Record true © 2022 The Authors. This is an open access article under the CC BY license true eng http://creativecommons.org/licenses/by/4.0/
title Ideal ring extensions and trusses
spellingShingle Ideal ring extensions and trusses
Tomasz Brzezinski
title_short Ideal ring extensions and trusses
title_full Ideal ring extensions and trusses
title_fullStr Ideal ring extensions and trusses
title_full_unstemmed Ideal ring extensions and trusses
title_sort Ideal ring extensions and trusses
author_id_str_mv 30466d840b59627325596fbbb2c82754
author_id_fullname_str_mv 30466d840b59627325596fbbb2c82754_***_Tomasz Brzezinski
author Tomasz Brzezinski
author2 Ryszard R. Andruszkiewicz
Tomasz Brzezinski
Bernard Rybołowicz
format Journal article
container_title Journal of Algebra
container_volume 600
container_start_page 237
publishDate 2022
institution Swansea University
issn 0021-8693
doi_str_mv 10.1016/j.jalgebra.2022.01.038
publisher Elsevier BV
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Mathematics{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Mathematics
document_store_str 1
active_str 0
description 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 (1952) [24]) or by self-permutable bimultiplications of Mac Lane (S. Mac Lane (1958) [18]), that is, as integral homothetic extensions. The correspondence between homothetic ring extensions and trusses is used to classify fully up to iIt 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 (1952) [24]) or by self-permutable bimultiplications of Mac Lane (S. Mac Lane (1958) [18]), that is, as integral homothetic extensions. 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.somorphism trusses arising from rings with zero multiplication and rings with trivial annihilators.
published_date 2022-06-15T04:17:54Z
_version_ 1763754193054597120
score 11.035634