For question about morphism between groups, ring, topological spaces, vector space, categories, etcs... Please also use the correspondent tags (e.g. (group-theory), (ring-theory)) in order to precise the involved structure.

learn more… | top users | synonyms

0
votes
1answer
115 views

Hypercube and dihedral group

Let $G_n$ denote the subgroup of the orthogonal group $O_n$ of elements that send the hypercube to itself, the group of symmetries $C_n$, including the orientation-reversing symmetries. It would ...
0
votes
0answers
39 views

Homomorphism on the group of isometries

Prove that the map $f: M \rightarrow \{1,r\}$ defined by $t_a \rho_{\theta} \mapsto 1$, $t_a \rho_{\theta}r \mapsto r$ is a homomorphism. M denotes the set of isometries of the plane; r the reflexion ...
2
votes
1answer
48 views

Can objects repeat in commutative diagrams?

Are objects allowed to repeat in commutative diagrams? This seems to be necessary when representing endomorphisms such as the morphism $f : X \to X$ in the category $\mathbf{Set}$, such as when $f$ is ...
2
votes
1answer
67 views

Exponentials “commutes” explicitly

i have a question about exponentials in a category $\Bbb{A}$. I have to prove that the following holds: $C^{A\times B}\cong(C^A)^B$. Therefore i have to give two arrows. This can be done on an ...
1
vote
0answers
59 views

Functor whose values on morphisms are monomorphisms

Is there a name for a functor whose values on morphisms are monomorphisms?
2
votes
3answers
61 views

A notation for a morphism in a thin category

Consider a thin category with objects $A\leq B$. There exists a unique morphism $A\rightarrow B$. Is there a standard notation for this morphism (given $A$ and $B$)?
1
vote
2answers
172 views

Is the ring $\mathbb{Z}_5[x]$ isomorphic to the ring of polynomial functions from $\mathbb{Z}_5$ to $\mathbb{Z}_5$?

Is the ring $\mathbb{Z}_5[x]$ isomorphic to the ring of polynomial functions from $\mathbb{Z}_5$ to $\mathbb{Z}_5$? If not, what is a good counterexample? If yes, how can we prove that there's a ...
1
vote
1answer
42 views

Morphisms of complexes chain [closed]

I have a small question: Why is the following true? "If we have a continuous mapping between two topological spaces $f:X\rightarrow Y$, we can associate a morphism of chain complexes $f_*\colon ...
1
vote
2answers
122 views

What is the product and coproduct of Morphism category(Arrow category)?

Given category C, Its morphism category D means a category that has 1) "morphisms of C" as its objects 2) "pair (f,g) s.t. the diagram(square) commutes" as its morphisms The above definition is ...
3
votes
2answers
100 views

How can I quantify over the class of all cardinalities?

I'd like to quantify over all cardinalities of sets. My end goal is to make a category-theoretic arguement: For all cardinalities of sets, in the category of sets with maps as morphisms: the ...
2
votes
1answer
67 views

On Lemma 4.1 of Hartshorne's algebraic geometry text

I'm in the process of teaching myself algebraic geometry from Hartshorne. Lemma 4.1 says that if we let $X$ and $Y$ be two varieties, and let $\phi$ and $\psi$ be two morphisms from $X$ to $Y$, and ...
0
votes
3answers
99 views

From where comes the horizonal composition in a 2-category?

Viewing a 2-category as a category enriched in $\mathsf{Cat}$, I can see from where comes the vertical composition: morphisms of a 2-category are objects of $\mathsf{Cat}$ and 2-morphisms of this ...
1
vote
1answer
55 views

Replacing a morphism with composition with this morphism

I have a certain category. I feel it is better to study the functor $x\mapsto f\circ x$ (where $\circ$ is the composition in my category) than the morphism $f$ itself. How is it called when a ...
4
votes
2answers
204 views

The isomorphisms between two vector spaces

Let $V$ and $W$ be two vector spaces over real number field, if they are isomorphic as vector spaces over rational number field, are they isomorphic as real vector spaces ?
2
votes
0answers
90 views

Every $\mathbb{P}^n$-bundle is a $\mathbb{P}(\mathscr{E})$

I am working on exercise II.7.10(c) in Hartshorne's Algebraic geometry, which asks: Let $X$ be a noetherian regular scheme. Show that every $\mathbb{P}^n$-bundle $P$ over $X$ is isomorphic to ...
2
votes
1answer
107 views

Isomorphism between the space of linear operator and matrices for finite dimensional spaces

Prove that $\operatorname{Lin}(U,V)$ is isomorphic to the space of $m$ by $n$ matrices, where $\dim(U)=n$ and $\dim(V)=m$. Thanks so much for your enlightment.
12
votes
1answer
201 views

Problem on abelian group

Let $G$ be an abelian group, and $\Phi:G\to \mathbb{R}$ is a function with the following property: $$\forall a,b\in G,~~ |\Phi(a+b)-\Phi(a)-\Phi(b)|<c$$ The problem asks to prove the existence of ...
1
vote
1answer
91 views

Systematizing graph morphisms

