Journal article 573 views 97 downloads
Ideal ring extensions and trusses
Journal of Algebra, Volume: 600, Pages: 237 - 278
Swansea University Author: Tomasz Brzezinski
-
PDF | Version of Record
© 2022 The Authors. This is an open access article under the CC BY license
Download (635.16KB)
DOI (Published version): 10.1016/j.jalgebra.2022.01.038
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...
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ł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>© 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 |