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)

0
votes
0answers
9 views

Show that $x^{8}+x^{4}+x^{3}+x+1$ is irreducible over $\mathbb{Z}_{2}[x]$

How do I show that $x^{8}+x^{4}+x^{3}+x+1$ is irreducible over $\mathbb{Z}_{2}[x]$? Someone says I should use the fact that the range of the matrix is 7, but I don't exactly know how that applies. ...
0
votes
2answers
26 views

ring of real functions field or not

Can somebody explain why $\cal{F}(\mathbb{R})$ is not a field nor an integral domain? On what instance does it not satisfy the definition of an integral domain?
3
votes
1answer
36 views

Intuition behind quotient groups?

I am having a hard time seeing the intuition behind quotient groups or rings. Intuitively, for a group, say Z/nZ would the quotient groups be the different sub groups of order 0 to n-1? Or how would ...
8
votes
7answers
136 views

What does it mean for something to hold “up to isomorphism”?

For example, to say that there are 2 such groups up to isomorphism such that the order of G is equal to $p^2$?
1
vote
0answers
19 views

Finding roots in finite fields.

On pg. 587 (in the finite fields chapter) of Abstract Algebra, 3rd ed. by Dummit and Foote, the following statement is made: 'If $f_1(x)=x^4+x^3+1$, $f_2(x)=x^4+x+1$ are two of the irreducible ...
0
votes
1answer
42 views

How to prove a cube minus a cube is never a cube (in whole numbers) [duplicate]

How to prove $x^3-y^3\neq z^3$ where $x$, $y$, and $z$ are whole numbers (integers greater than zero)?
1
vote
2answers
51 views

How to prove an element is a unit if and only if the norm is

In the ring $\mathbb{Z}[\sqrt{2}]$, how do I prove that an element $\alpha$ is a unit if and only if $N(\alpha) = 1$? We are told that $N(a+b\sqrt{2}) = a^2-2b^2$. I've shown that ...
2
votes
1answer
48 views

Why do we have a basis?

A corollary that is in my book that I think is relevant to my question is: If E is an extension field of F, $\alpha \in E$ is algebraic over F, and $\beta \in F(\alpha)$, then $\deg(\beta,F)$ ...
0
votes
1answer
16 views

Cancellation of finitely generated modules over a PID

Suppose that $A=\mathbb R[x]$, $D = A/⟨x^2+1⟩⊕A^2$. $B$ and $C$ are finitely generated $A$-modules. Suppose that $D⊕B \cong D ⊕ C$. How to show $B\cong C$? I tried to solve it but I have no clue, ...
2
votes
2answers
23 views

Why is a submodule of a free module over a PID is free?

Rotman - Advanced modern algebra p.650 Theorem 9.8 Let $R$ be a PID and $M$ be a free $R$-module and $N$ be an $R$-submodule of $M$. Let $\beta$ be an $R$-basis for $M$ and well-order it. Now, ...
0
votes
0answers
12 views

L-module definition

I have the following definition of an L-module We say that V is an L-module if there is a k-bilinear mapping L × V → V sending a pair (x, v) ∈ L × V to x.v ∈ V such that [x, y].v = x.(y.v) − y.(x.v) ...
7
votes
0answers
60 views

Proving that the number of integer solutions of $x^2-Ny^2=1$ is infinite

I am trying to prove that the number of integer solutions of $x^2-Ny^2=1$ is infinite whenever N is a squarefree integer. For this I define norm of $a+b\sqrt N=a^2-Nb^2$. Now I prove that $a+b \sqrt ...
0
votes
0answers
14 views

Discriminant of a polynomial modulo a prime

If $p$ is a prime and divides the discriminant of an irreducible polynomial $f(x)=x^{n}+a_{n-1}x^{n-1}+\cdots+a_1x+a_0\in \mathbb{Z}[x]$ why is then $disc(f(x)\bmod p)=0$? I know that the ...
1
vote
2answers
24 views

