SEMILATTICES AND THE RAMSEY PROPERTY

2015 ◽  
Vol 80 (4) ◽  
pp. 1236-1259 ◽  
Author(s):  
MIODRAG SOKIĆ
Keyword(s):  
Automorphism Group ◽  
Minimal Flow ◽  
Linear Extensions ◽  
Ramsey Property ◽  
Linear Orderings ◽  
Topological Interpretation ◽  
Finite Lattices ◽  
Image Position ◽  
Fraïssé Class ◽  
Uniquely Ergodic

AbstractWe consider${\cal S}$, the class of finite semilattices;${\cal T}$, the class of finite treeable semilattices; and${{\cal T}_m}$, the subclass of${\cal T}$which contains trees with branching bounded bym. We prove that${\cal E}{\cal S}$, the class of finite lattices with linear extensions, is a Ramsey class. We calculate Ramsey degrees for structures in${\cal S}$,${\cal T}$, and${{\cal T}_m}$. In addition to this we give a topological interpretation of our results and we apply our result to canonization of linear orderings on finite semilattices. In particular, we give an example of a Fraïssé class${\cal K}$which is not a Hrushovski class, and for which the automorphism group of the Fraïssé limit of${\cal K}$is not extremely amenable (with the infinite universal minimal flow) but is uniquely ergodic.

scholarly journals COHERENT EXTENSION OF PARTIAL AUTOMORPHISMS, FREE AMALGAMATION AND AUTOMORPHISM GROUPS

2019 ◽  
Vol 85 (1) ◽  
pp. 199-223 ◽  
Author(s):  
DAOUD SINIORA ◽  
SŁAWOMIR SOLECKI
Keyword(s):  
Automorphism Group ◽  
Automorphism Groups ◽  
Extension Property ◽  
Finite Subgroup ◽  
Homogeneous Structure ◽  
Extension Theorems ◽  
Locally Finite ◽  
Finite Structures ◽  
Image Position ◽  
Fraïssé Class

AbstractWe give strengthened versions of the Herwig–Lascar and Hodkinson–Otto extension theorems for partial automorphisms of finite structures. Such strengthenings yield several combinatorial and group-theoretic consequences for homogeneous structures. For instance, we establish a coherent form of the extension property for partial automorphisms for certain Fraïssé classes. We deduce from these results that the isometry group of the rational Urysohn space, the automorphism group of the Fraïssé limit of any Fraïssé class that is the class of all ${\cal F}$-free structures (in the Herwig–Lascar sense), and the automorphism group of any free homogeneous structure over a finite relational language all contain a dense locally finite subgroup. We also show that any free homogeneous structure admits ample generics.

Automorphism groups of arithmetically saturated models

2006 ◽  
Vol 71 (1) ◽  
pp. 203-216 ◽  
Author(s):  
Ermek S. Nurkhaidarov
Keyword(s):  
Automorphism Group ◽  
Automorphism Groups ◽  
Open Subgroup ◽  
Peano Arithmetic ◽  
Standard System ◽  
Permutation Groups ◽  
Saturated Model ◽  
Saturated Models ◽  
Homogeneous Set ◽  
Image Position

In this paper we study the automorphism groups of countable arithmetically saturated models of Peano Arithmetic. The automorphism groups of such structures form a rich class of permutation groups. When studying the automorphism group of a model, one is interested to what extent a model is recoverable from its automorphism group. Kossak-Schmerl [12] show that if M is a countable, arithmetically saturated model of Peano Arithmetic, then Aut(M) codes SSy(M). Using that result they prove:Let M1. M2 be countable arithmetically saturated models of Peano Arithmetic such that Aut(M1) ≅ Aut(M2). Then SSy(M1) = SSy(M2).We show that if M is a countable arithmetically saturated of Peano Arithmetic, then Aut(M) can recognize if some maximal open subgroup is a stabilizer of a nonstandard element, which is smaller than any nonstandard definable element. That fact is used to show the main theorem:Let M1, M2be countable arithmetically saturated models of Peano Arithmetic such that Aut(M1) ≅ Aut(M2). Then for every n < ωHere RT2n is Infinite Ramsey's Theorem stating that every 2-coloring of [ω]n has an infinite homogeneous set. Theorem 0.2 shows that for models of a false arithmetic the converse of Kossak-Schmerl Theorem 0.1 is not true. Using the results of Reverse Mathematics we obtain the following corollary:There exist four countable arithmetically saturated models of Peano Arithmetic such that they have the same standard system but their automorphism groups are pairwise non-isomorphic.

