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

On Weisner Method

I read in chapter 2 "Weisner Method" in the book "Obtaining Generating Functions" by Elna Browning McBride In Sec 5" The extended form of the group generated by B and C " I did not understand ...
5
votes
1answer
26 views

Classification of all conjugacy classes of $GL_2(\mathbb{R})$, $GL_2(\mathbb{Q})$.

Give a classification of all conjugacy classes in the following groups. $GL_2(\mathbb{R})$ $GL_2(\mathbb{Q})$ My progress so far. If the characteristic polynomial splits, the matrix ...
1
vote
1answer
10 views

prove unique minimal normal subgroup of soluble group by $ P_{G}(M) > M $

Let $ G $ be a soluble group. If $ P_{G}(M) = \langle y\in G | \langle y \rangle M = M\langle y \rangle \rangle > M $for any subgroup $ M $ of prime power index in $ G $, then every chief factor ...
4
votes
0answers
7 views

$\mathbb{C}\{X\}^\chi$ a $G$-stable subspace of $\mathbb{C}\{X\}$?

Let $\mathbb{F}$ be a finite field with $q$ elements, and let $G = SL_2(\mathbb{F})$. The group $G$ acts on the set $X := \mathbb{F}^2 \setminus \{0\}$, the complement of the origin. For any group ...
1
vote
2answers
18 views

$(a,b) \mathbin\# (c,d)=(a+c,b+d)$ and $(a,b) \mathbin\&(c,d)=(ac-bd(r^2+s^2), ad+bc+2rbd)$. Multiplicative inverse?

Let $r\in \mathbb{R}$ and let $0\neq s \in \mathbb{R}$. Define operations $\#$ and $\&$ on $\mathbb{R}$ x $\mathbb{R}$ by $(a,b) \mathbin\#(c,d)=(a+c,b+d)$ and $(a,b) ...
3
votes
0answers
41 views

A quick Galois Theory question

Let $\mathbb{F}_q$ be a finite field of order $q$ where $q$ is a prime power. For any $d \in \mathbb{N},$ we have an inclusion $\mathbb{F}_{q^d} \subseteq \overline{\mathbb{F}}_q.$ Both ...
2
votes
0answers
38 views

Find a polynomial equation satisfied by $\phi$

I'm solving the following exercise from my class notes: Let $A=k[x^2,y^2]$ and let $M=k[x^2,xy,y^2]$ ($k$ a field). Show that $M$ is an $A$-module. Define $ \phi :M \to M$ by $\phi(m)=xym$. Find ...
5
votes
2answers
54 views

Number of matrices $A \in M_n(\mathbb{F}_q)$ where $A^2 = 0$.

What is the number of matrices $A \in M_n(\mathbb{F}_q)$ for which $A^2 = 0$ (as a function of $n$ and $q$)?
4
votes
1answer
49 views

Is there a “unique factorization theorem” for finite groups?

Sometimes it is difficult for me to understand what a group seems like. For example, the dihedral group $D_5$ is easy to visualise when I think it of as a "product" of two cyclic groups $C_2$ and ...
3
votes
4answers
41 views

Prove that $R$ is an integral domain $\Leftrightarrow$ $R[x]$ is an integral domain

Here is an exercise(p.129, ex.1.15) from Algebra: Chapter 0 by P.Aluffi. Prove that $R[x]$ is an integral domain if and only if $R$ is an integral domain. The implication part makes no problems, ...
2
votes
2answers
36 views

Is $V$ a simple $\text{End}_kV$-module?

Let $V$ be a finite-dimensional vector space over $k$ and $A = \text{End}_k V$. Is $V$ a simple $A$-module?
3
votes
0answers
21 views

Injective hull of a simple module

Let $M$ be an indecomposable injective right module over a right Artinian ring $R$, so $M$ has exactly one associated prime ideal $P$ (Lectures on Modules and Rings, T.Y. Lam). Now, $R/P$ is a simple ...
1
vote
0answers
39 views

Show that $k[x,y]/(xy-1)$ is not isomorphic to a polynomial ring in one variable. [duplicate]

