Semigroups in stable structures

Publication date 19 September 2018

Abstract: Assume

G

is a definable group in a stable structure

M

. Newelski showed that the semigroup

S_{G} (M)

of complete types concentrated on

G

is an inverse limit of the

i n f t y

-definable (in

M^{e q}

) semigroups

S_{G, D e l t a} (M)

. He also shows that it is strongly

p i

-regular: for every

p i n S_{G, D e l t a} (M)

there exists

n i n m a t h b b N

such that

p^{n}

is in a subgroup of

S_{G, D e l t a} (M)

. We show that

S_{G, D e l t a} (M)

is in fact an intersection of definable semigroups, so

S_{G} (M)

is an inverse limit of definable semigroups and that the latter property is enjoyed by all

i n f t y

-definable semigroups in stable structures.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Semigroups in stable structures