# What is the name of $(\mathbb{Z}_2^s, \oplus, \odot)$ and where is it studied?

I'm studying the ring $(\mathbb{Z}_2^s, \oplus, \odot)$, where $s$ is arbitrary, $\oplus$ is the sum modulo $2$, and $\odot$ is the AND.

Does it have a name? Even for a certain fixed $s>1$? Does anyone know of a book that studies its properties? Thanks

• I know that addition modulo 2 is used to sum games in game theory... – Guillermo Mosse Jul 11 '18 at 17:24
• $\mathbb Z_{2^s}$? How do you do AND with elements from that ring? Do you mean $\mathbb Z_2^s$? – rschwieb Jul 11 '18 at 17:33
• @rschwieb, to do an AND in my original ring, just express the numbers in binary. What I had written wasn't a typo but you are right anyway: it's clearer this way. – Guillermo Mosse Jul 11 '18 at 18:28
• $\mathbb Z_{2^s}$ suggests you are talking about $\mathbb Z/2^s\mathbb Z$ which does not have an AND operation (afaik) and doesn't have binary addition. So, many people will think it is a typo. – rschwieb Jul 11 '18 at 20:14
• you are right. In fact I'm adding a new operation to $\mathbb{Z}_{2^s}$ via the homomorphism with the other ring – Guillermo Mosse Jul 16 '18 at 13:03

This is a special case of Boolean ring. Each element in this ring is a Boolean vector of length $s$.