Automorphisms and strongly invariant relations

DOI10.1007/S00012-023-00818-4MaRDI QIDQ6137589zbMATH OpenOpenAlexFDO

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

Publication date 4 September 2023

Published in Algebra Universalis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

Galois closurehomogeneous reductinvariant operationskrasner algebrarigid algebra

Mathematics Subject Classification ID

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

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.

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.

Cites work

• Algebraic structures with prescribed automorphism groups
• Closure properties for relational systems with given endomorphism structure
• scientific article; zbMATH DE number 3650557 (Why is no real title available?)
• scientific article; zbMATH DE number 4027545 (Why is no real title available?)
• scientific article; zbMATH DE number 3677917 (Why is no real title available?)
• scientific article; zbMATH DE number 48906 (Why is no real title available?)
• scientific article; zbMATH DE number 67032 (Why is no real title available?)
• scientific article; zbMATH DE number 67038 (Why is no real title available?)
• scientific article; zbMATH DE number 1007358 (Why is no real title available?)
• scientific article; zbMATH DE number 3059660 (Why is no real title available?)
• 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)