-SPHERICAL FUNCTIONS ON ABELIAN SEMIGROUPS

2017 ◽  
Vol 96 (3) ◽  
pp. 479-486 ◽  
Author(s):  
RADOSŁAW ŁUKASIK
Keyword(s):  
Functional Equation ◽  
Automorphism Group ◽  
Spherical Functions ◽  
Abelian Semigroup ◽  
Image Position

We present the form of the solutions $f:S\rightarrow \mathbb{C}$ of the functional equation $$\begin{eqnarray}\mathop{\sum }_{\unicode[STIX]{x1D706}\in K}f(x+\unicode[STIX]{x1D706}y)=|K|f(x)f(y)\quad \text{for }x,y\in S,\end{eqnarray}$$ where $f$ satisfies the condition $f(\sum _{\unicode[STIX]{x1D706}\in K}\unicode[STIX]{x1D706}x)\neq 0$ for all $x\in S$, $(S,+)$ is an abelian semigroup and $K$ is a subgroup of the automorphism group of $S$.

Sublattices and Initial Segments of the Degrees of Unsolvability

1970 ◽  
Vol 22 (3) ◽  
pp. 569-581 ◽  
Author(s):  
S. K. Thomason
Keyword(s):  
Lower Bound ◽  
Upper Bound ◽  
Lattice Theory ◽  
Initial Segment ◽  
Finite Lattice ◽  
Equivalence Relations ◽  
Finite Lattices ◽  
Image Position ◽  
Degrees Of Unsolvability

In this paper we shall prove that every finite lattice is isomorphic to a sublattice of the degrees of unsolvability, and that every one of a certain class of finite lattices is isomorphic to an initial segment of degrees.Acknowledgment. I am grateful to Ralph McKenzie for his assistance in matters of lattice theory.1. Representation of lattices. The equivalence lattice of the set S consists of all equivalence relations on S, ordered by setting θ ≦ θ’ if for all a and b in S, a θ b ⇒ a θ’ b. The least upper bound and greatest lower bound in are given by the ⋃ and ⋂ operations:

The Maximum Order of the Group of a Tournament

1967 ◽  
Vol 10 (4) ◽  
pp. 503-505 ◽  
Author(s):  
John D. Dixon
Keyword(s):  
Automorphism Group ◽  
Maximum Order ◽  
Image Position

To each tournament Tn with n nodes n there corresponds the automorphism group G(Tn) consisting n of all dominance preserving permutations of the set of nodes. In a recent paper [3], Myron Goldberg and J. W. Moon consider the maximum order g(n) which the group of a tournament with n nodes may have. Among other results they prove that12

Rigid homogeneous chains

1981 ◽  
Vol 89 (1) ◽  
pp. 07-17 ◽  
Author(s):  
A. M. W. Glass ◽  
Yuri Gurevich ◽  
W. Charles Holland ◽  
Saharon Shelah
Keyword(s):  
Automorphism Group ◽  
General Problem ◽  
Automorphism Groups ◽  
Ordered Sets ◽  
First Order ◽  
Image Position

Classifying (unordered) sets by the elementary (first order) properties of their automorphism groups was undertaken in (7), (9) and (11). For example, if Ω is a set whose automorphism group, S(Ω), satisfiesthen Ω has cardinality at most ℵ0 and conversely (see (7)). We are interested in classifying homogeneous totally ordered sets (homogeneous chains, for short) by the elementary properties of their automorphism groups. (Note that we use ‘homogeneous’ here to mean that the automorphism group is transitive.) This study was begun in (4) and (5). For any set Ω, S(Ω) is primitive (i.e. has no congruences). However, the automorphism group of a homogeneous chain need not be o-primitive (i.e. it may have convex congruences). Fortunately, ‘o-primitive’ is a property that can be captured by a first order sentence for automorphisms of homogeneous chains. Hence our general problem falls naturally into two parts. The first is to classify (first order) the homogeneous chains whose automorphism groups are o-primitive; the second is to determine how the o-primitive components are related for arbitrary homogeneous chains whose automorphism groups are elementarily equivalent.

