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

Isomorphism among quotient algebras

Let we have two different quotient algebras $ A/B$ and $M/N$ such that $B$ and $N$ are nilpotent ideals of $ A$ and $M$. I want to define an isomorphism $ \phi: A/B \to M/N$.Can you help me how I ...
1
vote
1answer
16 views

“Least upper bound property for a poset is equivalent to greatest lower bound property” vs existence of sup given inf

The least upper bound property says that, "Every nonempty subset of $A$ that $is$ bounded above has a least upper bound." The great lower bound property is defined similarly, and it's not difficult ...
2
votes
1answer
27 views

Associative Proof

I have a non-empty set $R$ with a binary operation $*$. If the pair has an identity element $e\in R$ and $$(a*b)*(c*d)=(a*c)*(b*d)$$ holds for all $a,b,c,d \in R$, how do I then prove that this is ...
1
vote
0answers
15 views

Why is $K^{\ast n}$ contained in the norm group?

http://www.bprim.org/cyclotomicfieldbook/rlmain.pdf In section 5, $K$ is a local $p$-adic field containing the $n$th roots of unity, and $L = K(\sqrt[n]{x} : x \in K^{\ast})$. Kummer theory tells us ...
-5
votes
0answers
24 views

Some exercises from Introduction to Homological Algebra by J.J. Rotman (category) [on hold]

Please give solutions for these problems: Give an example of a covariant functor that does not preserve coproducts. Prove that every left exact covariant functor $T$: $_RMod$ → $Ab$ preserves ...
1
vote
2answers
26 views

Identity Element and Identity Properties

