Identifying elements in V(x)W, V,W V.Spaces

  • Thread starter Thread starter WWGD
  • Start date Start date
  • Tags Tags
    Elements
WWGD
Science Advisor
Homework Helper
Messages
7,679
Reaction score
12,397
Hi, everyone:
I have been playing around with tensor products of vector spaces recently.
This question came up:

How can we tell if c(a(x)b)~(a(x)b) , or wether any two general elements
are in the same class, other than in the std. cases like c(a(x)b)~(ca(x)v)~
(a(x)cv) , etc.

Any Ideas?.
Thanks.
 
Physics news on Phys.org
this is why tensor products are hard, it is hard to tell when two reporesentatives for elements represent the same element of a tensor product.

as a tiny example, show that every pair of representatives in the tensor product of Z/(37) and Z/(101) represent the same element. e.g. for all pairs of integers (n,m) and (a,b), their tensor products are equal in that group.
 
Thanks, Mathwonk. I hope I am not missing something obvious
here, but I am kind of confused, tho; are you seeing Z/(37) and
Z/(101) as fields?. How do you define the tensor product, then?
 
Sorry for my dumbness here, Mathwonk. I was stuck with the idea of tensoring
vector spaces, and was thinking of both Z/(37) and Z/(101) as vector
spaces over themselves , so that the tensor did not make sense. Then
I thought for a second and realized it is a Z-module tensor.I'll do the exercise--
and review my algebra.
 
the case of vector spaces is trivial. the dimension of VtensW is always the product of their dimensions, and if {vi} and {wj} are bases, then so is {vitenswj}.
so every element can be written in terms of the basis to see if two elements are equivalent. the hard cases are modules that are not free.
 
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
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

Back
Top