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)

2
votes
1answer
17 views

If $n|m$ prove that the natural surjective projection $\pi: \mathbb{Z_m} \rightarrow \mathbb{Z_n}$ is also surjective in units

Not sure if this is the right path: since $n|m$, then if we factor $n = p_1^{\alpha_1}p_2^{\alpha_2}\ldots p_k^{\alpha_k}$ and $m = q_1^{\beta_1}q_2^{\beta_2}\ldots q_r^{\beta_r}$, then we have the ...
1
vote
2answers
17 views

Intersection of all $p$-Sylow subgroups is normal

Let $G$ be a finite group, $p$ a prime number that divides $|G|$ and $O_p(G)=\bigcap_{P \in Syl_p(G)}P$. Prove that 1) $O_p(G) \lhd G$ 2) $O_p(G)$ is maximal among the normal $p$-subgroups of $G$. ...
0
votes
0answers
17 views

Definition of $\sum_{a \in A} I_a$

If $(I_a)_{a \in A}$ a family of ideal of $K[x_1,x_2, \dots, x_n]$, I have the following definition in my notes: $$\sum_{a \in A} I_a=\{ a_{i1}+a_{i2}+ \dots+ a_{ij} | a_{ij} \in I_{a_j} \}$$ Is ...
0
votes
0answers
11 views

A reduction of Cayley hamilton to the complex case

I found an interesting proof of the general Cayley-Hamilton theorem but i didn't quite get all of it. I'm trying to make sense of this reduction argument. I'm not that familiar with algebras so this ...
1
vote
2answers
22 views

Is there a commutative ring $R$ with an idempotent endomorphism $f$ that cannot be expressed as $f(x)=sx$ for some idempotent $s \in R$?

For any element $s$ of a commutative monoid $M$, the following are equivalent. idempotency (that is, $s^2=s$). self-distributivity (that is, $s(xy) = (sx)(sy)$ for all $x,y \in M$). the function $M ...
2
votes
2answers
81 views

Algebraic operations with tensor products and direct sums.

When first learning about tensor products and direct sums of vector spaces, the analogy of multiplication and addition of vector spaces is sometimes used to help with the intuition. If we look at the ...
1
vote
1answer
27 views

Finding a polynomial satisfying the equation

For $$ f: x^6+3x^4-4 \\ g: x^5-x^4+5x^3-5x^2+6x-6 $$ how do I find a polynomial $a \in \mathbb{Q}[x]_{(\deg f-\deg \gcd(f,g))}$ so that a polynomial $b \in \mathbb{Q}[x]$ exists when ...
0
votes
1answer
28 views

How to find the splitting field?

How can I find the splitting field of $x^n+1 \in \mathbb{Q}[x]$ ?? If we have for example, $x^n-1 \in \mathbb{Q}[x]$ we would do the following: $$x^n-1=(x-1)(x^{n-1}+x^{n-2}+ \dots +x+1)$$ So, the ...
0
votes
2answers
21 views

If H and K are finite subgroups of G (another proof )

I have a question and it's solution , but I want another proof if there exist . Thanks
0
votes
2answers
21 views

Quick algebra question regarding fields and their elements

I'm not sure if I'm getting this right. Assume we have a field $F$ and its four elements are $a,b,c,d$ and have $a+b=ab=c$. First of all, where is my mistake in the following? \begin{align} ...
2
votes
0answers
32 views

Does the five lemma hold true for Lie algebras?

According to wikipedia, the Five Lemma is true in Abelian categories. But the category of Lie algebras is not Abelian. Then is the Five Lemma still true for Lie Algebras?
2
votes
2answers
19 views

Computing the inverse of an element in $\mathbb{Z}_5[x] / \langle x^2+x+2\rangle$

How does one calculate the inverse of $(2x+3)+I$ in $\mathbb{Z}_5[x] / \langle x^2+x+2\rangle$? Give me some hint to solve this problem. Thanks in advance.
0
votes
0answers
10 views

Definition of Linear independence of algebraic $1$-forms

