Author: William A. Stein
The ideal  and the ring   Next: A generalization of parity Up: Parity structures and generating Previous: Refinements of results

# The ideal and the ring We should like to make a few remarks pointing out another way to think about the ideal mentioned in the proof of Theorem 1. It is straightforward to see that the ring R = RS, with S of size n, is semisimple and is isomorphic to via the set of primitive (central) orthogonal idempotents . Since the ideals of are just itself and (0), the elements of the ideal are just those elements of R that have support on the coordinates corresponding to the idempotents lying in . An idempotent will be in the ideal if and only if t equals . This happens exactly if an even number of the terms in the summation equal t (while the rest vanish), which happens if and only if an even number of the field elements equal 0. To summarize, the elements of are the -linear combinations of those idempotents that have an even number of the elements equal to 0, which is the same as having the lowest-degree term be of even degree.

We now point out a relationship between the ring RS used in our proofs above and a similar boolean ring Halmos discusses in his boolean algebra book . For a set U, he considers the ring 2U of functions from U to with coordinatewise addition and multiplication. Notice that the sum of the characteristic functions of two subsets of U is the characteristic function of their symmetric difference, while the product is the characteristic function of their intersection. This construction can, of course, be applied with the power set of S in place of U to obtain the ring . We can identify the elements of each of the rings RS and with collections of subsets of S, and in each ring, addition corresponds to taking the symmetric difference of two collections. Multiplication, however, has different interpretations in the two rings. In RS, it corresponds to taking all unions of a subset from the first collection and a subset from the second collection (counted with appropriate multiplicities modulo 2), while in , it corresponds to taking the subsets that occur in both collections. Both rings, however, are free boolean rings of the same dimension over , and so are isomorphic.

As indicated above, the primitive orthogonal idempotents of the ring RS are (with our usual notation) all products of the form with each term an element of . A bit of calculation now shows that sending such an idempotent to the function and extending linearly gives a natural isomorphism from RS to . Finally, the element is the sum of those idempotents with an even number of the terms equal to 0, so corresponds in to the sum of the characteristic functions of the co-even subsets of S (those with even complement in S).   Next: A generalization of parity Up: Parity structures and generating Previous: Refinements of results
William Arthur Stein
1999-10-27