Factor Ring question and finding maximal ideals of $\mathbb{Z}\times\mathbb{Z}$

What is the maximal ideal of $\mathbb{Z}\times\mathbb{Z}$? I think since $(\mathbb{Z}\times\mathbb{Z})/(\{0\}\times\mathbb{Z})$ is isomorphic to $\mathbb{Z}$, it seems like that ...
1
vote
0answers
11 views

Show that the set $\{[x_i,x_j]; i>j\}$ and $\{[x_i,x_j,x_k], i>j \leq k\}$ are linearly independent. [on hold]

Show that the set $\{[x_i,x_j]; i>j\}$ and $\{[x_i,x_j,x_k], i>j \leq k\}$ are linearly independent. I need to prove it to show that it is based on certain sets, but I can not prove, I believe ...
-2
votes
0answers
19 views

Ribbon and colours [on hold]

A ribbon is composed from 9 square fabric pieces (i.e. is $1\times9$ rectangle). How many different ribbons can be made if there are fabrics of two colors and $5$ cells should be red and $4$ cells ...
0
votes
0answers
30 views

Need Help Understanding Why Proof Shows Set is not a Ring

I am having trouble reading this somewhat "slick" proof. Maybe it's not as slick as I think it is though, and I'm missing something here. So, I understand everything that is being done until the last ...
1
vote
2answers
19 views

question regarding group permutation computation

In S6, let $\alpha=(135)(156)(135)$ how do I compute $\alpha^{24}$? I'm given the hint that I first have to express alpha as a product of disjoint cycles which I computed as (15)(36) and then I have ...
0
votes
0answers
16 views

explicitly splitting the hamilton quaternions over local fields

For simplicity, lets first consider the hamilton quaternions $$ H = \left(\frac{-1,-1}{\mathbb{Q}}\right)$$ This is the central division algebra over $\mathbb{Q}$ with $\mathbb{Q}$-basis given by ...
0
votes
1answer
12 views

Show that $B^{(1)} = 0$ and $B^{(2)}$ have basis $\{[x_i,x_j]; i>j\}$

Definition: A polynomial $f \in K \langle X \rangle$ is called a proper polynomial, if it is a linear combination of products of commutators: $$f(x_1,x_2,...x_n) = \sum ...
2
votes
2answers
23 views

Maximal ideals and prime ideals of $\mathbb{Z}/2 \times \mathbb{Z}/2$?

I think there are 3 ideal and maximal primes. $<(0,1)>$ since factor group over $<(0,1)>$ is isomorphic to $\mathbb{Z}/2$, which is field and integral domain. And same reason for ...
2
votes
3answers
40 views

$\mathbb Q [\sqrt{2} i]$ contains neither $\sqrt[4]{2}$ nor $\sqrt{2}$

I want to prove that $x^4-2$ is irreducible over $\mathbb Q [\sqrt{2} i]$. In order to verify it has no linear factors and quadratic factors, I need to show $\mathbb Q [\sqrt{2} i]$ contains neither ...
1
vote
1answer
26 views

What is the difference between these two conditions $J = \{az \mid a \in R\}$ and $ I = \{a \in R \mid az \in J\}$

Please consider these two questions: Let $R$ be a ring and $z \in R$, which is fixed. Let, $J = \{az \mid a \in R\}$. Prove that $J$ is a left ideal of $R$. Skipping the subtraction part, this is ...
-2
votes
0answers
24 views

Polya theorem and necklaces

How many $10-$ bead necklaces can you make out of $2$ red bead, $3$ blue beads and $5$ white beads $|G| = |D_{10}| = 20 $
2
votes
0answers
22 views

Ramification group - do you know/can produce a simple proof to this?

Let $(K,v)$ be a valuation field, $L$ a finite extension of $K$, and $w$ a valuation of $L$ above $v$. The ramification group of $w$ in $L$ is the subgroup of ${\rm Gal}(L/K)$ of all automorphisms ...
3
votes
0answers
27 views

