The abstract-algebra tag has no usage guidance.

**-3**

votes

**0**answers

38 views

### Subgroup of a abelian-by-finite group! [on hold]

How can I prove that a subgroup of a abelian-by-finite group is also abelian-by-finite?
Is abelian-by-finite and finite-by-abelian the same?

**-7**

votes

**0**answers

84 views

### Show that $G$ a group? [on hold]

Suppose that $G$ is a semigroup , and for every $a$ in $G$ there is unique $a^*$ in $G$ that
$aa^*a=a$
Prove that $G$ is a group.

**7**

votes

**0**answers

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

**5**

votes

**0**answers

89 views

### $A$-module is free if and only if equation involving Hilbert-Poincaré series holds, $M$ infinitely generated case

See my question here.
Let $A = \oplus_{i \ge 0} A_i$ be a nonnegatively graded commutative algebra and $M$ a nonnegatively graded $A$-module. Assume in addition that $A_0 = k$ and all vector ...

**5**

votes

**1**answer

75 views

### Center of $k$-algebra with two generators and sole defining relation $yx - xy = 1$ when $\text{char}\,k > 0$

Let $A(k)$ be a $k$-algebra with two generators, $x$, $y$, and one defining relation: $yx - xy = 1$. What is the center of the algebra $A(k)$ in the case $\text{char}\,k > 0$?

**1**

vote

**2**answers

193 views

### Is $K\cap \langle H\cup N\rangle\subseteq \langle H\cup (K\cap N)\rangle$? [closed]

If $G$ is a arbitrary group, $H,K,N\leq G$ such that $H\subseteq K$, then $K\cap \langle H\cup N\rangle\subseteq \langle H\cup (K\cap N)\rangle$?. If it is not true, how can I find an ...

**-2**

votes

**0**answers

72 views

### Maximal group image-1!

