Shelah's automorphism conjecture for free algebras

About 4 years old · traced to

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.

References

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.