fˈɜːst səpˈoʊz fɔːɹ sɪmplˈɪsᵻɾi ðæt ˈɔːl ɹˈɪŋz kəntˈeɪn ðə ɹˈæʃənəl nˈʌmbɚz kjˈuː. ɐsˈuːm wiː hæv ɐ ɡɹˈeɪdᵻd sˌuːpɚkˈɑːmjuːɾətˌɪv ɹˈɪŋ ˈɛks, sˌoʊ ðˈæt
First suppose for simplicity that all rings contain the rational numbers Q. Assume we have a graded supercommutative ring X, so that