Decomposing modular tensor products: `Jordan partitions', their parts and \(p\)-parts (Q891153): Difference between revisions

Let \(F\) denote a field with characteristic \(p\geq 0\), let \(J_r(\alpha)\) denote the \(r\times r\) Jordan block with eigenvalue \(\alpha\in F\), and let \(J_{\lambda_1}(\alpha\beta)\oplus\dots\oplus J_{\lambda_b}(\alpha\beta)\) denote the Jordan canonical form of the tensor product \(J_r(\alpha)\otimes J_s(\beta)\) (i.e. (\(\lambda_1,\dots,\lambda_b)\) is the ``Jordan partition'' of \(rs\)). By definition, the \(p\)-part of a nonzero integer \(n\) is the largest \(p\) power dividing \(n\). From the abstract:`` Our main results include the proof of two conjectures made by \textit{J. D. McFall} in [Linear Algebra Appl. 33, 67--86 (1980; Zbl 0448.15017)], and the proof that \(\mathrm{lcm}(r,s)\) and \(\mathrm{gcd}(\lambda_1,\dots,\lambda_b)\) have equal \(p\)-parts. Finally, we establish some explicit formulas for Jordan partitions when \(p=2\).''