Open AccessPart of the Unipotency of Free Group Generated by Two Elements Whose Maximum Jordan Matrix Does Not Exceed 8 Times
Author(s) -
Chaoran Zhen,
Xiaoguang Yang
Publication year - 2021
Publication title -
journal of physics. conference series
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.21
H-Index - 85
eISSN - 1742-6596
pISSN - 1742-6588
DOI - 10.1088/1742-6596/1746/1/012070
Subject(s) - unipotent , jordan matrix , mathematical proof , block (permutation group theory) , group (periodic table) , dimension (graph theory) , mathematics , matrix (chemical analysis) , element (criminal law) , order (exchange) , algebra over a field , representation (politics) , pure mathematics , combinatorics , geometry , eigenvalues and eigenvectors , physics , chemistry , chromatography , quantum mechanics , finance , politics , political science , law , economics
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.