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)

4
votes
0answers
244 views

Matrix group as subgroup of $GL(n,\mathbb{R})$ or $GL(n,\mathbb{C}$)?

As far as I understand, one has (at least?) two choices to introduce infinite matrix groups: Either, one can say they are all subgroups of the general linear group over the complex numbers numbers ...
4
votes
0answers
132 views

Is there a formula for $|\langle H\cup K\rangle|$, if $H$ and $K$ are nonempty subsets of a finite group $G$?

I know that if $H$ and $K$ are subgroups of a finite group $G$, then $|HK|=\frac{|H||K|}{|H\cap K|}$. Is there a formula for $|\langle H\cup K\rangle|$, if $H$ and $K$ are nonempty subsets of a ...
4
votes
0answers
242 views

Homogeneous polynomial in $n$ variables of degree greater than $n(n-1)$ is in the ideal generated by the elementary symmetric polynomials

Let $f(x_1,...,x_n) \in \mathbb{Z}[x_1,...,x_n]$ be homogeneous of degree $d>n(n-1)$, i.e. $f$ is the sum of monomials of degree $d$. I am looking for a hint to prove that $f$ is in the ideal ...
4
votes
0answers
464 views

What does a Cayley table tell?

Other than showing if a group is abelian and the order of the group, what else does a Cayley table indicate?
4
votes
0answers
87 views

How do I find the orbits given the ring of invariants?

Suppose I have a group $G$ acting linearly on a vector space $V$ and I know the ring of invariants $K[V]^{G}$ (i.e., I know the subring of $K[V]$ which is fixed pointwise under the induced action). My ...
4
votes
0answers
302 views

The cohomology of finite $G$-modules

This is to some extent a continuation of an earlier question of mine. Now that I'm all cleared up on what it means for a finite group to have periodic cohomology, I have another question; first I will ...
4
votes
0answers
147 views

Is there an integral domain with a lot of residue fields of the same characteristic?

Is there a commutative integral domain $R$ in which: every nonzero prime ideal $Q$ is maximal, and for every prime power $q\equiv 3 \bmod 8$, there is a maximal ideal $Q$ of $R$ such ...
4
votes
0answers
373 views

A finite length module is the direct sum of the image and kernel of a projection-like endomorphism

