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
3answers
47 views

Problem with understanding homomorphism

Let $G$ be the group of all matrices of the form $\begin{pmatrix} 1 & a & b \\ 0 & 1 & c \\ 0 & 0 & 1 \\ \end{pmatrix}$, $a,b,c \in \mathbb R$, ...
1
vote
2answers
84 views

How do I show a mapping is a homomorphism?

I don't want to make this question too broad, or non-specific. I'll will discuss a simple situation so we can all share a common context, but my question is less about this particular group, and more ...
1
vote
1answer
42 views

Do normal group endomorphisms form a normal submonoid?

What it says on the tin. A group endomorphism $v\colon G\to G$ is called normal if $v(aba^{-1})=av(b)a^{-1}$ for all $a,b\in G$. Equivalently, the map $g\mapsto v(g^{-1})g$ is a group homomorphism. ...
2
votes
0answers
61 views

Homeomorphism form $(-1,1)$ to $\mathbb{R}$

I want to show that every open intervall $(a,b)$ is homeomorph to $\mathbb{R}$. On $(a,b)$ I chose the relative topology $\mathcal{T}_{(a,b)}$ and on $\mathbb{R}$ the trivial topology $\mathcal{T}$ ...
0
votes
0answers
143 views

Collections of Homomorphic (defined) structures via $f$

Long ago I read a text about a collection of algebraic sturctures all homomorphic (or isomorphic) via a unique homomorphism An Example similar to the construction I found was this: Lets take define ...
-1
votes
1answer
78 views

What are morphisms in the category of sets $\mathbf{Set}$?

Do i understand correctly that morphisms in the category of sets $\mathbf{Set}$ are ordered triples $(f, A, B)$ where $f$ is a function $A\to B$? It seems that it is often claimed, even in the ...
4
votes
2answers
223 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
2answers
106 views

How Many Homomorphisms $\Bbb{Z}_4 \to \Bbb{Z}_8 \times \Bbb{Z}_{12} \times \Bbb{Z}_{15}$?

I know that the number of homomorphisms between $Z_n$ and $Z_m$ is $\gcd(m,n)$. However, I don't know what to do with these two questions: How many different homomorphisms exist: $\Bbb{Z}_4 \to ...
0
votes
0answers
25 views

Two Homomorphisms Question

As an exercise in automata and formal languages, we got two question which I would like to share with and ask you if I am on the right lane a) Give all homomorphism $\varphi:\mathbb{N} \rightarrow ...
0
votes
1answer
40 views

Is this morphism flat?

Suppose $X$ is a smooth projective curve over an algebraically closed field $k$. Is the morphism $ X \to \operatorname{Spec}(k) $ necessarily flat? What kind of conditions on the above morphism are ...
2
votes
1answer
75 views

Finite fiber- unramified morphisms

I'm in trouble understandig the proof of Proposition 3.2 Chapter 1 of Milne's Book "Étale Cohomology". Let $f:Y\rightarrow X$ be locally of finite-type. The following are equivalent. $(a)$ f is ...
2
votes
2answers
42 views

Order of $M(x)$, where $M\colon G\to H$ is an injective homomorphism

Let $M\colon G\to H$ be a homomorphism and let $x$ be in $G$. Suppose that $x$ has order $k$. Show that if $M$ is injective the order of $M(x)$ equals order of $x$. My approach: ...
3
votes
1answer
45 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 ...
7
votes
1answer
67 views

Space of morhisms of representations, its dimension in special case

The symmetric group $S_n$ acts linearly on $\mathbb{C}^n$, hence it brings up to the representation in $\Lambda^m\mathbb{C}^n$. The goal is to evaluate the dimension of morphisms ...
4
votes
2answers
115 views

Generalizing central automorphism group condition to endomorphisms

Given a group $G$, we can define its central automorphism group by $$\operatorname{Aut}_c(G)= C_{\operatorname{Aut}(G)}(\operatorname{Inn}(G)) = \{ \phi\in\operatorname{Aut}(G) : \phi(g)g^{-1} \in ...
0
votes
1answer
75 views

Two isomorphism questions

Let G = (C - {0}, mult.), and let U be the subgroup U = {x+yi such that x^2 + y^2 = 1}. Use the Fundamental Theorem to show that: a) G/U is isomorphic to (R>0, mult.) b) G/R>0 is isomorphic to U. ...
2
votes
0answers
62 views

Epimorphism (abelian group)

Let $(G,\cdot), (H,*)$ Groups and $f: G\rightarrow H$ an Epimorphism. Show that: If G is an abelian group, then H is also an abelian group. Is the reversal of this proposition also true? My idea: ...
0
votes
0answers
28 views

Classification of endomorphisms in infinite dimension

I'm interested in the following question : let $E$ be an infinite dimensional vector space and $u$ some endomorphism of $E$. We consider endomorphisms equivalent to $u$, that is, of the form $\alpha ...
0
votes
2answers
116 views

How to show there is only one homomorphism between $\mathbb Z_{25}$ and $S_4$?

Show that there is only one homomorphism from $\mathbb Z_{25}$ to $S_4$. How do i approach this question? If anyone could give me a hint or some guidelines that would be great.
0
votes
2answers
66 views

How is this map a well-defined homomorphism?

If $f: R \rightarrow S$ is a homomorphism of rings with kernel $K$, and $I$ is an ideal in $R$ such that $I \subset K$. The hypothesis is that the map $\overline{f}: R/I \rightarrow S$ given by ...
1
vote
3answers
100 views

