ASKSAGE: Sage Q&A Forum - RSS feedhttps://ask.sagemath.org/questions/Q&A Forum for SageenCopyright Sage, 2010. Some rights reserved under creative commons license.Thu, 24 Mar 2022 15:31:43 +0100How to check if two maximal orders in a quaternion algebra are isomorphichttps://ask.sagemath.org/question/61603/how-to-check-if-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?Thu, 24 Mar 2022 07:29:09 +0100https://ask.sagemath.org/question/61603/how-to-check-if-two-maximal-orders-in-a-quaternion-algebra-are-isomorphic/Comment by FrédéricC for <p>Two maximal orders in a quaternion algebra are isomorphic to each other if and only if they are conjugate.</p>
<p>There is an explicit command for this on Magma: IsConjugate</p>
<p>How would you do this on Sage?</p>
https://ask.sagemath.org/question/61603/how-to-check-if-two-maximal-orders-in-a-quaternion-algebra-are-isomorphic/?comment=61613#post-id-61613Maybe check for all conjugates of generators of one are in the other, and conversely ?Thu, 24 Mar 2022 15:31:43 +0100https://ask.sagemath.org/question/61603/how-to-check-if-two-maximal-orders-in-a-quaternion-algebra-are-isomorphic/?comment=61613#post-id-61613