Let $R=k[x,y]$ be a polynomial ring ($k$, of course, is a field). Show that $R/(xy-1)$ is not isomorphic to a polynomial ring in one variable. I can see that the polynomial $x+y$ is in ...
3
votes
1answer
32 views

$ S_{4} $ has a sylow tower?

A group having a Sylow tower is a finite group that possesses a Sylow tower: a normal series such that the successive quotient groups of the normal series all have orders that are powers of primes, ...
3
votes
1answer
26 views

Prove $v,w\in Z_{p}\times Z_{p}$ is linearly independent when $p=2$ and dependent when $p=3$

I need to prove that $\{v=(6,9),w=(7,8)\}\in Z_{p}\times Z_{p}$ is linearly independent when $p=2$ and linearly dependent when $p=3$. The problem is my freshman algebra course did not cover rings and ...
1
vote
0answers
25 views

Largest algebra in a vector space

Let $V$ be a vector space and let $C$ be a subset of $V$ that is closed under a bilinear operator $\langle \cdot, \cdot \rangle: V \times V \rightarrow V$. Let $A \subset V$ be an algebra containing ...
0
votes
0answers
48 views

Irreducible polynomials over the field $\mathbb{Z}_3[x]/\left\langle x^2+1\right\rangle$ [on hold]

We wish to find all the irreducible polynomials over the field $\mathbb{Z}_3[x]/\left\langle x^2+1\right\rangle$. I came across this problem in my course on advanced algebra. I have little knowledge ...
0
votes
0answers
11 views

Determining a lower bound on the order of a group based on its presentation

I am reading Abstract Algebra book by Dummit and Foote (3-rd edition). On pages 26-27 they define a dihedral group: $D_{2n} = \langle r,s | r^n = s^2 = 1, rs = sr^{-1} \rangle$ The authors ...
1
vote
0answers
22 views

Quiver algebra as a wreath product?

I'm having trouble understanding a definition of a quiver Hecke algebra. Suppose $k$ is a commutative ring, and $\Omega$ a finite set. We build a quiver $Q_{\Omega,n}$ with vertex set $\Omega^n$. ...
0
votes
0answers
30 views

Show that for each $\alpha \in \mathbb{F}_{q}$ there are $q^{m-1}$ elements $\beta$ in $\mathbb{F}_{q^{m}}$ such that $Tr(\beta) = \alpha$

Show that for each $\alpha \in \mathbb{F}_{q}$ there are $q^{m-1}$ elements $\beta$ in $\mathbb{F}_{q^{m}}$ such that $Tr(\beta) = \alpha$ I am trying to solve this question which looks like to be ...
-2
votes
0answers
27 views

Commutative rings and zero divisors [on hold]

If the ring R is commutative and a belongs to R is not a zero divisor, show that the principal ideal of all multiples of a is a free R-module on one generator.
0
votes
0answers
33 views

Definition of an exponential polynomial

From Wikipedia: For formal exponential polynomials over a field $K$ we proceed as follows. Let $W$ be a finitely generated $Z$-submodule of $K$ and consider finite sums of the form ...
0
votes
0answers
16 views

An equality for commuting endomorphisms

Suppose $f,g$ are injective endomorphism of abelian group $M$ and $f\circ g=g\circ f$,is it true that $$\left(f^{-1}(g(M))+g(M)\right)/g(M)\cong \left(g^{-1}(f(M))+f(M)\right)/f(M)?$$
3
votes
2answers
21 views

Why is the arrow ideal $R_Q$ of a finite, connected, acyclic quiver $Q$ equal to the Jacobson radical?

If $Q$ is a finite, connected, acyclic quiver, why does the arrow ideal $R_Q$ equal the Jacboson radical $J$ of the quiver algebra $k(Q)$? It comes up in showing that the quotient $k(Q)/R_Q$ is a ...
1
vote
1answer
23 views

Can the order on an ordered, cancellative monoid be extended to its Grothendieck group?

