linear algebra - Infinite Tensor Products

Let $A$ be a commutative ring and $M_i, i in I$ be a infinite family of $A$-modules. Define their tensor product $bigotimes_{i in I} M_i$ to be a representing object of the functor of multilinear maps defined on $prod_{i in I} M_i$ (this exists by the usual construction). Thus there is a universal multilinear map $otimes : prod_{i in I} M_i to bigotimes_{i in I} M_i$. Some years ago, I wanted to examine this infinite tensor product, but in the literature I could not find anything going beyond some natural isomorphisms (e.g. associativity) or the submodule consisting of tensors which become eventually constant a specific element of $prod_{i in I} M_i$ which yields a colimit of finite tensor products (denoted $U_x$ below). In general, it seems to be quite hard to describe $bigotimes_{i in I} M_i$. For example, for a field $K$, $K otimes_K otimes_K ...$ has dimension $|K^*|^{aleph_0}$ (see below) and you cannot write down a basis, which might be scary when you see it the first time. The point is that multilinear relations cannot be applied infinitely many times at once: For example in $K otimes_K otimes_K ...$, we have $x_1 otimes x_2 otimes ... = y_1 otimes y_2 otimes ...$ if and only if $x_i = y_i$ for almost all $i$ and for the rest we have $prod_i x_i = prod_i y_i$.

Before posing my question, I provide some results.

1.1. Assume that $M_i$ are torsionfree $A$-modules (meaning $am=0 Rightarrow a=0 vee m=0$). In this case, we may decompose $bigotimes_{i in I} M_i$ as follows: Define $X = prod_{i in I} M_i setminus {0}$ and let $x sim y Leftrightarrow {i : x_i neq y_i}$ finite. Then $sim$ is an equivalence relation on $X$. Let $R$ be a set of representatives (this makes this description ugly!). Then there is a canonical map

$H : text{Mult}(prod_{i in I} M_i,-) to prod_{x in R} lim_{E subseteq I text{~finite}} text{Mult}^x(prod_{i in E} M_i,-)$,

where $text{Mult}^x$ indicates that the transition maps of the limit are given by inserting the entries of $x$, and it is not hard to show that $H$ is bijective. Thus

$bigotimes_{i in I} M_i = bigoplus_{x in R} U_x$,

where $U_x = cup_{E subseteq I text{~finite}} bigotimes_{i in E} M_i otimes otimes_{i notin E} x_i$ is the colimit of the finite tensor products $otimes_{i in E} M_i$ (the transition maps given by tensoring with entries of $x$). The canonical maps $otimes_{i in E} M_i to U_x$ don't have to be injective; at least when $A$ is a PID, this is the case. Remark that $U_x$ only depends on the equivalence class of $x$, so that the decomposition into the $U_x$ is canonical, whereas the representation of $U_x$ as direct limit (including the transition maps!) depends really on $x$.

1.2 If $M_i = A$ is an integral domain, we get $bigotimes_{i in I} A = oplus_{x in R} U_x$, where $U_x$ is the direct limit of copies $A_E$ of $A$, for every finite subset $E subseteq I$, and transition maps $prod_{i in E' setminus E} x_i : A_E to A_{E'}$ for $E subseteq E'$. $U_x$ is just the localization of $A$ at the $x_i$.

1.3 If $A$ is a field, and $M_i$ has basis $B_i$, then $B_x = cup_{E subseteq I} bigotimes_{i in E} B_i otimes otimes_{i notin E} x_i$ is a basis of $U_x$ and thus $cup_{x in R} B_x$ is a basis of $bigotimes_{i in I} M_i$. According to this question, this has cardinality $max(|X|,|I|,max_i(dim(M_i)))$.

1.4 If $A_i$ are $A$-algebras, then $bigotimes_{i in I} A_i$ is a $A$-algebra. If the $A_i$ are integral domains, then it is a graded algebra by the monoid $X/sim$ with components $U_x$.

If $A=A_i=K$ is a field with $U=K^x$, then there is a vector space isomorphism between $bigotimes_{i in I} K$ and the group algebra $K[U^I / U^{(I)}]$. A sufficient, not neccessary, condition for the existence of a $K$-algebra isomorphism is that $U^{(I)}$ is a direct summand of $U^I$, which is quite rare (see this question). Nevertheless, we can ask if these $K$-algebras isomorphic. In some sense I have proven this already locally (subalgebras given by finitely generated subgroups of the group $U^I / U^{(I)}$ are isomorphic, in a terribly uncanonical way). Many questions I'm currently posing here are addressed to this problem.

2.1 What about interchanging tensor product with duals? Let $(V_i)_{i in I}$ be a family of vector spaces over a field $K$. For elements $lambda_i in K$, define their infinite product $prod_{i in I} lambda_i$ to be the usual product if $lambda_i=1$ for almost all $i$, and otherwise to be $0$. This yields a multilinear map $prod : K^I to K$ and thus a linear map
$delta : bigotimes_{i in I} V_i^* to (bigotimes_{i in I} V_i)^*, otimes_i f_i mapsto (otimes_i x_i mapsto prod_{i in I} f_i(x_i)).$
Then it can be shown that $delta$ is injective, but the proof is pretty fiddly.

2.2 Let $W_i$ be another family of vector spaces over a field $K$. Then there is a canonical map
$alpha : bigotimes_{i in I} Hom(V_i,W_i) to Hom(bigotimes_{i in I} V_i, bigotimes_{i in I} W_i).$
Is $alpha$ injective? This is known when $I$ is finite.

3 What about other properties of finite tensor products, do they generalize? For example let $J_i, i in I$ be a family of index sets and $M_{i,j}$ be a $A$-module where $i in I, j in J_i$. Then there is a canonical homomorphism
$delta : bigoplus_{k in prod_{i in I} J_i} bigotimes_{i in I} M_{i,k(i)} to bigotimes_{i in I} oplus_{j in J_i} M_{i,j}$.
It can be shown that $delta$ is injective, but is it also bijective (as in the finite case)?

4 The description of the tensor product given in 1.1 depends on a set of representatives and is not handy when you want to prove something. Are there better descriptions?

Remark that in this question I'm not interested in infinite tensor products defined in functional analysis or just colimits of finite ones. I'm interested in the tensor product defined above (which probably every mathematician regards as "the wrong one"). Any hints about their structure or literature about it are appreciated.