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)

52
votes
2answers
6k views

The square roots of different primes are linearly independent over the field of rationals

I need to find a way of proving that the square roots of a finite set of different primes are linearly independent over the field of rationals. I've tried to solve the problem using ...
8
votes
2answers
1k views

Units and Nilpotents

If $ua = au$, where $u$ is a unit and $a$ is a nilpotent, show that $u+a$ is a unit. I've been working on this problem for an hour that I tried to construct an element $x \in R$ such that $x(u+a) ...
7
votes
6answers
2k views

Comaximal ideals in a commutative ring

Let $R$ be a commutative ring and $I_1, \dots, I_n$ pairwise comaximal ideals in $R$, i.e., $I_i + I_j = R$ for $i \neq j$. Why are the ideals $I_1^{n_1}, ... , I_r^{n_r}$ (for any $n_1,...,n_r ...
24
votes
5answers
5k views

How do I prove that $x^p-x+a$ is irreducible in a field with $p$ elements when $a\neq 0$?

How do I prove that $x^p-x+a$ is irreducible in a field with $p$ elements when $a\neq 0$? Right now I'm able to prove that it has no roots and that it is separable, but I have not a clue as to ...
27
votes
5answers
8k views

Is $\mathbf{Q}(\sqrt{2}, \sqrt{3}) = \mathbf{Q}(\sqrt{2}+\sqrt{3})$?

Is $\mathbf{Q}(\sqrt{2}, \sqrt{3}) = \mathbf{Q}(\sqrt{2}+\sqrt{3})$ ? $$\mathbf{Q}(\sqrt{2},\sqrt{3})=\{a+b\sqrt{2}+c\sqrt{3}+d\sqrt{6} \mid a,b,c,d\in\mathbf{Q}\}$$ ...
10
votes
3answers
1k views

Motivation behind the definition of GCD and LCM

According to me, I can find the GCD of two integers (say $a$ and $b$) by finding all the common factors of them, and then finding the maximum of all these common factors. This also justifies the ...
18
votes
1answer
1k views

Proving that $\left(\mathbb Q[\sqrt p_1,\dots,\sqrt p_n]:\mathbb Q\right)=2^n$ for distinct primes $p_i$.

I have read the following theorem. If $p_1,p_2,\dots,p_n$ are distinct prime numbers, then$$\left(\mathbb Q\left[\sqrt p_1,\dots,\sqrt p_n\right]:\mathbb Q\right)=2^n.$$ I have tried to prove a ...
50
votes
1answer
2k views

Is Lagrange's theorem the most basic result in finite group theory?

Motivated by this question, can one prove that the order of an element in a finite group divides the order of the group without using Lagrange's theorem? (Or, equivalently, that the order of the group ...
9
votes
3answers
3k views

Characterizing units in polynomial rings

I am trying to prove a result, for which I have got one part, but I am not able to get the converse part. Theorem. Let $R$ be a commutative ring with $1$. Then $f(X)=a_{0}+a_{1}X+a_{2}X^{2} + \cdots ...
17
votes
5answers
5k views

Normal subgroup of prime index

Generalizing the case $p=2$ we would like to know if the statement below is true. Let $p$ the smallest prime dividing the order of $G$. If $H$ is a subgroup of $G$ with index $p$ then $H$ is normal. ...
33
votes
6answers
4k views

Quotient ring of Gaussian integers

A very basic ring theory question, which I am not able to solve. How does one show that $\mathbb{Z}[i]/(3-i) \cong \mathbb{Z}/10\mathbb{Z}$. Extending the result: $\mathbb{Z}[i]/(a-ib) \cong ...
26
votes
2answers
5k views

Why is $\mathbb{Z}[\sqrt{-n}]$ not a UFD?

I'm considering the ring $\mathbb{Z}[\sqrt{-n}]$, where $n\ge 3$ and square free. I want to see why it's not a UFD. I defined a norm for the ring by $|a+b\sqrt{-n}|=a^2+nb^2$. Using this I was ...
11
votes
1answer
7k views

If $G/Z(G)$ is cyclic, then $G$ is abelian

Continuing my work through Dummit & Foote's "Abstract Algebra", 3.1.36 asks the following (which is exactly the same as exercise 5 in this related MSE answer): Prove that if $G/Z(G)$ is ...
16
votes
2answers
3k views

$|G|>2$ implies $G$ has non trivial automorphism

Well, this is an exercise problem from Herstein which sounds difficult: How does one prove that if $|G|>2$, then $G$ has non-trivial automorphism? The only thing, i know which connects a group ...
18
votes
1answer
1k views

Group of even order contains an element of order 2

I am working on the following problem from group theory: If $G$ is a group of order $2n$, show that the number of elements of $G$ of order $2$ is odd. That is, for some integer $k$, there are ...
12
votes
1answer
1k views

$\operatorname{Aut}(V)$ is isomorphic to $S_3$

I'm currently working my way through Harvard's online abstract algebra lectures (if you're interested, you can find them here). The lectures come complete with notes and homework problems. Of ...
12
votes
4answers
6k views

Prove that if $g^2=e$ for all g in G then G is Abelian.

This question is from group theory in Abstract Algebra and no matter how many times my lecturer teaches it for some reason I can't seem to crack it. (please note that $e$ in the question is the ...
12
votes
4answers
2k views

Zero divisor in $R[x]$

Let $R$ be commutative ring with no (nonzero) nilpotents. If $f(x) = a_0+a_1x+\cdots+a_nx^n$ is a zero divisor in $R[x]$, how do I show there's an element $b \ne 0$ in $R$ such that ...
11
votes
3answers
3k views

Finite subgroups of the multiplicative group of a field are cyclic

In Grove's book Algebra, Proposition 3.7 at page 94 is the following If $G$ is a finite subgroup of the multiplicative group $F^*$ of a field $F$, then $G$ is cyclic. He starts the proof by ...
11
votes
4answers
7k views

A ring is a field iff the only ideals are $(0)$ and $(1)$

Let $R$ be a commutative ring with identity. Show that $R$ is a field if and only if the only ideals of $R$ are $R$ itself and the zero ideal $(0)$. I can't figure out where to start other that I ...
10
votes
3answers
1k views

A vector space over $R$ is not a countable union of proper subspaces

I was looking for alternate proofs of the theorem that "a vector space $V$ of dimension greater than $1$ over an infinite field is not a union of fewer than $|\mathbf{F}|$ proper subspaces" and ...
7
votes
3answers
1k views

The Center of $\operatorname{GL}(n,k)$

The given question: Let $k$ be a field and $n \in \mathbb{N}$. Show that the centre of $\operatorname{GL}(n, k)$ is $\lbrace\lambda I\mid λ ∈ k^∗\rbrace$. I have spent a while trying to prove this ...
2
votes
1answer
607 views

If the order divides a prime P then the order is P (or 1)

I've just come up with this question as I'm studying for a number theory midterm. If $p$ and $q$ are different prime numbers, and it's known that $2^p \equiv 1 \bmod{q}$, then $q\equiv 1 \bmod{p}$. ...
29
votes
5answers
7k views

Why can't the Polynomial Ring be a Field?

I'm currently studying Polynomial Rings, but I can't figure out why they are Rings, not Fields. In the definition of a Field, a Set builds a Commutative Group with Addition and Multiplication. This ...
27
votes
2answers
2k views

Polynomials irreducible over $\mathbb{Q}$ but reducible over $\mathbb{F}_p$ for every prime $p$

Let $f(x) \in \mathbb{Z}[x]$. If we reduce the coefficents of $f(x)$ modulo $p$, where $p$ is prime, we get a polynomial $f^*(x) \in \mathbb{F}_p[x]$. Then if $f^*(x)$ is irreducible and has the same ...
9
votes
2answers
3k views

reducible polynomial modulo every prime

how to show that $x^4+1$ is irreducible in $\mathbb Z[x]$ but it is reducible modulo every prime $p$. For example i know that $\mod 2 $, $x^4+1=(x+1)^4$ . Also $\mod 3$,we have that $0,1,2$ are not ...
8
votes
2answers
835 views

Finite group for which $|\{x:x^m=e\}|\leq m$ for all $m$ is cyclic.

Let $G$ be a finite group. For each positive integer $m$, if $x^{m}=e$ has at most $m$ solutions in $G$, $G$ is cyclic. What I have thought is that $n=\sum_{d\mid n}\phi(d)$ can be used to solve ...
6
votes
1answer
1k views

If a group is the union of two subgroups, is one subgroup the group itself?

"Let $G$ be a group, and suppose $G=H \cup K$, where $H$ and $K$ are subgroups. Show that either $H=G$ or $K=G$." Let $h \in H$ and $k \in K$. Then $hk \in H$ or $hk \in K$ (since every element of ...
11
votes
4answers
385 views

Prove: If $\gcd(a,b,c)=1$ then there exists $z$ such that $\gcd(az+b,c) = 1$

I can't crack this one. Prove: If $\gcd(a,b,c)=1$ then there exists $z$ such that $\gcd(az+b,c) = 1$ (the only constraint is that $a,b,c,z \in \mathbb{Z}$).
51
votes
2answers
7k views

Example of infinite field of characteristic $p\neq 0$

Can you give me an example of infinite field of characteristic $p\neq0$? Thanks.
15
votes
12answers
7k views

Requesting abstract algebra book recommendations

I've taken up self-study of math. (How smart can that be?) I've just about finished a course in real analysis which spent a lot of time on metric spaces and some time revisiting calculus. I was ...
5
votes
3answers
3k views

How many irreducible polynomials of degree $n$ exist over $\mathbb{F}_p$?

I know that for every $n\in\mathbb{N}$, $n\ge 1$, there exists $p(x)\in\mathbb{F}_p[x]$ s.t. $\deg p(x)=n$ and $p(x)$ is irreducible over $\mathbb{F}_p$. I am interested in counting how many such ...
16
votes
2answers
1k views

A subring of the field of fractions of a PID is a PID as well.

Let $A$ be a PID and $R$ a ring such that $A\subset R \subset \operatorname{Frac}(A)$, where $\operatorname{Frac}(A)$ denotes the field of fractions of $A$. How to show $R$ is also a PID? Any ...
18
votes
5answers
3k views

Every nonzero element in a finite ring is either a unit or a zero divisor

Let $R$ be a finite ring with unity. Prove that every nonzero element of $R$ is either a unit or a zero-divisor.
4
votes
3answers
633 views

How to prove that $z\cdot\text{gcd}(a,b)=\text{gcd}(za,zb)$

I need to prove that $z \cdot \text{gcd}(a,b)=\text{gcd}(za,zb)$. I tried a lot, for example, looking at set of common divisors of the two sides, but I can't conclude anything from that. Can you ...
58
votes
5answers
2k views

Why are the solutions of polynomial equations so unconstrained over the quaternions?

An $n$th-degree polynomial has at most $n$ distinct zeroes in the complex numbers. But it may have an uncountable set of zeroes in the quaternions. For example, $x^2+1$ has two zeroes in $\mathbb ...
22
votes
7answers
23k views

Good abstract algebra books for self study

Last semester I picked up an algebra course at my university, which unfortunately was scheduled during my exams of my major (I'm a computer science major). So I had to self study the material, ...
32
votes
1answer
2k views

An example of a division ring $D$ that is **not** isomorphic to its opposite ring

I recall reading in an abstract algebra text two years ago (when I had the pleasure to learn this beautiful subject) that there exists a division ring $D$ that is not isomorphic to its opposite ring. ...
22
votes
7answers
5k views

Show that $\langle 2,x \rangle$ is not a principal ideal in $\mathbb Z [x]$

Hi I don't know how to show that $\langle 2,x \rangle$ is not principal and the definition of a principal ideal is unclear to me. I need help on this, please. The ring that I am talking about is ...
9
votes
3answers
1k views

Problem from Herstein on group theory

The problem is: If $ G $ is a finite group with order not divisible by $ 3 $, and $ (ab)^{3} = a^{3} b^{3} $ for all $ a,b \in G $, then show that $ G $ is abelian. I have been trying this for a ...
7
votes
2answers
4k views

What are the left and right ideals of matrix ring? How about the two sided ideals?

What are the left and right ideals of matrix ring? How about the two sided ideals?
6
votes
3answers
4k views

Is $\mathbb{Q}(\sqrt{2}) \cong \mathbb{Q}(\sqrt{3})$?

In this post we saw isomorphism of vector spaces over $\mathbb{Q}$. Just came across this question: Is $\mathbb{Q}(\sqrt{2}) \cong \mathbb{Q}(\sqrt{3})$? In know these as $\mathbb{Q}$-Vector ...
12
votes
2answers
1k views

$A^m\hookrightarrow A^n$ implies $m\leq n$ for a ring $A\neq 0$

I'm trying to prove that if $A\neq 0$ is a commutative ring and there is an injective $A$-module homomorphism $A^m\hookrightarrow A^n$ then $m\leq n$ must necessarily hold. This is exercise 2.11 ...
4
votes
3answers
948 views

Irreducibility of $X^{p-1} + \cdots + X+1$

Can someone give me a hint how to the irreducibility of $X^{p-1} + \cdots + X+1$, where $p$ is a prime, in $\mathbb{Z}[X]$ ? Our professor gave us already one, namely to substitute $X$ with ...
0
votes
1answer
226 views

Prove $R \times R$ is NOT an integral domain [duplicate]

I have a question, and this is it in entirety: Let R be a non-zero ring(that is, R contains at least one element other than the zero element). Prove that $R \times R$ is NOT an integral domain. ...
53
votes
2answers
1k views

Reference request for tricky problem in elementary group theory

The following could have shown up as an exercise in a basic Abstract Algebra text, and if anyone can give me a reference, I will be most grateful. Consider a set $X$ with an associative law of ...
24
votes
2answers
5k views

Why is the ring of matrices over a field simple?

Denote by $M_{n \times n}(k)$ the ring of $n$ by $n$ matrices with coefficients in the field $k$. Then why does this ring not contain any two-sided ideal? Thanks for any clarification, and this is ...
22
votes
4answers
2k views

Proof of $(\mathbb{Z}/m\mathbb{Z}) \otimes_\mathbb{Z} (\mathbb{Z} / n \mathbb{Z}) \cong \mathbb{Z}/ \gcd(m,n)\mathbb{Z}$

I've just started to learn about the tensor product and I want to show: $$(\mathbb{Z}/m\mathbb{Z}) \otimes_\mathbb{Z} (\mathbb{Z} / n \mathbb{Z}) \cong \mathbb{Z}/ \gcd(m,n)\mathbb{Z}.$$ Can you tell ...
23
votes
3answers
2k views

Why doesn't $0$ being a prime ideal in $\mathbb Z$ imply that $0$ is a prime number?

I know that $1$ is not a prime number because $1\cdot\mathbb Z=\mathbb Z$ is, by convention, not a prime ideal in the ring $\mathbb Z$. However, since $\mathbb Z$ is a domain, $0\cdot\mathbb Z=0$ is ...
8
votes
5answers
2k views

The characteristic and minimal polynomial of a companion matrix

The companion matrix of a monic polynomial in 1 variable over a field $F$ plays an important role in understanding the structure of finite dimensional $F[x]$-modules. It is an important fact that the ...