Learning more abstract algebra, really not the most enjoyable of subjects, as nothing seems all that clear cut, but here goes anyway. I have a set $\mathbb Q = \{{p \over q} : p,q\in \mathbb Z \text{ ...
1
vote
0answers
16 views

The intersection multiplicity of two coprime polynomials is less or equal than the multiplicity of their product?

Are given $H_1,H_2$ coprime polynomial of $K[X,Y]$ with $K$ a algebraic closed field, $P\in\mathbb{P}^2(K)$ a point. Holds that$$\mu_P(H_1,H_2)\leq m_P(H_1H_2)$$ where $\mu$ is the intersection ...
1
vote
2answers
28 views

Writing out a product of permutations as the product of disjoint cycles

let $ \tau = (1~3)(2~4) $ and $ \sigma = (1~2~4~5) $ Is it correct to say that (working from right to left) $ \sigma \tau = (1~3)(2~5) $ and $ \tau \sigma = (1~4)$ ?
0
votes
3answers
52 views

Is $\ker(\operatorname{nat}_H)=H$?

This question came in the exam today, sadly I couldn't answer it. The question said: Prove whether or not this is a true statement, stating the reason. $$\ker(\operatorname{nat}_H)=H$$ where ...
5
votes
1answer
64 views

Show $x^p-t$ has no root in the field $\mathbb{F}_p(t)$

I don't think I fully understand. Let's say there is a root $x_0 \in K=\mathbb{F}_p(t)$, where $p$ is a prime number. Then $x_0 = \frac{P(t)}{Q(t)}$ for some polynomials $P,Q \in \mathbb{F}_p[t]$. ...
-4
votes
2answers
44 views

Fields in Abstract Algebra [duplicate]

How to prove the following: Show that $\mathbb Z_{n}$ is a field if and only if $n$ is prime.
1
vote
1answer
26 views

Proof of a result on closed subgroups of Galois group

Let $M\supseteq K$ be an algebraic normal extension. Then its Galois group is profinite. I have been told that in this hypothesis, if $H\leq G$, then $H''=H\iff \bar H=H$, where ...
1
vote
1answer
36 views

Conjugates of an $r$-cycle in $S_n$

How many conjugates does a cycle of length $r$ have in the permutation group $S_n$? I tried to find them but failed.
1
vote
0answers
27 views

Subgroup of group is normal [duplicate]

This question came in the exam today, unfortunately I couldn't answer it. The question said: Proof whether or not this is a true statement, stating the reason. Subgroup of group is normal I ...
1
vote
1answer
35 views

In $S_{3}$ what is the group generated by $(123)$?

In $S_{3}$ what is the group generated by $(123)$? Is there a way to find the elements of the group generated by $(123)$?
1
vote
1answer
34 views

Show that an $R$-module homomorphism $\alpha:A \to B$ is injective.

I am working on an exercise on injective modules: Show that an $R$-module homomorphism $\alpha:A \to B$ is injective if the induced map Hom$_R(B,Q)\to$ Hom$_R(A,Q)$ is surjective for all injective ...
1
vote
0answers
35 views

Question about direct product of two groups.

Let $G=\mathbb{Z}_n \times \mathbb{Z}_m$ and $d=p^k$ for some prime $p$ such that $d$ divides both $n$ and $m$. Then $G$ has exactly $d\phi(d)+[d-\phi(d)]\phi(d)$. For example consider the group ...
1
vote
0answers
30 views

Understanding a quotient ring of continuous functions

In trying to understand another questions answer(to a question I asked), I realized that my fundamental lack of knowledge was in regards to the following question: In terms of functions, what does ...
7
votes
2answers
178 views

Divisor of a finite group

Suppose we have a finite group $G$ and $d\in \mathbb N$ is a divisor of $|G|$. We define the set $E_d= \{g\in G : g^d =1\}$. Prove that $d$ is also a divisor of $|E_d|$. So far I proved that ...
6
votes
3answers
120 views

How to learn commutative algebra?

I want to learn commutative algebra from scratch. I was wondering, as you guys are experts in mathematics, what you think is the best way to learn commutative algebra? Is there any video course ...
1
vote
2answers
43 views

Maximal ideals of the ring of all continuous functions [duplicate]

Let $R$ be the ring of all continuous functions from the interval $[0,1]$ to $\Bbb R$. For each $a\in[0,1]$ let $$A_a=\{f\in R \mid f(a)=0\}$$ Now firstly, this is part of an assignment problem, ...
3
votes
0answers
24 views

The relationship of subnormal subgroups and modular subgroups of a finite group.

Let $G$ be a finite group, a subgroup $H$ of $G$ is called subnormal if it's a term of a composition series of $G$, and is called modular if it's a modular element of the subgroup lattice $L(G)$. My ...
4
votes
2answers
31 views

Prove that a transformation of the identity functor of a Group $G$ (seen as a category) into itself is just an element of the center of $G$

I want to prove the follow: Suppose $G$ is a group seen as a category, prove that a transformation of the identity functor of $G$ into itself is just an element of the center of $G$. I'm not ...
1
vote
1answer
32 views

Groups occuring as derived subgroups.

I want to prove this problem but I have no idea how to start it. If you know please hint me, thanks. Suppose that $G$ is a group that has subgroup which is cyclic, characteristic and not in the ...
-2
votes
0answers
12 views

Factorisation of Characteristically Simple Group

Please am working on a project "Factorization of characteristically simple group". And it has been really difficult to locate articles relating to that, even on the web. So i want to know if any one ...
0
votes
1answer
19 views

Find an ideal of $R = \mathbf{Z}/12\mathbf{Z} = \{0,1,2,\dots,11\}$ with two elements

Let $R = \mathbf{Z}/12\mathbf{Z} = \{0,1,2,\dots,11\}$. Find an ideal $I$ of $R$ which consists of two elements. How many elements does $R/I$ have? I thought the ideals would be $\{0\}$, ...
1
vote
1answer
35 views

Show that the subset $\overline{I} = \{\overline{x}:x \in I\}$ is an ideal.

Assume that $I$ is an ideal of the ring $\mathcal{O}_d = \left\{ \begin{array}{ll} \mathbb{Z} [\sqrt{d}] & \text{ if } d \text{ is even } \\ \mathbb{Z} [ \frac{1 + ...
1
vote
3answers
25 views

Show that if $A, B$ are groups, then $A \times B$ is solvable if and only if both $A$ and $B$ are solvable? [on hold]

Show that if $A, B$ are groups, then $A \times B$ is solvable if and only if both $A$ and $B$ are solvable? Why is obvious that if $A$ and $B$ are solvable then $A \times B$ is solvable?
6
votes
2answers
65 views

Proof that if $a,b \in G$ and $a^4b = ba$ and $a^3 = e$ then $ab = ba$

I tried to prove one of the examples in my Abstract Algebra book that stated: Prove that if $a,b \in G$ and $a^4b = ba$ and $a^3 = e$ then $ab = ba$ I went about just saying that $a^4b = ba ...
2
votes
2answers
39 views

Prove that if $Z(G) = \lbrace x \in G: gx = xg \text{ for all }g\in G\rbrace$ then $Z(G)$ is a group

So my challenge is: Prove that if $Z(G) = \lbrace x \in G: gx = xg \text{ for all }g\in G\rbrace$ where $G$ is a group, then $Z(G)$ is a group Unlike this question: To show that the center is a ...
1
vote
3answers
33 views

Show that $f: \mathbb{Z} \to n\mathbb{Z}$ defined as $f(m) = mn$ is bijective

Let $n \in \mathbb{N}$. Show that $f: \mathbb{Z} \to n\mathbb{Z}$ defined as $f(m) = mn$ is bijective such that $f(m_1 + m_2) = f(m_1) + f(m_2)$, $\forall m_1, m_2 \in \mathbb{Z}$ To be bijective, ...
4
votes
6answers
105 views

Show that $x^{3}-3$ irreducible over $\mathbb{Q}(\sqrt{-3})$

Is there a slick way to show that $x^{3}-3$ is irreducible over $F= \mathbb{Q}(\sqrt{-3})$? What I did seems kind of convoluted (showing directly that there is no root in F). Thanks
0
votes
1answer
38 views

algebraic integers of $\mathbb{Q}(\sqrt{d})$

Assume that $d$ is square-free. What is the set of algebraic integers in $\mathbb{Q} \left(\sqrt{d} \right) = \{a + b \sqrt{d}:a,b \in \mathbb{Q} \}$? The algebraic integers in ...
5
votes
1answer
35 views
0
votes
6answers
34 views

$\gcd(a,n)\neq 1 \implies $ there is $b$ such that $ab\equiv 0 \pmod{n}$

I have that $\gcd(a,n)\neq 1$ ($a$ and $n$ are not coprime). Then, somehow, I need to prove that exists an $b$ such that $$ab\equiv 0 \pmod{n}$$ What I did: $$ab\equiv 0 \pmod{n}$$ is the same ...
1
vote
1answer
26 views

Why does it mean that $n$-th variable is removable?

I'm reading the proof for "the fundamental theorem of symmetric polynomials" and I have a trouble with it (http://en.m.wikipedia.org/wiki/Elementary_symmetric_polynomial) Let $P(X_1,...,X_n)$ be a ...
5
votes
1answer
57 views

Extension $\mathbb{Q}(\sqrt{-5}, i)/\mathbb{Q}(\sqrt{-5})$, splitting.

In the extension $\mathbb{Q}(\sqrt{-5}, i)/\mathbb{Q}(\sqrt{-5})$, must principal prime ideals of $\mathbb{Z}[\sqrt{-5}]$ necessarily split into 2? Must nonprincipal prime ideals not split? ...
0
votes
0answers
29 views

How to get real irreducible matrix representations from the complex irreducible matrix representations?

I'm trying to get real symmetry adapted orbitals for molecules with icosahedric symmetry (point groups $I$ and $I_h$) using the complete projector operator (truly projector if i=j): \begin{equation} ...
0
votes
2answers
46 views

Algebra and Maximal ideal.

I am trying to solve the following problem. If $ \mathcal{K}$ is a field and $a_1,a_2,\dots,a_n \in \mathcal{K}$. Prove that $(x_1-a_1,x_2-a_2,\dots,x_n-a_n)$ is a maximal ideal in ...
4
votes
1answer
77 views

Non-abelian Group with infinite exponent in which every proper subgroup has finite exponent

can you find a Non-abelian Group with infinite exponent in which every proper subgroup has finite exponent?
1
vote
0answers
31 views

Fundamental theorem of Algebra using ideas of complex singularities

Below is an excerpt from Arnold's Theory of Catastrophes (I haven't got an American edition, so translating from Russian). Where I can read about it in more detail? Not only regarding polynomials. ...
1
vote
0answers
25 views

Looking for a non trivial homomorphism II [on hold]

Is there a non trivial homomorphism $f: SU(2) \to Diff(S^1)$?
6
votes
1answer
61 views

Looking for a non trivial homomorphism I

Is there a non trivial homomorphism $f: SU(2) \to O(2)$? Is there a concrete description of $Hom(SU(2), O(2))$?
1
vote
0answers
16 views

Is $\alpha$ a norm in the extension $K(\sqrt[n]{\alpha})$?

I'm having trouble wrapping my head around this. $K$ is a field of characteristic zero containing all $n$th roots of unity, and $\alpha \in K$. Let $L = K(\sqrt[n]{\alpha})$, $\mu$ the minimal ...
1
vote
0answers
10 views

Why is an $n$th power a norm in a Kummer extension?

Let $F$ be a $p$-adic field containing the $n$th roots of unity. Then by Kummer theory, $[F^{\ast} : F^{\ast n}]$ (which is finite) is equal to the cardinality of $\textrm{Gal}(E/F)$, where $E$ is ...
0
votes
1answer
14 views

For any monomial ordering, $1\leq m$ for any monomial $m$

Let $R$ be a ring. Let $\leq$ be a well-ordering on the set of (monic) monomials in $R[X_1,...,X_n]$. Then, $\leq$ is said to be a monomial ordering iff $mm_1\leq mm_2$ whenever $m_1\leq ...
2
votes
2answers
43 views

A normal subgroup so that any homomorphism into a $p$-group is trivial on it. [on hold]

Problem Let G be a finite group of order $n$ and $p|n$. Show that there is a unique normal subgroup $N$ satisfying the following property: (1)$G/N$ is a $p$-group (I guess it can be trivial group). ...
2
votes
3answers
54 views

A finite group which has a unique subgroup of order $d$ for each $d\mid n$.

Problem Suppose G is a finite group of order $n$ which has a unique subgroup of order $d$ for each $d\mid n$. Prove that $G$ must be a cyclic group. My idea: I try to prove it by induction. Let ...
1
vote
1answer
54 views

How to prove that the ring of algebraic integers is a Bézout domain?

I was told that the ring of all algebraic integers (that is, the complex numbers which are roots of a monic polynomials with integral coefficients) is a Bézout domain. But I have no idea how to prove ...
0
votes
1answer
22 views

Show that a representation of a finite group is isomorphic to its dual if its character takes only real values

This appeared as a part of showing that a representation of a finite group is isomorphic to its dual if and only if its character takes only real values. The "only if" part was easy to show. For the ...