FiSGO.PIrrepsSearch.build_absolute_bound

build_absolute_bound(n)

Implementation of Collins’ [[1]] absolute bound to the order of a group with an n-dimensional projective irreducible representations.

Warning

This function is not yet implemented for n < 20.

Parameters:

n (int) – Dimension.

Return type:

int

Returns:

Absolute bound on the order of the group.

[1]

Michael J. Collins. “On Jordan’s theorem for complex linear groups.” English. In: J. Group Theory 10.4 (2007), pp. 411–423. issn: 1433-5883.