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
10 views

A doubt on Krull's Principal Ideal Theorem Proof

Sorry if it is a dumb question but i'm studying the proof of Krull's PIT from this pdf and i don't understand why the author uses in his proof the ideals $P^{(n)}=P^nR_P\cap R$ instead of the simpler ...
2
votes
2answers
28 views

If $G$ is a field and there is an isomorphism $f\colon H/I \to G$, then does $I$ have to be a principal ideal?

I noticed that the ideal $I = \left(2, 1 + \sqrt{-7}\right)$ follows the definition of a non-principal ideal. I took two random elements from $\mathbb Z[-7]$, say $ a + b\sqrt{-7}$ and $ c + ...
-1
votes
0answers
15 views

Indecomposable commutative rings

Let $R$ be a commutative ring. Can we say that $R=\bigoplus_{i\in I}R_i$ or $R=\prod_{i\in I}R_i$ where $R_i$ are commutative ring and $I$ is an infinite set?
1
vote
1answer
15 views

A simple divisible module

Let $k$ be division ring and $V$ be a left $k$-vector space of infinite dimension. Let $E=\text{End}_k(V)$ be the ring of right linear transformations on $V$. My questions are: (1) Is $V$ a simple ...
2
votes
1answer
53 views

Are there any free or fascist boolean algebras?

A boolean algebra is an algebra with the binary operations $\wedge$, $\vee$, an unary operation $\neg$, and constants $0$, and $1$, satisfying axioms. A heyting algebra is an algebra with the binary ...
10
votes
4answers
250 views

Why do we have “another” definition for the kernel?

Why does the definition $\ker(f)=\{(a,a')\in A\times A: f(a)=f(a')\}$ exist? This definition is for any sort of algebraic system and any sort of function. But which came first... this definition or ...
1
vote
0answers
21 views

Why is the coproduct $\Delta$ of the quantum double $D(H)$ an algebra homomorphism?

If $H$ is a a finite dimensional Hopf algebra, $H^\ast\otimes H$ has a Hopf algebra structure with multiplication $$ (\phi\otimes h)(\psi\otimes g)=\sum \psi_2\phi\otimes h_2g\langle ...
3
votes
1answer
50 views

Frobenius automorphism and non-split Cartan subgroup of $\mathrm{GL}_2(\mathbb{F}_p)$

For completeness I give some definitions. Let $p$ a prime number and consider $V$ a 2-dimensional $\mathbb{F}_p$-vector space. Consider $k$ a sub-algebra of $\mathrm{End}(V)$ that is a field of $p^2$ ...
4
votes
2answers
58 views

Failure of group definition with weaker axioms

In "A First Course in Abstract Algebra", Edition 7, p.43, Fraleigh writes that It is possible to give axioms for a group $\left<G,*\right>$ that seem at first glance to be weaker, namely: ...
0
votes
1answer
40 views

Show that $(t^m-1)/(t^n-1)$ is a square if and only if $(\exists s \in \mathbb{Z})\ m=np^s$

