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)

2
votes
0answers
14 views

Why $ K \cap H $ is a maximal subgroup of $H $?

Suppose $ G $ is a finite group and $ H \unlhd G $. Suppose that $ H \cap M $ is either $ H $ or a maximal subgroup of $ H $ for any maximal subgroup $ M $ of $ G $. Let $ N $ be a minimal normal ...
1
vote
0answers
9 views

property about centralizer of maximal subgroup

How we can show that for group $G$ (finite non-abelian p-group, I don't know which ones are necessary) and $M$ maximal subgroup of $G$. We can have $C_G(M)\le C_G(\Phi(G))\le Z(\Phi(G))$ $\Phi(G)$ ...
4
votes
0answers
14 views

What is number of group homomorphisms from $D_{12}$ to $D_{18}$?

I am willing to find out the number of group homomorphisms from $D_{12}$ to $D_{18}$ where $D_m:=\langle r_m, f_m: r_m^m=f_m^2=(r_mf_m)^2=e_m \rangle$ is the standrard dihedral group of order $2m$. ...
0
votes
0answers
9 views

Proof that $C^\infty(0,1)$ is a subring

How do I show that the ring $C^\infty(0,1)$ of infinitely differentiable functions on the interval $(0,1)$ is a subring? Of what ring is it a subring; Map$((0,1),\mathbb{R})$? How do I show that ...
1
vote
2answers
15 views

How to prove what element in $\mathbb{Z}_n$ you get when the elements of $\mathbb{Z}_n$ are summed?

Based on trial and error I found that when $n$ is odd, the sum of the elements of $\mathbb{Z}_n$ is zero in $\mathbb{Z}_n$. When $n$ is even, the sum of the elements of $\mathbb{Z}_n$ is $n/2$ in ...
0
votes
0answers
26 views

Prerequisistes for P. May's A Concise Course in Algebraic Topology

I wonder what are the prerequisites for studying P. May's A Concise Course in Algebraic Topology. I understand basic point set topology and category theory are required. How much algebra does one need ...
2
votes
1answer
29 views

Determinant map is homomorphism and surjective.

I just came from a course of abstract algebra, and my teacher told us that the determinant map $\det : GL(n, \mathbb{R}) \to \mathbb{R}^\times$ is a surjective homomorphism. Here, $GL(n, \mathbb{R}) ...
-1
votes
2answers
36 views

Is the endomorphism ring $\mathrm{End}(\mathbb{Z}^n)$ the same as the matrix ring $\mathrm{Mat}_n(\mathbb{Z})$?

How do I show that the endomorphism ring $\mathrm{End}(\mathbb{Z}^n)$ can be identified to the matrix ring $\mathrm{Mat}_n(\mathbb{Z})$?
2
votes
0answers
35 views

Does this binary operation have a name?

Does the following binary operator on abstract linear maps $A,B:\mathbb{C}^N \rightarrow \mathbb{C}^N$, have a name: $[\{A,B\}]:= AB^{\dagger} - BA^{\dagger}$ clearly, it is real bi-linear, but not ...
0
votes
1answer
35 views

Is this still the smallest subfield of $\mathbb{C}$ that contains $\sqrt{d}$

I know from a previous question that by construction a field $\mathbb{Q(\sqrt{d})}$ is the smallest subfield of that contains $\mathbb{Q}$ and $\sqrt{d}$. But it seems to be not true if $d$ is a ...
1
vote
1answer
38 views

What are all the automorphisms of $\mathbb{Q}(\sqrt{2})$? [on hold]

The field $\mathbb{Q}(\sqrt{2})$? is defined as $\{a+b\sqrt{2}: a, b \in \mathbb{Q}\}$. Are there only two automorphisms, one mapping to $\{a+b\sqrt{2}\}$ and the other mapping to $\{a-b\sqrt{2}\}$? ...
1
vote
1answer
28 views

Subgroups of finitely generated abelian groups

Let $G\cong \mathbb{Z}_{{p_1}^{k_1}}\oplus\mathbb{Z}_{{p_2}^{k_2}}\oplus \dots\oplus\mathbb{Z}_{{p_n}^{k_n}}$ Let $H$ be a subgroup of $G$. Does $H$ necessarily have the form $H\cong ...
0
votes
3answers
27 views

show a conclusion from the homomorphism $\phi : \Bbb R _{>0} \to \Bbb R$ such that $\phi (r) = \log(r)$

I need two show homomorphism and get a conclusion from iso1 in the following: a) I have $\phi : \Bbb R _{>0} \to \Bbb R$ $\phi (r) = \log(r)$ I assume here that $\Bbb R _{>0}$ is with ...
1
vote
0answers
15 views

