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
4answers
149 views

there is no injective group homomorphism from $\mathbb Z\times\mathbb Z$ into $\mathbb Z$

there is no injective group homomorphism from $\mathbb Z\times\mathbb Z$ into $\mathbb Z$ But i don't know why it is true. should i investigate all group homomorphisms from $\mathbb Z\times\mathbb ...
0
votes
1answer
45 views

Group theory problem

I am asked to prove "Show that if $${e}<H_1<H_2<...<H_{n-1}<G$$ Is a subnormal series for a group G, and if the order of $H_{i+1}/H_i=s_{i+1}$, then G is of order $s_1 ...
2
votes
0answers
34 views

Commutative Cancellative Semigroup: When is an irreducible element prime?

Suppose $(S,\cdot)$ is a semigroup with neutral element $e$ (i.e. $xe=ex=x$ for all $x\in S$) and the following properties: S is commutative: $xy=yx$. S is cancellative: $xy = xz$ implies $y = z$. ...
1
vote
0answers
24 views

The definition of the right regular representation

I'm having difficulties understanding the definition of the right regular representation as it appears in Dummit & Foote's Abstract Algebra text. On page 132 it says Let $\pi:G \to S_G$ be the ...
5
votes
0answers
36 views

Involutions of the second type in a division algebra

I'm trying to figure out some details about involutions of division algebra, thought maybe someone here might have a better insight. Let $k$ be a $p$-adic or number field, and let ...
4
votes
2answers
40 views

Why is an extension $\bar \phi : F(x) \rightarrow F(a)$ an isomorphism if $\phi : F[x] \to F(a)$ is injective?

Why is $\bar \phi : F(x) \rightarrow F(a)$ an isomorphism given $\phi : F[x] \rightarrow F(a)$ satisfy $\ker \phi = \{0\}$ ? I've been trying to figure out why $\bar \phi$ is an isomorphism, and ...
-4
votes
3answers
89 views

What is the cardinality of free product $\mathbb{Z} * \mathbb{Z}$? [closed]

I want to know cardinality of $\mathbb{Z} * \mathbb{Z}$. Is it countable? or uncountable?
7
votes
4answers
268 views

The largest integer less than $n$ is $n-1$

Let $n$ be a positive integer. Prove that the largest integer which is less than $n$ is $n-1$. Attempt of a solution: Since $n$ is a positive integer $n>0$. I think I have to use the well-ordering ...
1
vote
0answers
38 views

Show that an algebra is a linear algebraic subgroup in $GL(A)$, $A$ being a finite dimensional algebra over $\mathbb C$

Let $A$ be finite dimensional algebra over $\mathbb C$ with unit 1. Let $G$ be the set of all $g \in A$ such that $g$ is invertible in $A$. For $z \in A$ let $L_a \in$ End$(A)$ be the operator of left ...
1
vote
2answers
79 views

Suppose that R is a commutative ring with unity such that for each $a$ in $R$ there is an integer $n > 1\mid a^n =a$. Every prime ideal is maximal?

Suppose that R is a commutative ring with unity such that for each $a$ in $R$ there is a positive integer $n > 1$ such that $a^n =a$. Prove that every prime ideal of $R$ is a maximal ideal of R. ...
1
vote
1answer
45 views

Localizations of $ \mathbb{Z}_{p^k}$

Let $S \subseteq \mathbb{Z}_{p^k} $ be a multiplicative subset, where $p$ is a prime number, $k$ an integer. Is it true that $$S^{-1} \mathbb{Z}_{p^k} \cong \mathbb{Z} /n\mathbb{Z} $$ for some ...
2
votes
1answer
32 views

For a group $G$ acting transitively, is $G_{\alpha}$ contained in stabilizer of some block $\Delta$ if $\alpha \in \Delta$?

This question refers to permutation groups, in particular the primitive ones, and block systems. Let $G$ be a finite group acting on a set $\Omega$, and consider some partition $\Delta_1 \cup \ldots ...
0
votes
2answers
34 views

Projections $P$ and $Q$ such that $I-(P+Q)$ is invertible.

Let $P,Q$ be endomorphisms of a finite dimensional linear space, such that $P^2 = P$ and $Q^2 = Q$. If $I-(P+Q)$ is invertible, then $P$ and $Q$ has the same rank. The solution is that $rk(P) = ...
4
votes
2answers
105 views

A normal subgroup problem

Let $G$ be a group in which, for some integer $n>1$, $(ab)^{n}=a^{n}b^{n}$ for all $a,b \in G$. Show that $G^{(n)}=\{x^{n} \mid x \in G\}$ is a normal subgroup of $G$. $G$ could be easily ...
3
votes
1answer
34 views

Showing two numbers are relatively prime in number fields

Solve $x^3-2=y^2$ in integers. The standard way to solve this problem is to consider the arithmetic of the ring of algebraic integers $\mathcal{O}_{\mathbb{Q}(\sqrt{-2})}$ and to show that ...
1
vote
1answer
51 views

Is an algebra the smallest one generated by a certain subset of it?