I want to show the following lemma: Assume that the characteristic of the field $F$ is $p$ and $p>2$. Then $(t^m-1)/(t^n-1)$ is a square in $F[t, t^{-1}]$ ($F[t,t^{-1}]$: the polynomials in ...
1
vote
0answers
40 views

Polynomial Interpolation and Data Integrity

This question is about polynomial interpolation and security. Please consider a scenario where we have a polynomial $f$, one of whose roots is $a$. We evaluate it at some ...
1
vote
2answers
39 views

Composition series and its number determine a group?

By Jordan-Holder thm, it is known that every finite group has a unique composition series.(Here, unique means that there is only one kinds of such series.) And it is known also that composition ...
7
votes
2answers
447 views

Is ideal an “anti-field”?

I am comparing theorems on normal subgroup and ideal from Fraleigh's, and come to this strange intuition. I hope my conclusion does not screw up, I hope I won't get ridiculed: Theorem 15.18: $M$is ...
4
votes
2answers
37 views

Ideals of non semi-simple group rings.

I worked for a long time on complex group rings and complex twisted group rings. In those cases the algebra is semi-simple and its structure is well understood from the decomposition to irreducible ...
0
votes
0answers
64 views

Sets with $n$ prime numbers

Let $n>2$ a natural number. We define the following sets: $$S=\{1 \leq a \leq n : (a,n)=1, a^{n-1} \not\equiv 1\pmod n\} \\ T=\{1 \leq b \leq n : (b,n)=1, b^{n-1} \equiv 1 \pmod n\}$$ ...
2
votes
2answers
41 views

Question about a passage in Fulton and Harris

So I was reading the first chapter of Fulton and Harris and they are determining the representations of $S_3$. I came along this passage and had some questions What do they mean when they say "the ...
1
vote
1answer
62 views

Factoring $x^{15}−1$ into irreducible polynomials over $\mathrm{GF}(2)$

Factorize $x^{15}−1$ into irreducible polynomials over $\mathrm{GF}(2)$ The answer is $$(x+1)(x^2+x+1)(x^4+x+1)(x^4+x^3+1)(x^4+x^3+x^2+x+1)$$ but how would I find this? Please help.
-1
votes
1answer
26 views

What is the name for this $R$-module? [on hold]

If $M$ is a $R$-module such that for all $x,y$ in $R$ and $m$ in $M$ then $x.y.m=0$ ... then: how is called $M$?
8
votes
4answers
116 views

Show that $t^n-1 \mid t^m-1 \Leftrightarrow n\mid m$

I want to prove the following lemma: $t^n-1$ divides $t^m-1$ in $F[t, t^{-1}]$ if and only if $n$ divides $m$ in $\mathbb{Z}$. I have done the following: $\Leftarrow $ : $n\mid m \Rightarrow ...
4
votes
0answers
36 views

Splitting even degree polynomials

I have an octic equation (degree $8$) and a sextic equation (degree $6$) in $\Bbb Z[x]$ with very large coefficients (size several hundred bits) that I know splits into two quartics and two cubics ...
1
vote
1answer
97 views

Solve $x^3+x+3=0$ by Galois's theory

Solve with radicals the following equation $x^3+x+3=0$, using Galois Theory. I'm just starting learning this and I do not have many ideas.
-1
votes
2answers
33 views

Ring homomorphism and ideal that contains the kernel [on hold]

If $f:R\rightarrow S$ is a ring homomorphism and $I$ ia an ideal of $R$ such that $ker(f) \subseteq I$ then $f^{-1}(f(I))=I$ We know that $I\subseteq f^{-1}(f(I))$ but how can I use that $ker(f) ...
-4
votes
1answer
39 views

A symmetric group question. [on hold]

Determine the integers $n$ such that there is a Surjective homomorphism from the symmetric group $S_n$ to $S_{n-1}$. It is a question from Artin's book. Exercise 7.5.8
3
votes
2answers
56 views

Kernel of ring homomorphism

Let $\phi: R \to R'$ be a ring isomorphism and $I$ an ideal of $R$. Define $\phi(I)=\{\phi(i): i \in I\}$. Show that $\frac RI \cong \frac {R'}{\phi(I)}$. To use the first isomorphism theorem, ...
1
vote
1answer
43 views

For each $n >2$ find all $m \in \mathbb N$ such that there exist a group $G$ of order $m$ and a surjective homomorphism $f: A_n \rightarrow G$

For each $n >2$ find all $m \in \mathbb N$ such that there exist a group $G$ of order $m$ and a surjective homomorphism $f: A_n \rightarrow G$< I tried to use the theorem of isomorphism, and a ...
4
votes
1answer
35 views

A $\mathbb Z/p\mathbb Z[G]$ submodule with no complement

