Word for one-to-one correspondence between ideals and modules of an algebra

  • Thread starter Thread starter Monocles
  • Start date Start date
  • Tags Tags
    Algebra Modules
Monocles
Messages
463
Reaction score
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:

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:
Physics news on Phys.org
After rereading this today, I think he might just be saying there is a one-to-one correspondence between ideals and theta-stable U(1)^2-invariant A-modules specifically, not ALL A-modules. So this question probably does not have an answer!
 
For a left R-module M, you can identify certain submodules of M that are similar to that of prime ideals in a ring, R. With that definition there exists conditions on the module M which imply that there is a one-to-one correspondence between isomorphism classes of indecomposable M-injective modules and prime M-ideals.

Hope that helps.
Regards,
kdbnlin
 
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...

Similar threads

Replies
8
Views
3K
Replies
3
Views
3K
  • Poll Poll
Replies
3
Views
5K
Replies
87
Views
7K
Back
Top