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)

5
votes
0answers
288 views

Inverse of the Grothendieck group construction?

Is there an "inverse" of the Grothendieck group construction that would generate a (somehow "simplest") Abelian semigroup given some (suitably qualified, if necessary) Abelian group? (I realize that ...
5
votes
0answers
365 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 ...
5
votes
0answers
81 views

Restriction of trivariate polynomial to $1$ variable

Let $p(x,y,z): \mathbb{F}^3 \to \mathbb{F}$ be a trivariate polynomial of degree $d \ll |\mathbb{F}|$. We choose uniformly at random an affine $1$-dimentional space $\ell = \{(a_1,a_2,a_3)t + ...
5
votes
0answers
171 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 ...
5
votes
0answers
191 views

A relation between permanents and determinants

I have skimmed this video that I found on mathoverflow: http://tube.sfu-kras.ru/video/407?playlist=397 At about 15:05 the lecturer wrote down an equality $\sum F(m_1, \ldots, m_m)z^{m_1}\ldots ...
4
votes
0answers
49 views

Is my proof that $ \mathbb{Q}(\sqrt{5}) $ is the only quadratic subfield of $ \mathbb{Q}(\zeta_5) $ correct?

I would like some feedback on my proof of the fact stated in the question. First, we note that $ L = \mathbb{Q}(\zeta_5) $ is the splitting field of $ X^5 - 1 $, so it is Galois. Furthermore, we know ...
4
votes
0answers
57 views

Prove that a free group of rank $\ge2$ is centerless and torsion-free

This exercise is from Rotman's Introduction to the Theory of Groups. It's just as the title states: prove a free group of rank $\ge2$ is centerless torsion-free. Here, the definition of a free group ...
4
votes
0answers
28 views

Complex roots of quartic polynomial

This is a question from an undergraduate course on Galois theory: Find all complex numbers which are roots of $P(T)=T^4+2T^2-\sqrt{6}T+\frac{3}{4}$ Can we use Galois theory to solves this? Or ...
4
votes
0answers
43 views

Find the Subextensions of $\Bbb Q(\sqrt2, \sqrt3, \sqrt5)/\Bbb Q$

As an exercise for myself I want to find the subextensions of $\Bbb Q(\sqrt2, \sqrt3, \sqrt5)/\Bbb Q$. I know that it has Galois group $\Bbb Z/2\Bbb Z$x$\Bbb Z/2\Bbb Z$x$\Bbb Z/2\Bbb Z$, and this has ...
4
votes
0answers
66 views

Completion of Power Series

Let $k$ be field, char. not equal to two. Let $A = k[X,Y]/(Y^2 - X^2(X+1))$ with $\mathfrak{m}=(X,Y)$-adic topology. I want to show that $A'$, the completion of $A$, is isomorphic to ...
4
votes
0answers
49 views

Moments of the number of roots of polynomials over finite fields

Let $F:=\{f\in\mathbb{F}_q[X_1,\ldots,X_n]: \textrm{deg}(f)\leq d\}$ be the set containing all $n$-variate polynomials of degree less than or equal to $d$ over finite field $\mathbb{F}_q$ of prime ...
4
votes
0answers
35 views

Eisenstein's criterion for two variables

I want to know if there is a criterion, like Eisenstein's criterion, for polynomials with 2 variables? If there is, how does it work?
4
votes
0answers
35 views

Finite Fields and Discrete Log Problem

The finite field $\mathbb F_{p^p}$, for a prime $p$, can be described as $\mathbb F_p[x]/(x^p−x−1)$. Let $G=\mathbb F_{p^p}^\times/\mathbb F_{p}^\times$. Estimate the cost of obtaining the discrete ...
4
votes
0answers
32 views

What do you call two groups with only trivial homomorphisms between them?

Suppose $G$ and $H$ are groups, and all group homomorphisms $G \to H$ and $H \to G$ are trivial. Is there a common term to describe such a pair of groups with? Like, “$G$ and $H$ are [...]”, or “$G$ ...
4
votes
0answers
39 views

I'm going to do a project on braid groups, and I'm looking for recommendations on books about braid groups.

I asked my advisor (which is not the professor I will be doing the project with) about this project, and he recommended that I read some of Artin's material on braid groups because as my advisor put ...
4
votes
0answers
37 views

Preimage of unit in algebra

If $A,B$ are unital algebras, then for any homomorphism $\psi:A\rightarrow B$ we have $\psi(1_A)=1_B$. What can we say about structure of algebras $A,B$ if the preimage of $\{1_B\}$ is equal $\{1_A\}$ ...
4
votes
0answers
45 views

When modular tensor categories are equivalent?

I would like to know when we say that two modular tensor categories are equivalent. Is it true that two modular tensor categories are equivalent if they are equivalent as monoidal categories? Or do ...
4
votes
0answers
49 views

Abstract algebra: for a polynomial $p$, prove $\sigma(\tau(p))=(\sigma\tau)(p)$ for all $\sigma, \tau \in S_n$

I'm trying to solve to following problem: Part 1: Let $\{x_1,...x_n\}$ be variables. For any polynomial $p$ in $n$ variables and for $\sigma$ $\in S_n$ define $\sigma ...
4
votes
0answers
55 views

What is the dimension of the induced module of a linear representation?

Let $V$ be a $n$-dimensional $\mathbb{C}$-vector space and let $G$ be a group. Suppose we have a representation $\phi: G \to \text{Aut}(V)$, then this representation makes $V$ into a $G$-module by ...
4
votes
0answers
50 views

Proving $End_B(N)$ is Semisimple Algebra

Let $B$ be a semisimple algebra, and $N$ be a finitely generated $B$-module. I am trying to prove $End_B(N)$ is a semisimple algebra. Updated: I changed my attempt based on user26857's and Qiaochu's ...
4
votes
0answers
46 views

Prove that $\phi$ is class preserving automorphism

Let $G$ be a finite group and $\phi:G\to G$ be an automorphism of $G$ such that $\phi|_P=conj(g)|_P$ (restriction of some inner automorphism of $G$) where $P$ is any sylow $p$-subgroup of $G$, then is ...
4
votes
0answers
55 views

Prove that there exist a sylow subgroup of $G$ which is fixed by $\alpha$.

Let $G$ be a finite group and $\alpha\in Aut(G)$ such that $\alpha$ restricted to any sylow subgroup of $G$ equals the restriction of some inner automorphism of $G$ and $(o(\alpha),o(G))=1$, then is ...
4
votes
0answers
52 views

A “new” formula relating the quotients of the upper central series, method of proof and background information

For a finite group $G$ the upper central series is defined inductively by $$ Z_1(G) := Z(G), \qquad Z_{i+1}(G) / Z_i(G) = Z( G / Z_i(G) ). $$ Now I am interested in generalising this formula, i.e. ...
4
votes
0answers
53 views

Characteristic and minimal polynomials

Given $A\in\Bbb Z^{n\times n}$, is it possible to find characteristic and minimal polynomials of $A$ by chinese remainder theorem if we know characteristic and minimal polynomials respectively of ...
4
votes
0answers
42 views

Direct sum of $\mathbb{R}(B)$-modules consisting of all cross sections.

Let $B$ be a Tychonoff space and let $\mathbb{R}(B)$ denote the ring of continuous real valued functions on $B$. For any vector bundle $\xi$ over $B$ let $S(\xi)$ denote the $\mathbb{R}(B)$-module ...
4
votes
0answers
69 views

Finite extensions of $\mathbb{Q}((t))$

Let $K$ be a number field. Is every finite extension of $K((t))$ of the form $L((\pi^{1/e}))$, where $L/K$ is finite and $\pi = a_1t + a_2t^2 + \cdots$ for some $a_i\in L$? Is every finite flat ...
4
votes
0answers
61 views

$k[x_1, \dots, x_n]$ is free iff $\mathbb{C}[x_1, \dots, x_n]^G \otimes \text{Harm}(\mathbb{R}^n, G) \to k[x_1, \dots, x_n]$ isomorphism?

For any subgroup $G \subset \text{GL}_n(\mathbb{R})$ the set $\mathbb{C}[x_1, \dots, x_n]^G$, of $G$-invariant polynomials, is a graded subalgebra of $\mathbb{C}[x_1, \dots, x_n]$, resp. the set ...
4
votes
0answers
36 views

Given a function $\phi$ and the set of iterates $(\phi^t)$ under self-composition, can you construct $\phi^t $ for a real continuous parameter?

$\phi$ is given as any function with the following properties: 1. $\phi$ is strictly increasing 2. $\phi$ is continuous 3. $\phi$ is a mapping of the interval $[0,1]$ into itself. 4. ...
4
votes
0answers
46 views

Is any pair of finite 2-generated perfect groups the quotient of a third finite 2-gen perfect group?

Let $H_1,H_2$ be finite 2-generated perfect groups. Does there exist a finite 2-generated perfect group $G$ which has $H_1,H_2$ as quotients? Of course we may assume $H_1\not\cong H_2$. If $H_1,H_2$ ...
4
votes
0answers
43 views

Union of conjugates of a subgroup of a finitely generated group.

Is there a finitely generated group $G$, with a proper subgroup $H$, such that $$G=\bigcup_{g\in G}gHg^{-1}$$ I know that this is not the case for a finite $G$: Union of the conjugates of a ...
4
votes
0answers
65 views

Codimensions of $\mathbb{Q}$-subspaces of $\mathbb{R}$

Under the Axiom of Choice, we can pick a Hamel basis $H$ for $\mathbb{R}$ as a vector space over $\mathbb{Q}$. Adjoining all but some elements of $H$ to $\mathbb{Q}$ shows that for any cardinality ...
4
votes
0answers
68 views

About centralizers of involutions in finite simple groups

I read that for the classification of the finite simple groups the centralizers of involutions plays a crucial role. This has to to with the Brauer-Fowler-Theorem, which in one formulation could be ...
4
votes
0answers
30 views

Radical of an infinite dimensional Lie Algebra

I am studying Lie Algebras and I just encountered the notion of radical $R$ of a finite dimensional Lie algebra $L$ over a field $F$, the maximal solvable ideal. Since the dimension of $L$ is finite, ...
4
votes
0answers
51 views

Commutability to prove one matrix represented as polynomial of another

For two square matrices $A$ and $B$. If $B$ commutes with all the matrices that commutes with $A$, prove that $B$ can be represented as a polynomial of $A$. It is very complicated if we do it by ...
4
votes
0answers
59 views

Seeking more information regarding the function $\varphi(n) = \sum_{i=1}^n \left[\binom{n}{i} \prod_{j=1}^i(i-j+1)^{2^j}\right].$

Define a function $\varphi : \mathbb{N} \rightarrow \mathbb{N}$ as follows. $$\varphi(n) = \sum_{i=1}^n \left[\binom{n}{i} \prod_{j=1}^i(i-j+1)^{2^j}\right]$$ The motivation is that according to ...
4
votes
0answers
110 views

Proving $\mathrm{Aut}(S_{n}) = S_{n}$ for $n > 6$

This is a question for a school assignment. We are being asked to prove that $\mathrm{Aut}(S_{n}) = S_{n}$ for $n > 6$. These are the steps we are supposed to follow in our proof. Prove that an ...
4
votes
0answers
31 views

How many $\Bbb{Q}$-algebras of dimension $4$ are there?

How can I construct $\Bbb{Q}$-algebras of dimension $4$. Some examples that comes to mind are $\Bbb{Q} \oplus \Bbb{Q} \oplus \Bbb{Q} \oplus \Bbb{Q}$ , rational quaternions $\Bbb{H}$ and ...
4
votes
0answers
63 views

Checking that a set is a finitely generated ideal

The exercise asks us to prove that $I = \{ f \in \Bbb R[X,Y,Z] \mid f(a,b,c) = 0, ~\forall\,(a,b,c)\in \Bbb S^2 \}$ is a finitely generated ideal of $\Bbb R[X,Y,Z]$. Well, clearly $I$ is an ideal of ...
4
votes
0answers
96 views

Geometric Coset

I am familiar with cosets, but im not sure what to do here (never had to give a "geometric" description of a coset): Consider $\mathbb{R}$ and the subgroup $\mathbb{Z}$. Describe a coset ...
4
votes
0answers
52 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 ...
4
votes
0answers
68 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 ...
4
votes
0answers
38 views

Irreducibility of $p(x)$ implies that of $p(x+c)$ only when taken over a field?

$R$ is a ring and $R[x]$ is the polynomial ring over $R$ . $c$ is any fixed element of $R$ . Then the map $f(x)\mapsto f(x+c)$ is an isomorphism from $R[x]$ to itself. Now ...
4
votes
0answers
110 views

What do we call collections of subsets of a monoid that satisfy these axioms?

Consider a monoid $M$ and a semiring $S$. Then there's an $S$-algebra freely generated by the monoid $M$, which can be described explicitly as the set of all finitely supported functions $M ...
4
votes
0answers
130 views

Diophantine equation: $13^x+3=y^2$

$x,y$ are positive integers. $$13^x+3=y^2\iff \left(4+\sqrt{3}\right)^x\left(4-\sqrt{3}\right)^x=\left(y+\sqrt3\right)\left(y-\sqrt3\right)$$ $\gcd\left(y+\sqrt3, y-\sqrt3\right)=1$, therefore ...
4
votes
0answers
35 views

Integer such that there is a $k$-algebra isomorphism for any two algebras.

Is there an integer $\ell = \ell(m, n) \ge 1$ such that for any $k$-algebras $A$ and $B$ there is a $k$-algebra isomorphism $\text{M}_m(A) \otimes_k \text{M}_n(B) \cong \text{M}_\ell(A \otimes_k B)$?
4
votes
0answers
48 views

Finite conjugacy classes in a certain group with three generators

Def. We say that group G has non-trivial finite conjugacy class if there is a conjugacy class $C=\lbrace g_i \rbrace$ such that $g_i \neq 1$ of G with $|C|<\infty$. Let G be group $$<a,b,c ...
4
votes
0answers
78 views

Do we have $\delta(ab)=\delta(a)\delta(b)$ implies $\Delta(cd)=\Delta(c)\Delta(d)$?

Assume that $B$ is an algebra which is also a coalgebras (we do not assume that $B$ is a bialgebra: we do not assume $\Delta(cd)=\Delta(c)\Delta(d)$). Assume that $A$ is $B$-comodule algebra. Then we ...
4
votes
0answers
50 views

How to apply a double centralizer property on a faithful module of a self-injective Artin algebra?

Let all considered algebras be Artin algebras and let all considered modules be finitely generated. Let $A$ be left-QF-3 with minimal faithful left ideal $Ae$. Then the following are equivalent: ...
4
votes
0answers
52 views

For a $3$-by-$3$ matrix, find $A$, $B$ integer $3$-by-$3$ matrices with determinant $\pm 1$ such that $AMB$ is diagonal.

For a $3$-by-$3$ integer matrix $M$, find $A$, $B$ integer $3$-by-$3$ matrices with determinant $\pm 1$ such that $AMB$ is diagonal. $\textbf{My Attempt}:$ Given $M$ we want to right-mulitply by an ...
4
votes
0answers
103 views

Does $M \otimes_R N = 0$ for a non-unital ring $R$ if there are ideals $I,J \lhd R$ such that $MI+JN = 0$ and $I+J = R$?

Suppose that $M,N$ are $R$-modules, $I,J\lhd R$. Suppose that $MI=JN=0$ and that $I+J=R$. Prove that $M\bigotimes_R N=0$. This is very easy to prove if the ring is unital as you may write ...