Trying to systematize possible notions of graph morphisms I came about the following classification: A morphism $f$ which sends a graph $G$ to another graph $G'$ is – first of all – ...
4
votes
2answers
157 views

An example of a monomorphism that is not an equalizer in “Abstract and Concrete Categories — The Joy of Cats”

I am sorry, maybe i am just confused or have not understood some definition, but i do not understand the following remark in Abstract and Concrete Categories -- The Joy of Cats on page 117: ...
4
votes
1answer
38 views

How to denote an 'atomic' morphism in category?

I want to distinguish between two disjoint classes of morphisms in a category: (1) those morphisms that are composed of other morphisms (other than identities) and could conceivably be factored into a ...
2
votes
0answers
42 views

Being a morphism of quasiprojective varieties is a local property

Let $X,Y$ be quasiprojective varieties and $\phi \colon X \to Y$ be a map. Suppose there exists a cover $\mathscr U = \{U_i\}_{i \in I}$ of open subsets $U_i \subset X$ such that for every $i \in ...
4
votes
1answer
80 views

Isomorphisms of $\mathbb P^1$

Prove that every isomorphism of $\mathbb P^1$ (over an algebrically closed field $\mathbb K$) is of the form $$ \phi(x_0: x_1) = (ax_0+bx_1 : cx_0 + dx_1) $$ where $\begin{pmatrix} a & b ...
3
votes
1answer
164 views

Morphisms between quasiprojective varieties preserve irreducibility

Let $X,Y$ be two quasiprojective varieties and $\phi \colon X \to Y$ a surjective morphism. Let $Z \subset Y$ a closed set such that $\phi^{-1}(Z)$ is irreducible. Prove that $Z$ is irreducible. ...
11
votes
6answers
890 views

What does “homomorphism” require that “morphism” doesn't?

I'm starting to learn category theory, but there's one thing I don't get: all morphisms seem to be homomorphisms; the definition seems to be the same. What's the difference between these two? Can you ...
1
vote
4answers
153 views

To what extent are morphisms required to be functions?

Just beginning category theory, and I am looking for clarification on the precise nature of morphisms. The most familiar categories, e.g. $\mathbf{Top}$, have morphisms that are functions in the ...
4
votes
1answer
69 views

If $M$ is either Noetherian or Artinian and $M^{(n)}\cong M^{(m)}$, then $m=n$.

The question is: Prove that if $_RM$ is either artinian or noetherian and if $m,n\in\mathbb{N}$ with $M^{(m)}\cong M^{(n)}$, then $m=n$. Here, $M^{(m)}$ denotes the direct sum of $m$ times $M$. I ...
4
votes
2answers
89 views

Problem 3.1.2 in Liu — Omission in problem statement?

Exercise 3.1.2 in Liu's Algebraic Geometry and Arithmetic Curves is as follows. Let $f:X\rightarrow Y$ be a morphism of schemes. For any scheme $T$, let $f(T):X(T)\rightarrow Y(T)$ denote the ...
4
votes
1answer
96 views

Finite fiber of scheme morphism is zero-dimensional?

Let $X$ and $Y$ be locally Noetherian schemes and $f:X\rightarrow Y$ be an étale morphism of finite type. Let $x\in X$ and $y=f(x)$. I would like to know why the fiber $X_y$ is a zero-dimensional ...
3
votes
1answer
101 views

Does this morphism necessarily give rise to a finite extension of residue fields?

Let $f:X\rightarrow Y$ be a morphism of finite type of locally Notherian schemes. Let $x\in X$ and $y=f(x)$. Recall that $f$ is said to be unramified if the map of stalks $g:\mathcal O_{Y,y} ...
1
vote
0answers
93 views

Number of kernals of all $\mathbb{Z}_n$ to $\mathbb{Z}_m$ homomorphisms?

How many subgroups $K \le \mathbb{Z}_n$ are there with $K =\ker(\phi)$ for some homomorphism $\phi\colon\mathbb{Z}_n \rightarrow \mathbb{Z}_m$? Stuck and need a hint. Have so far that there are ...
5
votes
1answer
94 views

Bijection abstract simplicial complex

Given two compact Hausdorff spaces $X$ and $Y$ and $h \colon X \to Y$ a homeomorphism, how can I prove that $h_{\mathfrak{A}} : N(\mathfrak{A}) \to N(h(\mathfrak{A}))$ is a bijection where ...
7
votes
2answers
268 views

Inverse of open affine subscheme is affine

This seems ridiculously simple, but it's eluding me. Suppose $f:X\rightarrow Y$ is a morphism of affine schemes. Let $V$ be an open affine subscheme of $Y$. Why is $f^{-1}(V)$ affine? I noted that ...
4
votes
2answers
88 views

Why is this composition of scheme morphisms proper?

I am learning about proper morphisms from Liu's book. I have a question about the proof of the Lemma 3.17 on page 104. Let $A$ and $B$ be rings and suppose $\operatorname{Spec} B$ is proper over ...
31
votes
4answers
819 views

$\mathbb C[X]/(X^2)$ is isomorphic to $\mathbb R[Y]/((Y^2+1)^2)$