No isomorphism between $(\mathbb R,+)$ and $(\mathbb R^*, \times)$

My goal is to disprove the existence of an isomorphism between $(\mathbb R,+)$ and $(\mathbb R^*, \times)$. I proceeded by contradiction. Suppose $f$ is such a map. Then $$f(0-0)=f(0)f(-0)=-f(0)^2$$ ...
1
vote
3answers
131 views

Question about automorphisms

Let G be a finite abelian group and let n be a positive integer relatively prime to |G|. a. Show that the mapping ϕ(x)=x^n is an automorphism of G. b. Show that every x∈G has an nth root, i.e., for ...
2
votes
3answers
48 views

Boolean endomorphisms vs endofunctions on finite sets

I stumbled upon a funny fact: Let $\mathbf{Bool} = \{0, 1 \}$. For all functions $f: \mathbf{Bool} \to \mathbf{Bool}$ it is the case that $f^3 = f$. This got me excited and I was wondering whether ...
6
votes
1answer
96 views

How to use flatness here?

Let $X\to S$ be a scheme. Definition: A relative effective Cartier divisor on $X/S$ is a closed subscheme $D\subset X$ such that the ideal sheaf $I$ of $D$ is invertible and $D\to S$ is flat. Let ...
5
votes
2answers
85 views

Differences between nilpotent and pointwise nilpotent endomorphisms.

Consider an endomorphism of a module $f:M\rightarrow M$. We have that $f$ is pointwise nilpotent if $\forall x\in M,\ \exists n,\ n\in \mathbb N$ such that $f^{n}(x)=0$. I already know that the ...
5
votes
1answer
64 views

Relative effective Cartier divisors

I have two different definitions of a relative effective Cartier divisor. The first one is a bit outdated and defines the notion over analytic spaces, in the following way: Definition 1: Let $X$ be ...
3
votes
1answer
79 views

Morphisms, Splitting Fields, and Primitive Cube Roots

Let $\alpha=\sqrt[3]2$ and $\omega=e^{2\pi i/3}$, and let $K=\mathbb{Q}[\alpha,\omega]$ be the splitting field of $f(x)=x^3-2$ over $\mathbb{Q}.$ Determine all morphisms $K\to K$. Ok, so I have ...
0
votes
2answers
79 views

$k$-algebra homomorphisms

I would like to ask if the following is true: Let $A$ be a $k$-algebra where $k$ is any field. If we have a $k$-algebra homomorphism $f:A\rightarrow k$, does it follow that $\ker(f)$ is a maximal ...
2
votes
2answers
71 views

Proving the Frobenius map is an endomorphism

I have prime $p$, and $K$ a field such that $p \cdot 1 = 1+1+\cdots+1 = 0$. I am asked to prove that $F: K \rightarrow K$, $a \mapsto a^p$ is a ring homomorphism. I can prove this for ...
0
votes
1answer
44 views

Say $K=\mathbb Q(2^{1/3})$. Determine all endomorphisms of $K$.

Say $K=\mathbb Q(2^{1/3})$. Determine all endomorphisms of $K$, and justify your answer. Hint: Say $f(x)= x^3-2$. How many roots of $f$ are in $K$? For this I know $x^3-2$ has 1 real root, ...
0
votes
1answer
160 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$?
3
votes
3answers
188 views

Isomorphisms and the Fundamental Homomorphism Theorem

Let $$ R=\left\{ \begin{bmatrix} a & b \\ 0 & a \end{bmatrix} : a,b∈ℝ\right\}⊂M_2(ℝ) $$ and $$ I=\left\{ \begin{bmatrix} 0 & b \\ 0 & 0 \end{bmatrix}: b∈ℝ\right\}. $$ Identify the ...
0
votes
2answers
45 views

group,subgroup and isomorphism

I study group theory now but I could not understand isomorphisms very well. In the book that I study I have seen that; $\mathbb{Z}_6=\{0,1,2,3,4,5\}$ is given and $H=\{0,2\}$ is a subgroup of the ...
3
votes
1answer
149 views

Automorphism of $\mathbb{Z}\rtimes\mathbb{Z}$

I'm looking for a description of $\mathrm{Aut}(\mathbb{Z}\rtimes\mathbb{Z})$. I've tried an unsuccessfully combinatorical approac, does anymore have some hints? Thank you.
0
votes
1answer
87 views

Finding homomorphisms and kernels from a given ring R

Give the following rings $R$ and ideals $I$ find a ring $S$ and a homomorphism $f:R \rightarrow S$ with kernel $I$ i) $R=\mathbb{Q} [x], I=(x^{2}-2)R$ ii)$R=\mathbb{Z}[i], I=2R$ (Gaussian Integers) ...
0
votes
1answer
64 views

number of automorphisms for group in order 169

Let $G$ be a group with order 169. Prove number of automorphisms is at least 143. I thought that 169 is 13 squared so maybe G isomorphic to $ Z_{169} $ but I dont have any idea. How can I solve ...
0
votes
1answer
93 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
37 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
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
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
58 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 ...
0
votes
0answers
34 views

Finding coproduct of category(specified in the question!) [duplicate]

I asked a question few minutes ago, and when I saw the answer to my question, I found that I had explained my question wrongly (so the answer was not what I wanted to know). So I decided to write new ...
1
vote
2answers
110 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
95 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
65 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
87 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 ...