Let $X$ be a completely regular topological space and let $BC(X)$ denote the space of bounded continuous complex-valued functions on it. Also, let $C(X,[0,1])$ be the set of continuous functions on ...
6
votes
0answers
108 views

Category Theory textbook (learning through guided discovery Dummit and Foote)

sorry for asking the same question in a slightly different angle, I want a book in Category Theory similar to Dummit and Foote's book in Abstract Algebra. I want it to have tons of examples and ...
0
votes
1answer
24 views

A cyclotomic extension of a finite field generate algebraic closure?

Excuse me, I have a question. Let $k$ be a finite field of characteristic $p.$ Let $k^a$ be its algebraic closure. Let $A$ be the elements $x$ of $k^a$ such that $x^m=1$ for some $m$ where we take ...
1
vote
1answer
26 views

$k[x_1,\dots,x_n]/\frak{a}$ is an $k$-algebra of finite type?

Let $k$ be a field and $\frak{a}$$\subset k[x_1,\dots,a_n]$ be an ideal. Can someone explain to me why $k[x_1,\dots,x_n]/\frak{a}$ is an $k$-algebra of finite type?
0
votes
2answers
52 views

Simple extension fields

If I am correct simple extension fields are extensions generated by one element. I have learned that this means that elements of a simple extension can be written as powers of that element as long as ...
1
vote
1answer
46 views

How to show this is the minimal polynomial

I'm trying to the following problem. But I can't show some irreducibility of the polynomials. Put $L=\mathbb{C}(X,Y,Z)$, $\omega=\frac{-1+\sqrt{-3}}{2}$. Define two automorphism $\sigma, \tau$ of ...
3
votes
3answers
148 views

Basic Group Theory question

This is not so much a plea of ignorance, but rather me trying to see whether intuitively I actually understand what is going on in group theory. The question asks What group is ...
2
votes
3answers
50 views

In a principal ideal domain, prove that every non trivial prime ideal is a maximal ideal. What could be wrong in this approach?

In a principal ideal domain, prove that every non trivial prime ideal is a maximal ideal Attempt: Let $R$ be the principal ideal domain. A principal ideal domain $R$ is an integral domain in which ...
4
votes
1answer
70 views

$\mbox{Im }A\oplus \ker A^t = V$

Let $A:V\to V$ be an endomorphism of a finite dimensional linear space. It's easy to see that $\mbox{Im }A\cap \ker A^t = 0$. Because if $w = Av\in \ker A^t$, then $0 = \langle A^tAv,v\rangle = ...
4
votes
3answers
69 views

Non-isomorphic algebraic structures such that each surjects homomorphically onto the other

Off the top of my head, I cannot think of any algebraic structures $X$ and $Y$ such that each surjects homomorphically onto the other, yet $X$ and $Y$ are non-isomorphic. What are some examples of ...
0
votes
1answer
37 views

Suppose that $I$ is an ideal of $J$ and that $J$ is an ideal of $R$. prove that if $I$ has a unity then $I$ is an ideal of $R$

Suppose that $I$ is an ideal of $J$ and that $J$ is an ideal of $R$. prove that if $I$ has a unity then $I$ is an ideal of $R$ Attempt: Given that $I$ is an ideal of $J$ which means : ...
1
vote
0answers
41 views

Orientability in algebraic setting

I have the following (it can be very silly) question. Suppose I have a commutative algebra $A$ over a field $k$ of $char(k)=0$ which defines a $n$-dimensional smooth variety $X=Spec(A)$. What ...
2
votes
1answer
33 views

Need help with this exercise about real division algebra

I am trying to solve the following exrcise: Prove that complex multiplication does not extend to a multiplication on $\mathbb R^3$ so as to make $\mathbb R^3$ into a real division algebra. I ...
1
vote
0answers
31 views

identifying $\mathbb H$$^n$ with $\mathbb C^{2n}$

Let $X \in M_n(\mathbb H)$ (Hermetian field). It is possible to make $\mathbb H$$^n$ into a $2n$-dimensional vector space over $\mathbb C$, for example, by embedding $\mathbb C$ into $\mathbb H$ as ...
1
vote
1answer
42 views

Show for each $c$, $\{x + c \Bbb Z \in \Bbb Z/c\Bbb Z\mid x^{c−1} \equiv 1 \pmod c\}$ is an abelian group under multiplication of congruence classes

Show for each $c$, the set $$\{x + c \Bbb Z \in \Bbb Z/c\Bbb Z\mid x^{c−1} \equiv 1 \pmod c\}$$ is an abelian group under multiplication of congruence classes.
3
votes
1answer
30 views

Terminology on algebra.

In Probability textbook, algebra usually defined as follows: A collection $\Sigma_0$ of subsets of $S$ is called an algebra on $S$ if $S \in \Sigma_0$ $F\in \Sigma_0 \Rightarrow F^c \in \Sigma_0$ ...
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$ ...
3
votes
0answers
21 views

Localization and Direct limit [duplicate]

