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

19
votes
2answers
535 views

Is every group the automorphism group of a group?

Suppose $G$ is a group. Does there always exist a group $H$, such that $\operatorname{Aut}(H)=G$, i. e. such that $G$ is the automorphism group of $H$? EDIT: It has been pointed out that the answer ...
12
votes
1answer
191 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 ...
3
votes
1answer
334 views

the image of $1$ by a homomorphism between unitary rings

let $R$ and $S$ be unitary rings and $\phi:R\rightarrow S$ a ring homomorphism. is the following correct: $\phi(1_R\cdot1_R)=\phi(1_R)\cdot\phi(1_R)$ so $\phi(1_R)(1_S-\phi(1_R))=0_S$ and so ...
6
votes
3answers
436 views

What are all the homomorphisms between the rings $\mathbb{Z}_{18}$ and $\mathbb{Z}_{15}$?

Any homomorphism $φ$ between the rings $\mathbb{Z}_{18}$ and $\mathbb{Z}_{15}$ is completely defined by $φ(1)$. So from $$0 = φ(0) = φ(18) = φ(18 \cdot 1) = 18 \cdot φ(1) = 15 \cdot φ(1) + 3 \cdot ...
0
votes
1answer
154 views

Isomorphism of R-modules

Does somebody has an example where the left $R$-modules $R^m$ and $R^n$ are isomorphic for all positive integers $m$, and $n$?
136
votes
2answers
4k views

Can we ascertain that there exists an epimorphism $G\rightarrow H$?

Let $G,H$ be finite groups. Suppose we have an epimorphism $$G\times G\rightarrow H\times H$$ Can we find an epimorphism $G\rightarrow H$?
30
votes
4answers
780 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
3answers
245 views

Category theory without codomains?

A surjection is a function whose range equals its codomain. Thus, the distinction between functions and surjections requires the notion of a codomain. Similarly, a bijection is an injection whose ...
3
votes
1answer
44 views

How do morphisms in a comma category single out commuting squares?

I'm trying to teach myself the rudiments of Category Theory. I have a doubt about the definition of comma categories, more precisely about the morphisms. Suppose have two functors ...
3
votes
1answer
375 views

Isomorphic Hilbert spaces

As part of a broader proof , I need to show that every two separable Hilbert spaces (that contains a dense countable set) are isomorphic (the linear mapping from one space to the other is injective ...
4
votes
2answers
203 views

homomorphism $f: \mathbb{C}^* \rightarrow \mathbb{R}^*$ with multiplicative groups, prove that kernel of $f$ is infinite.

Let $f: \mathbb{C}^* \rightarrow \mathbb{R}^*$ be a homomorphism of the multiplicative group of complex numbers to the multiplicative group of real numbers. I need to show that the kernel of $f$ must ...
2
votes
2answers
188 views

Evaluation morphisms of formal power series and nilpotent elements

Given a commutative ring $A$, and a finitely presented (associative) $A$-algebra $B$, show that a morphism of $A$-algebras $A[[x]] \longrightarrow B$ is given by evaluation at an nilpotent element $ ...
2
votes
1answer
65 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
2answers
106 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 ...
10
votes
6answers
731 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 ...
5
votes
1answer
93 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 ...
5
votes
5answers
1k views

In a ring homomorphism we always have $f(1)=1$? [duplicate]

Possible Duplicate: the image of $1$ by a homomorphism between unitary rings I'm studying the Atiyah's commutative algebra book and I realized that in the beginning of the book, the author ...
4
votes
0answers
51 views

Extending a homeomorphism between two curves [duplicate]

Possible Duplicate: Is there “essentially only 1” Jordan arc in the plane? Let $\gamma : [0,1] \to \mathbb{R}^2$ be a simple curve with $\gamma(0)=(0,0)$ and $\gamma(1) =(1,0)$. Clearly, ...
1
vote
0answers
125 views

Order of kernel of a homomorphism

Let $p,q$ be distinct primes. Prove that the kernel of the map $$f: (\mathbb{Z}/p^k\mathbb{Z})^* \rightarrow (\mathbb{Z}/p^k\mathbb{Z})^*$$ defined by $f(x)=x^q$ has order $\gcd(p-1,q).$ Thank ...
1
vote
1answer
202 views

If each component of a Cartesian product is homeomorphic to another space, are the Cartesian products homeomorphic

Assume we are given a space $A$ with a metric $d$. Assume $A = A_1 \times A_2 \times A_3 \cdots$, ie. $A$ is a Cartesian product of spaces $A_i$, where $i \in I$. $I$ is countable or countably ...