Abstract algebra is the study of algebraic objects. Some of the more common algebraic objects are groups, rings, fields, vector spaces, modules, among other topics.

learn more… | top users | synonyms (1)

2
votes
0answers
32 views

Exercise from Serre's “Trees” - prove that a given group is trivial

In Serre's book "Trees" on page 10 the following exercise is given: Show that the group defined by the presentation $$x_2x_1x_2^{-1}=x_1^2, \hspace{7pt} x_3x_2x_3^{-1}=x_2^2, \hspace{7pt} ...
-1
votes
0answers
35 views

Let I be an ideal of a ring R. Prove that the quotient ring R/I is a commutative ring if and only if ab − ba ∈ I for all a, b ∈ R.

This is the report no. 3 of Jennylou Canlas in our subject math126 in MSU Proof: Suppose R/I is a commutative ring. Let a, b ∈ R. Then (a + I), (b + I) ∈ R/I. Since R/I is commutative , (a + I)(b ...
-1
votes
2answers
22 views

Let I and J be ideals of a ring R. Prove that the union of I and J is an ideal of R iff I is a subset of J or J is a subset of I. [duplicate]

I'd like a proof of: Let I and J be ideals of a ring R. Prove that the union of I and J is an ideal of R iff I is a subset of J or J is a subset of I. This is my report no. 3 in my subject ...
-3
votes
1answer
50 views

Are $\mathbb{N}$ is isomorphic to $\mathbb{Q}$? [duplicate]

Are $\mathbb{N}$ isomorphic to $\mathbb{Q}$? There are any difference between isomorphism and cardinal equality? If $X$ and $Y$ are two sets and $\text{Cardinal}(X)=\text{Cardinal}(Y)$, is $X$ ...
-2
votes
1answer
34 views

Question about the quotient map of commutative algebra

Let $A$ be a commutative algebra and let $I$ be an ideal of $A$. Denote the quotient map from $A$ to $A/I$ by $f$. Let $J$ be a maximal ideal of $A/I$. Is it true that $f^{-1}(J)$ is a maximal ideal ...
3
votes
0answers
18 views

Quadratic field, $O_K/\mathfrak{p} = \mathbb{F}_p$, $O_K/pO_K$ is a finite field of order $p^2$.

Let $K$ be a quadratic field $\mathbb{Q}(\sqrt{m})$ where $m$ is a square free integer, and let $p$ be a prime number which does not divide $2m$. Where can I find a reference to a proof of the ...
0
votes
0answers
52 views

Group as a $\mathbb Q$ vector space

Let $G$ be a torsion free abelian group of having $n$ number of maximally rationally independent elements $r_{1}, r_{2}, ..., r_{n}$ and assume that $G$ is not finitely generated. Is this correct to ...
1
vote
1answer
31 views

Prove that there's a unique morphism that completes the commutative diagram

I have to prove that there's a unique $\gamma : M'' \rightarrow N''$ that completes this diagram considering the rows are exact. $$\begin{array} MM' \stackrel{f_1}{\longrightarrow} & M & ...
0
votes
1answer
51 views

Prove that $\mathbb{Q}{[\sqrt3]} = \lbrace a + b\sqrt3: a, b \in \mathbb{Q} \rbrace$ is a subfield of $\mathbb{R}$

Prove that $\mathbb{Q}{[\sqrt3]} = \lbrace a + b\sqrt3: a, b \in \mathbb{Q} \rbrace$ is a subfield of $\mathbb{R}$ My answer: Must show: i) $0 \in \mathbb{Q}{[\sqrt3]}$ ii) $1 \in ...
0
votes
1answer
24 views

Are there infinite-dimensional, artinian C*-algebras?

