Un principe d'ax-kochen-ershov pour des structures intermédiates entre groupes et corps valués

1999 ◽  
Vol 64 (3) ◽  
pp. 991-1027 ◽  
Author(s):  
Françoise Delon ◽  
Patrick Simonetta
Keyword(s):  
Abelian Group ◽  
Cross Section ◽  
Additive Group ◽  
Ordered Group ◽  
Unary Predicate ◽  
Valued Fields ◽  
Valued Field ◽  
Ordered Groups ◽  
Existentially Closed ◽  
Image Position

AbstractAn Ax-Kochen-Ershov principle for intermediate structures between valued groups and valued fields.We will consider structures that we call valued B-groups and which are of the form 〈G, B, *, υ〉 where– G is an abelian group,– B is an ordered group,– υ is a valuation denned on G taking its values in B,– * is an action of B on G satisfying: ∀x ϵ G ∀ b ∈ B υ(x * b) = ν(x) · b.The analysis of Kaplanski for valued fields can be adapted to our context and allows us to formulate an Ax-Kochen-Ershov principle for valued B-groups: we axiomatise those which are in some sense existentially closed and also obtain many of their model-theoretical properties. Let us mention some applications:1. Assume that υ(x) = υ(nx) for every integer n ≠ 0 and x ϵ G, B is solvable and acts on G in such a way that, for the induced action, Z[B] ∖ {0} embeds in the automorphism group of G. Then 〈G, B, *, υ〉 is decidable if and only if B is decidable as an ordered group.2. Given a field k and an ordered group B, we consider the generalised power series field k((B)) endowed with its canonical valuation. We consider also the following structure:where k((B))+ is the additive group of k((B)), S is a unary predicate interpreting {Tb ∣ b ϵB}, and ×↾k((B))×S is the multiplication restricted to k((B)) × S, structure which is a reduct of the valued field k((B)) with its canonical cross section. Then our result implies that if B is solvable and decidable as an ordered group, then M is decidable.3. A valued B–group has a residual group and our Ax-Kochen-Ershov principle remains valid in the context of expansions of residual group and value group. In particular, by adding a residual order we obtain new examples of solvable ordered groups having a decidable theory.

scholarly journals Metric spaces related to Abelian groups

2021 ◽  
Vol 22 (1) ◽  
pp. 169
Author(s):  
Amir Veisi ◽  
Ali Delbaznasab
Keyword(s):  
Metric Space ◽  
Metric Spaces ◽  
Additive Group ◽  
Ordered Group ◽  
Infinite Cyclic Group ◽  
Ordered Groups ◽  
The Family ◽  
Nonempty Compact ◽  
Metric Topology ◽  
Induced Topology

<p>When working with a metric space, we are dealing with the additive group (R, +). Replacing (R, +) with an Abelian group (G, ∗), offers a new structure of a metric space. We call it a G-metric space and the induced topology is called the G-metric topology. In this paper, we are studying G-metric spaces based on L-groups (i.e., partially ordered groups which are lattices). Some results in G-metric spaces are obtained. The G-metric topology is defined which is further studied for its topological properties. We prove that if G is a densely ordered group or an infinite cyclic group, then every G-metric space is Hausdorff. It is shown that if G is a Dedekind-complete densely ordered group, (X, d) a G-metric space, A ⊆ X and d is bounded, then f : X → G with f(x) = d(x, A) := inf{d(x, a) : a ∈ A} is continuous and further x ∈ cl<sub>X</sub>A if and only if f(x) = e (the identity element in G). Moreover, we show that if G is a densely ordered group and further a closed subset of R, K(X) is the family of nonempty compact subsets of X, e &lt; g ∈ G and d is bounded, then d′ (A, B) &lt; g if and only if A ⊆ N<sub>d</sub>(B, g) and B ⊆ N<sub>d</sub>(A, g), where N<sub>d</sub>(A, g) = {x ∈ X : d(x, A) &lt; g}, d<sub>B</sub>(A) = sup{d(a, B) : a ∈ A} and d′ (A, B) = sup{d<sub>A</sub>(B), d<sub>B</sub>(A)}.</p>