Let $ A $ be a ring. Let $ I $ be a preordered set, filtering. Let $ \Sigma $ a multiplicative subset of $ A $. Suppose for any given $ i \in I $ a multiplicative subset $ S_i $ of $ A $ contained ...
0
votes
0answers
37 views

Generalizations of functions

I'm trying to collection examples of mathematical entities that are generalizations of functions. The use of the word "generalization" here doesn't need to be strict, as in every function is an $X$ ...
3
votes
0answers
69 views

Automorphism of certain f.g. free modules

This is a quick question from Frohlich and Taylor's Algebraic Number Theory, II.4, p 94. Let $R$ be a Dedekind domain with quotient field $K$, $\mathfrak p$ is a non-zero prime ideal of $R$ and ...
2
votes
0answers
31 views

Hochschild cohomology of skew polynomial rings

Definition The skew polynomial algebra over $\mathbb{C}$ is defined as $\mathbb{C}\langle x,y\rangle/(xy-yx+x)$ or alternatively as $\mathbb{C}[x,y,\sigma]$, where $\sigma$ is the automorphism on ...
0
votes
1answer
45 views

generators of groups from exact sequence

Suppose I have a middle term exact sequence of finitely generated abelian groups $G \longrightarrow H \longrightarrow K$. How do I get the generators of $H$ if I know the same for other two groups?
4
votes
1answer
58 views
+100

Is there a finite non-solvable group which is $p$-solvable for every odd $p\in\pi(G)$?

Let $G$ be a finite non-solvable group and let $\pi(G)$ be the set of prime divisors of order of $G$. Can we say that there is $r \in \pi(G)-\{2\}$ such that $G$ is not a $r$-solvable group?
13
votes
2answers
246 views

Quotient of polynomials, PID but not Euclidean domain?

While trying to look up examples of PIDs that are not Euclidean domains, I found a statement (without reference) on the Euclidean domain page of Wikipedia that $$\mathbb{R}[X,Y]/(X^2+Y^2+1)$$ is ...
1
vote
1answer
53 views

Star in Serre duality

Why is there a dual bundle in Serre duality? Let $\mathcal E$ be a vector bundle over complex manifold $X$, without any metric anywhere, then one has a pairing $$(\Omega^{0,q} \otimes \mathcal E) ...
0
votes
1answer
62 views

A question on the dual relationship between the regressive product and the exterior product

I am trying to understand the following sentence, which I came across in a book: The underlying beauty of the Ausdehnungslehre is due to this symmetry [the duality between the regressive and ...
2
votes
1answer
30 views

The minimum size of generating set of the external direct product

I have seen the following theorem here: Suppose that $A$ and $B$ are finite groups whose orders are relatively prime to each other, and the minimum size of generating set (i.e., the smallest ...
2
votes
1answer
57 views

How many elements of order 4 does $S_6$ have?

I am trying to count the number of elements of order 4 in $S_6,$ but my answer is not matching the one in the back of the book. Here's my attempt: Such elements are either of the form $(6543)(21)$ ...
2
votes
1answer
85 views

Radical Solvable quintic polynomial.

I am trying to solve the following exercise: Let $k$ be a field of characteristic 0, and let $f(x)\in k[x]$ be a polynomial of degree 5 with splitting field $E/k$. Prove that $f(x)$ is ...
2
votes
3answers
102 views

a second course in abstract algebra

I recently read an abstract algebra textbook, "A first course in abstract algebra" by John Fraleigh. I am interested in continuing to do some more self studying. What is a good book for a second ...
1
vote
1answer
60 views

alternate proof of the fundamental theorem of algebra

I was reading over my notes from complex analysis and saw the fundamental theorem of algebra which states that: A polynomial of positive degree over a field $\mathbb{C}$ of complex numbers has a ...
1
vote
1answer
30 views

Basis for the completion of a free module

This (or similar) question might have been asked before- apologies for any duplication. I've got a Dedekind domain $R$, a non-zero prime ideal $P$ of $R$ and the completion $\widehat{R}$ of $R$ wrt ...
1
vote
1answer
106 views

Localization and direct limit

Let $ A $ be a ring. Let $ I $ be a preordered set, filtering. Let $ \Sigma $ a multiplicative subset of $ A $. Suppose for any given $ i \in I $ a multiplicative subset $ S_i $ of $ A $ contained ...
0
votes
1answer
25 views

Show that $I(a,b)=I(a',b')$

Please help me to solve this problem: "Let $a,b,a',b',m,n,r,s$ be integers such that $m.s-n.r=1$ or $m.s-n.r=-1$, $a'=m.a+n.b$ and $b´=r.a+s.b$. Show that $I(a,b)=I(a',b')$, where $I$ is the symbol ...
1
vote
1answer
41 views

If $A\ne 0$ is a square matrix over a commutative ring with $\det A=0$, then its null space contains an element whose components are minors of $A$

Let $R$ denote a commutative ring and $A\ne 0$ a $n\times n$ matrix over $R$ with $\det A=0$. Then there exists a $x\in\ker A\setminus\left\{0\right\}$ such that all components of $x$ are minors of ...