Skip to main content
put "An interesting alternative..." paragraph at the end and withdrawed "I suspect the answer will be YES for the two questions.""
Source Link

I put the following as answer as it does not fit within the limits of a comment, hoping that it could help. I suspect the answer will be YES for the two questions. In fact, the free group is the limit of finite truncations. Below is the proposed method.

Let $k=\mathbb{F}_2$ be the usual galois field with two elements
integers, we consider

  1. an infinite alphabet $X$ (denumerable is enough)
  2. the set of noncommutative series $\mathcal{A}=k<<X>>>=k^{X^*}$ (i.e. all functions $X^*\rightarrow k$ with the convolution product)
  3. the augmentation character $k<<X>>>\rightarrow k$ and its kernel $\frak{M}$ (series without constant term) and, for every finite subalphabet $\mathrm{F}\subset X$, the ideal $\frak{M}_\mathrm{F}$ of the series such that every monomial of the support contains at least a letter outside $\mathrm{F}$
  4. the free group over $X$, $\Gamma=\Gamma(X)$
  5. the group morphism $\mu : \Gamma\rightarrow 1+\frak{M}$ given by $$ (\forall x\in X)(\mu(x)=1+x) $$ which is known to be into (Magnus transformation)
  6. the quotients $\mathcal{A}_{n,\mathrm{F}}=k<<X>>>/(\frak{M}^n+ \frak{M}_\mathrm{F})$ (which are finite) and the sujectivesurjective quotient morphisms $q_{n,\mathrm{F}} : k<<X>>>\rightarrow \mathcal{A}_{n,\mathrm{F}}$
  7. the groups $\Gamma_{n,\mathrm{F}}$, images of $q_{n,\mathrm{F}}\circ \mu$ which are finite
... and if a word $w$ in the free group fails to be $1$ iff it fails to be $1$ in one of the finite groups $\Gamma_{n,\mathrm{F}}$.

An interesting alternative is to take a two letter alphabet $X=\{a,b\}$, an embedding $j$ of an infinitely generated free group as the subgroup generated by the set of conjugates $\{a^nba^{-n}\}_{n\geq 0}$, set $\mathcal{A}_n=k<<X>>>/(\frak{M}^n)$ take the surjective quotient morphisms $q_n : k<<X>>>\rightarrow \mathcal{A}_n$ and replace $q_{n,\mathrm{F}}\circ \mu$ by $q_n\circ \mu\circ j$.

I put the following as answer as it does not fit within the limits of a comment, hoping that it could help. I suspect the answer will be YES for the two questions. In fact, the free group is the limit of finite truncations. Below is the proposed method.

Let $k=\mathbb{F}_2$ be the usual galois field with two elements
integers, we consider

  1. an infinite alphabet $X$ (denumerable is enough)
  2. the set of noncommutative series $\mathcal{A}=k<<X>>>=k^{X^*}$ (i.e. all functions $X^*\rightarrow k$ with the convolution product)
  3. the augmentation character $k<<X>>>\rightarrow k$ and its kernel $\frak{M}$ (series without constant term) and, for every finite subalphabet $\mathrm{F}\subset X$, the ideal $\frak{M}_\mathrm{F}$ of the series such that every monomial of the support contains at least a letter outside $\mathrm{F}$
  4. the free group over $X$, $\Gamma=\Gamma(X)$
  5. the group morphism $\mu : \Gamma\rightarrow 1+\frak{M}$ given by $$ (\forall x\in X)(\mu(x)=1+x) $$ which is known to be into (Magnus transformation)
  6. the quotients $\mathcal{A}_{n,\mathrm{F}}=k<<X>>>/(\frak{M}^n+ \frak{M}_\mathrm{F})$ (which are finite) and the sujective quotient morphisms $q_{n,\mathrm{F}} : k<<X>>>\rightarrow \mathcal{A}_{n,\mathrm{F}}$
  7. the groups $\Gamma_{n,\mathrm{F}}$, images of $q_{n,\mathrm{F}}\circ \mu$ which are finite