Augmentation quotients of group rings and symmetric powers

1979 ◽  
Vol 85 (2) ◽  
pp. 247-252 ◽  
Author(s):  
Robert Sandling ◽  
Ken-Ichi Tahara
Keyword(s):  
Finite Group ◽  
Abelian Group ◽  
Additive Group ◽  
Lower Central Series ◽  
Symmetric Power ◽  
Central Series ◽  
Group Rings ◽  
Augmentation Ideal ◽  
Symmetric Powers ◽  
Image Position

Let G be a group with the lower central seriesLetwhere Σ runs over all non-negative integers a1, a2,…, an such that and is the aith symmetric power of the abelian group Gi/Gi+1 whereLet I (G) be the augmentation ideal of G in , the group ring of G over . Define the additive group Qn (G) = In (G) / In+1 (G) for any n ≥ 1. Then it is well known that Q1(G) ≅ W1(G) for any group G. Losey (4,5) proved that Q2(G) ≅ W2(G) for any finitely generated group G. Furthermore recently Tahara(12) proved that Q3(G) is a certain precisely defined quotient of W3(G) for any finite group G.

Indécidabilité de corps de séries formelles

1988 ◽  
Vol 53 (4) ◽  
pp. 1227-1234
Author(s):  
Françoise Delon ◽  
Yamina Rouani
Keyword(s):  
Cross Section ◽  
Unary Predicate ◽  
Valued Fields ◽  
The Cross

AbstractConsider k((G)) in the language of valued fields enriched with a unary predicate for the set of constants and another one for the cross-section. For perfect k, this structure is undecidable if it does not satisfy Kaplansky's conditions.

Hyper-regular lattice-ordered groups

1993 ◽  
Vol 58 (4) ◽  
pp. 1342-1358 ◽  
Author(s):  
Daniel Gluschankof ◽  
François Lucas
Keyword(s):  
Abelian Groups ◽  
General Context ◽  
Lattice Ordered Group ◽  
Regular Lattice ◽  
Ordered Group ◽  
First Order ◽  
Elementary Class ◽  
Ordered Groups ◽  
Lattice Ordered Groups ◽  
Image Position

It is a well-known fact that the notion of an archimedean order cannot be formalized in the first-order calculus. In [12] and [18], A. Robinson and E. Zakon characterized the elementary class generated by all the archimedean, totally-ordered abelian groups (o-groups) in the language 〈+,<〉, calling it the class of regularly ordered or generalized archimedean abelian groups. Since difference (−) and 0 are definable in that language, it is immediate that in the expanded language 〈 +, −, 0, < 〉 the definable expansion of the class of regular groups is also the elementary class generated by the archimedean ones. In the more general context of lattice-ordered groups (l-groups), the notion of being archimedean splits into two different notions: a strong one (being hyperarchimedean) and a weak one (being archimedean). Using the representation theorem of K. Keimel for hyperarchimedean l-groups, we extend in this paper the Robinson and Zakon characterization to the elementary class generated by the prime-projectable, hyperarchimedean l-groups. This characterization is also extended here to the elementary class generated by the prime-projectable and projectable archimedean l-groups (including all complete l-groups). Finally, transferring a result of A. Touraille on the model theory of Boolean algebras with distinguished ideals, we give the classification up to elementary equivalence of the characterized class.We recall that a lattice-ordered group, l-group for short, is a structure

A Poor Man’s Approach to Semi-Quantitative Analysis with Electron Energy Loss Spectroscopy

1980 ◽  
Vol 38 ◽  
pp. 110-111
Author(s):  
M. Isaacson
Keyword(s):  
Quantitative Analysis ◽  
Energy Loss ◽  
Electron Energy ◽  
Cross Section ◽  
Electron Energy Loss Spectroscopy ◽  
Excitation Cross Section ◽  
Incident Electron ◽  
Integral Cross Section ◽  
Image Position ◽  
Electron Energy Loss

