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)

0
votes
1answer
26 views

Suppose that $n$ divides $m$ and that $a$ is an idempotent of $Z_n$. Show that the mapping $x \rightarrow ax$ is a ring homomorphism

Suppose that $n$ divides $m$ and that $a$ is an idempotent of $Z_n$. Show that the mapping $x \rightarrow ax$ is a ring homomorphism Attempt: Let $\Phi: Z_m \rightarrow Z_n$ be a ring homomorphism ...
1
vote
0answers
64 views

Ideals of $\Bbb Z/p^2q\Bbb Z$

Let $p,q$ be distinct primes. Then $\mathbb{Z}/p^2q\mathbb{Z}$ has 3 distinct ideals. $\mathbb{Z}/p^2q\mathbb{Z}$ has 3 distinct prime ideals. $\mathbb{Z}/p^2q\mathbb{Z}$ has 2 distinct prime ...
0
votes
1answer
40 views

Show that if M, N are non-zero commutative rings, then M×N always has zero divisors, and is not an integral domain or a field.

Show that if M, N are non-zero commutative rings, then M×N always has zero divisors, and is not an integral domain or a field. How do I do this?!
1
vote
2answers
41 views

Prove that the field of quotients of an integral domain $D$ is the smallest field containing $D$. . My Attempt Shown

Let $D$ be an integral domain and let $F$ be the field of quotients of $D$. Show that if $E$ is any field that contains $D$, then, $E$ contains a sub field that is ring isomorphic to $F$. Hence, the ...
0
votes
2answers
67 views

We have a map $g : \mathbb{Z}/24\mathbb{Z} → \mathbb{Z}/6\mathbb{Z} \times \mathbb{Z}/4\mathbb{Z} $. What is the kernel of $g$?

We have a map $g : \mathbb{Z}/24\mathbb{Z} → \mathbb{Z}/6\mathbb{Z} \times \mathbb{Z}/4\mathbb{Z}$ given by $g(x+24\mathbb{Z}) = (x + 6\mathbb{Z}, x + 4\mathbb{Z})$. What is the kernel of $g $? In ...
1
vote
2answers
34 views

Let $F$ be a field. Show that the field of quotients of $F$ is ring isomorphic to $F$. My Attempt Shown

Let $F$ be a field. Show that the field of quotients of $F$ is ring isomorphic to $F$. Attempt: Let $F'$ be the field of Quotients of the field $F$. Let $\Phi:F \rightarrow F'$ such that ...
3
votes
2answers
2k views

Show that every group of prime order is cyclic

Show that every group of prime order is cyclic. I was given this problem for homework and I am not sure where to start. I know a solution using Lagrange's theorem, but we have not proven ...
1
vote
1answer
21 views

Extensions of nonarchimedean valuations

This is a question from Janusz 'Algebraic Number Theory'. Let $R$ be a DVR with maximal ideal $\mathfrak p=\pi R$. Let $K$ be the quotient field of $R$ and $\mid\cdot\mid_{\mathfrak p}$ the ...
2
votes
0answers
76 views

Why is Grassman integration so weird?

Why are Grassman integration and differentiation equivalent? The only justification of this definition I have ever scene is "Well, how else could it work?" Indeed, I don't have any other suggestions, ...
2
votes
0answers
66 views

Groups such that all elements of even order are in $G'$

We know that $G=A_4$ is a group such that all elements of even order in $G$ are in $G':=[G,G]= V_4$, the klein four group. Are there other examples or classes of groups where all elements of even ...
1
vote
1answer
51 views

How $+\infty$ is identity element for min operation

Studying this case study on GPU based min reduction. In the code it says: ...
1
vote
2answers
224 views

index of the center of a group in the group is not a prime number

The question is to prove index of $Z(G)$ in $G$ is not a prime number. We know that $|G:Z(G)|=|G:C_G (x)||C_G (x):Z(G)|$ ($C_G (x)$ means centralizer of $x \in G$) I want to mention that we do not ...
12
votes
1answer
230 views