Inner automorphisms as the kernel of a homomorphism

By a straightforward computation, it is not hard to show that the set $\operatorname{Inn}(G)$ of the inner automorphisms of a group $G$ is a normal subgroup of $\operatorname{Aut}(G)$, see for example ...
1
vote
1answer
41 views

Up to isomorphism

My notes state that if we only consider groups of size $n$ 'up to isomorphism', the elements of our group are a fixed set= {$a_1,..,a_n$}. I get that groups with the same structure but different ...
1
vote
3answers
40 views

Show if $2$ and $1+\sqrt{-5}$ belong to the same principal ideal $I$ of $\mathbb{Z}[\sqrt{-5}]$ then $I=\mathbb{Z}[\sqrt{-5}]$.

Show if $2$ and $1+\sqrt{-5}$ belong to the same principal ideal $I$ of $\mathbb{Z}[\sqrt{-5}]$ then $I=\mathbb{Z}[\sqrt{-5}]$. I have proved so far that 2 and $1+\sqrt{-5}$ is irreducible and ...
-1
votes
1answer
20 views

On the minimal set of generators of ideals in $\mathbb{C}[x,y]$.

I am trying to do exercise 2.6 of Hassett's "Introduction to algebraic geometry": i) Give an example of a monomial ideal $I\subseteq\mathbb{C}[x,y]$ with a minimal set of generators consisting of ...
1
vote
1answer
44 views

relation between vector space and torsion free module [on hold]

Can you please help me to prove this. Let $R$ be a domain, $A$ be an $R$-module, and $Q=Frac(R)$. Then a module $A$ is a vector space over $Q$ if and only if it is torsion-free and divisible. ...
1
vote
3answers
28 views

Why is it the smallest subfield containing F and $\alpha$?

Please take a look at the sentence in red: I understand that $\phi_\alpha[F[x]]$, is a subfield which contains $\alpha$, and F(we just need to evaluate $\phi_\alpha$ at the appropriate values). But ...
2
votes
1answer
21 views

integral domains and field of fractions

I've read about integral domains and their induced fields of fractions. For an integral domain $R$ its field of fractions $K$ is the "smallest" field that includes $R$, i.e. there is an injective map ...
2
votes
0answers
26 views

How to prove the cubic formula without root extraction

I'm trying to prove the cubic formula, in the following form: Given a field $F$ and $x,p,q\in F$, define $m=\frac p3$ and $n=\frac q2$, and suppose also that $\gamma,\tau$ are given such that ...
3
votes
1answer
34 views

Deducing that the inverse of a permutation matrix is its transpose

I would like to verify that my proof below is sound. Let $A\in P$ where $P$ is the set of all permutation matrices (only one 1 in each row and column). Also, let $(A)_{ij}$ denote the entry of $A$ in ...
0
votes
2answers
28 views

If $I$ and $J$ are ideals of an $R$-algebra $A=I+J$ then $I\oplus J\simeq A\oplus (I\cap J)$?

Let $I$ and $J$ be two left ideals of an $R$-algebra $A$ such that $A=I+J$. Here $R$ is commutative ring with identity $1_R$. How can I show $$I\oplus J\simeq A\oplus (I\cap J)?$$ I've tried several ...
0
votes
0answers
16 views

Question about the deduction of the quotient ring $R/I$

Yesterday we deduced on class how quotient groups were deduced and well defined. Let $R$ be a ring and $I$ an ideal of $R$. My professor proved us that the multiplication operation $$R/I \times R/I ...
3
votes
3answers
44 views

Prove or disprove $\mathbb{Q}[x] /(x^5-3) \cong \mathbb{Q}[x] /(x^5-9)$

Want to prove or disprove this $\mathbb{Q}[x] /(x^5-3) \cong \mathbb{Q}[x] /(x^5-9)$ as communtative rings. I can show that $x^5-3$ and $x^5-9$ are irreducible in $\mathbb{Q}$, but I cannot go from ...
1
vote
0answers
16 views

