Shelah's automorphism conjecture for free algebras

Let FF be freely generated by xi:i<ω+ω\\{x_i:i<\omega+\omega\\}, and let xi:ωi<ω+ωF\langle x_i:\omega\leq i<\omega+\omega\rangle_F denote the subalgebra generated by those elements. Shelah's automorphism conjecture. For varieties satisfying

()there is an automorphism h of F with h(xi)=xi for i<ω and h(xω)xi:ωi<ω+ωF,(*)\quad \text{there is an automorphism }h\text{ of }F\text{ with }h(x_i)=x_i\text{ for }i<\omega\text{ and }h(x_\omega)\notin\langle x_i:\omega\leq i<\omega+\omega\rangle_F,

a similar answer holds for the automorphism group, whereas if ()(*) fails the group is like the permutation group of λ\lambda.

This is stated as a belief about the automorphism group of a free algebra; the supplied text gives no resolution.

Sources & referencesView supporting material

Primary source

Saharon Shelah, “A collection of abstracts of Shelah's Papers”, arXiv:2209.01617 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.