Construction of a quotient ring of ℤ₂ℱ in which a binomial 1+𝓌 is invertible using small cancellation methods

Abstract: We apply small cancellation methods originating from group theory to investigate the structure of a quotient ring

m a t h b b Z_{2} m a t h c a l F / m a t h c a l I

, where

m a t h b b Z_{2} m a t h c a l F

is the group algebra of the free group

m a t h c a l F

over the field

m a t h b b Z_{2}

, and the ideal

m a t h c a l I

is generated by a single trinomial

1 + v + v w

, where

v

is a complicated word depending on

w

. In

m a t h b b Z_{2} m a t h c a l F / m a t h c a l I

we have

(1 + w)^{- 1} = v

, so

1 + w

becomes invertible. We construct an explicit linear basis of

m a t h b b Z_{2} m a t h c a l F / m a t h c a l I

(thus showing that

m a t h b b Z_{2} m a t h c a l F / m a t h c a l I e q 0

). This is the first step in constructing rings with exotic properties.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Construction of a quotient ring of ℤ₂ℱ in which a binomial 1+𝓌 is invertible using small cancellation methods