"Suppose that $a,b,c,d$ are linearly independent algebraic $1$-forms on $\mathbb{R}^n$". What does it mean for algebraic $1$-forms to be linearly independent? I have looked through my notes and ...
0
votes
0answers
15 views

if group $G$ has three elements $a$,$b$,$c$ with the property that the order of each two of them is coprime,and $c=ab$ then $G$ is not solvable.

if group $G$ has three elements $a$,$b$,$c$ with the property that the order of each two of them is coprime,and $c=ab$ then $G$ is not solvable. this question is about my last question posted which ...
3
votes
0answers
30 views

Irreducible representations of $S_n$ [duplicate]

I want to prove that $S_n$ has an irreducible representation of dimension $n-1$. Intuitively, I know that the $\forall n$, the trivial representation is irreducible, and there should be some ...
1
vote
1answer
43 views

How to find the basis?

So if there is a n-dimensional space (x_1, x_2, ..., x_n) over a field, How can I find a basis which together with (c_1, c_2, ..., c_n) (where all c_i's are non-zero constants from this field) forms a ...
-2
votes
1answer
48 views

Prove that every group $G$ whose order is the form $|G|=p_1^{\alpha_1}p_2^{\alpha_2}p_3^{\alpha_3}$ is not solvable [on hold]

Prove that every group $G$, whose order is the form $|G|=p_1^{\alpha_1}p_2^{\alpha_2}p_3^{\alpha_3}$, where $p,q,r$ are distinct prime numbers and $\alpha_i >1$, is not solvable. Any hint or ...
3
votes
1answer
56 views

$G/Z(G) \cong \mathbb Z_p \times \mathbb Z_p$ then $p||Z(G)|$

Problem Let $G$ be a finite group with $G/Z(G) \cong \mathbb Z_{p} \times \mathbb Z_{p}$. Then $p| |Z(G)|$. My attempt at a solution Consider the action of $G$ on itself by conjugation. By the ...
3
votes
0answers
39 views

Permutation group of a set

If we let $G$ be a finite permutation group of a finite set $X$ and assume that $G$ has exactly 2 orbits of the same cardinality, how can we show that there is some permutation in G that has no cycles ...
1
vote
0answers
14 views

Homotopy of morphisms of double complexes in Cartan Eilenberg

Let $s\colon f_1\cong f_2$ be a homotopy of two morphisms of complexes $A\to A'$ and $t\colon g_1\cong g_2$ be a homotopy of two morphisms of complexes $C\to C'$. I want to understand why ...
5
votes
1answer
99 views

algebra with topology homework problem

Hello Everyone, I have this homework problem, I'm going to share what i have so far, not sure if Im in the right path. First, I have: $$f \sim g \, \Leftrightarrow \,x_0 \in \mathbb{R^n}, \exists ...
2
votes
1answer
38 views

Simple questions about the Jacobson Radical

Questions: [See below] $\rm\color{#c00}{(1)}$ What structure has $R/I$ when $I$ is a maximal left ideal? I know that if $I$ is a bilateral ideal then $R/I$ is a ring and, moreover, if $I$ is ...
0
votes
2answers
41 views

Which are the nine Sylow $2$-subgroups of $S_3 \times S_3$? What is the only Sylow $3$-subgroup of $S_3 \times S_3$? And the most important…Why? [on hold]

Which are the nine Sylow 2-subgroups of $S_3 \times S_3$? What is the only Sylow 3-subgroup of $S_3 \times S_3$? And the most important... why? I am doing an independent study of Abstract Algebra. ...
1
vote
1answer
31 views

Field at which $f(x)$ splits [on hold]

Let $f(x) \in \mathbb{Z}_p[x]$. Show that there is a finite field $\mathbb{F}_{p^n}$ at which $f(x)$ splits. And if $f(x)$ is also separable, show that $f(x) \mid x^{p^n}-x$. Could you give me some ...
0
votes
1answer
35 views

The union of finite field extensions is a finite field extension

Assume that all elements under discussion are algebraic over $F$. Let the notation "$K=F(A)$" mean that $A\subseteq K$ and there is an injective homomorphism $\sigma:F\to K$, and every element of $K$ ...
3
votes
0answers
34 views

Extensions of $\mathbb{Z}$ by $\mathbb{Z}_2$

Well. My question is very concrete. Does anybody know all the groups $G$ such that it fits in a short exact sequence $1\to \mathbb{Z}\to G\to \mathbb{Z}_2 \to 1$, where $\mathbb{Z}_2$ are the integers ...
0
votes
1answer
28 views

Which are the generators of $S_3 \times S_3$ (that has 36 elements)? Please do not confuse with $S_3$ that has 6 elements. [on hold]

Which are the generators of $S_3 \times S_3$ (that has 36 elements)? Please do not confuse with $S_3$ that has 6 elements. I am doing an independent study of Abstract Algebra. Your help is very ...
0
votes
1answer
45 views

Which is the identity element of $S_3 \times S_3$ (that has 36 elements)?

Which is the identity element of $S_3 \times S_3$ (that has 36 elements)? (Please do not confuse with $S_3$ that has 6 elements.)
2
votes
4answers
118 views

Roots of different irreducible polynomials are algebraically independent

Let $F$ be a field, and let $f$ be a monic irreducible polynomial over $F$. Let $\alpha$ be a root of some other monic irreducible $g\ne f$. Then is $f$ still irreducible in $F(\alpha)$? Is it true ...
1
vote
1answer
25 views

Stuck on Finding Roots in a Field

So I'm working in the field $F_{5}[x]/(x^2+2)$, and I have to find the roots of $t^2+2$ here. Before I start, note that when I write = it's in this field. So I know that the roots have to be less ...
2
votes
2answers
66 views

I do not understand this Abstract Algebra notation. Can you help me?

$$ \langle((a,b),1),(1,(c,d))\rangle $$ I am doing an independent study of Abstract Algebra. I found the notation that is in the attachment in a Standford webpage, but I do not understand the meaning. ...
0
votes
0answers
19 views

Nice Proof $\mathbb{Z}[\sqrt{6}]$ is a euclidian domain wrt absolute norm map

I know that $\mathbb{Z}\left[\sqrt{6}\,\right]$ is a Euclidian domain with respect to the absolute valued norm map $x+y\sqrt{6} \mapsto |x^2-6y^2|$. I think I proved this result with some common ...
1
vote
0answers
16 views

Field extensions and quotient fields

STATEMENT: Suppose that $F\subseteq E$ is a field extension of $F$. And assume $u\in E$ is transcendental over $E$. Then it readily follows that $F(u)\cong F(x)$, where $F(x)$ is the quotient field of ...
2
votes
1answer
27 views

Prove the automorphism given by $\phi \left(g\right)=\left(g^{-1}\right)^t$ is not an inner automorphism of $SL_n\left(R\right)$

Prove the automorphism given by $\phi \left(g\right)=\left(g^{-1}\right)^t$ is not an inner automorphism of $SL_n\left(R\right)$ Having no success with this question, I turn for your help =] I ...
2
votes
1answer
35 views

Proving a subgroup is normal

Problem Let $G$ be a group with $|G|=pm$, $p$ prime and $p \geq m$. Suppose there is $H$ subgroup of $G$ with $[G:H]=p$. Show that $H$ is normal. This problem was given to me in class just after ...
1
vote
2answers
19 views

Find the splitting field of a polynomial

The extension $\mathbb{Z}_p \leq \mathbb{F}_{p^n}$ is normal, as the splitting field of the polynomial $f(x)=x^{p^n}-x$ ($\mathbb{Z}_p$ is a perfect field therefore each polynomial is separable). So, ...
0
votes
1answer
29 views

Field of rational functions over $\mathbb{F}_p$

Let $K=\mathbb{Z}_p(x,y)$ be the field of rational functions of variables $x,y$ with coefficients in the field $\mathbb{Z}_p$, where $p$ is prime. Let $g(t)=t^p-x, h(t)=t^p-y \in K[t]$ and $E$ is the ...
-1
votes
2answers
15 views

$\mathbb Z_{p^2}$ is not a non trivial semidirect product.

I am trying to prove that the group $\mathbb Z_{p^2}$ (p prime) is not a non trivial semidirect product. Since a group $G \cong K \rtimes H$ if and only if for all short exact sequences $$0 ...
1
vote
2answers
40 views

Showing that the product group of $G$ and $H$ satisfies the universal property for coproducts in the category of abelian groups $\mathbf{Ab}$

I'm working on another problem of Aluffi's Algebra. Given the category $\mathbf{Ab}$ of abelian groups, the problem is to show that for any two groups $G$ and $H$ the product group $G\times H$ ...
2
votes
2answers
49 views

For any group $G$, $|G/Z(G)| \neq 91$.

In Malik's Fundamentals of abstract algebra, one can find the following problem: Prove that for any group $G$, $\vert G/Z(G)\vert \neq 91$. This exercise is just ahead of Sylow's theorems. I've ...
0
votes
0answers
33 views

Show that the fields are equal

I have to show that $\mathbb{F}_{2^2}=\mathbb{Z}_2(a)$, where $a \in \mathbb{F}_{2^2}$ is of degree $2$ over $\mathbb{Z}_2$. $$$$ To show this do I have to take first an element of ...
3
votes
1answer
30 views

Direct sum of simple modules and Schur's Lemma

Suppose $M,N$ are two non-isomorphic simple $R$-modules. For $m,n\geq1$, is it true that $$ \text{Hom}_R(M^{\oplus m},N^{\oplus n})\cong\hat{0}\,? $$ I think it's true by Schur's Lemma. ...
0
votes
2answers
26 views

Existence of a nontrivial solution to a polynomial equation

Let $p \ne 0$ and consider the equation $$ x_1 (x_1 + p)^2 + \dots + x_n (x_n + p)^2 = 0.$$ Does there exist a solution $x \in \mathbb R^n$ to this equation that is not the trivial solution $x=0$?
2
votes
2answers
38 views

Does (Z, +) have two generators but infinitely many generating sets?

We say the group of integers under addition Z has only two generators, namely 1 and -1. However, Z can also be generated by any set of 'relatively prime' integers. (Integers having gcd 1). I have ...
0
votes
1answer
37 views

What am I not understanding about the canonical proof that no finite field is algebraically closed?

Wikipedia gives what seems to be the canonical proof that no finite field is algebraically closed, under the article titled “Algebraically closed field”. It gives the following definition: “In ...
3
votes
1answer
41 views

Commutators in a group

Let $G$ be a group and for $x,y\in G$, define $[x,y]=x^{-1}y^{-1}xy$ to be the commutator of $x$ and $y$. If $y_1,\cdots,y_n\in G$, is it true that $[x,y_1\cdots y_n]$ can be written of a product of ...
2
votes
3answers
180 views

Degree of field extension is infinite

If we have the field extension $\mathbb{Q}\leq \mathbb{R}$, could you explain me why it stands that $[\mathbb{R}:\mathbb{Q}]=+\infty$ ??
2
votes
1answer
25 views

Multiplicative group of a field contains maximal n-1 elements with order n

Let $F$ be a field and $n\in \mathbb N,n>1$. I want to show that the multiplicative group $K$\ $\{0\}$ contains maximal $n-1$ elements with order $n$. I actually don't have any ideas how to solve ...
1
vote
1answer
35 views

A finite-dimensional $K$-algebra?

Let $A$ be a commutative noetherian domain of characteristic $p>0$ and $K$ be its quotient field. Let $G$ be any finite group whose order is divisible by $p$. Is $KG$ a finite-dimensional ...
1
vote
0answers
35 views

Automorphisms of $Z_{p^{i_1}}*Z_{p^{i_2}}*…*Z_{p^{i_n}}$

If $Z_{p^{i_1}}\times Z_{p^{i_2}}\times\cdots\times Z_{p^{i_n}}=\langle a_1,...,a_n\rangle$, then each automorphism of this group is the forms as follows, $$\sigma:a_j\rightarrow ...