Semialgebraic conditions that convey properties of Galois group

Let $f \in \mathbb{Z}[x]$ be a polynomial of degree $n$ with integer coefficients and let $G_f$ be the Galois group of $f$ over $\mathbb{Q}$. I am trying to collect results that convey some ...
1
vote
2answers
55 views

Why is tensor product of linear maps defined as $(S\otimes T)(v\otimes w)=S(v)\otimes T(w)$?

In my understanding, the definition of tensor product of linear maps cannot be directly derived from the definition of tensor product of vector spaces (or modules), since it's not clear what is the ...
0
votes
0answers
15 views

Prove that both $R_p$ and $R^p$ are abelian groups under ordinary addition of rationals.

Q: Let $p$ be a fixed prime. Let $R_p$ be the set of all those rational numbers whose denominator is relatively prime to $p$. Let $R^p$ be the set of rationals whose denominator is a power of $p\ ...
2
votes
1answer
421 views

Why is such an ideal ambiguous?

Suppose I have an $R$-ideal $I$ with $$I=(1-\zeta)^n XR$$ with $R=\mathbb{Z}[\zeta]$, $\zeta$ a primitive $p$-th root, $X$ an ideal in the integral closure of $\mathbb{Z}$ in $\mathbb{Q}[\zeta + ...
2
votes
1answer
56 views

Write cyclic groups of order $p^n$ in terms of simple groups

Some say that studying simple groups helps you understand the structure of non-simple groups. How can I write in terms of simple groups $\mathbb{Z}_{p^n}$? Eg. $\mathbb{Z}_9$
0
votes
1answer
22 views

$m=17 \cdot 23 = 391$. With an exponent $e=3$ and encrypted word is $c=21$. Decrpyting exponent $d=235$. Find $w$.

Say $m=17 \cdot 23 = 391$. With an exponent $e=3$ and encrypted word is $c=21$. Decrpyting exponent $d=235$. Find $w$, when $w \equiv c^{d} \pmod{m}$. So far I have split it up like this: ...
1
vote
1answer
26 views

Prove Basis for symmetric matrix.

**Let V be the vector subspace of M$_{2}$ ($\mathbb{R})$ consisting of all symmetric matrices, That is A$^{t}$ = A. 1) Show that $\clubsuit$= $\left\{ \left(\begin{array}{cc} 1 & -2\\ -2 & 1 ...
2
votes
1answer
46 views

Conceptual Question on different representations of Hyperplanes, Higher Standpoint, Coordinate-free

In a vector space $V$ over some field $F$ a hyperplane is the kernel of some linear transformation $T : V \to F$, i.e. the kernel of an element of the dual space (this could be taken as the definition ...
0
votes
1answer
54 views

How is $\text{End}(M)$ a ring?

Let $G$ be an abelian group. I am told that $\text{End}(M)$ forms a ring. I don't see how that is. The property that I am having difficulty proving is that if $f,g\in \text{End}(M)$, then $f+g\in ...
4
votes
1answer
80 views

Find intermediate fields of $\mathbb{Q}(\sqrt[3]{2}, \sqrt{3},i) \, | \, \mathbb{Q}(i)$

This is the problem I am facing: Compute the intermediate fields of the extension $K | \mathbb{Q}(i)$ where $K = \mathbb{Q}(\sqrt[3]{2}, \sqrt{3},i)$ and find the intermediate fields $M$ such ...
-1
votes
1answer
31 views

Finding linear map given a condition.

Given that $T:\mathbb{R}^{2}\to\mathbb{R}^{2}$ is linear and $T(3,2) =(4,6)$ and $T (2,3) =(1,-1)$ ,how can I find $T (4,3)$ ?.
1
vote
1answer
56 views

Why does a p-subgroup of a group have to lie inside the normalizer of a p-sylow subgroup?

Prove that a p-subgroup is always contained within a p-sylow subgroup of a group $G$. Lang's Algebra mentions this fact on pg 35. However, he starts the proof by assuming that every p-subgroup at ...
-1
votes
1answer
41 views

Prove that the cyclic group of order 3 is a group with a proof and justification [closed]

I have the Cayley table. Just need help proving why it is cyclic. The operation on G = {e; x; x2} (which I'll denote as o) is a binary operation, which is to say for a, b ∈ G , a o b ∈ G . The ...
5
votes
1answer
53 views

Ext functor commutes with connecting homomorphisms?

Suppose we have an exact sequence $0 \to L \to M \to N \to 0$ and a morphism $f \colon A \to B$ of $R$-modules. If $\delta \colon \text{Ext}^{i}_{R}(B,N) \to \text{Ext}^{i+1}_{R}(B,L)$ and $\delta' ...
0
votes
2answers
39 views

Every Artinian ring is isomorphic to a finite direct product of Artinian local rings

I was reading a proof of the above theorem (1.6.7 Theorem) from here, but there was something that confused me. The proof says $R$ has finitely many maximal ideals $M_1, \ldots ,M_r$, and the ...
3
votes
3answers
96 views

Is it possible to describe $Q(x)$ as the extension field of $R$ freely generated by $\{x\}$?

Given an integral domain $R$, the polynomial ring $R[x]$ can be defined as the commutative $R$-algebra freely generated by $\{x\}$. Also, let $Q$ denote the field of fractions associated to $R$. Then ...
1
vote
1answer
38 views

Distributive lattices and Birkhoff theorem

I am trying to prove the teorem (Birkhoff) $L$ is a nondistributive lattice iff $M_5$ or $N_5$ can be embedded into $L$ The only part of the proof which I can't understand is this (I am copying from ...
3
votes
0answers
28 views

Tensor product of $A_n$ modules/ localisation at ring of differentials

I'm working through Coutinho's "A Primer of Algebraic D-Modules" and I've gotten stuck on the following question: Let $p \in K[x_1, \ldots ,x_n]$ be non-zero, and let $A_n$ be the Weyl Algebra. Show ...
1
vote
2answers
41 views

Prove that the relation given by $a\sim b\Leftrightarrow a-b\in\mathbb{Z}$ is a congruence relation on the additive group $\mathbb{Q}$.

Q: Prove that the relation given by $a\sim b\Leftrightarrow a-b\in\mathbb{Z}$ is a congruence relation on the additive group $\mathbb{Q}$. A: Maybe... $a\sim a\Leftrightarrow a-a=0\in \mathbb{Z}$ ...
2
votes
2answers
148 views

Show that $\mathbb{Z}_p\setminus\{\overline{0}\}$ is not a group if $p$ is not prime.

The answer is too short that I think I've gone wrong at some point! Q: If $p$ is prime, then the nonzero elements of $\mathbb{Z}_p$ form a group of order $p-1$ under multiplication. Show that this ...
0
votes
0answers
28 views

divisors eqivalence and Picard group

I have a Lemma which I understand until a certain point. It claims that if E is an elliptic curve and $P,Q \in E$, than $\exists R\in E:P+Q\sim R+\theta$, where $\theta$ is the point at infinity. To ...
2
votes
1answer
292 views

Determine the maximal ideals of the rings $\mathbb{C}[X]$, $\mathbb{R}[X]/(X^2)$, $\mathbb{R}[X]/(X^2+1)$, $\mathbb{C}[X]/(X^2+1)$

I am trying to determine the maximal ideals in the following rings: 1. $\mathbb{C}[X]$ 2. $\mathbb{R}[X]/(X^2)$ 3. $\mathbb{R}[X]/(X^2+1)$ 4. $\mathbb{C}[X]/(X^2+1)$ By reasoning as follows: An ...
3
votes
2answers
1k views

How do I find a splitting field $x^8-3$ over $\mathbb{Q}$?

Here's the situation. I am in this algebra class, and so far we have defined splitting fields and proved their existence and uniqueness. We have not yet decided on any rigorous definition of complex ...
3
votes
1answer
50 views

Hom and $\otimes$ functors on chain complexes.

I can't solve the exercise $2.7.3$ from Weibel's book "An Introduction to homological algebra": Let $P,Q$ be right and left $R$-module chain complexes, $I$ be a cochain complex of abelian groups. ...
2
votes
2answers
57 views

Why do 42 and 30 have the same structure in the diagramm of Hasse?

I have an exam coming up tomorrow and there's just one more question more to prepare. I would be so gratefull if anyone could help. It´s about the relations of dividers. By the help of the diagram of ...
0
votes
0answers
61 views

Algebraic constructions to add a real to a sub-group of $\langle \mathbb{R}^+,.\rangle$

Consider the group $\langle \mathbb{R}^+,.\rangle$ and let $r$ be a real number (e.g. $r=\sqrt{2}$). I would like to know about all known algebraic constructions to build a sub-group of $\langle ...
0
votes
0answers
26 views

Proper terminology for a pair of magmas

Given two magmas, call them $f$ and $g$ over the same set $a$, what do I call a tuple $h$ of them? With extra properties we call them such names as fields and rings. I am just looking for the generic ...
4
votes
0answers
95 views

Does this arithmetic operation have a name

I've came across the following product-like operation on reals $$ a\times b:=1 - (1-a)(1-b). $$ This operation is commutative, associative and has $1$ as a zero element and $0$ as a unit element: $$ ...
0
votes
2answers
77 views

Injective modules and ring homomorphisms

If there is a ring homomorphism $A\rightarrow B$ and if $Q$ is an injective $A$-module, is it true that $Q\otimes_A B$ is an injective $B$-module? I don't think it's true but can't think of a ...
9
votes
1answer
146 views

$\mathbb{Q}(i)$ has no unramified extensions

It is a classical result that every extension of $\mathbb{Q}$ is ramified. Put differently: there are no unramified extensions of $\mathbb{Q}$. The classical proof follows from the following two ...
5
votes
1answer
99 views

Units of $\mathbb{Z}[\sqrt[4]2]$

How would one compute the units in $\mathbb{Z}[\sqrt[4]2]$? According to one source, it can be shown that the fundamental units are $1 + \sqrt[4]2$ and $1 + \sqrt{2}$, but it does not specify the ...
1
vote
2answers
36 views

modulo group defined by an algebraic relation

I am asked if $\{n, n^{2}, n^{3}\}$ forms a group under multiplication modulo $m$ where $m = n + n^{2} + n^{3}.$ As an example we see that $\{2, 4, 8\}$ does form a group modulo $14,$ with identity ...
2
votes
1answer
33 views

Submodules of semi-simple modules

Let $R$ be a ring (with unity, not necessarily commutative) and let $P$ be an irreducible $R$-module. Let $$M=\bigoplus_{i=1}^r P$$ be a direct sum of $r$ copies of $P$, for some $r\geq 1$. Then, $M$ ...
2
votes
2answers
53 views

What is the name of this operator property, when the result of operation is one of the operands?

What is the name of this property when $ (\bigotimes_{a \in A} a ) \in A $ that is the operator selects a member of A. Examples are min, max and median operators on ordered sets. It seems to be ...
2
votes
3answers
186 views

Example of a commutative ring that is Artinian but not Noetherian

I want to give an example of a commutative ring that is Artinian but not Noetherian. Is there any examples not very difficult? I considered the ring $\mathbb{Z}+x\mathbb{Q}[x]$. It is not ...
1
vote
1answer
55 views

exact sequence problem

Let $B_1 \stackrel{f}{\to} B \stackrel{g}{\to} B_2 \to 0$ be an exact sequence. For any module $M$ the sequence $$0 \to \mbox{Hom}(B_2,M) \stackrel{g*}{\to} \mbox{Hom}(B,M) \stackrel{f*}{\to} ...
4
votes
2answers
205 views

Characterize the commutative rings with trivial group of units

This question suggested me the following: Characterize the commutative unitary rings $R$ with trivial group of units, that is, $R^{\times}=\{1\}$. The local case was solved here long time ago ...