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

learn more… | top users | synonyms (1)

1
vote
0answers
7 views

Question about normal subgroups and cosets

I have seen two definitions of a normal subgroup. The first one: A subgroup $N$ is normal to a group $G$ if $xN = Nx$, $\forall x \in G$ The second one: $N$ is normal to a group $G$ if $N ...
0
votes
2answers
18 views

Finding a Basis for polynomial subspace

This is problem 14 in Herstein's Topics in Algebra. I'm having trouble with the problem (working through the text independently). For $F$ a field, define $V_n=\{p(x)\in F(x) : \deg p(x)<n, n\in ...
0
votes
1answer
19 views

Commutative matrix question

I was doing my HW, and I am confused with one thing. To show that a matrix is commutative, do we need to show both $x+y = y+x$ and $xy=yx$? Or just by showing $xy=yx$ would suffice?
0
votes
0answers
24 views

Their product is a cubic of a rational number $x$ minus $x$

It is given the integer $6$. Analyze it into two parts such that their product is a cubic of a rational number $x$ minus $x$. $$$$ Let $y$ be the one factor. The other one is $6-y$. We have ...
3
votes
1answer
15 views

Is there a general way to find what $Aut(C_n)$ Is Isomorphic to?

I'm asked to describe $Aut(C_{21}),Aut(C_{24})...$ as a product of cyclic groups - but I'm wondering is there a general way to do this?
0
votes
0answers
9 views

Automorphisms of Abelian groups

Let $A$ be a free Abelian group and $N$ a characteristic subgroup of $A$ such that $A/N$ is finite. I also know that $Aut(A/N)$ and $Aut(N)$ are both finite. I have to prove that $Aut(A)$ is finite. ...
3
votes
2answers
30 views

Why we throw away the units in the definition of irreducible elements?

In the book "Abstract Algebra" by Dummit, the definition of irreducible element in an integral domain $R$ goes like this. Suppose $r\in R$ is nonzero and is not a unit. Then $r$ is called irreducible ...
0
votes
0answers
17 views

Abelian torsion group of rational points of an elliptic curve

I want to find the abelian group of rational points $E(\mathbb{Q})_{\text{torsion}}$ of the elliptic curve $y^2=x^3+8$. $$E(\mathbb{Q})_{\text{torsion}}=\{P \in E(\mathbb{Q}) | P \text{ of finite ...
3
votes
1answer
44 views

Can every group be extended to ring with idenity [duplicate]

Can every abelian group converted into ring(by defining multiplication operation) with identity with same order. We can convert every group G into ring by defining a.b = 0 for all a and b in G. But ...
1
vote
1answer
42 views

Every finite Set as non-abelian Group

For what values of n, we can find a non abelian group. The facts I have proved till now: 1. For n prime there exist only one group upto isomorphism which is cyclic hence abelian 2. For n = 4, there ...
0
votes
0answers
20 views

An integer $m$ is a prime element in $\Bbb Z[i] $ if $m$ is a prime number of the form $4n+3$ [duplicate]

An integer $m$ is a prime element in $\Bbb Z[i] $ if $m$ is a prime number of the form $4n+3$. I am stuck with the proof....please help!
4
votes
0answers
47 views

Is $\text{Hom}(\prod_p \Bbb Z/p\Bbb Z, \Bbb Q) = 0$ possible without choice?

That divisible abelian groups are precisely the injective groups is equivalent to choice; indeed, there are some models of ZF with no injective groups at all. Now, given that $\Bbb Q$ is injective, ...
0
votes
1answer
34 views

Abelian group of rational points of an elliptic curve

I want to find the abelian group of rational points $E(\mathbb{Q})_{\text{torsion}}$ of the elliptic curve $y^2=x^3-2$. $$E(\mathbb{Q})_{\text{torsion}}=\{P \in E(\mathbb{Q}) | P \text{ of finite ...
0
votes
0answers
14 views

Module product and coproduct

Completely lost when reading this: "Defintion: If the index set $T$ is finite, the coproduct and product are the same module. If $T$ is infinite, the coproduct or sum $$\coprod_{t\in ...
2
votes
2answers
57 views

How to show that $3\mathbb{Z}/15\mathbb{Z} \cong \mathbb{Z}/5\mathbb{Z}$?

How to show that $3\mathbb{Z}/15\mathbb{Z} \cong \mathbb{Z}/5\mathbb{Z}$ as $\mathbb{Z}$-module over $\mathbb{Z}$? My proof: Define surjective function $f:3\mathbb{Z}/15\mathbb{Z} \rightarrow ...
0
votes
0answers
33 views

Inverse property for groups Proof

I was wondering if (1) this proof is correct, and (2) if other proofs exist for the following: Prove that $(a_1a_2...a_n)^{-1}=a_n^{-1}a_{n-1}^{-1}...a_1^{-1}$ where $a_i \in $ a Group $G$ Proof by ...
2
votes
0answers
21 views

Image of homomorphism with kernel $N$ isomophic to $M/N$

Let $M$ be an $R$-module and $N$ be a submodule. Let $f:M\rightarrow M'$ be a surjective homomorphism with kernel $N$. How to show that $M'$ is isomorphic to $M/N$? My thought: Define ...
2
votes
2answers
63 views

Prove that $a+ib$ is prime in $\Bbb Z[i]$, of $a^2+b^2$ is prime in $\Bbb Z$.

Prove that $a+ib$ is prime in $\Bbb Z[i]$, of $a^2+b^2$ is prime in $\Bbb Z$. My Try: We can easily show that $\Bbb Z[i]$ is a FD but how can we show that $\Bbb Z[i]$ is a UFD. Because if we can show ...
1
vote
0answers
18 views

Simple composition factor

We know that if $e$ is a primitive idempotent in a semiperfect ring then $Re/Je$ is a simple left $R$-module, where $J$ is the Jacobson radical of $R$. Now, suppose that $e$ is an idempotent in an ...
0
votes
1answer
21 views

To show module homomorphism being injective

Suppose $R$ is a field, $M$ is a right $R$ module, and $f : R_R \rightarrow M$ is a non-zero homomorphism. Show that $f$ is injective. My work: The homomorphism is uniquely determined by $f(1)$. If ...
0
votes
2answers
42 views

Show that $2$ is not prime in $\mathbb Z[\sqrt{-d}]$ for odd prime $d$

I have to show that if $d > 2$ is a prime number, then $2$ is not prime in $\mathbb Z[\sqrt{-d}]$. The case when $d$ is of the form $4k+1$ for integer $k$ is quite easy: $2\mid ...
0
votes
1answer
28 views

given polynomial has a root in $Z_p$…

To check $f_x$ is irrudicble or not in $f_p$ check wheather 0,1,2 , p-1 is a root of $f_x$...if any of this is a root then it is not irrudicible.. is this method applicable here?
1
vote
1answer
29 views

How many possible isomorphisms do we have between G and H? [duplicate]

Let $G=(Z_4,+)$ and let $H=(U_5,*)$ where $U_5 = \{[1],[2],[3],[4] \}$ . I know that $[1]$ and $[3]$ are both generators for $G$. I also know that $[2]$ and $[3]$ are both generators for $H$. In order ...
2
votes
2answers
24 views

Should a reflection matrix of a vector have the same form as a rotation matrix?

According to the book: I know that it is not possible to write a reflection as a rotation, but from the text it seems that the matrix of the form $$ A=\left[ \begin{array}{ c c } a & ...
0
votes
2answers
20 views

The abelianness of the quotient group of an abelian group.

I am working on an assignment for my abstract algebra class. The question states: Let $A$ be an abelian group and let $B$ be a subgroup of $A$. Prove that $A/B$ is abelian. I was under the ...
2
votes
0answers
40 views

Isomorphisms between $(\mathbb Z_4,+)$ and $(U_5,*)$

So I am asked to find all the isomorphisms between $G = (\mathbb Z_4,+)$ and $H = (U_5,*)$. I solved it as follows: we will have two isomorphism corresponding to the two generators of $U_5$. The ...
0
votes
0answers
16 views

Find up to isomorphism all the quotient groups of composition series of a group of order $30$.

I can't seem to understand what I should do here... All I did so far is proving that $G$, (such a group), is not simple. But there are many cases, I can't really tell what $n_2,n_3$ and $n_5$ are, ...
1
vote
0answers
30 views

Is my observation correct regarding restriction of scalars?

Let $\alpha: \Lambda\to \Gamma$ be a ring homomorphism, then $ _\Lambda\Gamma_\Gamma$ is a bimodule. We have the following pairs of adjoint functors $$ \mathbf{Mod_\Lambda} \xrightarrow{\cdot\; ...
2
votes
1answer
40 views

Is there a formalism for a universal mathematical representation of algorithms?

I don't know if my question is correct so excuse me if I'm not 100% clear about what I would want to know. Is there a formalism which can capture all possible algorithms (mathematically speaking) ? ...
1
vote
2answers
26 views

Finding an order of a coset in $A/B$ where $A$ is a free abelian group and $B$ is a subgroup.

Let $A$ be a free abelian group with basis $x_1,x_2,x_3$ and let $B$ be a subgroup of A generated by $x_1+x_2+4x_3, 2x_1-x_1+2x_3$. In the group $A/B$ find the order of the coset $(x_1+2x_3)+B$. How ...
0
votes
1answer
14 views

Group Z, find<m,n>

How to find <8,14>, in group Z under addition, Any integer k such that the subgroup is . For 8, <8>={8n : n$\in$Z}, <14>={14n:n$\in$Z}, so <8,14>={22n and 6n:n$\in$Z}, is it right? how to ...
3
votes
0answers
46 views

Commutative generators of a group

If a group has commutative generators is the group always abelian? I have a question dealing with how to determine if a Cayley graph of a group is an abelian group. It seems that if the generators ...
3
votes
6answers
139 views

Prove that $x-1$ is a factor of $x^n-1$

Prove that $x-1$ is a factor of $x^n-1$. My problem: I already proved it by factor theorem† and by simply dividing them. I need another approach to prove it. Is there any other third ...
1
vote
2answers
50 views

How many homomorphisms are there from $\Bbb{Z}_6 \to \Bbb{Z}_{18}$?

I need to determine how many homomorphisms there are from $\Bbb{Z}_6 \to \Bbb{Z}_{18}$. I have never solved that kind of question. I do know that orders are preserved and that some elements can be ...
1
vote
3answers
57 views

Are the $2\times 2$ symmetric matrices a ring?

Ok so I am looking at Rings. I saw somewhere that the $2 \times 2$ symmetric matrices with entries in $\mathbb{R}$ is a ring. But if we look at matrix multiplication I am not convinced: If $ A = ...
3
votes
2answers
233 views

Example of non-Abelian group with 4, 5, or 6 elements of order 2

Is there any example for non-Abelian group in which has more than $3$ elements of order $ 2$, but has less than 7 elements of order $2$?
-2
votes
0answers
27 views

Multiple products of submodules

NOTE: This is part of a homework, so only worry about the question regarding notation. We have the following conditions: $R=\mathbb{Z}$, $I = \mathbb{Z}_{>0}$, and $M_i = \mathbb{Z} / i ...
3
votes
0answers
26 views

Algebra A over a field F contains no non-trivial left F-ideals if and only if A contains no non-trivial right F-ideals [on hold]

Algebra $A$ over a field $F$ contains no non-trivial left $F$-ideals if and only if $A$ contains no non-trivial right $F$-ideals. Why this fact is true? Or is it true? I think it's easy thing, ...
1
vote
1answer
35 views

Galois group of $X^5-1\in\mathbb F_7$

I want to find the Galois group of $X^5-1$ over the finite field $\mathbb F_7$ but I don't know how to find Galois groups over finite fields. Over $\mathbb Q$ the Galois group $\text{Gal}(\mathbb ...
1
vote
1answer
21 views

All automorphisms of splitting fields

Let $M \le \mathbb{C} $ be the splitting field of polynomial $ f(x) \in \mathbb{Q}[x] $. Find all automorphisms of field $ M $ in cases: 1) $ f(x) = x^6 - 1 $ 2) $ f(x) = x^{2011} - 1 $ 1) In ...
1
vote
2answers
34 views

Relationship between submonoids and subgroups

I'm taking my first abstract Algebra course. During one of the last lessons, my teacher told us that If $G$ is a group and $M$ is a finite submonoid of $G$, then $M$ is a subgroup of $G$. For the ...
0
votes
0answers
49 views

question regarding group theory proof

Can someone please explain the sentence in red?, how does it follow?
1
vote
2answers
34 views

Criteria for the existence of zero-divisors and idempotent elements in the integers modulo $n$

I need help in establishing or at least deciding the validity of the following two criteria: There are in the ring $Z_n$ non-trivial zero divisors if only if $n$ is divisible with some square. ...
0
votes
1answer
38 views

Elliptic curve-point at infinity

In my lecture notes we have the following: $$P \oplus Q \oplus R =O \Leftrightarrow P, Q, R \text{ are collinear }$$ So $$P \oplus Q \oplus O =O \Leftrightarrow Q=-P$$ that means that $Q=-P$ ...
-3
votes
0answers
24 views

Bigenetic properties of finite group [on hold]

Nilpotency, supersolubility and polycyclicity are bigenetic properties of the class of all finite group. Let be : P is property, X be a class o group. We say that P is a bigenetic property of ...
1
vote
1answer
57 views

Irreducible Polynomial in $\mathbb{Q}[x]$ [on hold]

Show that $x^4+2x^2+4$ is irreducible in $\mathbb{Q}[x]$.
0
votes
1answer
52 views

Automorphism group of the ring $\mathbb{F}_3\left[t,\frac{1}{t}\right]$

Let $R=\mathbb{F}_3\left[t,\frac{1}{t}\right]$ be a ring. What is the simplest form of $\mathrm{Aut}(R)$ ? Here $t$ is a variable and $R$ is the smallest ring contained in field ...
-1
votes
0answers
21 views

Can a strict inequality be derived from a weaker one?

Suppose P and Q are two statements, with P being the stronger one. Let us denote the set of statements derived from P and Q be A and B respectively. Then can the strongest statement belonging to A be ...
1
vote
1answer
22 views

Properties of Jacobson radical

I'm looking for an example of ring epimorphism $\varphi:R\rightarrow S$ such that the natural homomorphism $\tilde\varphi:J(R)\rightarrow J(S)$ is not surjective, where $J(R)$ is a Jacobson radical.
0
votes
2answers
36 views

Computing a Galois group

Let $K=\mathbb Q$ and $L$ be the splitting field of the polynomial $f(x)=x^4-6x^2+4$. I want to calculate the Galois group $\text{Gal}(L/K)$. The zeros of $f$ are obviously ...