Suppose we have an ordered, cancellative monoid and we wish to apply the Grothendieck group construction to it. Can the total order be extended to the larger group? Example: consider the ordered ...
-4
votes
1answer
54 views

I need this book by Michael Weinstein, Between nilpotent and solvable [on hold]

I need this book by Michael Weinstein, Between nilpotent and solvable. I live in iran and i can't find this book. Please help me.
2
votes
0answers
38 views

$ p $ the largest prime factor of $ \vert G \vert $. I show if $ p > 3 $ and $ P \in Syl_{p}(G) $ then $ P \unlhd G $.

Let $ G $ be a soluble group, $ p $ the largest prime factor of $ \vert G \vert $. I show if $ p > 3 $ for prime $ p $ and $ P \in Syl_{p}(G) $ then $ P \unlhd G $. For proof i employ the ...
2
votes
2answers
39 views

about a maximal normal subgroup of a $p$ group.

i'm studying bhattacharya's basic algebra. it introduces the concept of the group action in chapter 4 and proves the class equation. and derives simple properties of $p$ group using the equation. the ...
0
votes
1answer
29 views

Finding all homomorphisms [duplicate]

How can I solve this question Find all group homomorphisms from $\mathbb{Z_{5}}$ into $\mathbb{Z_{12}^{x}}$?
4
votes
1answer
29 views

Dimension of algebra over $\mathbb{C}$. [on hold]

Let $n \ge 2$, and let $A$ be the (unital and asociative, but noncommutative) $\mathbb{C}$-algebra with generators $x_1, \dots, x_n$ and relations $x_ix_j + x_j x_i = 2\delta_{ij}$. What is the ...
0
votes
2answers
38 views

Finding ring isomorphisms

Let $A$ be a ring with $0\neq 1$ such that $x^4=1, \forall x\in A$, with $x\neq 0$. My question is: to which ring is $A$ isomorphic? $A$ can be, for example, isomorphic to $\mathbb{Z}_2$. The ...
2
votes
1answer
33 views

A question about finitely generated projective modules

Let $A$ be a commutative ring with unity and let $P$ be a finitely generated projective $A$-module. For $any$ $A$-module $M$, how does one show that $\operatorname{Hom}_A(P,A) \otimes_A M \simeq ...
1
vote
2answers
63 views

Generalizing limits of sums, products, and quotients of sequences to abstract topological spaces?

Introductory real analysis books usually state some properties about limits of sequences. Suppose $\lim x_n=x$ and $\lim y_n=y$. Then: $\lim (x_n+y_n) = x+y$ $\lim c x_n = cx$, for $c \in ...
5
votes
3answers
62 views

$\mathbb{C}$-algebra automorphism of $M_n(\mathbb{C})$ has form $X \mapsto AXA^{-1}$.

As the title suggests, what is the easiest way to see that any $\mathbb{C}$-algebra automorphism of $M_n(\mathbb{C})$ has the form $X \mapsto AXA^{-1}$ for some fixed $A \in GL_n(\mathbb{C})$?
0
votes
1answer
15 views

$ G $ is $ p $-supersolvable group . $ Q \in \operatorname{Syl}_{2}(G^{\prime}) $. Show $ Q \unlhd G $.

Let $ G $ is a finite $ p $-supersolvable group for odd prime numbers . Suppose $ Q \in \operatorname{Syl}_{2}(G^{\prime}) $. Now i'll show $ Q \unlhd G $. Since $ G $ is $ p $-supersolvable, then $ ...
0
votes
2answers
17 views

Ring homomorphism from field

If we have homomorphism from field K to ring R, does that mean that we have ring homomorphism but K is a field? I have trouble understanding this. Thank You very much for your help.
0
votes
1answer
35 views

If G is finite p-group then $d(G)=d(\frac{G}{\Omega_1(Z(G))})$

Let $G$ be a finite p-group such that $G$ has no non-inner automorphism of order p leaving Φ(G) elementwise fixed If $\Omega_1(Z(G))\le G'\le \Phi(G)$ how we can get $d(G)=d(\frac{G}{\Omega_1(Z(G))})$ ...
2
votes
0answers
21 views

