Proposition

Theorem 1.2 ([{\cite[Theorem 1.1]). CharacteristicTwo ] There exist a finite field K_2 of characteristic two, a finitely generated group H_2 , and finite sums a_2,b_2∈K_2[H_2] with a_2b_2=1 and b_2a_2≠1 .