How to prove that if $G(S)$( maximal group image of the Clifford semigroup) is abelian-by-finite, then also the Clifford semigroup $S$ is abelian-by-finite?( abelian-by-finite means: has an abelian( ...

**4**

votes

**1**answer

145 views

### Obstruction for two subgroups to be conjugated by an automorphism

Altough this sounds as a very basic question, I didn't receive any answer on stack exchange and by people more knowledgeable than me
Take $p$ a prime number and $P$ an abelian finite $p$-group. Let ...

**0**

votes

**1**answer

151 views

### How to solve this system of equations? [closed]

I am trying to find a Poisson bracket on an algebra, and need to find a solution to a system of equations. The system of equations is very complicated, with more than 10000 equations and 60 variables.
...

**2**

votes

**1**answer

78 views

### How can the Cayley table for the elements of basis of a Cayley-Dickson algebra be summarized in an algebraic expression?

One would be able to construct a Cayley table that has all $e_i$ elements of the basis of algebra $A$ where $0<i<\dim A$ such that $e_0=1$, $e_1=i$, $e_2=j$ and so on. I'm looking for an ...

**2**

votes

**0**answers

146 views

### Problem in abstract algebra [closed]

Let $p$ and $q$ be two distinct primes. For a field $F$, assume that $\deg(\alpha, F)=p$.
Is it necessarily true that $\deg(\alpha^q, F)=p$? Is there any counterexample?
It is not an exercise problem ...

**0**

votes

**0**answers

56 views

### “4th order” floretions- cyclic transformation question

In response to the last paragraph mentioning "swapping" operations in this post, I would like to mention what the reference is to and one question I currently have.
Assume $X = abCD$ is some 4th ...

**4**

votes

**4**answers

414 views

### What is the motivation and purpose of the Floretion group?

When searching through the Oeis, I came across something called a floretion. Based on the context, it seems to be some sort of algebraic structure. I googled it and found nothing that explained their ...

**2**

votes

**3**answers

91 views

### Non-principal prime ideals in infinite distributive lattices

Given an infinite distributive lattice $L$, does $L$ contain a non-principal prime ideal $I$, or a non-principal prime filter $F$? ($I$ is said to be principal if there is $x\in L$ such that $I=\{y\in ...

**3**

votes

**1**answer

105 views

### Bibliography suggestion for Kummer theory

I already posted a question about a sum involving the degree of a Kummer extension.
Now I'm interested in a more specific fact about Kummer extensions.
From Hooley's paper "On Artin's conjecture", we ...

**4**

votes

**1**answer

92 views

### Maximal cyclic quotient of a $p$-group

Let $G$ be a finite abelian $p$-group, $p$ a prime. I say that a pair $(G',\varphi)$ is a maximal cyclic quotient (please excuse me if this definition already exists and refers to a different concept) ...

**2**

votes

**1**answer

379 views

### When does $R [x]/I $ has infinitely many idempotents?

Let $R$ be a commutative ring with identity and $R[x] $ its polynomial ring. I am looking for a ring with finitely many idempotents and an unextended ideal $I$ in $R[x]$ such that $R[x]/I$ has ...

**5**

votes

**2**answers

542 views

### Is there a $\mathbb{Q}$-linear map $T$ over $\mathbb{Q}[x]$ such that for all polynomials $Gal(T(f))$ $\simeq$ The commutator subgroup of $Gal(f)$?

I asked this question at MSE but I did not receive an answer. So I ask it at MO:
We denote the field of rational numbers by $\mathbb{Q}$. The Galois group of a polynomial $f$ is denoted by ...

**11**

votes

**1**answer

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

**5**

votes

**0**answers

214 views

### Endofunctors on the category of groups which are Galois- related to a linear map on $\mathbb{Q}[x]$

I thank J.C. and Arturo Magidin for interesting suggestions in the comments to this question
In this post the field of rational numbers is denoted by $\mathbb{Q}$. The space of polynomials with ...

**0**

votes

**1**answer

85 views

### Natural Poisson brackets on $S(V^*)$

Let $V$ be a finite dimensional vector space and $S(V)$ the corresponding symmetric algebra. Suppose that we have a Poisson bracket $\lambda = \{,\}: S(V) \otimes S(V) \to S(V)$. Let $V^*$ be the dual ...

**2**

votes

**0**answers

91 views

### Is there any construction of infinite dimensional algebraic division ring? [closed]

I know that there is a division algebra over $\mathbb{Q}$ such that it is algebraic and infinite dimensional over it's center i.e. $\mathbb{Q}$. But for construct this division algebra. we can use ...

**2**

votes

**0**answers

131 views

### calculation in a group ring

I have some problems with the verification of the third equation in Lemma 1 in this paper.
First of all, one has to notice that there is at least one Error in the Definition of $a_{\kappa,\nu}$ ...

**3**

votes

**1**answer

237 views

### Maximal ideal of group ring

Let $R$ be a finite commutative ring with identity and $G$ an finite abelian group. Is there any more conditions (on $R$ or on $G $) under which we can characterize maximal ideals of group ring $RG $, ...

**34**

votes

**0**answers

949 views

### $A$ is isomorphic to $A \oplus \mathbb{Z}^2$, but not to $A \oplus \mathbb{Z}$

Are there abelian groups $A$ with $A \cong A \oplus \mathbb{Z}^2$ and $A \not\cong A \oplus \mathbb{Z}$?

**2**

votes

**0**answers

76 views

### Polynomial constraints triggered by irreducibility [closed]

I've come across an interesting connection between irreducible polynomials and polynomial constraints. For example, consider the basic quadratic:
$$af^2 + bf + c = 0$$
If we're working in a ring, ...

**0**

votes

**2**answers

134 views

### Making idempotent element by a relation [closed]

Let $R$ be a commutative ring with identity and let $a, b \in R$ such that $a=ab$. How can we make a non zero idempotent element of $R$ by this relation?

**4**

votes

**0**answers

160 views

### Can we drop commutativity assumption?

Let $A$ be an associative algebra with a unit over a field $k$. fix $n > 1$. Define a $k$-algebra structure on the vector space $A^{\otimes n} = A \otimes_k \dots \otimes_k A$ (where there are $n$ ...

**3**

votes

**0**answers

97 views

### Cardinality based results in Topological Vector Spaces?

Given a topological vector space $V$, let its density be the smallest cardinal $A$ such that a set of cardinality $A$ is dense in $V$. Naively, it seems one of two things happen:
TVS's $V$ of ...

**1**

vote

**0**answers

136 views

### An identity satisfied by “Differentiation”

I asked this question in MSE but I did not received any answer. So I repeat it here:
Assume that $C$ is a coalgebra with comultiplication $\Delta:C \to C\otimes C$. The higher order ...

**0**

votes

**1**answer

124 views

### Maximal group image!

How to prove that if S is a finitely generated Clifford semigroup its maximal group image is actually the S_{e_{n}}?

**0**

votes

**1**answer

128 views

### Is it possible to generalize a result of Wang?

Assume $A$ and $B$ are commutative algebras with $1$.
There is a nice result of Wang, Corollary 8, which says the following: "Let $B = A[z] = A[Z]/(h(Z))$. Then $B$ is a separable algebra over $A$ if ...

**0**

votes

**2**answers

265 views

### When $mB \neq B$? $m$ is a maximal ideal of $A$, $A \subseteq B$

The following is a question I have asked here without receiving any comments, therefore I post it here:
Let $A \subseteq B$ be commutative rings, $m$ a maximal ideal of $A$.
When $mB \neq B$?
This ...

**27**

votes

**6**answers

4k views

### Do convolution and multiplication satisfy any nontrivial algebraic identities?

For (suitable) real- or complex-valued functions f and g on a (suitable) abelian group G, we have two bilinear operations: multiplication -
(f.g)(x) = f(x)g(x),
and convolution -
(f*g)(x) = ...

**2**

votes

**1**answer

371 views

### A particularly “natural” algebraic structure with three commutative, pairwise-distributive operations

EDIT: As mentioned in my answer below, I was mistaken in thinking Dirichlet convolution distributes over ordinary convolution. I'm leaving this question here for reference.
I keep stumbling on the ...

**0**

votes

**0**answers

68 views

### Proving the algebraic independence of certain elements

Let $k$ be a field of characteristic zero and $R$ be the polynomial ring $k[x_1,...,x_n,t_1,...,t_n]$. Let $P_i = (a_{i1}:a_{i2}:a_{i3})$ be $n$ points in the projective plane over $k$, such that not ...

**-3**

votes

**1**answer

101 views

### How to check if argument of complex number is rational multiple of $\pi$ [closed]

Assume there is give a complex number $z\in \mathbb{C}$ of modul 1. Therefore it can written as $e^{i2\pi x}$. What are the known criteria for deciding if $x$ is a rational number???

**12**

votes

**1**answer

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

**1**

vote

**2**answers

260 views

### Subgroup of Projective general linear group on complete discrete valuation ring

Let $R$ be a complete dvr and $k$ its residue field of positive characteristic.
Let $H$ be a finite subgroup of $PGL_2(k)$ such that the order of $H$ is prime with $char(k)$.
Is there some ...

**3**

votes

**2**answers

177 views

### Transitivity of discriminant for flat algebras

Sorry if the question doesn't feed this site, I'm reposting it from MSE. Nobody answered it there and I couldn't find the proof in general case(whenever it was mentioned the proof was referred to as a ...

**0**

votes

**0**answers

73 views

### What is the diameter of the Cayley graph of $S_n$ w.r.t the generator $\{(12),(23), . . . ,(n − 1 n) \}$? [duplicate]

Given a symmetric group $S_n $ and the generator set : $S = \{(12),(23), . . . ,(n − 1 n) \}$ is there any closed form expression for the diameter of the Cayley graph generated by this set of ...

**30**

votes

**2**answers

3k views

### Why is differential Galois theory not widely used?

E.R.Kolchin has developed the differential Galois theory in 1950s. And it seems powerful a tool which can decide the solvability and the form of solutions to a given differential equation.(e.g. ...

**9**

votes

**3**answers

308 views

### Real and Quaternionic Representations according to Weights

According to this question, it is easy to know whether a representation is self dual or not: just check if the weight distribution in space is symmetric about the origin.
Now, for self dual ...

**1**

vote

**0**answers

155 views

### Separability of a simple ring extension

Assume $A=K[x,y]\subset K[x,y][w]=B$, $K$ is a field of characteristic zero, $w$ is integral over $A$ (so $B$ is a f.g. $A$-module), but $w$ is not in the field of fractions of $A$, and $B$ is an ...

**5**

votes

**1**answer

436 views

### Why Jacobson, but not the left (right) maximals individually?

I firstly asked the following question on MathStackExchange a couple of months ago. I did not receive any answers, but a short comment. So, I decided to post it here, hoping to receive answers from ...

**1**

vote

**2**answers

187 views

### What are some examples of non-commutative $\mathbb{Q}$-monoids and/or $\mathbb{R}$-monoids?

Definition 0. Let $R$ denote a commutative semiring with $0$ and $1$. By an $R$-monoid, I mean a monoid $M$ equipped with an action $R \times M \rightarrow M$ denoted $r,m \mapsto m^r$, satisfying the ...

**2**

votes

**0**answers

98 views

### Classification of symplectic representations of quaternion division algebras

I would like to know the classification of representations of the form $\rho:B^{\times}\to Sp(V,F)$ or ($Gsp(V)$), where $B$ is a quaternion division algebra over a number field $F$ (or ...

**2**

votes

**3**answers

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

**3**

votes

**0**answers

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

**3**

votes

**0**answers

115 views

### Does there exist a continuous surjection? [closed]

Let $C$ be an irreducible projective cubic in $\mathbb{P}_2$ with a singular point $p$. So consider $f: \mathbb{P}_1 \to C$ defined as follows. Identify $\mathbb{P}_1$ with the set of lines in ...