This question led me to the following: Prove that $\mathbb C[X]/(X^2)$ is isomorphic to $\mathbb R[Y]/((Y^2+1)^2)$.
7
votes
1answer
152 views

Category with endomorphisms only

How is called a category with endomorphisms only? How is called a subcategory got from an other category by removing all morphisms except of endomorphisms?
4
votes
3answers
170 views

Does every category have a functor?

Is there any one (or more) categories that doesn't have a functor? Functors go between categories, so is there any category that only has an identity functor but no other functor that maps it to ...
2
votes
1answer
77 views

Homomorphical Equivalence is NP-complete

Two graphs $G,H$ are homomorphically equivalent if there are exists a homomorphism from $G$ to $H$ and a homomorphism from $H$ to $G$. The task is to prove that this decision problem ...
3
votes
3answers
95 views

Given a functor between categories, how to denote a morphism between particular objects of that category

I have a very common situation, for which I need both: (1) notation; and, if available, (2) a general relative term. Let's say that: there is a functor between categories, $f:C_1\to C_2$, $c_1$ is ...
8
votes
1answer
84 views

*-homomorphisms $M_n(\mathbb{C})\rightarrow M_m(\mathbb{C})$

I've heard that every *-homomorphism $\phi:M_m(\mathbb{C})\rightarrow M_n(\mathbb{C})$ is unitarily equivalent to some *-homomorphism of the form $A\in ...
3
votes
2answers
520 views

Prove the third isomorphism theorem

I'm trying to prove the third Isomorphism theorem as stated below Theorem. Let $G$ be a group, $K$ and $N$ are normal subgroups of $G$ with $K⊆N$. Then $$(G⁄K)⁄(N⁄K)≅G⁄N.$$ I look up for some ...
3
votes
1answer
80 views

Every injective function is an inclusion (up to a unique bijection)

Let $X$ be a set and let $A$ be a subet of $X$. Let $i:A\longrightarrow X$ be the usual inclusion of $A$ in $X$. Then $i$ is an example of an injective function. I want to show that every ...
0
votes
3answers
97 views

Let $p$ be a prime. Determine the number of homomorphisms from $\mathbb{Z}_p \oplus \mathbb{Z}_p$ into $\mathbb{Z}_p$.

Let $p$ be a prime. Determine the number of homomorphisms from $\mathbb{Z}_p \oplus \mathbb{Z}_p$ into $\mathbb{Z}_p$. How can I able to solve this problem?can anyone help me please.
6
votes
3answers
157 views

Aut $\mathbb Z_p\simeq \mathbb Z_{p-1}$

I'm trying to prove that Aut $\mathbb Z_p\simeq \mathbb Z_{p-1}$ (p prime). I know that Aut $\mathbb Z_p$ has $p-1$ elements because $\mathbb Z_p$ has $p-1$ possiblities of generators, so intuitively ...
1
vote
3answers
165 views

Ring homomorphism question.

If $R$ is a ring, show that there is exactly one ring homomorphism $\phi: \mathbb{Z} \to R$. I can't grasp the idea that there can be only one ring homomorphism. Aren't there many (at least more than ...
3
votes
1answer
86 views

Algebra (Not *)-Isomorphisms of von Neumann algebras

Let $A$ and $B$ be any two infinite-dimensional von Neumann algebras, they are operator algebras with operator composition as the multiplication and as infinite dimensional vector spaces they're ...
8
votes
1answer
87 views

Prove that $Tx=x^{-1}~\forall~x\in G.$ [duplicate]

Let $G$ be a finite group and suppose the automorphism $T$ sends more than $\dfrac{3}{4}th$ of the elements of $G$ onto their inverses. Prove that $Tx=x^{-1}~\forall~x\in G.$
3
votes
2answers
729 views

If $\phi:G\to\bar{G}$ is an isomorphism and if $H$ is a normal subgroup of $G$, then $\phi(H)$ is a normal subgroup of $\bar{G}$.

If $\phi:G\to\bar{G}$ is an isomorphism and if $H$ is a normal subgroup of $G$, then $\phi(H)$ is a normal subgroup of $\bar{G}$. I am struggling with getting started with the problem. I know ...
8
votes
1answer
162 views

Path Connectedness and continuous bijections

Mathoverflow. Are there any two topological spaces $X$ and $Y$ such that they are path connected and such that there exist continuous bijections $X\rightarrow Y$ and $Y\rightarrow X$, but and yet ...
5
votes
1answer
97 views

A question on morphisms of fields

Let $A,B$ be two fields. Let $\phi:A\rightarrow B$ and $\psi:B\rightarrow A$ be two morphisms of fields. Can i conclude that $A$ and $B$ are isomorphic fields? My guess is yes, because every morphism ...
1
vote
1answer
134 views

How I can find the inverse of an isomorphism?

The motivation of this question can be found in Can we extend the map $φ$ to $ℝ^{r}×C(ℚ)^{\text{tors}}→C(ℚ)$ as an isomorphism or not? My question is: How I can find the inverse of the ...