CRIS of TUM
Current Research Information System (CRIS) of the Technical University of Moldova (TUM) is an open access system gathering information and digital material relating to the various research and innovation entities and activities of TUM: researchers, research units, publications, patents, thesis, awards, events, equipment, services and other.
Please use this identifier to cite or link to this item:
http://cris.utm.md/handle/5014/441| Title: | A Correspondence Between Commutative Rings and Jordan Loops | Authors: | URSU, Vasile | Keywords: | commutative ring with unity;metabelian commutative loop;finitely axiomatizable class;undecidability of elementary theory;recursively inseparable sets | Issue Date: | 2020 | Source: | Ursu, V.I. A Correspondence Between Commutative Rings and Jordan Loops. Algebra Logic 58, 494–513 (2020). https://doi.org/10.1007/s10469-020-09569-w | Journal: | Algebra and Logic | Abstract: | We show that there is a one-to-one correspondence (up to isomorphism) between commutative rings with unity and metabelian commutative loops belonging to a particular finitely axiomatizable class. Based on this correspondence, it is proved that the sets of identically valid formulas and of finitely refutable formulas of a class of finite nonassociative commutative loops (and of many of its other subclasses) are recursively inseparable. It is also stated that nonassociative commutative free automorphic loops of any nilpotency class have an undecidable elementary theory. |
URI: | http://cris.utm.md/handle/5014/441 | ISSN: | 0002-5232 | DOI: | 10.1007/s10469-020-09569-w |
| Appears in Collections: | Journal Articles |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| A_Coorespondence_URSU_Vasile.pdf | 25.3 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.