Back to Search
Start Over
Reversibility of disconnected structures
- Source :
- Algebra universalis. 82
- Publication Year :
- 2021
- Publisher :
- Springer Science and Business Media LLC, 2021.
-
Abstract
- A relational structure is called reversible iff every bijective endomorphism of that structure is an automorphism. We give several equivalents of that property in the class of disconnected binary structures and some its subclasses. For example, roughly speaking and denoting the set of integers by ${\mathbb Z}$, a structure having reversible components is reversible iff its components can not be "merged" by condensations (bijective homomorphisms) and each ${\mathbb Z}$-sequence of condensations between different components must be, in fact, a sequence of isomorphisms. We also give equivalents of reversibility in some special classes of structures. For example, we characterize CSB linear orders of a limit type and show that a disjoint union of such linear orders is a reversible poset iff the corresponding sequence of order types is finite-to-one.<br />Comment: 16 pages
- Subjects :
- Algebra and Number Theory
Endomorphism
010102 general mathematics
Mathematics - Logic
0102 computer and information sciences
Disjoint sets
Type (model theory)
Automorphism
01 natural sciences
03C07, 03E05, 05C40, 06A06
Combinatorics
Disjoint union (topology)
010201 computation theory & mathematics
Bijection
0101 mathematics
Partially ordered set
Order type
Mathematics
Subjects
Details
- ISSN :
- 14208911 and 00025240
- Volume :
- 82
- Database :
- OpenAIRE
- Journal :
- Algebra universalis
- Accession number :
- edsair.doi.dedup.....abff57420fbad2d5666b18d5fcc16570
- Full Text :
- https://doi.org/10.1007/s00012-021-00728-3