... and if a word $w$ in the free group fails to be $1$ iff it fails to be $1$ in one of the finite groups $\Gamma_{n,\mathrm{F}}$.

I put the following as answer as it does not fit within the limits of a comment, hoping that it could help. In fact, the free group is the limit of finite truncations. Below is the proposed method.

Let $k=\mathbb{F}_2$ be the usual galois field with two elements
integers, we consider

  1. an infinite alphabet $X$ (denumerable is enough)
  2. the set of noncommutative series $\mathcal{A}=k<<X>>>=k^{X^*}$ (i.e. all functions $X^*\rightarrow k$ with the convolution product)
  3. the augmentation character $k<<X>>>\rightarrow k$ and its kernel $\frak{M}$ (series without constant term) and, for every finite subalphabet $\mathrm{F}\subset X$, the ideal $\frak{M}_\mathrm{F}$ of the series such that every monomial of the support contains at least a letter outside $\mathrm{F}$
  4. the free group over $X$, $\Gamma=\Gamma(X)$
  5. the group morphism $\mu : \Gamma\rightarrow 1+\frak{M}$ given by $$ (\forall x\in X)(\mu(x)=1+x) $$ which is known to be into (Magnus transformation)
  6. the quotients $\mathcal{A}_{n,\mathrm{F}}=k<<X>>>/(\frak{M}^n+ \frak{M}_\mathrm{F})$ (which are finite) and the surjective quotient morphisms $q_{n,\mathrm{F}} : k<<X>>>\rightarrow \mathcal{A}_{n,\mathrm{F}}$
  7. the groups $\Gamma_{n,\mathrm{F}}$, images of $q_{n,\mathrm{F}}\circ \mu$ which are finite
... and if a word $w$ in the free group fails to be $1$ iff it fails to be $1$ in one of the finite groups $\Gamma_{n,\mathrm{F}}$.

An interesting alternative is to take a two letter alphabet $X=\{a,b\}$, an embedding $j$ of an infinitely generated free group as the subgroup generated by the set of conjugates $\{a^nba^{-n}\}_{n\geq 0}$, set $\mathcal{A}_n=k<<X>>>/(\frak{M}^n)$ take the surjective quotient morphisms $q_n : k<<X>>>\rightarrow \mathcal{A}_n$ and replace $q_{n,\mathrm{F}}\circ \mu$ by $q_n\circ \mu\circ j$.

Modification of the construction oof the projective limit in order to take the infinite alphabet into account
Source Link

I put the following as answer as it does not fit within the limits of a comment, hoping that it could help. I suspect the answer will be YES for the two questions. In fact, the free group is the limit of finite truncations. Below is the proposed method.

Let $k=\mathbb{F}_2$ be the usual galois field with two elements
integers, we consider

  1. thean infinite alphabet $X=\{x,y\}$$X$ (denumerable is enough)
  2. the set of noncommutative series $k<<X>>>=k^{X^*}$$\mathcal{A}=k<<X>>>=k^{X^*}$ (i.e. all functions $X^*\rightarrow k$ with the convolution product)
  3. the augmentation character $k<<X>>>\rightarrow k$ and its kernel $\frak{M}$ (series without constant term)   and, for every finite subalphabet $\mathrm{F}\subset X$, the ideal $\frak{M}_\mathrm{F}$ of the series such that every monomial of the support contains at least a letter outside $\mathrm{F}$
  4. the free group with two generatorsover $\Gamma=\Gamma(x,y)$$X$, $\Gamma=\Gamma(X)$
  5. the group morphism $\mu : \Gamma(x,y)\rightarrow 1+\frak{M}$$\mu : \Gamma\rightarrow 1+\frak{M}$ given by $$ \mu(x)=1+x\ ;\ \mu(y)=1+y $$$$ (\forall x\in X)(\mu(x)=1+x) $$ which is known to be into (Magnus transformation)
  6. the quotients $\mathcal{A}_n=k<<X>>>/\frak{M}^n$$\mathcal{A}_{n,\mathrm{F}}=k<<X>>>/(\frak{M}^n+ \frak{M}_\mathrm{F})$ (which are finite) and the sujective quotient morphisms $q_n : k<<X>>>\rightarrow \mathcal{A}_n$$q_{n,\mathrm{F}} : k<<X>>>\rightarrow \mathcal{A}_{n,\mathrm{F}}$
  7. the groups $\Gamma_n$$\Gamma_{n,\mathrm{F}}$, images of $q_n\circ \mu$$q_{n,\mathrm{F}}\circ \mu$ which are finite
