The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
0answers
46 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 ...
-3
votes
1answer
162 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
382 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
144 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
147 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
457 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
111 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
84 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 ...
5
votes
1answer
225 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
140 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
371 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
354 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
576 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
1answer
230 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
1answer
148 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
0answers
140 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 - ...
3
votes
2answers
512 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 ...
11
votes
1answer
334 views

$\mathbb{Z}G$ (left) Noetherian$\Rightarrow$ $l^1(G)$ is a flat $\mathbb{Z}G$-(right) module?

Let $G$ be a countable discrete group (not necessarily abelian), and suppose the group ring $\mathbb{Z}G$ is a left-Noetherian ring, for example, when $G$ is a polycyclic-by finite group. Denote the ...
2
votes
0answers
96 views

Lazard's $\Gamma_n(f)$ as cocycle

In Michel Lazard's "Commutative Formal Groups" Springer Lecture Notes, he defines an operator on a polynomial 3-cochain $f$ denoted $\Gamma_n(f)$, which defines as the $n^{th}$ homogeneous piece of ...
1
vote
1answer
98 views

“Symmetric” Polynomial 4-cocycles

It is an old theorem of Heaton's (based on work of Eilenberg and MacLane), that a polynomial 3-cocycle $f(x,y,z)$ which is "symmetric," in the sense that $f(x,y,z)-f(x,z,y)+f(z,x,y)=0$, is always a ...
2
votes
1answer
165 views

English translation of Steinitz 1910?

Does there exist an English translation of Steinitz' 1910 work "Algebraische Theorie der Körper"? http://www.digizeitschriften.de/dms/img/?PPN=GDZPPN002167042
2
votes
0answers
101 views

classification of rank $2$ $\mathbb{Z}/p^n\mathbb{Z}$-algebra with invertible discriminant

Let $p$ be a prime number and $n$ be an integer. Let $A$ be an $\mathbb{Z}/p^n\mathbb{Z}$-algebra of rank $2$ whose discriminant is non invertible. In Serre's book lecture on the mordell Weil theorem ...
0
votes
1answer
176 views

Find a special element in group algebra

Let $$G=\langle x, y, z\mid xyx^{-1}=zy, xzx^{-1}=z, yz=zy\rangle,$$ denote $l^1(G)^{\times}$ to be the set of units in $l^1(G)$, which we have considered as a ring with multiplication defined by the ...
0
votes
0answers
74 views

Example of a ring whose minimals are annihilators of idempotents?

I'm looking for examples† of rings with the property that for each $P={\rm Ann}_R(a)\in{\rm Min}(R)$ then $a\in R$ is idempotent (ie $a^2=a$) † other than domains!
1
vote
0answers
114 views

Is a certain group related to a primitive L function isomorphic to $Gal(\overline{\mathbb{Q}}_{\ell}/\mathbb{Q}_{\ell})$ for some $\ell$?

I define the notion of "Galois class of L functions" in the following way: $A$ is a Galois class of L functions if and only if the follwing three conditions hold simultaneously: 1) every element ...
3
votes
1answer
764 views

Diagonalize the simultaneous matrices and its background

For two $n \times n$ nonnegative definite Hermitian matrices $A$ and $B$ over the real number field $\mathbb R$: Question1:Is there always a nonsingular matrix $P$ over the same field $F$ ...
5
votes
1answer
427 views

What fields can be used for an inner product space?

Math people: The title is the question: What fields can be used for an inner product space? This question has been discussed in Math Stack Exchange with no definitive resolution. A similar question ...
4
votes
0answers
90 views

How much do idempotent ultrafilters generate in terms of semigroups?

