Related papers: Automorphisms and strongly invariant relations

The Lie product and the order relation are viewed as defining structures for Hamiltonian dynamical systems. Their admissible combinations are singled out by the requirement that the group of the Lie automorphisms be contained in the group…

This paper deals with affine connections on real manifolds. We give a new characterization of flat affine connections on real manifolds by means of certain affine representations of the Lie group of automorphisms preserving the connection.…

We use Sigma-invariants to study homotopical and homological finiteness properties of fixed subgroups of automorphisms of a group $G$ in terms of its center $Z(G)$ and the induced automorphisms on its associated quotient $G/Z(G)$.…

We characterize those countable rooted trees whose full automorphism group has uncountable strong cofinality or contains an open subgroup with ample generics.

Let L be the A_1 root lattice and G a finite subgroup of Aut(V_L), where $V_L$ is the associated lattice VOA (in this case, Aut(V) is isomorphic to PSL(2,\Bbb C)). The fixed point subVOA, V^G was studied in q-alg/9710017, which finds a set…

We survey recent results on multiple transitivity of automorphism groups of affine algebraic varieties. We consider the property of infinite transitivity of the special automorphism group, which is equivalent to flexibility of the…

First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras. We present universal axioms so that an algebra satisfies…

A relational structure is a core, if all its endomorphisms are embeddings. This notion is important for computational complexity classification of constraint satisfaction problems. It is a fundamental fact that every finite structure has a…

Let G be a simple complex algebraic group. By using a notion of a G-category we define invariants of tangles with flat G-connections in their complements. We also show that quantized universal enveloping algebras at roots of unity provide…

We study the automorphism groups of finite-dimensional cyclic Leibniz algebras. In this connection, we consider the relationships between groups, modules over associative rings and Leibniz algebras.

Let $G$ be a finite $p$-group such that $x\Z(G) \subseteq x^G$ for all $x \in G- \Z(G)$, where $x^G$ denotes the conjugacy class of $x$ in $G$. Then $|G|$ divides $|\Aut(G)|$, where $\Aut(G)$ is the group of all automorphisms of $G$.

In this article, we investigate the status of the homomorphism preservation property amongst restricted classes of finite relational structures and algebraic structures. We show that there are many homomorphism-closed classes of finite…

We study the automorphism group of Hall's universal locally finite group $H$. We show that in $Aut(H)$ every subgroup of index $< 2^\omega$ lies between the pointwise and the setwise stabilizer of a unique finite subgroup $A$ of $H$, and…

We study the conjugacy problem in the automorphism group $Aut(T)$ of a regular rooted tree $T$ and in its subgroup $FAut(T)$ of finite-state automorphisms. We show that under the contracting condition and the finiteness of what we call the…

One measure of the complexity of a first-order theory, and similarly a type, is the complexity of the formulas required to axiomatize it. We say a theory is bounded if there is an axiomatization involving only $\forall_n$-formulas for some…

Let 2<n\leq l<m< \omega. Let L_n denote first order logic restricted to the first n variables. We show that the omitting types theorem fails dramatically for the n--variable fragments of first order logic with respect to clique guarded…

Locally finite omega languages were introduced by Ressayre in [Journal of Symbolic Logic, Volume 53, No. 4, p.1009-1026]. They generalize omega languages accepted by finite automata or defined by monadic second order sentences. We study…

Let $A$ be an infinitely generated free abelian group. We prove that the automorphism group $\aut A$ first-order interprets the full second-order theory of the set $|A|$ with no structure. In particular, this implies that the automorphism…

Let $A_1,...,A_k$ be a system of free factors of $F_n$. The group of relative automorphisms $Aut(F_n;A_1,...,A_k)$ is the group given by the automorphisms of $F_n$ that restricted to each $A_i$ are conjugations by elements in $F_n$. The…

Let R a be countable ergodic equivalence relation of type II_1 on a standard probability space (X,m). The group Out(R) of outer automorphisms of R consists of all invertible Borel measure preserving maps of the space which map R-classes to…