A ring is artinian if it has no infinite descending chains of ideals. Of course finite-dimensional algebras are artinian. I'm wondering if it's possible to have an artinian C*-algebra (or Banach ...
4
votes
3answers
38 views

Find a prime $p$ such that $f(x)=x^6 - x^3 +1$ factors in to linear factors in $\mathbb{F}_p[x]$

Find a prime $p$ such that $f(x)=x^6 - x^3 +1$ factors in to linear factors in $\mathbb{F}_p[x]$ $\textbf{My attempt:}$ Notice that $f(x)$ is the $18$-th cyclotomic polynomial, $\Phi_{18}(x)$. For ...
2
votes
1answer
34 views

Group of order $2m$ where $m$ odd has a subgroup of index 2. [duplicate]

Show that a group $G$ of order $2m$, where $m$ is odd, has a subgroup of index $2$. I am feeling a little dubious about my proof. Let $G$ act on itself by left multiplication to induce the ...
1
vote
1answer
18 views

Another approach to $A/I\otimes_A A/J\simeq A/(I+J)$?

The same question appears here $A/ I \otimes_A A/J \cong A/(I+J)$ however I'm looking for a different approach. Let $A$ be an algebra, $I$ a left ideal and $J$ a right ideal. I'd like to show ...
2
votes
1answer
41 views

Looking for various proofs there is no faithful representation $\rho:S_4\rightarrow GL(\mathbb{R}^2)$

I stumbled on the question when thinking about a representation $\rho:D_4\rightarrow GL(\mathbb{R}^2)$ as symmetries of the four points $\{(\pm 1, \pm 1)\}$. There didn't seem to be a good geometric ...
1
vote
3answers
61 views

Find all of the homomorphisms $ \varphi: S_3 \to \mathbb{Z}_{4} $.

I'd like to find all of the homomorphisms $ \varphi: S_3 \to \mathbb{Z}_{4} $. What I've tried so far: I tried to do $ \varphi(Id) = \bar{0} = \bar{4} $ (as somebody used here). But then I realized ...
1
vote
0answers
20 views

Finitely generated abelian group with certain properties

Problem Characterize all finitely generated abelian $G$ such that every proper subgroup of $G$ is cyclic, $G$ contains exactly two proper subgroups, and for each pair of subgroups $S$,$T$ in $G$ we ...
4
votes
1answer
36 views

Groups of the from $gMg$ in a monoid where $g$ is an idempotent

Let $(M, \cdot)$ be a finite monoid with identity $e$. It is easy to see that $gMg = \{ gxg : x \in M \}$ forms a monoid with identity $geg = g$ if $g$ is an idempotent. If $gMg$ contains no ...
1
vote
1answer
57 views

Infinitude of the primes $p\equiv1 \operatorname{mod} n$

$\textbf{Theorem:}$ Fix $1 < n \in \mathbb{Z}$. There are infinitely many primes $p\equiv1 \operatorname{mod} n$. $\textbf{Proof}$ Recall that the $n$-th cyclotomic polynomial $\Phi_n(x)$ is ...
7
votes
1answer
56 views

What is the Galois group of $\mathbb{Q}_p[\zeta] / \mathbb{Q}_p$, where $\zeta$ is a $p^r$th root of unity?

Let $\zeta$ be a $p^r$-th root of unity and $\mathbb{Q}_p$ the p-adic numbers. I would like to know the Galois automorphisms of $\mathbb{Q}_p[\zeta] / \mathbb{Q}_p$. I already know, the degree of ...
0
votes
0answers
28 views

Ring Structure for Non Commutative Groups: Is there a grander reason for Abelian requirements?

So I was considering the following idea. Let a generalized Ring $gR$ be a set equipped with two operations $$u_1, u_2$$ Such that $gR$ is a with the operation $u_1$ and the operation $u_2$ ...
0
votes
1answer
12 views

dimension of the quotient of a bialgebra

I am stuck in a proof of a lemma that I am in need of. The situation is as follows: Let $k$ be a field and $A$ and $B$ two finite-dimensional $k$-bialgebras, where the dimension of $A$ is a prime ...
3
votes
2answers
37 views

How to choose a left-add$(X)$-approximation with a certain property

Let $A$ be an artin algebra and $X,Y$ in mod-$A$. Suppose $0\rightarrow Y \stackrel{\alpha}{\rightarrow} X^n\stackrel{\beta}{\rightarrow} X^m$ is exact. Set $C:=Coker(\alpha)$ (as module) and ...
2
votes
1answer
48 views

When is $M\otimes N$ a module?

So suppose we have a $R$-$S$-bimodule $M$, and an $S$-$T$ bimodule $N$, then we can construct the abelian group $M\otimes_S N$. Under what conditions could we make this a module? I would expect this ...
1
vote
1answer
14 views

Every modular right ideal is contained in a modular maximal ideal

If $R$ is a ring, possibly without $1$, a right ideal $\mathfrak{a}$ of $R$ is modular if there exists $e\in R$ such that $r-er\in \mathfrak{a}$ for all $r\in R$. So $e$ is a left identity mod ...
17
votes
7answers
751 views

What's a group whose group of automorphisms is non-abelian?

I recently attended an interview for admission to graduate programs in Mathematics. The interviewing professor asked me a question - Tell me a group whose group of automorphisms is non-abelian. ...
3
votes
0answers
21 views

Finding binary operations on connected graphs

If $G = (V,E)$ is a connected graph with $||V|| \geq 2$ , $W(G)$ being the set of all paths in $G$. How do you find a binary operation $ +$ on $W(G)$ such that $\langle W(G),+\rangle$ is an algebra ...
1
vote
2answers
51 views

Proving associativity in Algebra

How to proof that a specially defined Transitive Join for the relations $R \subseteq A$ x $B$ und $S \subseteq B$ x $C$ is associative? The join is defined as: $R \Join S =_{def} \{(a,c)| $ there is ...
0
votes
0answers
27 views

Maximum order of an element in Alternating group of degree 10.

What is the maximum order of any element in $A_{10}$? My attempt: I tried this problem. But I am not sure about the answer. My answer is 21 because 10 can be written as 7+3. $A_{10}$ can have ...
1
vote
1answer
15 views

Ring of polynomials as free module

Is it true that $R=k[x,y]$ is a free $R$-module ? I think that it isn't true. Natural candidate for the base is $\{x^{\alpha}y^{\beta}\}_{\alpha,\beta}$, but : $x\cdot (xy) +(-y)\cdot x^2 =0$ and ...
1
vote
1answer
20 views

Find the integral closure of an integral domain in its field of fractions [duplicate]

Let $k$ be a field and let $R = k[x,y]/(x^2-y^2+y^3)$. Note that $R$ is an integral domain. Let $F$ be the field of fractions of $R$. How to determine the integral closure of $R$ in $F$? I have ...
-2
votes
0answers
10 views

Find how many elements [on hold]

Find how many elements in a group of order 30 has the order 5,and explain the reasons. Cant do it. Any ideas?
1
vote
1answer
51 views

Finding a binary operation on $\{1, \ldots, n\}$ so that each $k$ has exactly $k - 1$ left inverses

What is an example of a binary operation on a set $\{1, \dots n\}$ so that each element $k \in \{1 \dots n\}$ has respectively $k-1$ left inverse elements? I have been trying various combinations ...
1
vote
1answer
16 views

Question in proof from James Milne's Algebraic Number Theory

I'm having difficulty understanding a step in a proof from J.S. Milne's Algebraic Number Theory (link). Here $\zeta$ is a $p$th root of unity and $\mathfrak p = (1-\zeta^i)$ for any $1\leq i\leq p-1$ ...
6
votes
1answer
123 views

What exactly is Hensel doing for us in this result?

I'm reading a paper where the author appeals to Hensel's lemma, but it is not clear to me quite how it is meant to be applied (or, for that matter, which version!). My commutative algebra background ...
2
votes
1answer
38 views

Example of subgroup of $\mathbb Q$ which is not finitely generated

I was looking for the proper subgroup of $\mathbb Q$ which is not finitely generated under the addition operation. We know every finitely generated subgroups of $\mathbb Q$ is finitely cyclic. For ...
3
votes
2answers
70 views

Find all of the homomorphisms $ \varphi: \mathbb{Z}_{15} \to \mathbb{Z}_{6} $.

I'd like to find all of the homomorphisms $ \varphi: \mathbb{Z}_{15} \to \mathbb{Z}_{6} $. What I've tried so far: I know that $ |\text{Im} (\varphi)| $ divides $ ...
2
votes
1answer
46 views

Basic question on the free algebra

Let $k$ be a field and consider the (unital and associative) free algebra on $k$ with two generators ($x$ and $y$), $A= k < x,y >$. I have two basic questions concerning this algebra: 1) If ...
1
vote
1answer
27 views

Find all the possible pairs of submodules $M_1$ and $M_2$ of the $\mathbb{Z}$-module $\mathbb{Z}_{18}$ so that $\mathbb{Z}_{18} = M_1 \oplus M_2$

I started by considering the possible proper subgroups of $\mathbb{Z}_{18}$, which are $\langle\bar{9}\rangle$, $\langle\bar6\rangle$, $\langle\bar3\rangle$ and $\langle\bar2\rangle$, which are also ...
1
vote
0answers
23 views

What is the formalism for a map that returns the adjacent vertex positions of a given adjacency matrix?

How do I formally denote a map that returns the adjacent vertex positions of a given adjacency matrix? Example: V = undirected adjacency matrix $$ V = \left[ \begin{matrix} v_{1,1} & v_{1,2} ...
0
votes
1answer
17 views

Image of $x$ under canonical projection is root of polynomial.

Let $M(x)$ be an irreducible polynomial in $K[x]$ where $K$ is a field. Let $I$ be the ideal generated in $K[x]$ by $M(x)$. Let $\alpha$ be the image of $x$ in the field $J= K[x] / \langle M(x) ...
1
vote
1answer
32 views

Why is the $\text{End}_A(M)$-module $\text{Hom}_A(N,M)$ finitely generated?

Let $A$ be an Artin algebra and let $M,N$ be some finitely generated modules in mod(A). Why is then the $\text{End}_A(M)$-module $\text{Hom}_A(N,M)$ finitely generated? Thanks for the help.
1
vote
1answer
31 views

extend trace and norm from a number field $K$ to $ K \otimes_{\mathbb Q} \mathbb R $

I read somewhere that we can extend the trace and the norm of a number field $K$ to the commutative algebra $ V=K \otimes_{\mathbb Q} \mathbb R$. Before state exactly my question, let me write the ...
-5
votes
3answers
55 views

Prove that $G=\{z \in \mathbb{C}: |z|=1\}$ is an abelian group [on hold]

Prove that $G=\{z \in \mathbb{C}: |z|=1\}$ is an Abelian group with the multiplication operation of complex numbers.
2
votes
1answer
38 views

converging power series over $p$-adic integers is a UFD

Denote by $|\cdot |$ the $p$-adic norm, and let $$\mathbb Z_p \{z\}=\left\{\sum_{n=0}^\infty a_nz^n;\ a_n\in \mathbb Z_p ,\ |a_n|\underset {n\rightarrow \infty} {\longrightarrow 0} \right\}$$ the ...
0
votes
1answer
122 views

In what structures does $ (-1)^2 = 1$?

Does $ (-1)^2 = 1$ anywhere you have associativity and an inverse element? Thanks!
6
votes
1answer
41 views

Cyclotomic polynomials, properties.

Let $F$ be a field of characteristic prime to $n$, and let $F^a$ be an algebraic closure of $F$. Let $\zeta$ be a primitive $n$th root of unity in $F^a$. I know that the monic polynomial $\Phi_n(X)$ ...
-2
votes
2answers
67 views

Let $G,*$ a group and $a,b,c,d \in G$. Prove that … [on hold]

Let $\langle G,*\rangle$ be a group and $a,b,c \in G$. Prove that the equation $x*a*x*b=x*c$ it has a unique solution in $G$. Ideas? I do not know where to start.
1
vote
2answers
30 views

Issue with associativity of group

Given $G=(1,2)\subset R$ and the operation $x∗y = \frac{3xy-4x-4y+6}{2xy-3x-3y+5}$ Prove that $(G,∗)$ is an abelian group. So here's my issue with this. For it to be a group I must prove that: ...
0
votes
1answer
29 views

Sets of compositions of homomorphisms

I am looking of a relation in the form: $$ Hom(X,Z) = Hom(X,Y)\otimes Hom(Y,Z), $$ or: $$ Hom(X,Z) \subseteq Hom(X,Y)\otimes Hom(Y,Z), $$ or similar (maybe it's not a tensor product? maybe the ...
4
votes
1answer
46 views

Galois extension and prime number.

Let $G$ be a finite group with order $n$, i.e., $|G|=n$. Show that there is a prime number $p\geq n$ and a finite Galois extension $L/K$ with $Gal(L/K)\approx G$ and $[K:\mathbb{Q}]=p!/n$. Honestly, ...