Number of equations needed to determine set of functions

Consider the set of all binary functions on $\{0,1\}$. An equation like $xy=yx$ determines the subset of all commutative binary functions. For any subset of the set of all binary functions on ...
0
votes
2answers
19 views

Is there another terminology to designate this?

Let $R$ be a principal ideal domain. Let $M$ be a finitely generated $R$-module. Then there exists a free $R$-submodule $F$ of $M$ such that $M=Tor(M)\oplus F$ and the ranks of such $F$'s are the ...
0
votes
1answer
20 views

Show that w-complete Posets and continuous aplications between them form a category

I'm really lost with this thing that looks innocent but just can't figure out... can you help me? Show that $\omega$-complete Posets and continuous functions between them form a category. Thank ...
4
votes
2answers
32 views

Polynomial Combinations in $F[x]$

Supposed $f(x), g(x) \in F[x]$ for some field $F$ are polynomials of degrees $m, n $ respectively. Moreover assume that they are relatively prime. By Euclidean algorithm I can find $a'(x), b'(x)$ such ...
3
votes
1answer
56 views

Difference between definitions of $p$-subgroup and Sylow $p$-subgroup

I'm reading Abstract algebra by Dummit and Foote and the following definitions are made: $1$. A group of order $p^{\alpha}$ for some $\alpha\geq1$ is called a $p$-group. Subgroups of $G$ which are ...
0
votes
3answers
34 views

Example of ideal generated by two elements

I have an easy example on my notes that I don't understand. My teacher said that in $\mathbb{Z}$, $(2,3)=2\mathbb{Z}+3\mathbb{Z}$ is a principal ideal, because $2\mathbb{Z}+3\mathbb{Z}=\mathbb{Z}$. ...
0
votes
3answers
46 views

Does every finite field have a subfield $\mathbb{Z}_p$?

It seems that in the answers for my exercises in the book, the book uses that every finite field, has a subfield $\mathbb{Z}_p$. Is this true? They seem to use it in the answer for one exercise. But ...
1
vote
1answer
19 views

If $\sigma\in S_p$ with $|\sigma| = p$, why is $\sigma$ a $p-$cycle, and why is $|\sigma^r| = p$?

If $\sigma\in S_p$ with $|\sigma| = p$, why is $\sigma$ a $p-$cycle, and why is $|\sigma^r| = p$ for each $r$, $1\leq r < p$? ($p$ is a prime) I guess I am just having a hard time understanding ...
0
votes
2answers
40 views

Example of a ring without unity that has a subring with unity?

I can't think of a ring without unity that has a subring with unity. There must be some element in the parent ring that doesn't work with the subring's identity, but I'm struggling to see how that ...
0
votes
0answers
21 views

Zorn's Lemma Application for Finding Maximal Submodule?

I came across the following exercise in my algebra textbook. Let $M$ be a left $R$-module ($R$ is ring with unity $1_R$) and let $N\subseteq M$ be a submodule such that $x\in M-N$ for some $x\in ...
2
votes
1answer
16 views

Prove that $R$ has ACCP if and only if every non-empty collection of principal ideals of $R$ has a maximal element.

Let $R$ be a commutative ring. Prove that $R$ has ACCP if and only if every non-empty collection of principal ideals of $R$ has a maximal element. Prove further that if $R$ is an integral domain and ...
9
votes
2answers
89 views

Prove that $x$ has order $5$.

let $ x \in G$ such that $(a^{-1})*(x^2)*(a) = x^3$ for some self inverse $a.$ Prove that $x$ has order $5.$ I don't know how to start this proof. Seems really difficult.
2
votes
2answers
57 views

Is every group of odd order isomorphic to a subgroup of $A_n$ for some $n$?

Is every group of odd order isomorphic to a subgroup of $A_n$ for some $n$? If not, what is a counterexample; if so, how can I prove it? Hints will be appreciated.