... and if a word $w$ in the free group fails to be $1$ iff it fails to be $1$ in one of the finite groups $\Gamma_n$$\Gamma_{n,\mathrm{F}}$.

I put the following as answer as it does not fit within the limits of a comment, hoping that it could help. I suspect the answer will be YES for the two questions. In fact, the free group is the limit of finite truncations. Below is the proposed method.

Let $k=\mathbb{F}_2$ be the usual galois field with two elements
integers, we consider

  1. the alphabet $X=\{x,y\}$
  2. the set of noncommutative series $k<<X>>>=k^{X^*}$ (i.e. all functions $X^*\rightarrow k$ with the convolution product)
  3. the augmentation character $k<<X>>>\rightarrow k$ and its kernel $\frak{M}$ (series without constant term)  
  4. the free group with two generators $\Gamma=\Gamma(x,y)$
  5. the group morphism $\mu : \Gamma(x,y)\rightarrow 1+\frak{M}$ $$ \mu(x)=1+x\ ;\ \mu(y)=1+y $$ which is known to be into (Magnus transformation)
  6. the quotients $\mathcal{A}_n=k<<X>>>/\frak{M}^n$ (which are finite) and the sujective quotient morphisms $q_n : k<<X>>>\rightarrow \mathcal{A}_n$
  7. the groups $\Gamma_n$, images of $q_n\circ \mu$ which are finite
... and if a word $w$ in the free group fails to be $1$ iff it fails to be $1$ in one of the finite groups $\Gamma_n$.

I put the following as answer as it does not fit within the limits of a comment, hoping that it could help. I suspect the answer will be YES for the two questions. In fact, the free group is the limit of finite truncations. Below is the proposed method.

Let $k=\mathbb{F}_2$ be the usual galois field with two elements
integers, we consider

  1. an infinite alphabet $X$ (denumerable is enough)
  2. the set of noncommutative series $\mathcal{A}=k<<X>>>=k^{X^*}$ (i.e. all functions $X^*\rightarrow k$ with the convolution product)
  3. the augmentation character $k<<X>>>\rightarrow k$ and its kernel $\frak{M}$ (series without constant term) and, for every finite subalphabet $\mathrm{F}\subset X$, the ideal $\frak{M}_\mathrm{F}$ of the series such that every monomial of the support contains at least a letter outside $\mathrm{F}$
  4. the free group over $X$, $\Gamma=\Gamma(X)$
  5. the group morphism $\mu : \Gamma\rightarrow 1+\frak{M}$ given by $$ (\forall x\in X)(\mu(x)=1+x) $$ which is known to be into (Magnus transformation)
  6. the quotients $\mathcal{A}_{n,\mathrm{F}}=k<<X>>>/(\frak{M}^n+ \frak{M}_\mathrm{F})$ (which are finite) and the sujective quotient morphisms $q_{n,\mathrm{F}} : k<<X>>>\rightarrow \mathcal{A}_{n,\mathrm{F}}$
  7. the groups $\Gamma_{n,\mathrm{F}}$, images of $q_{n,\mathrm{F}}\circ \mu$ which are finite
... and if a word $w$ in the free group fails to be $1$ iff it fails to be $1$ in one of the finite groups $\Gamma_{n,\mathrm{F}}$.
positioning
Source Link

TheI put the following as answer is Yesas it does not fit within the limits of a comment, hoping that it could help. I suspect the answer will be YES for the two questions. In fact, the free group is the limit of finite truncations. Below is the proposed method.

