**5**

votes

**3**answers

401 views

### Poincare duality for (co)homology of Lie algebras?

Let $R$ be a commutative ring and $\mathfrak{g}$ a Lie $R$-algebra that has an $R$-module basis with $n$ elements.
In Algebra, Geometry, and Software Systems by Joswig & Takayama on p.200 it ...

**4**

votes

**1**answer

378 views

### Is the identification between symmetric tensors and homogeneous polynomials useful?

The general question:
Given an $n$-dimensional vector space $V$ over a field $k$, there exists an identification
$$\mathrm{Sym}^d(V) \sim k[x_1, \dots, x_n]_d$$
between the space of symmetric order $...

**5**

votes

**1**answer

168 views

### Euclidean Algorithm for differential operators

While perusing through the article "Algorithms for solving linear ordinary differential equations" by Winfried Fakler (a pdf can be found through a google search), I noticed Faker mentioning on page 2 ...

**10**

votes

**1**answer

573 views

### Is $\mathbb{R}$ a $\mathbb{C}$-module without AC?

Assuming ZFC. We can make $(\mathbb{R},+)$ into a nontrivial(scaler multiplication is not identicaly zero) $\mathbb{C}$-module.
Now my questions are?
0.Is it consistent with $ZF$ that $\mathbb{R}$ is ...

**5**

votes

**0**answers

239 views

### Weyl's construction for symplectic groups--an exercise in Fulton and Harris's book

This is an exercise in section 17.3 in Fulton and Harris's book:Representation theory-a first course.
Let $V=\mathbb{C}^{2n}$ and $Sp(2n)$ be the symplectic group w.r.t the nondegenerate bilinear ...

**1**

vote

**1**answer

146 views

### Examples of reduced associative algebras

An associative $K$-algebra A is called reduced (or often basic) if $A/rad(A)$ has no nilpotent elements. It can be shown that this is equivalent to that $A/rad(A)$ is a isomorphic to a direct sum of ...

**0**

votes

**0**answers

124 views

### Soluble group algebras and centralizers

Let $K$ be field with $\mathrm{char}(K) = p > 0$ and $G$ a finite group such that $KG$ is soluble. Then the $p$-Sylow-subgroup of $G$ is normal and contains the derived group of $G$ and every $p'$-...

**1**

vote

**0**answers

152 views

### Definition of 'Koszul Ring' (in BGS)

In the paper 'Koszul Duality Patterns in Representation Theory' by Beilinson et. al, they give the definition of a Koszul Ring:
A Koszul ring is a positively graded ring $A = \bigoplus_{j \geq 0} A_j$...

**0**

votes

**2**answers

141 views

### Using group presentation for its corresponding semigroup?

Somewhere Colin M. Campbell noted:
If $A$ is a semigroup defined as $$A=Sg(\pi)=\langle a_1,\cdots, a_d\mid u_1=v_1,\cdots,u_e=v_e\rangle $$ then the same generators with the same relations can ...

**2**

votes

**0**answers

279 views

### Rewrite sum of radicals equation as polynomial equation

My question is about a method described in Dr.Math forum for simplifying equations involving sums of radical functions.
(The following is a transcription of the example given by Dr. Vogler):
--- ...

**3**

votes

**0**answers

255 views

### Is there any research of universal algebras axiomatized by non-Horn clauses?

