Is there a name for $I$ in this case with respect to $J$?
93629
Ideal quotient of fractional ideals
81868
How to prove $\operatorname{Tr}(AB) = \operatorname{Tr}(BA)$?
89177
$\operatorname{adj}(AB) = \operatorname{adj} B \operatorname{adj} A$
87265
If $(A-\lambda{I})$ is $\lambda$-equivalent to $(B-\lambda{I})$ then $A$ is similar to $B$
102175
$Z=XY$, $E_Z[Z]$, $E_{X,Y}[XY]$
3301
If $AB = I$ then $BA = I$
11509
Relationship between $\operatorname{ord}(ab), \operatorname{ord}(a)$, and $\operatorname{ord}(b)$
71151
If $a_{ij}=\max(i,j)$, calculate the determinant of $A$
128673
Given $A : \mathcal{C} \rightarrow \mathcal{E}$, when does $\operatorname{colim} A = A(1)$?
75104
Existence of some type matrix
112707
Must $Q^\mathsf{T}Q = I$ if $(Qx)^\mathsf{T}(Qx) = x^\mathsf{T}x$
127727
De Moivre Complex Roots: Definition of $i$ or $\sqrt {-1}$
46132
Combinatorial interpretation for the identity $\sum\limits_i\binom{m}{i}\binom{n}{j-i}=\binom{m+n}{j}$?
147920
Infinite powering by $i$
98363
Expanding two-variable function $f(x,y)$ over the complete sets $\{ g_{i}(x) \}$ and $\{ h_{j}(y) \}$
73687
Powers of $i$ in Complex Numbers.
47313
What is $i^i$ and $(i^i)^i$