Two maximal orders in a quaternion algebra are isomorphic to each other if and only if they are conjugate.
There is an explicit command for this on Magma: IsConjugate
How would you do this on Sage?
Revision history [back]
 | 1 | initial version | |
How to check two maximal orders in a quaternion algebra are isomorphic
How to check two maximal orders in a quaternion algebra are isomorphic
Two maximal orders in a quaternion algebra are isomorphic to each other if and only if they are conjugate.
There is an explicit command for this on Magma: IsConjugate
How would you do this on Sage?
