The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
1answer
176 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 ...
4
votes
1answer
92 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 ...
9
votes
1answer
463 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
0answers
187 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
1answer
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
0answers
98 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
0answers
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
2answers
67 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
0answers
130 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
0answers
163 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
0answers
189 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
0answers
59 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
3answers
169 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
3answers
249 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
0answers
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
2answers
558 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
1answer
174 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
1answer
212 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
1answer
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
1answer
274 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
1answer
364 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
2answers
395 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
0answers
252 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
1answer
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
2answers
342 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
0answers
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
1answer
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
2answers
360 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
0answers
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
1answer
155 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
0answers
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
1answer
120 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
0answers
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
0answers
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
0answers
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
0answers
39 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
0answers
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
1answer
127 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
1answer
341 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
0answers
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
0answers
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
1answer
427 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 field $\mathbb{F}_{3}.$ I have shown that the irreducible ...
2
votes
1answer
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
1answer
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
0answers
182 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
1answer
197 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
2answers
130 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
4answers
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
1answer
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
1answer
464 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 ...