Let $G$ be a group acting on a set $X$ of size $n$. Suppose $G$ acts doubly transitively. If $p$ is a prime, this naturally gives a permutation representation on the vector space over $\mathbb ...
1
vote
2answers
53 views

If $G = S_5$ and $H = \{g \in G \mid g^{5} = e\}$ how could I determine and prove whether or not $H$ is a subgroup of $G$?

I think that the this group contains the 5 element cycles and the identity e but overall I'm not sure how to prove that the product of the 2 members of H is also a 5 cycle or e.
3
votes
3answers
68 views

Why does $\sqrt{6} + \sqrt{10} + \sqrt{15}$ have four conjugates?

I am having trouble understanding how algebraic number $\sqrt{6} + \sqrt{10} + \sqrt{15}$ has four conjugates. Minimal polynomial is $x^4-62 x^2-240 x-239$ according to Wolfram Alpha. Factorized: ...
13
votes
1answer
80 views

Is the ring of holomorphic functions on $S^1$ Noetherian?

Let $S^1={\{ z \in \Bbb{C} : |z|=1 \}}$ be the unit circle. Let $R= \mathcal{H}(S^1)$ be the ring of holomorphic functions on $S^1$, i.e. the ring of functions $f: S^1 \longrightarrow \Bbb{C}$ which ...
2
votes
1answer
34 views

Showing a nonabelian group of order 21 has an automorphism that is not inner.

I've seen at least 3 proofs of this on here, but most involved techniques I don't think I'm comfortable with, so I wanted to see if this one works: Since $21=3\cdot 7$, up to isomorphism there's only ...
-2
votes
0answers
28 views

Groups,subgroups, normal subgroups [on hold]

