PAIRWISE NONISOMORPHIC MAXIMAL-CLOSED SUBGROUPS OF SYM(ℕ) VIA THE CLASSIFICATION OF THE REDUCTS OF THE HENSON DIGRAPHS

2018 ◽  
Vol 83 (2) ◽  
pp. 395-415
Author(s):  
LOVKUSH AGARWAL ◽  
MICHAEL KOMPATSCHER
Keyword(s):  
Automorphism Groups ◽  
Positive Answer ◽  
Definable Relations ◽  
Automorphisms Groups ◽  
Image Position

AbstractGiven two structures${\cal M}$and${\cal N}$on the same domain, we say that${\cal N}$is a reduct of${\cal M}$if all$\emptyset$-definable relations of${\cal N}$are$\emptyset$-definable in${\cal M}$. In this article the reducts of the Henson digraphs are classified. Henson digraphs are homogeneous countable digraphs that omit some set of finite tournaments. As the Henson digraphs are${\aleph _0}$-categorical, determining their reducts is equivalent to determining the closed supergroupsG≤ Sym(ℕ) of their automorphism groups.A consequence of the classification is that there are${2^{{\aleph _0}}}$pairwise noninterdefinable Henson digraphs which have no proper nontrivial reducts. Taking their automorphisms groups gives a positive answer to a question of Macpherson that asked if there are${2^{{\aleph _0}}}$pairwise nonconjugate maximal-closed subgroups of Sym(ℕ). By the reconstruction results of Rubin, these groups are also nonisomorphic as abstract groups.

scholarly journals Geometrically rational real conic bundles and very transitive actions

2010 ◽  
Vol 147 (1) ◽  
pp. 161-187 ◽  
Author(s):  
Jérémy Blanc ◽  
Frédéric Mangolte
Keyword(s):  
Automorphism Groups ◽  
Algebraic Surfaces ◽  
Algebraic Models ◽  
Transitive Automorphism ◽  
Real Locus ◽  
Real Algebraic Surfaces ◽  
Conic Bundles ◽  
Transitive Actions ◽  
Insight Into

AbstractIn this article we study the transitivity of the group of automorphisms of real algebraic surfaces. We characterize real algebraic surfaces with very transitive automorphism groups. We give applications to the classification of real algebraic models of compact surfaces: these applications yield new insight into the geometry of the real locus, proving several surprising facts on this geometry. This geometry can be thought of as a half-way point between the biregular and birational geometries.

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.

Classification of nonnegative solutions to a bi-harmonic equation with Hartree type nonlinearity

2018 ◽  
Vol 149 (04) ◽  
pp. 979-994 ◽  
Author(s):  
Daomin Cao ◽  
Wei Dai
Keyword(s):  
Critical Case ◽  
Classical Solutions ◽  
Sobolev Inequalities ◽  
Extremal Functions ◽  
Method Of Moving Planes ◽  
Nonnegative Solutions ◽  
Moving Planes ◽  
Image Position ◽  
Harmonic Equation

AbstractIn this paper, we are concerned with the following bi-harmonic equation with Hartree type nonlinearity $$\Delta ^2u = \left( {\displaystyle{1 \over { \vert x \vert ^8}}* \vert u \vert ^2} \right)u^\gamma ,\quad x\in {\open R}^d,$$where 0 &lt; γ ⩽ 1 and d ⩾ 9. By applying the method of moving planes, we prove that nonnegative classical solutions u to (𝒫γ) are radially symmetric about some point x0 ∈ ℝd and derive the explicit form for u in the Ḣ2 critical case γ = 1. We also prove the non-existence of nontrivial nonnegative classical solutions in the subcritical cases 0 &lt; γ &lt; 1. As a consequence, we also derive the best constants and extremal functions in the corresponding Hardy-Littlewood-Sobolev inequalities.

Perturbations of AF-Algebras

1979 ◽  
Vol 31 (5) ◽  
pp. 1012-1016 ◽  
Author(s):  
John Phillips ◽  
Iain Raeburn
Keyword(s):  
Hilbert Space ◽  
Unit Ball ◽  
Von Neumann Algebra ◽  
Unitary Operator ◽  
Affirmative Answer ◽  
Positive Answer ◽  
Von Neumann ◽  
Finite Dimensional ◽  
Image Position ◽  
Af Algebras

