The abstract-algebra tag has no wiki summary.

**8**

votes

**1**answer

431 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

184 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

124 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

95 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 ...

**1**

vote

**0**answers

102 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} ...

**0**

votes

**2**answers

63 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

129 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):
--- ...

**1**

vote

**0**answers

162 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 ...

**4**

votes

**0**answers

188 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

**0**answers

58 views

### Multiplicativity of the Ideal Norm

I asked this question on StackExchange twice, and was never able to get an answer. This is not quite a research-level question, but it is sufficiently difficult and interesting from a pedagogical ...

**0**

votes

**3**answers

168 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

**3**answers

248 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 \ ...

**2**

votes

**0**answers

48 views

### A category of partially-ordered commutative semirings; name/notation?

Organize $\mathbb{N} \cup \{-\infty\}$ as a semiring $S$ in the max-plus fashion. So in particular, we have $1_S = 0$ and $0_S = -\infty$. Then for every commutative semiring $R$, we get a degree ...

**6**

votes

**2**answers

552 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 ...

**4**

votes

**1**answer

160 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 ...

**4**

votes

**1**answer

211 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

384 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 ...

**2**

votes

**1**answer

272 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

363 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?
...

**1**

vote

**2**answers

393 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 ...

**1**

vote

**0**answers

248 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

103 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

341 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
...

**1**

vote

**0**answers

83 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

233 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

359 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 ...

**0**

votes

**0**answers

38 views

### Supersets of P-finite sequences and rings

P-finite sequences are a superset of C-finite sequences. While doing programming work, the question came up what generalizations or supersets of P-finite sequences have people described. In other ...

**-1**

votes

**1**answer

154 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 ...

**10**

votes

**0**answers

181 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

119 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

108 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

42 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 ...

**0**

votes

**0**answers

64 views

### Graded Betti Numbers of a Graded Ideal with Linear Quotients

Exercise 8.8 in Monomial Ideals by Herzog and Hibi:
Let $I\subset S=K[x_{1},...,x_{n}]$ be a graded ideal which has linear quotients with respect to a homogeneous system of generators ...

**0**

votes

**0**answers

38 views

### Graded Betti Numbers of a Stable Monomial Ideal

Exercise 8.8 in Monomial Ideals by Herzog and Hibi:
Let $I\subset S=K[x_{1},...,x_{n}]$ be a stable monomial ideal with $G(I)=\{u_{1},...,u_{m}\}$ and such that for $i<j$, either ...

**0**

votes

**0**answers

44 views

### About Linear Quotients of Square of an Ideal with Linear Quotients

Let $I$ be a monomial ideal generated by quadratic monomials $u_{1},...,u_{s}$ and suppose that $I$ has linear quotients with respect to this given ordering. Is it true or false that $I^{2}$ has ...

**-3**

votes

**1**answer

126 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 ...

**9**

votes

**1**answer

337 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 ...

**2**

votes

**0**answers

133 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

143 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

425 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

109 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

74 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
...

**0**

votes

**0**answers

178 views

### Monomial ideals: isomorphism problem for commutative algebras?

Theorem 5.27 in Polytopes, Rings, and K-Theory (Bruns, Gubeladze - 2009 - Springer SMM) claims:
Let $K$ be a field and $I\!\unlhd\!K[x]= K[x_1,\ldots,x_n]$ and ...

**5**

votes

**1**answer

196 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

129 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 ...

**6**

votes

**4**answers

365 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 ...

**8**

votes

**1**answer

336 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 ...

**2**

votes

**1**answer

461 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

220 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

147 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 ...