The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
2answers
36 views

Prove Kähler Differential is always surjective using universal property.

Let $A$ be an $R$-Algebra. An $R$-linear derivation $d \colon A \to \Omega_{A/R}$ is called universal derivation or Kähler differential if for every $R$-linear derivation $D \colon A \to M$ there is a ...
1
vote
1answer
19 views

Universal property question

I am not sure how I can draw a commutative diagram, so I will do my best to describe it verbally. So, suppose $f_1,f_2:G\to K$ be (group, field, ring)homomorphisms. I want to claim the following: ...
4
votes
2answers
177 views

Identify the universal property of kernels

I'm reading Mac Lane's "Categories for the Working Mathematician". I found the following sentence in page 59 of it: Similarly, the kernel of a homomorphism (in $\mathbf{Ab}$, $\mathbf{Grp}$, ...
0
votes
0answers
18 views

Description of a universal regular space

tl;dr: Given a topological space $X$, is there a useful description of the universal continuous map from $X$ to a regular (Hausdorff) space? The Čech–Stone compactification $\beta X$, given a ...
1
vote
1answer
44 views

Limit as universal arrow

I was interested in the definition of limit as universal arrow from $\Delta$ to $F$ given in Mac Lane's CWM book. Let us begin with some notation: Let $C$ be a category, and $J$ be an index ...
1
vote
2answers
43 views

A universal construction of the field of fractions of an integral domain?

Let $R$ be an integral domain and For a field $\hat R$ consider the following : There is an injective ring homomorphism $i:R \to \hat R$ such that for any field $F$ and any injective ring homomorphism ...
0
votes
1answer
65 views

Universal Properties and Isomorphisms

If two objects satisfy the same universal property, we know that they are isomorphic in that category. Is the converse true? That is, if two objects are isomorphic in some category, can we construct ...
8
votes
1answer
116 views

Are there any non-obvious colimits of finite abelian groups?

Does the forgetful functor $U : \mathsf{FinAb} \to \mathsf{Ab}$ from finite abelian groups to abelian groups preserve colimits? Morally this should be true, but it is not so easy (for me) to come up ...
1
vote
1answer
37 views

Find the unique lifting for $f:S^1 \to S^1$ given by $f(z)=z^2$, where $z=x+iy, x^2+y^2=1$

Let $f:S^1 \to S^1$ be given by $f(z)=z^2$, where $z=x+iy, x^2+y^2=1$. Then find the unique lift $\bar f: S^1 \to \mathbb{R}$ with the properties that (i) $\bar f(1)=0$ and (ii) $E \circ \bar f=f$, ...
1
vote
0answers
10 views

“Universal solution” to factorization of arithmetic mean through a semigroup homomorphism.

Headnote A: my apologies for the long winded exposition; I couldn't find a more compact way to convey what I'm looking for, why I'm looking for it, and what have I tried myself. Suggestions for ...
1
vote
1answer
28 views

Direct sum is isomorphic?

Given R, a PID, and two finitely generated R-modules A and B, suppose $\varphi: A \rightarrow B$ is a homomorphism. If B is a free module, show that $A \cong \ker(\varphi) \oplus ...
2
votes
1answer
38 views

Viewing the universal property of rings of fractions as a universal arrow

For a multiplicatively closed subset $S$ of $A$, we have a functor $S^{-1}: A-Mod \rightarrow S^{-1}A-Mod$. I am trying to understand this functor a little bit better and I was thinking about the ...
1
vote
3answers
36 views

Basic Question Regarding the Universal Property of the Tensor Product.

(All vector spaces are over a fixed field $F$). Universal Property of Tensor Product. Given two finite dimensional vector spaces $V$ and $W$, the tensor product of $V$ and $W$ is a vector space ...
2
votes
0answers
71 views

Does zero-kernel imply monic in Abelian categories?

I'm trying to learn how to perform diagram-chasing in abstract Abelian categories. Instead of an approach with some elements one have to use universal properties somehow in the proof. But I reckon the ...
6
votes
1answer
119 views

Help with diagram chasing

Given the diagram $\require{AMScd}$ \begin{CD} 0 @>>> A @>f>> B @>g>> C @>>> 0 \\ @. @V\alpha VV \#@V\beta V V\# @VV\gamma V @. \\ 0 @>>> {A'} ...
4
votes
1answer
209 views

The Kahler differential is zero

While studying for my commutative algebra exam, I have come across this problem. Let $K$ be a field. Let $A$ be a $K-$algebra, finitely generated as a $K$-vector space. Prove that $\Omega^1_{A/K} ...
1
vote
1answer
61 views

The use of universal properties to prove the existence of isomorphism

I just start self learning tensor and I find the universal property is difficult to use. I think I understand the basic concept of the universal property. The tensor product of $V_1, \cdots, V_m$, ...
2
votes
2answers
194 views

Construction of Yoneda extension

In "Category Theory" by Steve Awodey, there is a suggestion for the reader to construct a left adjoint in the proof of the UMP of the Yoneda embedding. Namely, for any small category $\mathbb{C}$, the ...
0
votes
1answer
21 views

Transition functions of sheaf tensor product

Suppose $\mathcal{L},\mathcal{M}$ are invertible sheafs on a scheme $X$. I've seen an abstract construction of $\mathcal{L}\otimes_X \mathcal{M}$, but I'm having trouble connecting this with a more ...
1
vote
1answer
130 views

Universal object

I'm trying to define the concept of universal object in category theory, but I failed to find a universal way to do it. Maybe someone can help ? THe idea is quite simple. Let $\mathcal{C}$ be a ...
0
votes
1answer
23 views

Mapping property of complex fraction field

I recently came across a proof which said that: Suppose $\phi: \mathbb{C}[x]\rightarrow \mathcal{F}$ where $\mathcal{F}$ is a field is a homomorphism. If $ker\phi=0$ then $\phi$ maps isomorphically to ...
1
vote
1answer
75 views

Tensor product of function space and vector space

In one book I found that they treat vector valued functions as tensor product of some function space and vector space. So for example $$ C(\mathbb{R},V) \simeq C(\mathbb{R})\otimes V \\ ...
5
votes
1answer
120 views

Universal Property: do people study terminal objects in $(X\downarrow U)$?

Suppose that $U:D\to C$ is a functor and $X$ is an object of $C$. In defining Universal property, Wikipedia writes about terminal objects in $(U\downarrow X)$ and initial objects in the category ...
0
votes
1answer
68 views

Definition of a coproduct and its universal property - connection?

I have a problem connecting the definition of a coproduct with its often mentionend universal property. Let's start with the definition (just for two objects): Let $A_1$ and $A_2$ be objects of a ...
1
vote
1answer
50 views

Dual notion of the subspace topology

Let $X$ and $Y$ be sets with $\iota:X\to Y$ an injection. If $Y$ is a topological space, we define the subspace topology on $X$ as the initial topology induced by this diagram. Analogously, if $X$ ...
0
votes
1answer
35 views

Universal property for vector spaces

QUESTION: I would like some hints for part b.I am unsure of how to show that $\widetilde{T}$ is surjective or injective for that matter. My construction for $\widetilde{T}$ is ...
4
votes
0answers
68 views

Using the universal property of tensor product to show that $(\Bbb{Z}/4\Bbb{Z}) \otimes (\Bbb{Z}/6\Bbb{Z})\cong \Bbb{Z}/2\Bbb{Z}$ [duplicate]

In the algebra lecture i need to solve the following exercise Use the universal property of the tensor product to show that $$(\Bbb{Z}/4\Bbb{Z}) \otimes (\Bbb{Z}/6\Bbb{Z})\cong ...
2
votes
2answers
83 views

relationship between Exact sequences and Universal mapping property

I am stuck in the following question. Show that for any two short exact sequences. $0\overset{}{\rightarrow}K\overset{i}{\rightarrow}V\overset{T}{\rightarrow}U$ and ...
2
votes
1answer
90 views

Two Definitions of Infinite Cartesian Product

In my one of lecture notes, there are two definitions of infinite Cartesian product, and it reads that we can construct a unique bijection between them. One way to define an infinite Cartesian ...
0
votes
0answers
29 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 ...
2
votes
0answers
51 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 ...
0
votes
2answers
67 views

How is this an example of a Universal Property?

I'm totally lost on this problem, which is from a set of notes by Tom Leinster on Category Theory: Let $\phi: G \to H$ be a homomorphism of groups. Associated with $\phi$ are the diagrams $ker(\phi) ...
2
votes
0answers
43 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)$. ...
2
votes
2answers
110 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 $$ ...
11
votes
2answers
152 views

