	Much less is known in the case where "G" is countably infinite, or uncountable, and this is an area of active research. The case where "R" is the field of complex numbers is probably the one best studied. In this case, Irving Kaplansky proved that if "a" and "b" are elements of C["G"] with , then . Whether this is true if "R" is a field of positive characteristic remains unknown.