Some subset is not a block in group action iff a separation property holds, questions on proof and special cases

Let $G$ be a group acting transitiviely on a set $\Omega$. A nonempty subset $\Delta$ of $\Omega$ is called a block for $G$ if for each $x \in G$ either $\Delta^x = \Delta$ or $\Delta^x \cap \Delta = ...
1
vote
0answers
21 views

$K, N < G$ and $|G:N|$ and $|K|$ coprime, then $K<N$. Group action argument?

A common exercise in finite group theory is Suppose $G$ is a finite group with $K < G$, $N \lhd G$. Suppose that $|K|$ and $|G : N|$ are coprime. Then $K < N$. The normal way to attack ...
4
votes
1answer
46 views

About $R/I$ Where $I$ is a Prime Ideal

A well known result in Commutative Algebra says: for a commutative ring $R$ with $1$, $R/I$ is an Integral Domain if and only if $I$ is a Prime Ideal of $R$. Can this result be generalised for non ...
3
votes
2answers
28 views

General way to find actions of automorphisms of the group of $x^3-2$ over $\mathbb{Q}$

I'm looking at the Galois group $\mathrm{G}(\mathbf{K}/\mathbb{Q})$ where $\mathbf{K}$ is the splitting field of $x^3-2$ over $\mathbb{Q}$. Of course, $\mathbf{K} = \mathbb{Q}(\alpha_1, i\sqrt{3})$, ...
0
votes
0answers
14 views

What is the meaning of “B is a bialgebra covariantly acting on A”?

Let $A$ be an algebra and $B$ a bialgebra. What is the meaning of "covariantly" in "B is covariantly acting on A"? Thank you very much. Edit: it is on line 13 of the abstract of the file (page 3).
-4
votes
0answers
29 views

An iff involving finite dimensionality and maximal ideals [duplicate]

Let $R = \mathbb{C}[x_1, ... , x_n]$ and let $I$ be a non-zero ideal of $R$. Show that $R/I$ is a finite dimensional $\mathbb{C}$ algebra iff $I$ is contained in only finitely many maximal ideals of ...
2
votes
0answers
34 views

Closure of Set of Fractions with Lowest Terms Condition

Suppose I have a set of rational numbers where elements have denominators are odd and numerators and denominators are co-prime. I need to show that the set is closed under addition. It is clear that ...
-5
votes
2answers
60 views

Why is Abstract Algebra so abstract? [on hold]

I mean, I haven't seen any concrete example about it. May you please give me one? Especially about Groups which we are currently having difficulties on. Thank you.
0
votes
3answers
79 views

Show that $\mathbb{Q}(\sqrt{2})$ is the smallest subfield of $\mathbb{C}$ that contains $\sqrt{2}$

This was an assertion made in our textbook but I have no idea how to show that either statement is true. Also would like to show that that $\mathbb{Q}(\sqrt{2})$ is strictly larger than $\mathbb{Q}$, ...
0
votes
0answers
19 views

Showing an iff about finitely generated modules over PID's

Let $R$ be a PID and $M$ be a finitely generated torsion $R$ module. Show that $M$ is a cyclic $R$ module iff for any prime $p \in R$ either $pM = M$ or $M/pM$ is a cyclic R module. Thoughts so far: ...
1
vote
1answer
48 views

$[G:H] < \infty$ then $gHg^{-1} = H$ and is it true that $gHg^{-1} = H$

G is a group. $H < G$ and $ g \in G$ $gHg^{-1} \subset H$ I need to prove the following : a) if $[G:H] < \infty$ then $gHg^{-1} = H$ b) without the additional fact given in (a) is it true ...
1
vote
1answer
53 views

$\mathbb{Q}\left(\sqrt{p}\right)=\{a+b\sqrt{p}\mid a, b \in\mathbb{Q}\}$ is a subfield of the field $\mathbb{R}$