Is there a concept of a “free Hilbert space on a set”?

I am looking for a "good" definition of a Hilbert space with a distinct orthonormal basis (in the Hilbert space sense) such that each basis element corresponds to an element of a given set $X$. Before ...
0
votes
1answer
101 views

Continuity of sum/product using characteristic property

I'm self studying Lee's Introduction to Topological Manifolds, and I'm familiarising myself to the characteristic/universal property view of topology. One of the exercises in chapter 3 goes as ...
1
vote
1answer
50 views

Lifts of embeddings of Lie algebras to their universal enveloping algebras

Let $k$ be an algebraically closed field, and let $(\mathfrak{h},[\;,\;])$ be a finite dimensional abelian Lie algebra $k$. Let $(\mathfrak{g},[\;,\;])$ be a finite dimensional Lie algebra over $k$ ...
5
votes
2answers
109 views

Is there a logical interpretation for equalizer and co-equalizer?

I know the logical equivalent to several universal constructions. For example product $\times$ is $\land$ and co-product $+$ is $\lor$. The associated arrows are projection and inclusion. The ...
3
votes
1answer
66 views

About the Stone-Čech universal property

There's something I am missing here and I don't know what it is. I understand that the Stone-Čech compactification of $X$ satisfies the property that for every continuous map $f: X \rightarrow K$ ...
-1
votes
1answer
84 views

