The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
1answer
53 views

“Canonical” symmetrization/skew-symmetrization/alternation of multilinear functions

Is there some precise sense in which the "alternation" functor $A$ that maps a multilinear function $f\colon M^d\to N$ to the alternating multilinear function $A(f)\colon M^d\to N$ defined by $$ ...
1
vote
1answer
56 views

Extending the universal property of tensor product

Suppose that we defined a tensor product of vector spaces $U$ and $V$ as a quotient of a vector space with basis $V \times W$ by the vector space spanned by $-(u_1+u_2,v)+(u_1,v)+(u_2,v), ...
5
votes
0answers
65 views

Universal Property for Tangent Space

As far as I know there are basically three different approaches to the tangent space -all of them coming with advantages and disadvantages: Though the oldest one precisely represents the derivative ...
3
votes
0answers
48 views

A mathematical object that can be characterised by axioms as well as by universal constructions

This question (more specifically one of the comments) prompted me to ask this question: Can someone give me an example of a mathematical object that one can characterize both via axioms and universal ...
2
votes
0answers
46 views

Relative topological tensor product

I know that for a pair of topological rings $R$ and $R'$ (perhaps with some additional topological/functional-analytic hypothesis on them?) there exist two topological tensor produts, the injective ...
2
votes
0answers
37 views

Show that $H *_{G} (G/N) \cong H/N'$ where $f(N)=N' \subset H$.

I was doing some group theory and this exercise came up. Let $f: G \to H$ be a group morphism and $N$ a normal subgroup of $G$. Denote $\pi: G \to G/N$ and let $N'$ be the normal closure of $f(N)$. ...
0
votes
0answers
14 views

Injectivity and uniqueness of some maps from tensor products

Let $V_A$, $V_B$, $W$ be real vector spaces, let $V_A^*$, $V_B^*$, $W^*$ be their dual spaces. Let \begin{align*} &\phi: V_A \times V_B \rightarrow W \\ &\psi: V_A^* \times V_B^* \rightarrow ...
0
votes
0answers
11 views

Universal property of tensor products of real Hilbert spaces

I have the following exercise where I could need some hints: Let H1, H2 be real Hilbert spaces. Prove that there is a weak Hilbert-Schmidt mapping $$ p: H_1 \times H_2 \rightarrow H_1 \otimes H_2 ...
0
votes
0answers
19 views

Subset/subgroups/etc as Equalizers using Pushouts

I am trying to show that in a given category $\mathcal{C}$ which has pushouts, we can show that any morphism $f:X\rightarrow Y$ is an equalizer of some pair of morphisms. My solution to this is by ...
0
votes
0answers
61 views

Universal property of free spaces

In class we had developed the notion of a free space in preparation for our study of tensor product. There is one statement in my notes about the universal property of free spaces that has been ...