A Horn clause in the language of a universal algebra is a disjunction of equations and of at most one inequality
("equation" and "inequality" are the terms used by A.Horn in his paper "On sencences ...

**5**

votes

**0**answers

227 views

### Adjunction algebra - is there anything similar to this in abstract algebra?

I call adjunction algebra a universal algebra with one binary operation denoted as the punctuation sign (;) "semicolon" (but I will be using only one space after it, not on both sides - to avoid going ...

**0**

votes

**3**answers

198 views

### quasiprimitive non-solvable groups

I'm looking for the reference about quasiprimitive unsoluble groups. Actually we can find a lot of useful things about quasiprimitive solvable groups in "Representations of solvable groups by Manz and ...

**3**

votes

**4**answers

423 views

### What kind of algebra is the class of ordered pairs equipped with the binary operation which forms them?

There are many definitions of ordered pair in set theory, but all such definitions have the characteristic property of ordered pair:
$ \ \ \ \ \ \ (x, y) = (x', y') \leftrightarrow \ (x = x' \ and \ ...

**6**

votes

**2**answers

695 views

### Is there one binary operation foundational for set theory?

The membership relationship "$\epsilon$" is foundational for set theory, in the sense that the axioms of any set theory are formulated in the language of "$\epsilon$". Naturally, the question arises ...

**5**

votes

**1**answer

249 views

### If questions are formalized as ideals of a boolean algebra, what kind of algebra of questions appears from Stone representation theorem?

Affirmative propositions make up a Boolean algebra, and Boolean algebras became part of classical algebra for over one century ago - in this sense they are "simple". But I did not encounter in ...

**18**

votes

**3**answers

456 views

### Local Inverse Galois Problem

It's a basic fact that a finite Galois extension $L/K$ of a local nonarchimedian field $K$ has solvable (in fact supersolvable) Galois group $G$. One sees this by using the ramification filtration $...

**4**

votes

**1**answer

244 views

### Isomorphism of real closed fields

Given two real closed fields $R_1$ and $R_2$ such that both have cardinality continuum, archimedean, but not necessarily complete. Assume further that they are back and forth equivalent (in the ...

**13**

votes

**1**answer

431 views

### A weird question about two weird decompositions of $\mathbb{R}$ as a $\mathbb{Q}$-vector space

While working in a question about the affine group $\text{Aff}(\mathbb{R})$, I have come up with the following strange question about the real numbers:
Question: Do there exist a non-trivial ...

**3**

votes

**1**answer

417 views

### How does Constructive Quantum Field Theory work?

Please correct me if I'm wrong, but it seems to me that two and three dimensional axiomatic quantum field theory were constructed as follow: the wightman axioms were formulated in euclidean space via ...

**5**

votes

**1**answer

548 views

### Do all exact sequences $0 \rightarrow A \rightarrow A \oplus B \rightarrow B \rightarrow 0$ split for finitely generated abelian groups?

Suppose $A$ and $B$ are finitely generated Abelian groups. Are all exact sequences of the form $0 \rightarrow A \rightarrow A \oplus B \rightarrow B \rightarrow 0$ split?
If not, is there an example?

**2**

votes

**2**answers

452 views

### Given a formal power series ,decide whether there exists a polynomial the series satisfies and if it exists,how to write it down?

Given a formal power series $$y(x)=\sum_{i=0}^{\infty} a_i x^i$$ Is there an algorithm that decides whether there exists a polynomial$$ P(x,y)=p_n(x)y^n+p_{n-1}(x)y^{n-1}+\cdots+p_0(x)=0,p_j(x)\in F[x]...

**3**

votes

**0**answers

646 views

### Kunneth spectral sequence

In Rotman's Homological Algebra, 1st edition, there is written:
Is every detail of 11.31-11.35 correct? Isn't the spectral sequence in 11.35 1st quadrant and not 3rd quadrant? Do 11.34-35 also ...

**-3**

votes

**1**answer

111 views

### SHPS and SPHS inequality using monounary algebra

Let $A_n = \{(1,\ldots,n) , f \}$ where $f(i) = (i+1)$ if $i \neq n $ otherwise $f(n) = 1$.
This describes a mono unary algebra.
The proof for $HPS \neq SPHS$ I know uses metabelian groups and was ...

**3**

votes

**2**answers

417 views

### Divisible torsion Z-modules

I am trying to prove that for any divisible torsion $\mathbb{Z}$-module $V$,
this map
$f:\mathbb{Q}/\mathbb{Z}\otimes\text{Hom}(\mathbb{Q}/\mathbb{Z},V)\longrightarrow V$
is an isomorphism via
$f((q+...

**1**

vote

**0**answers

93 views

### Positivstellensatz for non-polynomial term

Can we use Positivstellensatz (P-satz) below for a non-polynomial term?
P-satz:
Let $R$ be real closed field. Let $f,g,h$ be finite families of polynomials in $R[X_{1} ,...,X_{n}]$. Denote by P the ...

**3**

votes

**1**answer

268 views

### operations on ideals in a subring of number field

For three ideals $I, J$ and $K$ of a subring $R$ in a number field $L$,
does this equality hold in general?
$(I+J) \cap K = (I \cap K) + (J \cap K)$
I have no counterexample yet but I couldn't prove ...

**6**

votes

**2**answers

397 views

### Misunderstanding in the hypotheses of Schlessinger's criterion

Good day to everyone.
In studying deformation theory of Galois representations, I've come surely to an error, relating Schlessinger's criterion.
Let's fix a representation $\bar{\rho}$ of a group $...

**-1**

votes

**1**answer

167 views

### Algebra generated by a tree [Edit] [closed]

Suppose that $(T,\leq)$ is a partially ordered set, we say $T$ is a tree* if for every $i\in T$, $\{s: s\in T, s\leq t\}$ is a well-founded chain.
What I need to know is: Can the algebra ...

**12**

votes

**1**answer

282 views

### Does every commutative variety of algebras have a cogenerator?

By a commutative variety $\mathcal{V}$ I mean a classical variety of algebras for some $(\Sigma,E)$, such that each pair of operations in $\Sigma$ commutes.
Equivalently (i) every interpretation of ...

**3**

votes

**1**answer

132 views

### intersection growth of free profinite groups

Let $F_n$ be a free profinite group of finite rank $n$ and let $V_k$ denote the intersection of all open subgroups of $F_n$ of rank at most $k$ ($k \in \mathbb{N}$).
My questions are:
can I ...

**2**

votes

**0**answers

129 views

### Hall's paper on the profinite groups and Andre Weils “voisinage” notion

I am reading through a classical paper A Topology for Free Groups and Related Groups
by Marshall Hall Jr. in which profinite groups are defined for the first time.
There he defines on p. 129:
...

**0**

votes

**0**answers

51 views

### Decomposition results for locally commutative semigroups

Every finite abelian group is the direct product of its cyclic groups of prime order, and every commutative monoid divides a product of its cyclic submonoids. Could these results generalized to ...

**-2**

votes

**1**answer

222 views

### finite index, self-normalizing subgroup of $F_2$ [closed]

Denote $F_2=\langle a, b\rangle$ to be the free group on two generators $a, b$.
Let $H\leq F_2$ to be a subgroup with finite index $n$, so $H\cong F_{n+1}$ by Nielsen–Schreier theorem, recall that $...

**12**

votes

**1**answer

493 views

### How is a descent datum the same as a comodule structure?

For a homomorphism of commutative rings $f:R\to S$, there are at least two notions of a descent datum for this map. One of these is to be an $S$-module $M$, with an isomorphism $M\otimes_R S\cong S\...

**11**

votes

**1**answer

623 views

### Elementary proof for Hilbert's irreducibility theorem

I have tried to find a complete proof for Hilbert's irreducibility theorem, but everything I found was way beyond my level of understanding.
I am only interested in the simple case where the ...

**2**

votes

**0**answers

210 views

### Abelian Subgroup in an infinite non-abelian 3-group

Does an infinite non-abelian 3-group of exponent greater than or equal to 9 has an infinite abelian subgroup?
I know that 2-groups and 3-group of exponent 3 has an infinite abelian subgroup. I wonder ...

**3**

votes

**0**answers

159 views

### What can we say about a semigroup that's acted on by an ideal of polynomials?

This got no response on MSE, so posting here.
Let $S = \{ (a,b) \in \Bbb{Z}^2 : \gcd(a,b) \neq 1 \} \cup (1,1)$. Then $S$ forms a semigroup. The operation being componentwise multiplication.
Let $...

**3**

votes

**1**answer

589 views

### Wedderburn decomposition of $D_{5}$

This is crossposted from MSE. The question:
Find the Wedderburn decomposition of $D_{5},$ the dihedral group of order 10, over the ﬁeld $\mathbb{F}_{3}.$
I have shown that the irreducible ...

**2**

votes

**1**answer

119 views

### Does this solution guarantee $det(A)=0$ where $A\in M(R)$? [closed]

Suppose $R$ is a commutative ring with identity $1$ and the following matrix equation holds:
$\begin{pmatrix} a_n & & \\
\vdots & \ddots & \\
a_1 &...

**2**

votes

**1**answer

124 views

### Varieties of rational languages and (pseudo-)varieties of finite monoids, question regarding closure property

Let $\mathcal Rat(A)$ denote the class of rational (or regular) languages over the alphabet $A$, a subset $\mathcal V(A) \subseteq \mathcal Rat(A)$ is called a variety of (rational) languages iff
...

**6**

votes

**1**answer

248 views

### Polynomiality of functions over residue rings

Suppose $\mathbb{Z}/m \mathbb{Z}$ is a residue ring for some $m \in \mathbb{N}$. If $m=p$ is a prime number then every function $f:\mathbb{Z}/p \mathbb{Z} \rightarrow \mathbb{Z}/p \mathbb{Z}$ is a ...

**0**

votes

**2**answers

196 views

### sublattice generated by lattice points intersecting a convex set

Suppose that $M\subseteq \mathbb{Z}^n$ is a module such that $\mathbb{Z}^n/M$ is free and $S\subseteq \mathbb{R}^n$ is a bounded, symmetric (around $0$) convex set. Let $M'$ be the module generated by ...

**7**

votes

**4**answers

410 views

### How universal is operadic approach to studying algebras?

I have just started to read about operads, so this question might be silly.
So it seems to me that any "reasonable" class of algebras can actually be defined as a class of all algebras over a certain ...

**9**

votes

**1**answer

425 views

### Generalizing detropicalization

Given an identity in max,plus arithmetic, are there ways to turn it into an ordinary algebraic identity it other than by replacing addition by multiplication and replacing max by series-plus or by ...

**3**

votes

**1**answer

812 views

### Commutative associative rational binary operations

What are all the nondegenerate rational binary operations that are commutative and associative? (Examples: $(x,y) \mapsto x+y$, $xy+x+y$, $xy/(x+y)$.)
Feel free to re-tag if you can think of ...

**5**

votes

**1**answer

274 views

### growth rate of $\mathbb{Z}^2\rtimes_{\sigma} \mathbb{Z}$?

I am interested in the growth rate of this type of group: $G=\mathbb{Z}^2\rtimes_{\sigma} \mathbb{Z}$, where $\sigma(a)=\begin{pmatrix}x&y\\z&w\end{pmatrix}\in SL_2(\mathbb{Z})$, where $a$ is ...

**1**

vote

**1**answer

157 views

### If $F(a_1,\ldots,a_k)=0$ whenever $a_1,\ldots,a_k$ are integers such that $f(x)=x^k-a_1x^{k-1}-\cdots-a_k$ is irreducible, then $F\equiv0$

I'm trying to understand a proof of the following theorem (from section II of Hall's paper An Isomorphism Between Linear Recurring Sequences and Algebraic Rings):
If $F(a_1, \ldots, a_k)$ is a ...

**1**

vote

**0**answers

155 views

### Solving a system of rational functions

Given pairwise distinct numbers $c_1, c_2, \dots c_n \in \mathbb{C} \setminus \{0\}$, does the system of equations $$\frac{6}{c_k} + \sum_{i \ne k} \frac{2}{c_k - c_i} = \sum_{i = 1}^n \frac{1}{c_k - ...

**4**

votes

**2**answers

571 views

### Shape of axioms in abstract algebra

When defining abstract algebraic structures (like monoids, groups, etc...), are there some constraints on the shape of the axioms, for the structure to have good properties that we implicitly use in ...