Prove that $\mathbb{Q}\left(\sqrt{p}\right)=\{a+b\sqrt{p}\mid a, b \in\mathbb{Q}\}$ is a subfield of the field $\mathbb{R}$, where $p$ is a prime number I know this is true for many primes that ...
2
votes
3answers
46 views

Nilpotent ideal and ring homomorphism

In "Problems and Solutions in Mathematics", 2nd Edition, exercice 1308 Problem statement Let $I$ be a nilpotent ideal in a ring $R$, let $M$ and $N$ be $R$-modules, and let \begin{equation} f : M ...
0
votes
0answers
40 views

Finitely generated modules over principal ideal domain

Let $A$ be principal ideal domain with field of fractions $K$. $L$ is finite separable extension of $K$ and $B$ is the integral closure of $A$ in $L$. It is obvious that there exists a constant $d$ in ...
0
votes
1answer
27 views

Find isomorphism between $D_6$ symmetries of regular triangle, $S_3$, and $GL_2(F_2)$

problem: Find isomorphism between $D_6$ symmetries of regular triangle, $S_3$, and $GL_2(F_2)$. I already proved $D_6$ is isomorphic to $S_3$. And $S_3 $ is isomorphic to $GL_2(F_2)$ Am I suppose ...
0
votes
0answers
40 views

Grothendiek and singular points

My question relates to the following thread I opened some weeks ago: A question regarding Grothendieck , topos and (adelic??) points Specifically, consider this paragraph: At 1:14:30 and after, ...
-2
votes
0answers
21 views

$Y$ be the group such that it is define as $Y = < u, v | u^4 = v^3 = u= v=1, uv = v^2u^2, v^2 = v^{-1}>$ . [on hold]

