← all areas

Namespace RingEquiv 2 theorems

• No ring can carry a swapped X/Xᵖ pair of isomorphisms to k[X] RingEquiv.false_of_apply_eq_X_pow_of_apply_eq_X 0 below · cited by 1 · depth 18
• Hilbert's Theorem 90 for GL_m over a cyclic algebra RingEquiv.exists_eq_inv_mul_generalLinearGroup_map_of_prod_map_pow_eq_one_of_forall_free 0 below · cited by 2 · depth 28