1.2 (1965)
SolvedLet $G$ be a group, $F$ a free group with free generators $x_1, \dots, x_n$, and $R$ the free product of $G$ and $F$. An equation (in the unknowns $x_1, \dots, x_n$) over $G$ is an expression of the form $v(x_1, \dots, x_n) = 1$, where on the left is an element of $R$ not conjugate in $R$ to any element of $G$. We call $G$ algebraically closed if every equation over $G$ has a solution in $G$.
Do there exist algebraically closed groups?
Progress
Yes, such groups do exist (S. D. Brodskiĭ, Dep. no. 2214-80, VINITI, Moscow, 1980 (Russian)).
Proof claims
Proof claims are the responsibility of the submitter. Appearance here does not mean the claim has been checked for mathematical correctness.
Moderators only screen for spam, abuse, and obviously low-effort submissions.
No proof claims yet.
Log in to claim a proof.
Comments
No comments yet. Be the first to comment.
Log in to post a comment.