I have a question about abelian groups (or rather $X$-groups): Suppose $A$ is an abelian group (or rather an $X$-group) which is artinian and noetherian. $f$ is an endomorphism (or rather an ...
3
votes
0answers
27 views

find these linear functionals

I'm trying to solve this question: My attempt of solution: If $x\in E$, see $x$ in the first $m$ coordinates of $\mathbb R^n$ (can we do this?). I know how to find linear functionals such that ...
3
votes
0answers
43 views

Why are centers, centralizers and normalizers called that way?

I know what they are, but where do the names come from?
3
votes
0answers
55 views

Showing that $\mathbb{H}^{*}$ maps onto $\mathrm{Aut}(\mathbb{H})$

To show that $\mathbb{H}$ maps onto $\mathrm{Aut}(\mathbb{H})$, where $\mathbb{H}$ is the Hamilton quaternions, I thought it'd be pertinent to show first that the subgroup of inner automorphisms of ...
3
votes
0answers
34 views

If a finite group G is nilpotent then G/F is abelian, where F is the Frattini subgroup of G

Let $G$ be a finite nilpotent group. Consider $F$ the Frattini subgroup of $G$, that is, intersection of all maximal subgroup of $G$. Prove that $G/F$ is abelian. What I am trying that G/F is ...
3
votes
0answers
40 views

Resultants of two polynomials over a ring

Let $k$ be a field $f,g\in k[x,y]$ be two polynomials. The resultant $R\in k[x]$ is a polynomial function of the coefficients of $f$ and $g$, such that $f$ and $g$ gave a common zero (in an extension) ...
3
votes
0answers
40 views

Non-UFD that there exists set $X$ of any cardinality and $a$ that $xy$ is not divisible by $a^2$ for any $x,y \in X$ and $x^2$ is divisible by $a^2$

Let's say we want to construct a non-UFD that is a commutative ring that satisfies: There exists $a$ such that there exists a set $X$ of elements of finite cardinality $k$ such that for any $x,y \in ...
3
votes
0answers
101 views

Ring of rational power series

Let $A$ be any commutative ring with 1. A power series $f\in A[[t]]$ is called rational if we can find a $g\in A[t]$ such that $fg\in A[t]$. It is clear that the set of rational power series forms a ...
3
votes
0answers
36 views

What are the algebraic and topological properties of a tree (graph theory), and what are any possible connections?

I'm a non-mathematician working with trees (mostly rooted and oriented trees). Typically, I understand them as join-semilattices, so they have an implicit algebraic structure: they form a subgroup ...
3
votes
0answers
34 views

Detect cyclotomic polynomials

I was reading this question: When does a polynomial divide $x^k - 1$ for some $k$? I followed the procedure given by Bill Dubuque in his answer (the "Graeffe" method) for the polynomial $f(x) = x+1$. ...
3
votes
0answers
42 views

How can I compute |R/I| where $R\simeq\mathbb Z^n$ and $I\unlhd R$?

A number field $K$ is a field $\mathbb Q\le K\le\mathbb C$ of finite degree over $\mathbb Q$, say $n$. Call $\mathbb A$ the ring of algebraic integers of $\mathbb C$; an algebraic integer is an ...
3
votes
0answers
65 views

$x^3+nx+2$ is irreducible over ${\mathbb Z}$ for $n\neq 1,\ -3\ -5$

I want to show that $$x^3+nx +2 $$ is irreducible over ${\bf Z}$ for $n\neq 1,\ -3\ -5$ By Eisenstein, if $n$ is even then it is irreducible. How can we solve odd case ? [add] Note that ...
3
votes
0answers
35 views

Presentation of an object in an Eilenberg Moore category by generators and relations

Let $\cal C$ be a category and let $T \colon \cal C \longrightarrow C$ be a monad. An $T$-algebra $A$ is presented by generators $G \in \cal C$ and relations $R \in \cal C$ if it is the coequaliser of ...
3
votes
0answers
27 views

“Type” in specifying a ring/ field

In the definition of fields on wikipedia, it says: A field is therefore an algebraic structure $\langle \Bbb F, +, \cdot , −, ^{−1}, 0, 1\rangle$; of type $\langle 2, 2, 1, 1, 0, 0\rangle$, ...
3
votes
0answers
31 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 ...
3
votes
0answers
90 views

zeros of a simple polynomial

For $x, y \in GF[2^n]$, consider the two-parameter polynomial $P(x,y) = x \cdot y + f(x) + g(y)$, where $f$ and $g$ are arbitrary polynomials on $GF[2^n]$. Can we say anything about the number of ...
3
votes
0answers
69 views

Is the completion of a Dedekind domain a PID?

Ths is a basic question on Dedekind domains. Let $R$ be a Dedekind domain, $P$ a non-zero prime ideal of $R$. I know that the localization $R_P$ is a PID, but is it true that the completion ...
3
votes
0answers
32 views

Determining if a given equation is solvable given a set of ultra-radicals

So suppose someone is armed with the tools of standard arithmetic, exponents (and of course that comes along with roots) AS WELL AS a set of inverses for some polynomials which are not solvable using ...
3
votes
0answers
142 views

Can all of them be different?

Edit: Cross-posted to MathOverflow here (and resolved). Let $G=\{g_1,g_2,...,g_n\}$ be a group with $e=g_1$ and $n$ is odd, Set $$a_1=g_1$$ $$a_2=g_1g_2$$ $$a_3=g_1g_2g_3$$ $$a_n=g_1g_2...g_n$$ I ...
3
votes
0answers
34 views

Simple question on Sylow subgroups.

Given a finite group $G$, $|G|=p^am$, $P,Q\in\operatorname{Syl}_p(G)$, then we know that $Q=P^x$ for some $x\in G$. Thus every element of $Q$ is the image of an element of $P$ under the isomorphism ...
3
votes
0answers
44 views

What's $[L:K(\alpha)]$ here?

Let $L=\mathbb{Q}(T_1,T_2,T_3,T_4)$ be a purely transcendental extension of $\mathbb{Q}$, and percieve $S_4$ on $\{T_1,T_2,T_3,T_4\}$ as subgroup of Aut$(L)$. Write $K=L^{S_4}$. Calculate ...
3
votes
0answers
98 views

Tensor product of the spaces of quaternions and complex numbers

Let $ \mathbb{H} $ be the ring of quaternions and make the vector space $A = \mathbb{H} \otimes \mathbb{C}$ into a ring by defining $$(a \otimes w)(b \otimes z) = (ab \otimes wz) $$ for $a,b ...
3
votes
0answers
52 views

semidirect product of semigroups

Let $S,T$ be two semigroups. A function $f:S\to T$ is called multiplicative if for any $x,y\in S$ we have $f(xy)=f(x)f(y)$. If $T=S$ then $f:S\to S$ is called automorphism on $S$. A function ...
3
votes
0answers
69 views

Artin chapter 2 exercises

I've written some solutions to Artin's exercises. Can someone please verify them? Assume the equation $xyz = 1$ holds for a group $G$. Does it follow that $yzx=1$? That $yxz=1$? We first show ...
3
votes
0answers
65 views

invariants of group action by algebra automorphism

I am trying to prove the following statement, but I'm having a lot of trouble with it: Let $k$ be an infinite field. Let $A$ be a commutative $k$-algebra. Let $G$, a group, act on $A$ by algebra ...
3
votes
0answers
39 views

Counting the number of orbits for the group action

I have have to find the number of orbits for the group action given by the set of all real $2\times 2$ invertible matrices acting on $\mathbb{R^2}$ by matrix multiplication. I know that if a group ...
3
votes
0answers
81 views

How can we solve this question without brute force

If $A\in GL_n(R)$, where $R$ is a commutative ring with identity, I would like to prove $$ M=\begin{pmatrix} A & 0 \\ 0 & A^{-1} \\ \end{pmatrix}\in ...
3
votes
0answers
49 views

Is $\mathbb{Z}_9^*$ cyclic?

I'm reading "A course in algebra" (2003) by E. B. Vinberg to have a basic understanding on algebra. Now I got a question. Exercise 4.46. says "Prove that the group $\mathbb{Z}_n^*$ of invertible ...
3
votes
0answers
84 views

Inverse limit of groups

Can we replace topological spaces by groups in Corollary 1.1.6 from the this link? In other words, does the following theorem is true? Let $Y$ is the inverse limit of system of groups ...
3
votes
0answers
131 views

If $f(x)\in F[x]$ is solvable by radicals then its Galois group $Gal(E/F)$ is solvable.

In all the books that I've checked the use of roots of unity (as hypothesis) is very crucial to prove that if $f(x)\in F[x]$ is solvable by radicals then its Galois group $Gal(E/F)$ is solvable, but ...
3
votes
0answers
36 views

Proving a simple claim concerning order without using LaGrange's Theorem

For whatever reason, I am having trouble proving the following claim without using LaGrange's Theorem. Claim: Let $G$ be a group of order $n < \infty$. Then, $x^{n}=1$, where $1$ is the identity, ...
3
votes
0answers
41 views

Subgroups of Symmetric Group $S_4$ and Isomorphism

During my Algebra class we were given this exercise to solve at home, but I couldn't find any solution and I also did not really get the one our teacher gave us. So, the text was: Given G = S4 = ...
3
votes
0answers
55 views

When is $N\otimes_A B \to N$ an isomorphism?

Let $A, B$ be commutative (unital) rings and $f\colon A \to B$ an $A$-algebra. There then exists a canonical functor $f_*\colon \mathbf{Mod}_B \to \mathbf{Mod}_A$ such that, for every morphism of ...
3
votes
0answers
53 views

Projective and simple modules over finite dimensional algebras

I'm working through some lecture notes on the representation theory of a finite dimensional algebra $A$ (associative, unital, over an algebraically closed field $k$), and have got stuck on a ...
3
votes
0answers
51 views

For which categories do injections induce surjections in cohomology?

I'll ask a specific question first, but I believe my question might have a rather immediate abstraction, with which I'll finish. Let $H,G$ be finite affine group schemes over an algebraically closed ...
3
votes
0answers
40 views

Any simple proof of that localization of a UFD is a UFD without using Kaplansky condition?

Using Kaplansky condition, the proof of this statement is quite easy. Before knowing this condition, I tried to prove this statement by actually showing the definition of UFD holds on $S^{-1}A$ ($A$ ...
3
votes
0answers
89 views

$\beta_a(n)=(a_1*\cdots(a_n*b))\setminus_* b$ and Iterations in right divisible magmas e representability by left translations.)

Let's consider the magma $(G,*)$ with infinite elements. Now I define $\operatorname{left}(G)$ the set of all the left translations $$\operatorname{left}(G):\{L_a:a \in G ,L_a(b)=a*b\}$$ And ...
3
votes
0answers
70 views

exact sequence and modules proposition.

I have problems to prove the following proposition: Let's consider $$0 \rightarrow L \stackrel{\alpha}{\rightarrow} M \stackrel{\beta}{\rightarrow} N \rightarrow 0$$ an exact sequence of modules and ...
3
votes
0answers
39 views

Frobenius on projective variety is not an isomorphism?

This is exercise 1.8 from Arithmetic of Elliptic Curves (Silverman). Part 3 confuses me because isn't $\phi$ the identity, thus an isomorphism? Let $\mathbb{F}_q$ be a finite field with $q$ ...
3
votes
0answers
37 views

Elements of a Dedekind domain can be chosen to have valuation $1$ with respect to one prime, $0$ everywhere else

I noticed this is true for $\mathbb{Z}$, but I was wondering whether it was true in general. Let $R$ be a Dedekind domain and $P_1, ... , P_s$ maximal ideals. The localized ring $R_{P_i}$ is a ...
3
votes
0answers
38 views

primes splitting completely in cyclic extensions

Let $K$ be a quadratic number field. It is a well known result that a prime $p$ splits completely in $K$ if and only if $\left(\frac{d_K}{p}\right)=1$. What about cubic extensions? Can we find ...
3
votes
0answers
52 views

If $p>2$ is a prime number, Prove that $U(p^k) $ is cyclic

(i) If $p>2$ is a prime number, Prove that $U(p^k) $ is cyclic (ii) Prove that $U(p^n) \thickapprox Z_{(p^n -p^{n-1}) }$ Solution : If I prove that if $U(p^k) $ is cyclic, then, we know that ...
3
votes
0answers
25 views

(Counting problem) more challenging Modular N algebraic eqs - for combinatorics-permutation experts

Experts in algebra please help - Part II after Part I: we would like to know the number of solutions for this set of six of modular N algebraic equations: $$ x_1 y_2 = x_2 y_1 \pmod N \qquad (1) \\ ...