In an earlier paper1 it was found that to a good approximation, the efficiency of collection of electrons that had lost energy due to an inner shell excitation could be written as where σE was the total excitation cross-section and σE(θ, Δ) was the integral cross-section for scattering within an angle θ and with an energy loss up to an energy Δ from the excitation edge, EE. We then obtained: where , with P being the momentum of the incident electron of velocity v. The parameter r was due to the assumption that d2σ/dEdΩ∞E−r for energy loss E. In reference 1 it was assumed that r was a constant.

Preliminaries

2017 ◽  
Author(s):  
Ehud Hrushovski ◽  
François Loeser
Keyword(s):  
Valued Fields ◽  
Definable Set ◽  
Valued Field ◽  
Galois Coverings ◽  
Definable Type ◽  
Definable Sets ◽  
Background Material

This chapter provides some background material on definable sets, definable types, orthogonality to a definable set, and stable domination, especially in the valued field context. It considers more specifically these concepts in the framework of the theory ACVF of algebraically closed valued fields and describes the definable types concentrating on a stable definable V as an ind-definable set. It also proves a key result that demonstrates definable types as integrals of stably dominated types along some definable type on the value group sort. Finally, it discusses the notion of pseudo-Galois coverings. Every nonempty definable set over an algebraically closed substructure of a model of ACVF extends to a definable type.

Existentially closed central extensions of locally finite p-groups

1986 ◽  
Vol 100 (2) ◽  
pp. 281-301 ◽  
Author(s):  
Felix Leinen ◽  
Richard E. Phillips
Keyword(s):  
Central Extensions ◽  
Locally Finite ◽  
Existentially Closed ◽  
Image Position

Throughout, p will be a fixed prime, and will denote the class of all locally finite p-groups. For a fixed Abelian p-group A, we letwhere ζ(P) denotes the centre of P. Notice that A is not a class in the usual group-theoretic sense, since it is not closed under isomorphisms.

Finitely generic models of TUH, for certain model companionable theories T

1985 ◽  
Vol 50 (3) ◽  
pp. 604-610
Author(s):  
Francoise Point
Keyword(s):  
Discriminator Variety ◽  
Generic Models ◽  
Elementary Class ◽  
Ordered Groups ◽  
Existentially Closed ◽  
Closed Element ◽  
Starting Point ◽  
Joint Embedding ◽  
Joint Embedding Property ◽  
Generic Elements

The starting point of this work was Saracino and Wood's description of the finitely generic abelian ordered groups [S-W].We generalize the result of Saracino and Wood to a class ∑UH of subdirect products of substructures of elements of a class ∑, which has some relationships with the discriminator variety V(∑t) generated by ∑. More precisely, let ∑ be an elementary class of L-algebras with theory T. Burris and Werner have shown that if ∑ has a model companion then the existentially closed models in the discriminator variety V(∑t) form an elementary class which they have axiomatized. In general it is not the case that the existentially closed elements of ∑UH form an elementary class. For instance, take for ∑ the class ∑0 of linearly ordered abelian groups (see [G-P]).We determine the finitely generic elements of ∑UH via the three following conditions on T:(1) There is an open L-formula which says in any element of ∑UH that the complement of equalizers do not overlap.(2) There is an existentially closed element of ∑UH which is an L-reduct of an element of V(∑t) and whose L-extensions respect the relationships between the complements of the equalizers.(3) For any models A, B of T, there exists a model C of TUH such that A and B embed in C.(Condition (3) is weaker then “T has the joint embedding property”. It is satisfied for example if every model of T has a one-element substructure. Condition (3) implies that ∑UH has the joint embedding property and therefore that the class of finitely generic elements of ∑UH is complete.)