Tangent to dual curve.

Let $C$ be a smooth projective plane curve, let $P \in C(k)$, and let $\ell$ denote the tangent line to $C$ at $P$. Let $C^*$ denote the dual curve to $C$, in the dual plane $(\mathbb{P}^2)^*$ (the ...
0
votes
2answers
40 views

Intuition for a ring homomorphism?

A map $f: A \to B$ between two rings $A$ and $B$, is called a ring homomorphism if $f(1_A) = 1_B$, and one has $f(a_1 + a_2) = f(a_1) + f(a_2)$ and $f(a_1 \cdot a_2) = f(a_1) \cdot f(a_2)$, for any ...
0
votes
2answers
39 views

Is $\langle\mathbb Q^+, *\rangle$ a monoid?

Q: Given the set of positive rational numbers $\mathbb Q^+$, the operation is multiplication$~*$. Is $\left<\mathbb Q^+, *\right>$ a monoid? My answer is: $ \forall x, y, z \in \mathbb Q^+$, ...
0
votes
1answer
24 views

$m \times n$ matrix gives rise to a well-defined map from $\mathbb{R}^n$ to $\mathbb{R}^m$?

As the title suggests, how do I see that an $m \times n$ matrix gives rise to a well-defined map from $\mathbb{R}^n$ to $\mathbb{R}^m$?
3
votes
1answer
34 views

product of subgroups and group G

Is there any example of two subgroups H and K of G whose product give G i.e. G = HK but none of which is normal in G
-1
votes
0answers
36 views

Finite Modules Isomorphism

For a general ring $R$ i think that is not true that 2 R-Modules are isomorphic even if they have the same cardinality, as in the case of vector spaces but i would like to have some example of that ...
1
vote
1answer
30 views

$R$ is a ring with identity. Why from $f(1)=0$ it's concluded that $\forall r\in R; f(r)=0$?

The original question is this: Let $R$ be a ring with identity and $\mathbb{C}$ the ring of complex numbers. Suppose $f,g:R\rightarrow \mathbb{C}$ are two ring homomorphisms such that for every $r$ ...
2
votes
2answers
144 views

What makes it legitimate to multiply both sides?

Having the proof of the cancelation law for multiplication: $$cb=ab$$ $$(cb)b^{-1}=(ab)b^{-1}\tag{Inverse}$$ $$cbb^{-1}=abb^{-1}\tag{Associativity}$$ $$c\cdot 1=a\cdot 1\tag{Indentity}$$ $$c=a$$ ...
2
votes
2answers
182 views

Prove that G is a group

The exercise is: Let $g\in G$. $G$ is a group. Prove that $G=\{gx:x\in G$}. I know the the definition of group but the proof that is in the book is the next one: Let $H=\{gx:x\in G\}$ ...
-3
votes
1answer
38 views

$F$ is subfield of complex field $\mathbb{C}$. Show that $F$ is field with characteristic $0$ [on hold]

We know that subfield of field is set $F$ of complex number which itself is a field under usual multiplication and addition. but how to show that it has characteristic $0$?
4
votes
1answer
48 views

Prove that : $n \mid \varphi (a^{n}-1)$ $a>1$

Prove that : $n \mid \varphi (a^{n}-1)$ $a,n$ positive integers wih $a>1$ I know that $a$ has multiplicative order $n$ in the ring of integers modulo $a^{n}−1$ and the order of the group of ...
1
vote
0answers
17 views

Action of the Symplectic Group on Siegel Upper Half Plane

Given $G= \begin{pmatrix} A & B \\ C & D \end{pmatrix} \in Sp_{2n}(\mathbb{R})$ one can define an action on the symmetric $n \times n$ complex matrices with positive definite imaginary part by ...
-1
votes
1answer
28 views

Order of Automorphis group [on hold]

Let $ G $ is a finite solvable group and $ N $ be a normal minimal subgroup of $ G $ that $ G = MN $ for maximal subgroup $ M $ of $ G $, which $ M \cap N = 1 $. Let $ \vert N \vert = 4 $. Then $ ...