Monocles
- 463
- 2
I do not know if this is a common/standard construction, so here is my motivation for this question. From http://arxiv.org/abs/1002.1709" page 29:
Is there a word for when there is such a one-to-one correspondence?
Generally speaking, an ideal of an algebra defines a module. To see this, consider a vector |\mathcal{I} \rangle which is annihilated by all elements of the ideal \mathcal{I}. From |\mathcal{I}\rangle, we can generate a finite-dimensional representation of the algebra A by acting with elements of A on it. However, the converse is not always true. Fortunately, when modules are \hat{\theta}-stable and invariant under the U(1)^2 symmetry, it was shown in Refs 33, 34 that there is a one-to-one correspondence between ideals and modules.
Is there a word for when there is such a one-to-one correspondence?
Last edited by a moderator: