# Identity in a quotient Group

Hello everyone, I have the following groups

```
F3.<a1,b1,a2,b2,a3,b3> = FreeGroup()
H3 = F3.quotient([a1*b1/a1/b1*a2*b2/a2/b2*a3*b3/a3/b3])
```

Then I inject the variables to $H3$

```
H3.inject_variables()
```

Now when every element that I write have parent $H3$, but when I write the word `a1*b1/a1/b1*a2*b2/a2/b2*a3*b3/a3/b3`

this does not return the identity of $H3$, although if I put

```
a1*b1/a1/b1*a2*b2/a2/b2*a3*b3/a3/b3 == H3.one()
```

this is true. Does anyone know why this happen and how can I get sage to reduce this word to identity of $H3$?

See https://www.gap-system.org/Manuals/do... for underlying algorithms. There is no reducition algorithm that computes normal forms (or equality even!) in arbitrary finitely presented groups, so even the equality test is computed on a best-effort basis. It's not bringing your element in a standard form by default because the system doesn't have an algorithm to do so reliably. Gap might have some functionality, but it looks like this hasn't been exposed on the sage wrapper.