Automorphisms and strongly invariant relations

DOI10.1007/S00012-023-00818-4OpenAlexW2145144827MaRDI QIDQ6137589FDOQ6137589

Authors: Ferdinand Börner, Martin Goldstern, S. Shelah 

Publication date: 4 September 2023

Published in: Algebra Universalis (Search for Journal in Brave)

Abstract: We investigate characterizations of the Galois connection sInv-Aut between sets of finitary relations on a base set A and their automorphisms. In particular, for A=omega_1, we construct a countable set R of relations that is closed under all invariant operations on relations and under arbitray intersections, but is not closed under sInv(Aut(-)). Our structure (A,R) has an omega-categorical first order theory. A higher order definable well-order makes it rigid, but any reduct to a finite language is homogeneous.

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

Recommendations

• Automorphisms and inner automorphisms
• scientific article; zbMATH DE number 4204498
• scientific article; zbMATH DE number 1118053
• Automorphism invariants for semigroups
• Automorphisms of homogeneous structures
• On Automorphisms of Matrix Invariants
• Automorphisms related properties and chain decompositions
• Automorphisms of fields and structures
• Equivalence structures and their automorphisms
• Invariants of algebraic automorphisms.

zbMATH Keywords

rigid algebraGalois closureinvariant operationshomogeneous reductkrasner algebra

Mathematics Subject Classification ID

Models with special properties (saturated, rigid, etc.) (03C50) Galois correspondences, closure operators (in relation to ordered sets) (06A15) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic structures with prescribed automorphism groups
• Closure properties for relational systems with given endomorphism structure
• Krasner algebras
• Une généralisation de la notion de corps

This page was built for publication: Automorphisms and strongly invariant relations

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