It is known that the set of ultrafilters on, say, the natural numbers $\mathbb{N}$, can naturally be endowed with the structure of a compact topological left semigroup (which fails to be anything ...
0
votes
2answers
326 views

An exercise about Tor [closed]

Let $I$ and $J$ be two ideals in $A$. Show that $\operatorname{Tor}_{1} (A/I, A/J) =\frac {I \cap J} { IJ} $ and $Tor_{2} (A/I, A/J) =\ker(I \otimes_ {A}J \to IJ )$. The first Tor is not a ...
2
votes
0answers
109 views

Quivers for algebras which are not basic or unital.

Are there any definitions of quivers for algebras which are not basic or unital? I am reading the book Elements of the representation theory of associative algebras: volume one. The ordinary quivers ...
2
votes
2answers
460 views

Stanley-Reisner ring of a simplicial complex is a functor?

Let $K$ bea field and $[n]=\{1,\ldots,n\}$ and $K[x]=K[x_1,\ldots,x_n]$. For $\sigma=\{i_1,\ldots,i_k\}\subseteq [n]$, denote $x_\sigma=x_{i_1}\cdots x_{i_k}=\prod_{i\in\sigma}x_i\in K[x]$. Let ...
0
votes
0answers
105 views

Operating on a set of sequences - such as adding sequences and so on possible even when sequence is coded as number?

From http://math.stackexchange.com/questions/346680/operating-on-a-set-of-sequences-such-as-adding-sequences-and-so-on-possible-ev Suppose that there is a way to code some set of sequences into ...
1
vote
2answers
377 views

Semiring naturally associated to any monoid?

For any monoid $M$, we can naturally construct a semiring $S$ as follows: Let the additive monoid of $S$ be the free commutative monoid on $M$ Let the multiplicative monoid of $S$ be $M$ Then, if ...
12
votes
1answer
664 views

Number of idempotent $n\times n$ matrices over $\mathbb{Z}_m$ ?

Is there any known formula for the number of idempotent $n\times n$ matrices over $\mathbb{Z}_m$ ? The number of idempotent matrices over a finite field is well-known and since we can decompose $m$ ...
1
vote
1answer
184 views

jacobian polynomial

Here is the question which could be quit difficult (but could be not): Let $C$ be a field of complex numbers and $f \in C[x,y]$ be a polynomial such that there exist $g \in C[x,y]$ and $Jac(f,g) \in ...
2
votes
1answer
129 views

Presentation of Semigroup

Is there a common presentation (set of equations) of the semigroup of functions on a given set(finite) ?
-1
votes
1answer
145 views

product of two non-decomposible (closed) polynomials

Let $C$ be the field of complex numbers. Polynomial $f \in K[x,y]$ is called closed or non-decomposible if $C[f]$ is algebraically closed (definition for $f \in K[x1,...,xn]$ is the same). Theorem. ...
5
votes
2answers
1k views

Algebraic Morse theory

In 2005, prof. Emil Skoldberg developed a theory, similar to Forman's Discrete Morse Theory, but suited for arbitrary based chain complexes, in his Morse Theory from an algebraic viewpoint. I'm going ...
5
votes
1answer
226 views

Hochschild homology and change of non-ground ring

Let $k$ be a field, $R$ is a commutative algebra over $k$ and $A$ is an associative algebra over $R$. There is a morphism of commutative algebras $R \to T$. Is it possible to reduce calculation of ...
6
votes
12answers
5k views

Useless math that became useful

I'm writing an article on Lychrel numbers and some people pointed out that this is completely useless. My idea is to amend my article with some theories that seemed useless when they are created but ...
2
votes
0answers
123 views

Clifford algebra is graded separable

Let $D$ be an algebra of odd differential operators on a free module $V$, this algebra is isomorphic to the Clifford algebra $Cl(V^* \oplus V)$. Let $m$ denote multiplication map $$m : D\otimes D \to ...
0
votes
0answers
116 views

Structure groups and a special class of L-functions

Hello, Let $X$ and $Y$ be two mathematical objects such that there exists a canonical embedding $f:X\hookrightarrow Y$. I define the structure group of $Y$ relatively to $X$, denoted $Str(Y/X)$, as ...
0
votes
1answer
114 views

composition factor of a group which isomorphic to the alternating group of order 7

I want to find groups whose composition factor is isomorphic to the alternating group of order 7, which groups have this condiction? best regards
6
votes
1answer
375 views

Two questions about commutative theories

Let $\mathcal{T}$ be a commutative algebraic theory (for example sets, abelian groups, commutative monoids, but not groups etc.). References include the nlab and Borceux' Handbook of Categorical ...
1
vote
1answer
594 views

How to solve a system of equations over permutations?

Imagine you have a $n\times n$ matrix filled in with permutations over $n$ elements. Now you pick one permutation from each row randomly starting from the first row and by multiplying them get a ...
4
votes
1answer
158 views

Detecting elements of nilpotent extensions via finitely generated ones

Suppose that $\pi:A \to K$ is a surjective map of $K$-algebras with nilpotent kernel, for $K$ a commutative unital ring field. (Recall that this means $Ker(\pi)^n=0$ for some integer $n$.) Notice that ...
3
votes
1answer
343 views

Character theory of $2$-Frobenius groups.

This is a crosspost of my (slightly longer) question on MSE since I'm not getting any responses there. Definition. Let $G$ be a finite group and $F_1=\text{Fit}\,G$ and ...
1
vote
1answer
295 views

Question about the shape of the dual module of a module

Hi, I am reading this paper and have the following question:. On page 5 you can see different types of $A_n$-modules ($\ A_n=k[x,y]/\langle x^2,y^{n+2},xy^{n+1}\rangle\ $)$\ $ and later in the paper ...
3
votes
2answers
328 views

Guidelines to prove that 2^sqrt{2} is a transcendental number? [closed]

After a small search that I did I was unable to spot any answers here.What I am trying is to prove why the 2^sprt{2} is transcendental number.I know that this probably is a closed problem and probably ...
1
vote
1answer
260 views

About some kind of “converse” of a theorem from Galois theory

Hello, It is a well known result from Galois theory that, given a Galois extension $L$ of a field $K$, an element $x$ of $L$ is in $K$ if for all $\sigma$ in $Gal(L/K)$, one has $\sigma(x)=x$. My ...