ℵ0-categorical structures with arbitrarily fast growth of algebraic closure

2002 ◽  
Vol 67 (3) ◽  
pp. 897-909
Author(s):  
David M. Evans ◽  
M. E. Pantano
Keyword(s):  
Growth Rate ◽  
Automorphism Group ◽  
Finite Subset ◽  
Growth Rates ◽  
Algebraic Closure ◽  
Fast Growth ◽  
Permutation Groups ◽  
Natural Numbers ◽  
Categorical Structure ◽  
Image Position

Various results have been proved about growth rates of certain sequences of integers associated with infinite permutation groups. Most of these concern the number of orbits of the automorphism group of an ℵ0-categorical structure on the set of unordered n-subsets or on the set of n-tuples of elements of . (Recall that by the Ryll-Nardzewski Theorem, if is countable and ℵ0-categorical, the number of the orbits of its automorphism group Aut() on the set of n-tuples from is finite and equals the number of complete n-types consistent with the theory of .) The book [Ca90] is a convenient reference for these results. One of the oldest (in the realms of ‘folklore’) is that for any sequence (Kn)n∈ℕ of natural numbers there is a countable ℵ0-categorical structure such that the number of orbits of Aut() on the set of n-tuples from is greater than kn for all n.These investigations suggested the study of the growth rate of another sequence. Let be an ℵ0-categorical structure and X be a finite subset of . Let acl(X) be the algebraic closure of X, that is, the union of the finite X-definable subsets of . Equivalently, this is the union of the finite orbits on of Aut()(X), the pointwise stabiliser of X in Aut(). Define

scholarly journals On the power of a prime dividing the order of the automorphism group of a finite group

1960 ◽  
Vol 4 (4) ◽  
pp. 163-170 ◽  
Author(s):  
J. C. Howarth
Keyword(s):  
Finite Group ◽  
Automorphism Group ◽  
Image Position ◽  
A Finite Group

The existence of a function g of hhaving the property that pr divides the order of the automorphism group of a finite group G whenever pg divides the order of G was first established by Ledermann and Neumann [4], who showed that the least such function g(h) satisfies the inequalityLater Green [2] improved this estimate toIn the Present paper this will be revised, for sufficiently large h, to

scholarly journals UNIVERSAL MINIMAL FLOWS OF GENERALIZED WAŻEWSKI DENDRITES

2018 ◽  
Vol 83 (04) ◽  
pp. 1618-1632 ◽  
Author(s):  
ALEKSANDRA KWIATKOWSKA
Keyword(s):  
Minimal Flow ◽  
Topological Groups ◽  
Homeomorphism Group ◽  
Image Position ◽  
Homeomorphism Groups

AbstractWe study universal minimal flows of the homeomorphism groups of generalized Ważewski dendrites WP, $P \subseteq \left\{ {3,4, \ldots ,\omega } \right\}$. If P is finite, we prove that the universal minimal flow of the homeomorphism group H (WP) is metrizable and we compute it explicitly. This answers a question of Duchesne. If P is infinite, we show that the universal minimal flow of H (WP) is not metrizable. This provides examples of topological groups which are Roelcke precompact and have a nonmetrizable universal minimal flow with a comeager orbit.

Edge Partition Properties of Graphs

1973 ◽  
Vol 25 (3) ◽  
pp. 603-610 ◽  
Author(s):  
C. Ward Henson
Keyword(s):  
Partition Relation ◽  
Ramsey Property ◽  
Edge Partition ◽  
Image Position

Erdös and Hajnal [1] have introduced an edge partition relation for graphs(1)which means that whenever the edges of G are separated into two sets, E1 and E2, there exists a subgraph G’ of G such that G’ is isomorphic to Hi and the edges of G’ are all in Ei. for i = 1 or 2. A class of graphs has the G-R (Galvin-Ramsey) property [2] if for each H in there exists a G in which satisfies G→(H,H).

Sign in / Sign up

Export Citation Format

Share Document