Re: tensor product twister


magya_bloom@xxxxxxxxx wrote:
Jannick Asmus wrote:
On 23.11.2006 14:59, magya_bloom@xxxxxxxxx wrote:

not sure what "inverse image of the natural ring homomorphism" means in
this context.

Sorry for being not very clear. I meant "preimage": If f: G -> H is a
map of sets, then the preimage of a subset H' of H is f^-1(H') = { g in
G | f(g) in H' }.

I understood that part. I just don't know what that subset H' is. When
you say preimage of a natural homomorphism, which sub-algebra of A*B
are we pulling back?

of course we are pulling back M. Sorry about my stupid question. But
why do we need nullstellensatz to conclude that m1 is maximal?

.

Relevant Pages

  • Re: tensor product twister
    ... you say preimage of a natural homomorphism, ... algebra R, is generated by. ... is some intersection of maximal ideals would help. ...
    (sci.math)
  • Re: tensor product twister
    ... you say preimage of a natural homomorphism, ... some non-zero algebra homomorphism form A-> F (where F is our alg ...
    (sci.math)
  • Re: tensor product twister
    ... you say preimage of a natural homomorphism, ... from that is there a direct conclusion of maximality? ...
    (sci.math)
  • Re: Complex multi-valued functions taking on uncountably infinitely many values?
    ... on an _un_countably infinite number of values? ... z in D are the values that f takes on the preimage p^, ... doing analytic continuation in the usual way. ... Now the map p is constant on ...
    (sci.math)
  • Re: preimage under a non-injective function = sensical?
    ... >Does the idea preimage make sense with respect to non-injectives? ... depending on a number of things. ... >is the preimage of y under f BOTH b and c, or is the idea of preimage ... of X consisting of all elements that map into B; ...
    (sci.math)