Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userOn regular groups and fields
181
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
Regular groups and fields are common generalizations of minimal and quasi-minimal groups and fields, so the conjectures that minimal or quasi-minimal fields are algebraically closed have their common generalization to the conjecture that each regular field is algebraically closed. Standard arguments show that a generically stable regular field is algebraically closed. Let $K$ be a regular field which is not generically stable and let $p$ be its global generic type. We observe that if $K$ has a finite extension $L$ of degree $n$, then $p^{(n)}$ has unbounded orbit under the action of the multiplicative group of $L$. Known to be true in the minimal context, it remains wide open whether regular, or even quasi-minimal, groups are abelian. We show that if it is not the case, then there is a counter-example with a unique non-trivial conjugacy class, and we notice that a classical group with one non-trivial conjugacy class is not quasi-minimal, because the centralizers of all elements are uncountable. Then we construct a group of cardinality $omega_1$ with only one non-trivial conjugacy class and such that the centralizers of all non-trivial elements are countable.
rate research
Read More
We study superstable groups acting on trees. We prove that an action of an $omega$-stable group on a simplicial tree is trivial. This shows that an HNN-extension or a nontrivial free product with amalgamation is not $omega$-stable. It is also shown that if $G$ is a superstable group acting nontrivially on a $Lambda$-tree, where $Lambda=mathbb Z$ or $Lambda=mathbb R$, and if $G$ is either $alpha$-connected and $Lambda=mathbb Z$, or if the action is irreducible, then $G$ interprets a simple group having a nontrivial action on a $Lambda$-tree. In particular if $G$ is superstable and splits as $G=G_1*_AG_2$, with the index of $A$ in $G_1$ different from 2, then $G$ interprets a simple superstable non $omega$-stable group. We will deal with minimal superstable groups of finite Lascar rank acting nontrivially on $Lambda$-trees, where $Lambda=mathbb Z$ or $Lambda=mathbb R$. We show that such groups $G$ have definable subgroups $H_1 lhd H_2 lhd G$, $H_2$ is of finite index in $G$, such that if $H_1$ is not nilpotent-by-finite then any action of $H_1$ on a $Lambda$-tree is trivial, and $H_2/H_1$ is either soluble or simple and acts nontrivially on a $Lambda$-tree. We are interested particularly in the case where $H_2/H_1$ is simple and we show that $H_2/H_1$ has some properties similar to those of bad groups.
We deal with some pcf investigations mostly motivated by abelian group theory problems and deal their applications to test problems (we expect reasonably wide applications). We prove almost always the existence of aleph_omega-free abelian groups with trivial dual, i.e. no non-trivial homomorphisms to the integers. This relies on investigation of pcf; more specifically, for this we prove that almost always there are F subseteq lambda^kappa which are quite free and has black boxes. The almost always means that there are strong restrictions on cardinal arithmetic if the universe fails this, the restrictions are everywhere. Also we replace Abelian groups by R-modules, so in some sense our advantage over earlier results becomes clearer.
The present survey aims at being a list of Conjectures and Problems in an area of model-theoretic algebra wide open for research, not a list of known results. To keep the text compact, it focuses on structures of finite Morley rank, although the same questions can be asked about other classes of objects, for example, groups definable in $omega$-stable and $o$-minimal theories. In many cases, answers are not known even in the classical category of algebraic groups over algebraically closed fields.
We introduce and study model-theoretic connected components of rings as an analogue of model-theoretic connected components of definable groups. We develop their basic theory and use them to describe both the definable and classical Bohr compactifications of rings. We then use model-theoretic connected components to explicitly calculate Bohr compactifications of some classical matrix groups, such as the discrete Heisenberg group $UT_3(Z)$, the continuous Heisenberg group $UT_3(R)$, and, more generally, groups of upper unitriangular and invertible upper triangular matrices over unital rings.
We prove that the theory of the $p$-adics ${mathbb Q}_p$ admits elimination of imaginaries provided we add a sort for ${rm GL}_n({mathbb Q}_p)/{rm GL}_n({mathbb Z}_p)$ for each $n$. We also prove that the elimination of imaginaries is uniform in $p$. Using $p$-adic and motivic integration, we deduce the uniform rationality of certain formal zeta functions arising from definable equivalence relations. This also yields analogous results for definable equivalence relations over local fields of positive characteristic. The appendix contains an alternative proof, using cell decomposition, of the rationality (for fixed $p$) of these formal zeta functions that extends to the subanalytic context. As an application, we prove rationality and uniformity results for zeta functions obtained by counting twist isomorphism classes of irreducible representations of finitely generated nilpotent groups; these are analogous to similar results of Grunewald, Segal and Smith and of du Sautoy and Grunewald for subgroup zeta functions of finitely generated nilpotent groups.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
