On a generalization of Mycielski's and Znám's conjectures about coset decomposition of Abelian groups
The group of fractions of a semigroup S, if exists, can be written as G = SS−1. If S is abelian, then G must be abelian. We say that a semigroup identity is transferable if being satisfied in S it must be satisfied in G = SS−1. One of problems posed by G.Bergman in 1981 asks whether the group G must satisfy every semigroup identity which is satisfied in S, that is whether every semigroup identity is transferable. The first non-transferable identities were constructed in 2005 by S.V.Ivanov and A.M....