Let $k=\mathbb{F}_2$ be the usual galois field with two elements
integers, we consider

  1. the alphabet $X=\{x,y\}$
  2. the set of noncommutative series $k<<X>>>=k^{X^*}$ (i.e. all functions $X^*\rightarrow k$ with the convolution product)
  3. the augmentation character $k<<X>>>\rightarrow k$ and its kernel $\frak{M}$ (series without constant term)
  4. the free group with two generators $\Gamma=\Gamma(x,y)$
  5. the group morphism $\mu : \Gamma(x,y)\rightarrow 1+\frak{M}$ $$ \mu(x)=1+x\ ;\ \mu(y)=1+y $$ which is known to be into (Magnus transformation)
  6. the quotients $\mathcal{A}_n=k<<X>>>/\frak{M}^n$ (which are finite) and the sujective quotient morphisms $q_n : k<<X>>>\rightarrow \mathcal{A}_n$
  7. the groups $\Gamma_n$, images of $q_n\circ \mu$ which are finite
you see that,... and if your sentencea word $(\forall x)(\exists y)(w(x,y)=1)$ is true$w$ in all finitethe free group, it must fails to be true in all $\Gamma_n$ and then in $\Gamma$, whence$1$ iff it fails to be $1$ in allone of the finite groups (same for the other sentence)$\Gamma_n$.   

The answer is Yes for the two questions. Below the proposed method.

Let $k=\mathbb{F}_2$ be the usual galois field with two elements
integers, we consider

  1. the alphabet $X=\{x,y\}$
  2. the set of noncommutative series $k<<X>>>=k^{X^*}$ (i.e. all functions $X^*\rightarrow k$ with the convolution product)
  3. the augmentation character $k<<X>>>\rightarrow k$ and its kernel $\frak{M}$ (series without constant term)
  4. the free group with two generators $\Gamma=\Gamma(x,y)$
  5. the group morphism $\mu : \Gamma(x,y)\rightarrow 1+\frak{M}$ $$ \mu(x)=1+x\ ;\ \mu(y)=1+y $$ which is known to be into (Magnus transformation)
  6. the quotients $\mathcal{A}_n=k<<X>>>/\frak{M}^n$ (which are finite) and the sujective quotient morphisms $q_n : k<<X>>>\rightarrow \mathcal{A}_n$
  7. the groups $\Gamma_n$, images of $q_n\circ \mu$ which are finite
you see that, if your sentence $(\forall x)(\exists y)(w(x,y)=1)$ is true in all finite group, it must be true in all $\Gamma_n$ and then in $\Gamma$, whence in all groups (same for the other sentence).  

I put the following as answer as it does not fit within the limits of a comment, hoping that it could help. I suspect the answer will be YES for the two questions. In fact, the free group is the limit of finite truncations. Below is the proposed method.

Let $k=\mathbb{F}_2$ be the usual galois field with two elements
integers, we consider

  1. the alphabet $X=\{x,y\}$
  2. the set of noncommutative series $k<<X>>>=k^{X^*}$ (i.e. all functions $X^*\rightarrow k$ with the convolution product)
  3. the augmentation character $k<<X>>>\rightarrow k$ and its kernel $\frak{M}$ (series without constant term)
  4. the free group with two generators $\Gamma=\Gamma(x,y)$
  5. the group morphism $\mu : \Gamma(x,y)\rightarrow 1+\frak{M}$ $$ \mu(x)=1+x\ ;\ \mu(y)=1+y $$ which is known to be into (Magnus transformation)
  6. the quotients $\mathcal{A}_n=k<<X>>>/\frak{M}^n$ (which are finite) and the sujective quotient morphisms $q_n : k<<X>>>\rightarrow \mathcal{A}_n$
  7. the groups $\Gamma_n$, images of $q_n\circ \mu$ which are finite
... and if a word $w$ in the free group fails to be $1$ iff it fails to be $1$ in one of the finite groups $\Gamma_n$. 
Post Undeleted by Duchamp Gérard H. E.
Post Deleted by Duchamp Gérard H. E.
"Yes" made explicit in the beginning
Source Link
Loading
Source Link
Loading