scholarly journals Convergence of ergodic averages for many group rotations

2015 ◽  
Vol 36 (7) ◽  
pp. 2107-2120
Author(s):  
ZOLTÁN BUCZOLICH ◽  
GABRIELLA KESZTHELYI
Keyword(s):  
Topological Group ◽  
Abelian Group ◽  
Measurable Function ◽  
Dual Group ◽  
Ergodic Averages ◽  
Abelian Topological Group ◽  
Compact Abelian Topological Group ◽  
Image Position ◽  
Rotation Set ◽  
Group Rotations

Suppose that $G$ is a compact Abelian topological group, $m$ is the Haar measure on $G$ and $f:G\rightarrow \mathbb{R}$ is a measurable function. Given $(n_{k})$, a strictly monotone increasing sequence of integers, we consider the non-conventional ergodic/Birkhoff averages $$\begin{eqnarray}M_{N}^{\unicode[STIX]{x1D6FC}}f(x)=\frac{1}{N+1}\mathop{\sum }_{k=0}^{N}f(x+n_{k}\unicode[STIX]{x1D6FC}).\end{eqnarray}$$ The $f$-rotation set is $$\begin{eqnarray}\unicode[STIX]{x1D6E4}_{f}=\{\unicode[STIX]{x1D6FC}\in G:M_{N}^{\unicode[STIX]{x1D6FC}}f(x)\text{ converges for }m\text{ almost every }x\text{ as }N\rightarrow \infty \}.\end{eqnarray}$$We prove that if $G$ is a compact locally connected Abelian group and $f:G\rightarrow \mathbb{R}$ is a measurable function then from $m(\unicode[STIX]{x1D6E4}_{f})>0$ it follows that $f\in L^{1}(G)$. A similar result is established for ordinary Birkhoff averages if $G=Z_{p}$, the group of $p$-adic integers. However, if the dual group, $\widehat{G}$, contains ‘infinitely many multiple torsion’ then such results do not hold if one considers non-conventional Birkhoff averages along ergodic sequences. What really matters in our results is the boundedness of the tail, $f(x+n_{k}\unicode[STIX]{x1D6FC})/k$, $k=1,\ldots ,$ for almost every $x$ for many $\unicode[STIX]{x1D6FC}$; hence, some of our theorems are stated by using instead of $\unicode[STIX]{x1D6E4}_{f}$ slightly larger sets, denoted by $\unicode[STIX]{x1D6E4}_{f,b}$.

CANCELLATION LAW AND UNIQUE FACTORIZATION THEOREM FOR STRING OPERATIONS

2006 ◽  
Vol 05 (02) ◽  
pp. 231-243
Author(s):  
DONGVU TONIEN
Keyword(s):  
Abelian Group ◽  
Algebraic Structure ◽  
Additive Group ◽  
New Product ◽  
Binary String ◽  
Factorization Theorem ◽  
General Criterion ◽  
Unique Factorization ◽  
Product Operation ◽  
Associative Law

Recently, Hoit introduced arithmetic on blocks, which extends the binary string operation by Jacobs and Keane. A string of elements from the Abelian additive group of residues modulo m, (Zm, ⊕), is called an m-block. The set of m-blocks together with Hoit's new product operation form an interesting algebraic structure where associative law and cancellation law hold. A weaker form of unique factorization and criteria for two indecomposable blocks to commute are also proved. In this paper, we extend Hoit's results by replacing the Abelian group (Zm, ⊕) by an arbitrary monoid (A, ◦). The set of strings built up from the alphabet A is denoted by String(A). We extend the operation ◦ on the alphabet set A to the string set String(A). We show that (String(A), ◦) is a monoid if and only if (A, ◦) is a monoid. When (A, ◦) is a group, we prove that stronger versions of a cancellation law and unique factorization hold for (String(A), ◦). A general criterion for two irreducible strings to commute is also presented.

Sign in / Sign up

Export Citation Format

Share Document