Tensor Algebra: Universal Property

Hi there in wiki the tensor algebra is defined w.r.t. the adjoint of the forgetful functor rather than the forgetful functor itself - why so? Besides, does the existence of such algebras for every ...
0
votes
1answer
65 views

Existence of Initial Object implies Existence of Terminal Object? [closed]

Consider an initial object always exists in a category. Reversing all arrows now. Does this guarantee the existence of terminal objects in that category?
0
votes
1answer
68 views

Characteristic Property = Universal Property?

Problem They seem to be the same -almost! But are they really or is it just unlucky accident that they look so similar however describe totally different notions? Example I was trying to set the ...
5
votes
0answers
105 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 ...
0
votes
0answers
24 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 ...
1
vote
3answers
47 views

Would this proof be considered true.Proving a property of a operation

Ok so the operation [x] is defined to be equal to the integer such that it is $\leq x$ From this definition it holds that : $$ [x] \leq x $$ I need to prove that $$ [x+n] = [x] + n $$ My proof ...
2
votes
1answer
120 views

$F$ entire with $\lim_{k \rightarrow \infty} F(z + N_{k}) = h(z)$ for every $h$ entire

Prove that there exists an entire function with the following "universal" property: given any entire function $h$, there is an increasing sequence $\{ N_{k}\}_{k=1}^{\infty}$ of positive integers ...
2
votes
0answers
25 views

Disjoint Union Topology universal property as instance of final topology's universal property [duplicate]

I'm studying the final topology on a set $X$ induced by a family $\{f_\alpha:X_\alpha\rightarrow X\mid \alpha\in A\}$ and know of its universal property, namely that given a function $g:X\rightarrow ...
0
votes
2answers
226 views

Universal Property of Localization

Let $R$ be a commutative ring with $1\not =0$, and let $D\ni 1$ be a multiplicative subset of $R$. Consider the universal characterization of $D^{-1}R$: There is a morphism $\pi\colon R\to D^{-1}R$ ...
7
votes
2answers
159 views

How to get used to commutative diagrams? (the case of products).

I've returned to Aluffi's book (after getting the basics of groups from Herstein's) and I hit the same brick wall that made me put it aside. My general problem is this: I can't seem to get used to ...
1
vote
1answer
65 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), ...