Let $Y$ be the group such that it is define as $Y = < u, v | u^4 = v^3 = u= v=1, uv = v^2u^2, v^2 = v^{-1}>$ . a) Show that $v$ commutes with $u^3$. [Show that $v^2u^3v = u^3$ by writing the ...
1
vote
0answers
15 views

Supersolubility of $ G/H $ and $ H $ not deduced supersolubility of $ G $.

I want show $ S_{4} $ isn't supersoluble group. For this suppose $ 1 \leq B_{4} \leq A_{4} \leq S_{4} $ be a normal serie of $ S_{4} $, that $ B_{4} $ is Klein’s four-group. Since $ B_{4} $ isn't ...
1
vote
0answers
33 views

rings of polynomials over $Z_p$ (part-2)

An element of R is a polynomial in $x$ of degree $< r$ with coefficients from $Z_n$ (where $n$ is a composite number). We use the notation $a(x)$ to represent elements of $R$. Let $\phi :R \mapsto ...
0
votes
2answers
29 views

What is the center of $\mathbb{C}S_3$?

How do I found the center of symmetric group algebra $\mathbb{C}S_3$? and in general $\mathbb{C}S_n$? I did an example on a smaller group algebra: $\mathbb{C}S_2=\{a (1)+b(12) \mid a,b\in ...
-1
votes
0answers
39 views

Term rewriting; Compute critical pairs

I have tried to solve the following exercise but I got stuck while trying to find all the critical pairs. Any help is appreciated. Let $$ \sum = \left \{ \circ, i, e \right \} $$ where $\circ$ is ...
0
votes
1answer
17 views

Prove that the order of an element in $S_n$ equals the least common multiple of the lengths of the cycles in its cycle decomposition.

Prove that the order of an element in $S_n$ equals the least common multiple of the lengths of the cycles in its cycle decomposition. proof: Let $\sigma \in S_n$. Then $\sigma = ...
-2
votes
1answer
44 views

A question about injective modules [on hold]

I need to find an injective module $B$ and a submodule $A$ of $B$ such that $B/A$ not injective.
1
vote
0answers
19 views

Is this true for quotients of Finitely Generated abelian groups?

Let $G\cong \mathbb{Z}_{{p_1}^{k_1}}\oplus\mathbb{Z}_{{p_2}^{k_2}}\oplus\dots\oplus\mathbb{Z}_{{p_n}^{k_n}}$, where the $p_i$'s are primes. Let $H\cong ...
5
votes
1answer
24 views

Stabilization of all even/odd terms of sequence of iterated centralizers.

This is related to my previous question, see here. Fix a ring $B$. Given a subring $A \subset B$, we define$$A^! := \{b \in B : ab = ba,\text{ }\forall\,a \in A\},$$the centralizer of $A$ in $B$. ...
0
votes
0answers
39 views

Question about sub-groups. [duplicate]

Let H,K be sub-groups of G (finite order), proof that if (G;H) and (G:K) are relatively Prime G=HK. Any clue?
1
vote
1answer
31 views

Chosen maximal subject is a subgroup

Let $ G $ is a finite soluble group and $ N $ be a unique minimal normal subgroup of $ G $. Let $ G = TS $ that $ S $ is the fitting subgroup of $ G $ and $ T = N_{G}(H) $ for $ H \leq G $. Suppose $ ...
-6
votes
1answer
32 views

If two elements commute, does each element commutes with the inverse of the other [on hold]

Let $G$ be a group and $u,v \in G$. Is it possible that $uv = vu$ but $u^{-1}v \ne vu^{-1}$?
1
vote
2answers
29 views

Sylow p-subgroup of order p does not normalize any other Sylow p-subgroup

Let $P_1,P_2$ be distinct Sylow p-subgroups of $G$ with order $p$. Is it generally true that $P_1$ cannot normalize $P_2$? I've seen algebra textbooks use this fact for $p=3,11$ and they quote 'a ...
2
votes
1answer
34 views

Subgroups of generalized dihedral groups

A generalized dihedral group, $D(H) := H \rtimes C_2$, is the semi-direct product of an abelian group $H$ with a cyclic group of order $2$, where $C_2$ acts on $H$ by inverting elements. I know that ...
1
vote
1answer
33 views

Product and intersection of ideals in a polynomial ring

I want to show that in the polynomial ring $K[X,Y,Z,W]$ (where $K$ is a field) the equality $(X,Y)\cap(Z,W)=(XZ,XW,YZ,YW)$ holds. Obviously RHS is contained in LHS. How to show that LHS is ...
0
votes
1answer
19 views

rings of polynomials over $Z_p$

An element of R is a polynomial in $x$ of degree $< r$ with coefficients from $Z_p$ (where $p$ is a prime). We use the notation $a(x)$ to represent elements of $R$. Define map $\phi :R \mapsto R$ ...
1
vote
0answers
20 views

Extension of group

Let $ p = 2 $, and Let $ H $ be a subgroup of a direct product of copies of $ S_{3} $. Why $ H $ is an extension of a $ 3 $-group by a $ 2 $-group, and $ H/O_{p^{\prime}}(H) $ is a $ 2 $-group ?
2
votes
3answers
32 views

A more formal but intuitive understanding (on a definition) of a group action

We know that a symmetric group $S_n$ acts on the set $\{1, 2,\ldots, n\}$. The definition of an action of a group $G$ on a set $S$ is a function $G\times S\to S$ such that: 1) $e\ast s=s$ 2) ...
1
vote
1answer
32 views

Find isomorphism between $S_3$ and $GL_2(F_2)$. [duplicate]

Find isomorphism between $S_3$ and $GL_2(F_2)$. proof: Let $A = \begin{pmatrix} a& b\\ c & d \end{pmatrix}$. Where $\det (A) \neq 0$. And recall $S_3$ is the permutation group with ...
2
votes
2answers
27 views

Is $\mathbb{Q}(\alpha_i^2)$ an intermediate field of $\mathbf{K}/\mathbb{Q}$, where $K$ is the splitting field of $x^3-2$ over $\mathbb{Q}$?

I've found the Galois group of $x^3-2$, isomorphic to $\mathbf{S}_3$. It has 6 subgroups (including the trivial subgroup and the group itself), and thus by the Galois Correspondence there should be 6 ...
0
votes
1answer
23 views

Question in line of proof for first isomorphism theorem

Let $\phi: G_1 \to G_2$ be a group homomorphism. Let $\ker \left({\phi}\right)$ be the kernel of $\phi$. Then: $\operatorname {Im} \left({\phi}\right) \cong G_1 / \ker ...