Let A and B be C*-algebras acting on a Hilbert space H, and letwhere A1 is the unit ball in A and d(a, B1) denotes the distance of a from B1. We shall consider the following problem: if ‖A – B‖ is sufficiently small, does it follow that there is a unitary operator u such that uAu* = B?Such questions were first considered by Kadison and Kastler in [9], and have received considerable attention. In particular in the case where A is an approximately finite-dimensional (or hyperfinite) von Neumann algebra, the question has an affirmative answer (cf [3], [8], [12]). We shall show that in the case where A and B are approximately finite-dimensional C*-algebras (AF-algebras) the problem also has a positive answer.

Automorphism Groups and Classification of Reinhardt Domains

2011 ◽  
pp. 209-217
Author(s):  
Robert E. Greene ◽  
Kang-Tae Kim ◽  
Steven G. Krantz
Keyword(s):  
Automorphism Groups ◽  
Reinhardt Domains

Automorphism groups of simply reducible groups

2020 ◽  
pp. 2150088
Author(s):  
Yongzhi Luan
Keyword(s):  
Computer Algebra System ◽  
Coxeter Groups ◽  
Eigenvalue Problems ◽  
Automorphism Groups ◽  
Symmetric Groups ◽  
Molecular Symmetry ◽  
Dihedral Groups ◽  
Inner Automorphism ◽  
The Moment

Simply reducible groups are closely related to the eigenvalue problems in quantum theory and molecular symmetry in chemistry. Classification of simply reducible groups is still an open problem which is interesting to physicists. Since there are not many examples of simply reducible groups in literature at the moment, we try to find some examples of simply reducible groups as candidates for the classification. By studying the automorphism and inner automorphism groups of symmetric groups, dihedral groups, Clifford groups and Coxeter groups, we find some new examples of candidates. We use the computer algebra system GAP to get most of these automorphism and inner automorphism groups.

Classification of singular solutions of porous media equations with absorption

2005 ◽  
Vol 135 (3) ◽  
pp. 563-584 ◽  
Author(s):  
Xinfu Chen ◽  
Yuanwei Qi ◽  
Mingxin Wang
Keyword(s):  
Porous Media ◽  
Singular Solution ◽  
Singular Solutions ◽  
Constant Independent ◽  
Porous Media Equation ◽  
Porous Media Equations ◽  
Self Similar ◽  
Image Position ◽  
Very Singular Solution

We consider, for m ∈ (0, 1) and q > 1, the porous media equation with absorption We are interested in those solutions, which we call singular solutions, that are non-negative, non-trivial, continuous in Rn × [0, ∞)\{(0, 0)}, and satisfy u(x, 0) = 0 for all x ≠ 0. We prove the following results. When q ≥ m + 2/n, there does not exist any such singular solution. When q < m + 2/n, there exists, for every c > 0, a unique singular solution u = u(c), called the fundamental solution with initial mass c, which satisfies ∫Rnu(·, t) → c as t ↘ 0. Also, there exists a unique singular solution u = u∞, called the very singular solution, which satisfies ∫Rnu∞(·, t) → ∞ as t ↘ 0.In addition, any singular solution is either u∞ or u(c) for some finite positive c, u(c1) < u(c2) when c1 < c2, and u(c) ↗ u∞ as c ↗ ∞.Furthermore, u∞ is self-similar in the sense that u∞(x, t) = t−αw(|x| t−αβ) for α = 1/(q − 1), β = ½(q − m), and some smooth function w defined on [0, ∞), so that is a finite positive constant independent of t > 0.

scholarly journals A generalised quasi-variational inequality without upper semicontinuity

1996 ◽  
Vol 54 (2) ◽  
pp. 247-254 ◽  
Author(s):  
Paolo Cubiotti ◽  
Xian-Zhi Yuan
Keyword(s):  
Variational Inequality ◽  
Convex Subset ◽  
Existence Result ◽  
Upper Semicontinuity ◽  
Nonempty Closed Convex Subset ◽  
Positive Answer ◽  
Upper Semicontinuous ◽  
Quasi Variational Inequality ◽  
General Existence ◽  
Image Position

In this note we deal with the following problem: given a nonempty closed convex subset X of Rn and two multifunctions Γ : X → 2X and , to find ( such thatWe prove a very general existence result where neither Γ nor Φ are assumed to be upper semicontinuous. In particular, our result give a positive answer to an open problem raised by the first author recently.

Sign in / Sign up

Export Citation Format

Share Document