Ring isomorphism

Dependencies:

1. Ring

A ring isomorphism is a bijective function $\phi: R_1 \mapsto R_2$ where $R_1$ and $R_2$ are rings, $\phi(a+b) = \phi(a) + \phi(b)$ and $\phi(ab) = \phi(a)\phi(b)$.

Dependency for:

1. Being a field is preserved under isomorphism
2. F[x]/p(x) is isomorphic to F[x]/p(x)F[x]

Info:

• Depth: 2
• Number of transitive dependencies: 2

Transitive dependencies:

1. Group
2. Ring