This site is supported by donations to The OEIS Foundation.

# User:Tilman Piesk/Subgroups of powers of Z2/submission form

## NAME

Subgroups of (Z_2)^n interpreted as binary numbers

## DATA

1, 3, 5, 9, 15, 17, 33, 51, 65, 85, 105, 129, 153, 165, 195, 255, 257, 513, 771, 1025, 1285, 1545, 2049, 2313, 2565, 3075, 3855, 4097, 4369, 4641, 5185, 6273, 8193, 8481, 8721, 9345, 10305, 12291, 13107, 15555, 16385, 16705, 17025, 17425, 18465, 20485, 21845

## OFFSET

1

Let Z_2 be the cyclic group of order 2, and (Z_2)^n the n-times product Z_2 × ... × Z_2. (Like e.g. the Klein four-group (Z_2)^2.)
The elements of (Z_2)^n can be numbered from 0 to 2^n-1, with 0 representing the neutral element.
(This is unambigous, because all non-neutral elements of the elementary abelian group (Z_2)^n have order 2.)
Than every subgroup {0,a,b,c...} of (Z_2)^n can be assigned an integer 1 + 2^a + 2^b + 2^c + ...
For each (Z_2)^n there is a finite sequence of these numbers ordered by size, and it is the beginning of the finite sequence for (Z_2)^(n+1).
This leads to the infinite sequence:

• 1, (1 until here for (Z_2)^0)
• 3, (2 until here for (Z_2)^1)
• 5, 9, 15, (5 until here for (Z_2)^2)
• 17, 33, 51, 65, 85, 105, 129, 153, 165, 195, 255, (16 until here for (Z_2)^3)
• 257, 513, 771, 1025, 1285, 1545, 2049, 2313, 2565, 3075, 3855, 4097, 4369, 4641, 5185, 6273, 8193, 8481, 8721, 9345, 10305, 12291, 13107, 15555, 16385, 16705, 17025, 17425, 18465, 20485, 21845, 23205, 24585, 26265, 26985, 32769, 33153, 33345, 33825, 34833, 36873, 38505, 39321, 40965, 42405, 43605, 49155, 50115, 52275, 61455, 65535, (67 until here for (Z_2)^4)
• 65537, ...

The number of subgroups of (Z_2)^n is 1, 2, 5, 67, 374, 2825, ... (A006116)