Part of the Unipotency of Free Group Generated by Two Elements Whose Maximum Jordan Matrix Does Not Exceed 8 Times
Chaoran Zhen, Xinsong Yang · Journal of Physics Conference Series · 2021
Abstract Intelligent calculations can already assist in the completion of mathematical proofs. We have completed a partial verification of an important theory with data calculation as the main method. When the dimension is ten, free group generated by two elements with linear representation is unipotent when the primitive elements are unipotent and the maximum Jordan block does not exceed the eighth order, at the same time there is a primitive element with the maximum Jordan block not exceeding the second order.