Hall polynomial
Definition
Suppose are unordered integer partitions for integers respectively such that . The Hall polynomial is a polynomial such that, for any prime number , is the number of subgroups of an abelian -group of type such that has type and has type .
Here, an -group of type , where is a partition into parts , is the group where denotes the cyclic group of order .
The Hall polynomials for various triples of partitions are related to each other. Specifically, there is an algebra, called the Hall algebra, which is a free module over the integers with generating set indexed by unordered integer partitions, and where the structure constants are the Hall polynomials.
Note that since subgroup lattice and quotient lattice of finite abelian group are isomorphic, the Hall polynomials and are equal.
Particular cases
Note that since because subgroup lattice and quotient lattice of finite abelian group are isomorphic, each of our polynomials below also gives another corresponding polynomial obtained by interchanging the roles of and .
Interpretation | ||||
---|---|---|---|---|
1 | 1 | 2 | In a cyclic group of prime-square order , there is a unique cyclic subgroup of prime order (isomorphic to such that the quotient group is also cyclic of prime order (isomorphic to ). | |
1 | 1 | 1 + 1 | In an elementary abelian group of prime-square order , there are possible subgroups isomorphic to where the quotient is also isomorphic to . | |
2 | 1 | 3 | In a cyclic group of prime-cube order , there is a unique subgroup isomorphic to such that the quotient is isomorphic to . | |
2 | 1 | 2 + 1 | In a direct product of cyclic group of prime-square order and cyclic group of prime order , there are many subgroups isomorphic to for which the quotient is isomorphic to . | |
2 | 1 | 1 + 1 + 1 | In an elementary abelian group of prime-cube order, there is no cyclic subgroup of prime-square order for which the quotient is cyclic of prime order. | |
1 + 1 | 1 | 3 | In a cyclic group of prime-cube order, there is no subgroup that is elementary abelian of prime-square order for which the quotient is cyclic of prime order. | |
1 + 1 | 1 | 2 + 1 | PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE] | |
1 + 1 | 1 | 1 + 1 + 1 | PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE] | |
PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE] | ||||
, times | , times | PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE] |