Abstract:We obtain several fundamental results on finite index ideals and additive subgroups of rings as well as on model-theoretic connected components of rings, which concern generating in finitely many steps inside additive groups of rings.Let R be any ring equipped with an arbitrary additional first order structure, and A a set of parameters. We show that whenever H is an A-definable, finite index subgroup of (R,+), then H+R⋅H contains an A-definable, two-sided ideal of finite index. As a corollary, we obtain a positive answer to Question 4.9 of [4]: if R is unital, then (R¯,+)A00+R¯⋅(R¯,+)A00+R¯⋅(R¯,+)A00=R¯A00, which also implies that R¯A00=R¯A000, where R¯≻R is a sufficiently saturated elementary extension of R, (R¯,+)A00 [resp. R¯A00] denotes the smallest A-type-definable, bounded index additive subgroup [resp. ideal] of R¯, and R¯A000 is the smallest invariant over A, bounded index ideal of R¯. If R is of positive characteristic (not necessarily unital), we get a sharper result: (R¯,+)A00+R¯⋅(R¯,+)A00=R¯A00. We obtain a similar result (but with more steps required) for finitely generated (not necessarily unital) rings. We obtain analogous results for topological rings. The above result for unital rings implies that the simplified descriptions of the definable (and so also classical) Bohr compactifications of triangular groups over unital rings obtained in Corollary 4.5 of [4] are valid for all unital rings.We also analyze many concrete examples, where we compute the number of steps needed to generate a group by (R¯∪{1})⋅(R¯,+)A00 and study related aspects, showing "optimality" of some of our main results and yielding answers to some natural questions.

Superrosy dependent groups having finitely satisfiable generics

Division Rings with Ranks

Finitely generated normal pro-$\mathcal C$ subgroups in right angled Artin pro-$\mathcal C$ groups

Finitely presented subgroups of direct products of graphs of groups with free abelian vertex groups

Rational cross-sections, bounded generation and orders on groups

Finite Groups with Given Indices of Normalizers of Sylow Subgroups

Embedding finitely presented self-similar groups into finitely presented simple groups

On Groups with Definable F-Generics Definable in P-Adically Closed Fields

Finitely presented residually free groups

Maximal subgroups and chief factors of certain generalized soluble groups.

Finite axiomatizability of the rank and the dimension of a pro-$π$ group

On properties not inherited by monoids from their Schutzenberger groups

Finite Germ Extensions

Finiteness of arithmetic Kleinian reflection groups

Fixed point subgroups of a supertight automorphism

Invariable generation of finite simple groups and rational homology of coset posets

The continuation of finite $E_\mathfrak{F}$-groups theory

On Fuchs' problem for finitely generated abelian groups: The small torsion case

Invariable generation of certain branch groups

Some torsion-free solvable groups with few subquotients

Generating ideals by additive subgroups of rings