Let $G$ be the group of all $2\times 2$ real matrices $\left( \begin{array}{ccc} a & b \\ 0 & d \end{array} \right) $ under matrix multiplication where $a,d\neq 0$. If $N=\left\{ \left( ...
0
votes
0answers
41 views

A problem about isomorphism in module theory

For a sequence of $R$-modules like this:$A \overset{f}{\rightarrow} B \overset{g}{\rightarrow}C$ such that $\mathrm{Im} f \subset\ker g$ and $B/\mathrm{Im}f \cong B/\ker g$. Then $\mathrm{Im}f=\ker ...
1
vote
1answer
44 views

Prove that a morphism $\alpha$ of $Fun(\mathcal{A},\mathcal{B})$ is an isomorphism iff each component $\alpha_A$, is an isomorphism in $\mathcal{B}$

I'm a computational engineer starting with a course of Introduction to Category Theory, and perhaps is extremely basic what I'm asking but I'm trying to learn how to make proofs in category theory ...
0
votes
1answer
32 views

Properties of isomorphism in module theory [on hold]

I have two exercises, but I can't solve them: a. If $X, A, B $ are $R$-modules with $A \subset B \subset X $, prove that if $X/A \cong X/B$ then $A=B$ b. If $X/A \cong X$ then $A=0$
1
vote
0answers
37 views

Inducing representations from a subgroup of finite index.

Let $G$ be a group and $H$ a subgroup of finite index. Let $(\sigma , W) $ be a irreducible representation of $H$ (which need not be finite dimensional). 1) When can we extend this representation of ...
1
vote
1answer
27 views

I have to show no proper intermediate fields exist between $Z_2$ and $GF(2^3)$ [duplicate]

I have to show no proper intermediate fields exist between $Z_2$ and its overfield $GF(2^3)$, Can any one help?
3
votes
1answer
34 views

Prove the theorem of ideal (about g.c.d)

If $p_1,\ldots,p_n$ are polynomials over a field $F$, not all of which are $0$, there is a unique monic polynomial $d$ in $F[x]$ such that (a) $d$ is in the ideal generated by $p_1, \ldots, ...
0
votes
0answers
37 views

Irreducible component of a scheme over a dvr

Let $\mathcal M$ be a (reduced) quasi-projective scheme over a dvr (of mixed caracteristics), $R$. Suppose that the generic fiber $\mathcal M_{\eta_R}$ is (nonempty) smooth and irreducible of ...
0
votes
2answers
36 views

How do I construct a nontrivial linear representation of the group $G$=S' in $R^3$

$S'$ is defined as the unit circle. The product is defined as the sum of angles. How do I construct a linear representation in general? I don't know how to begin with this problem. Some ...
0
votes
0answers
44 views

Number of all possible groups of given order [duplicate]

Suppose $n=18$, then all possible groups of order $18$ is $5$. Among them $2$ are abelian and $3$ are non-abelian. Let $n$ be a natural number. How can I determine the number of all possible ...
2
votes
1answer
29 views

Difference between torsion and zero divisor

I'm not understanding what the difference is between a zero divisor and a torsion element of a module. My best guess is that the torsion elements are "vectors" and zero divisors are scalars. This ...
0
votes
1answer
39 views

If $gcd(a,b)=1$, then there exists integers x and y such that $xa + yb = 1$

Did not find this from this website... If $$ gcd(a,b)=1,$$ then there exists integers x and y such that $$xa+yb=1.$$ Now, the tip is to use particular corollary, that states: The class $[m]_{n}$ ...
1
vote
1answer
14 views

Show that there exists $\mathbb{Z}[i]$ modules $M$ and $N$ such that both have $13$ elements but are not isomorphic

$\textbf{Question:}$ Show the existence of two $\mathbb{Z}[i]$ modules $M$, $N$ such that both $M$ and $N$ have $13$ elements bot $M \not \cong N$ as $\mathbb{Z}[i]$ modules. $\textbf{My Attempt:}$ ...
5
votes
2answers
88 views

Is $(x)\otimes_{k[x]/(x^2)}(x)$ zero?

I am trying to decide if $(x)\otimes_{k[x]/(x^2)}(x)$ is zero. So I considered $x \otimes x$ which I rewrote as $1 \otimes x^2 = 1 \otimes 0 = 0$. But then I realized that $1$ does not live in ...
0
votes
2answers
65 views

Automorphism of $D_6$

I need find an explicit way to express the group $Aut(D_6)$, and I have not idea how write this group, maybe this is an semidirec product of some groups but I don´t see this. thanks.
2
votes
1answer
27 views

Why does $\operatorname{Ad}_h((S\otimes 1)(Q))=\epsilon(h)(S\otimes 1)(Q)$ in a quasi-triangular Hopf algebra?

I'm reading a proof that in a quasi-triangular Hopf algebra $H$, $(S\otimes 1)Q$ is $\operatorname{Ad}$-invariant. Here $Q=\tau(R)R$, where $R$ is the invertible element in $H\otimes H$ satisfying all ...
3
votes
1answer
43 views

Tangent space of quotient space

Let $\pi : M \rightarrow M/G$ be the canonical projection, where $M$ is a manifold and $M/G$ is a quotient manifold. Now, what can we say about $d \pi (p) : T_pM \rightarrow T_p(M/G)$? From my ...
2
votes
0answers
65 views

Fields of Research in Algebra [on hold]

I'm a last-year student in mathematics and I'm looking for a master degree in algebra. So I'm trying to understand what are the most interesting fields of research in algebra all around the world. ...
0
votes
1answer
26 views

Lie group and stabilizer quotient

Let $G$ be a Lie group and $$G_x:=\{g \in G; Ad^*_g(x)=x\}$$ the stabilizer, where $Ad_g^*$ is the adjoint of the adjoint representation. Now, I was wondering why $G/G_x$ has a manifold structure. ...
3
votes
1answer
42 views

What do we know about fields possessing an involution?

The field $\mathbb{C}$ of complex numbers has an involution, and the same is true of the field of algebraic numbers (the algebraic closure of $\mathbb{Q}$ as a subfield of $\mathbb{C}$) and of the ...