The abstract-algebra tag has no wiki summary.

**5**

votes

**1**answer

194 views

### Can you “combine” Ord and Mon to get Cat?

Mon is the category of moniods, which can be seen as categories with one object. Ord is the category of preorders, which can be seen as categories with up to one morphism in each homset.
Is there ...

**-3**

votes

**0**answers

63 views

### Prove every group of order less or equal to five is abelian [closed]

Is it possible to prove that every group of order less or equal to five is abelian?
thanks,

**-1**

votes

**1**answer

155 views

### Why do we not lose any generality by proving it only for finitely generated groups [closed]

In the proof of following theorem, in a paper by Farkas-
Here $\Delta(G) = \{ g \in G : |G:C_G(g)| < \infty \}$ and $U_1(\mathbb{Z}G) $ is the set of normalized units of the integral group ring ...

**11**

votes

**2**answers

479 views

### Obstructions for a group to be the multiplicative group of a field [duplicate]

It is well known that every finite multiplicative subgroup of a field is cyclic.
I somehow got interested in a possible reverse implication:
Assume we have an abelian group $G$ whose every finite ...

**20**

votes

**7**answers

2k views

### Consequences of not requiring ring homomorphisms to be unital?

As defined in many modern algebra books, a homomorphism of unital rings must preserve the unit elements: $f(1_R)=1_S$. But there has been a minority who do not require this, one prominent example ...

**6**

votes

**1**answer

672 views

### the direct sum of injective modules need not be injective

The Bass-Papp Theorem asserts that a commutative ring $R$ is Noetherian iff every direct sum of injective $R$-modules is injective. Thus every non-Noetherian ring carries a counterexample.
If
$$
I_1 ...

**12**

votes

**2**answers

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

**3**

votes

**2**answers

147 views

### Solvable Lie algebras: embedded in upper triangular matrices?

Let $K$ be an arbitrary field and $\mathfrak{g}$ a finite-dimensional Lie $K$-algebra.
Let $\mathfrak{nil}_n\leq\mathfrak{sol}_n\leq\mathfrak{gl}_n$ be the Lie algebras of all ((strictly) ...

**0**

votes

**3**answers

168 views

### Counting zero-sum free sequences of a given length in $\mathbb{Z}_n$

Let $n$ and $d$ be positive integers. Define $\alpha_n^d$ to be the number of vectors $(x_1, x_2, \cdots, x_d)$ in $\mathbb{Z}_n^d$ such that given any subset $S$ of $\{ 1, 2, 3, \cdots d\}$, ...

**28**

votes

**2**answers

2k 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. ...

**5**

votes

**1**answer

327 views

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

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

**1**

vote

**1**answer

89 views

### The automorphism groups of smallest grammars of a language string are isomorphic

Let $s \in \Sigma^*$ be a formal language string. Consider the automorphism group of $s$, defined to be the set of all permutations of positions of $s$ that leave $s$ fixed. For instance $G(abab) = ...

**3**

votes

**1**answer

100 views

### When does a faithful module have an element with zero annihilator?

This is a follow up of Example of a finitely generated faithful torsion module over a commutative ring.
Let $M$ be a finitely generated module over a commutative ring $R$ with the property that ...

**2**

votes

**2**answers

140 views

### What is the maximal number of sub spaces of a fixed dimension such that there is another sub space which intersects them are all null

Let $\mathbb F_q$ be the finite field with $q$ elements. Suppose $V$ is a linear space of dimension $n$ over $\mathbb F_q$, and $r<n$. What is the maximal $k$ such that for arbitrary $k$ subspaces ...

**6**

votes

**13**answers

6k 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 ...

**3**

votes

**4**answers

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

**1**

vote

**0**answers

38 views

### Can we give efficiently the solution of a bilinear system of equations over a finite field?

Consider a finite field $F$ and suppose we have a system of equations
$$h_1(\alpha,\beta)=0,h_2(\alpha,\beta)=0,...,h_t(\alpha,\beta)=0$$
where $\alpha=(\alpha_1,...,\alpha_s)$ and ...

**7**

votes

**2**answers

173 views

### Making an algebra the uniqe maximal one-sided ideal in another unital algebra

If $R$ is an algebra without a unit, then the standard unitisation $R^\sharp$ can have maximal one-sided ideals other than $R$. Thus, it is natural to ask about the following. Let $R$ be an algebra ...

**1**

vote

**1**answer

64 views

### An example of a non-(locally cyclic) Abelian group whose automorphism group is cyclic not of order $2$

In the wake of my curiosity on this kind of things, I was thinking if there is an example of a non-(locally cyclic) Abelian group whose automorphism group is cyclic not of order $2$. Every example I ...

**11**

votes

**2**answers

1k views

### Example of a Group which has $\text{SL}_{n}(\mathbb{Z})$ as the automorphism group

For the past one week, I have been trying to learn more about Automorphism groups of different groups. Very recently one of my friend asked this question to me:
What is the Autmorphism group of ...

**10**

votes

**1**answer

466 views

### A group whose automorphism group is cyclic

Is there an Abelian group $A$ which is not locally cyclic whose automorphism group is cyclic ?
This question was first posted here.

**1**

vote

**0**answers

34 views

### About alternating polynomials an the Rowen's notation

Some definitions...
Definition 1: A polynomial $f(X_1,\dots ,X_d)$ is $t$-linear if the variables $X_1,\dots ,X_t,\; t\leq d$ appear in all monomials of $f$ and degree of $X_i,\; i=1,2,\dots ,t$ on ...

**13**

votes

**2**answers

393 views

### Formally undecidable problems on finitely presented quandles

In the literature, one sometimes sees the claim that finitely presented quandles (in particular, knot quandles) are "hard to deal with". Hence, a great deal of effort has gone into studying finite ...

**74**

votes

**18**answers

7k views

### How do you decide whether a question in abstract algebra is worth studying?

Dear MO-community, I am not sure how mature my view on this is and I might say some things that are controversial. I welcome contradicting views. In any case, I find it important to clarify this in my ...

**21**

votes

**9**answers

4k views

### What are the reasons for considering rings without identity?

I think a major reason is because Lie algebras don't have an identity, but I'm not really sure.

**5**

votes

**2**answers

323 views

### TM and abstract algebra

Usually, during lectures Turing Machines are firstly introduced from an informal point of view (for example, in this way: http://en.wikipedia.org/wiki/Turing_machine#Informal_description) and then ...

**3**

votes

**0**answers

186 views

### Is the “algebraic closure” of the quaternions, finite dimensional? [closed]

This post is a sequel of: What's the algebraic closure of the quaternions?
$\mathbb{H}$ is algebraically closed for the polynomials of the form $\sum a_r x^r$, but it is not for the polynomials ...

**5**

votes

**1**answer

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

**3**

votes

**1**answer

291 views

### A More Advanced Version of Aluffi's Chapter 0

This is a crosspost of this question from MSE.
Paulo Aluffi's Book, Algebra, Chapter 0 aims to teach basic algebra from a categorical viewpoint. The first chapters of the book, however, introduce ...

**7**

votes

**5**answers

2k views

### motivation of filtered colimits

I am trying to move in categorical algebra beyond the basics. A Lawvere theory L is a small category with finite products. (I know that there also is a functor $(skeleton(FinSet))^{op}\to L$, which ...

**6**

votes

**1**answer

220 views

### Action of the homotopy braid groups on reduced free groups

Firstly some definitions:
$B_n$ is the braid group with $n$ strands.
$\widetilde{B_n}$ is "homotopy braid group", which is a factor group of $B_n$ by adding the relation that $A_{j,k}$ ...

**29**

votes

**1**answer

1k views

### Algebraic dependency over $\mathbb{F}_{2}$

Let $f_{1},f_{2},\ldots,f_{n}$ be $n$ polynomials in $\mathbb{F}_{2}[x_{1},x_{2},\ldots,x_{n}]$
such that $\forall a=(a_1,a_2,\ldots,a_n)\in\mathbb{F}_{2}^{n}$ we have $\forall ...

**6**

votes

**2**answers

120 views

### Realizing a monoid as $\mathrm{End}(G)$ for some graph $G$

This question relates to Realizing groups as automorphism groups of graphs.
Given a monoid $M$, is there a graph $G$ such that the endomorphism monoid $\textrm{End}(G)$ is isomorphic to $M$?

**1**

vote

**1**answer

139 views

### Does the associated Lie algebra determine a group?

Let $G$ be a group and let $\Gamma_G(k)$ be the $k$th term of the lower central series of $G$. For each $k\geq 1$, set $\mathcal{L}_G(k)=\Gamma_G(k)/\Gamma_G(k+1)$ and ...

**1**

vote

**0**answers

90 views

### Criterion for global dimension of subring

All rings are assumed to be associative and unital.
If $B$ is a commutative sub-ring of $A$ (which itself needs not be commutative) then what properties of $B$ are both necessary and sufficient for ...

**5**

votes

**1**answer

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

**1**

vote

**0**answers

268 views

### Testing the faithfulness of group homomorphisms by testing on the level of induced Lie Algebras

Let $G$ be a group and let $\Gamma_G(k)$ be the $k$th term of the
lower central series of $G$. For each $k\geq 1$, set
$\mathrm{gr}_k(G)=\Gamma_G(k)/\Gamma_G(k+1)$ and
...

**0**

votes

**1**answer

79 views

### Bounded Index of Nilpotency of $R[x]$

A ring $R$ is called with bounded index (of nilpotency) $n$ if $n$ is the smallest natural number such that $a^n=0$ for all nilpotent $a \in R$.
Now let $R$ be a commutatitve ring with bounded index ...

**2**

votes

**1**answer

155 views

### Let $R$ be a $M\times N$ matrix with rational entries, Is $|(R\mathbb{Z}^N)/\mathbb{Z}^M|=|(R^T\mathbb{Z}^M)/\mathbb{Z}^N|$?

Let $R$ be a $M\times N$ matrix with rational entries, $R\mathbb{Z}^N$ be the image of $\mathbb{Z}^N$ under R.
Consider a equivalent relation on $R\mathbb{Z}^N$ defined by
$a\sim b$ if $a-b\in ...

**4**

votes

**1**answer

282 views

### The formula for a perhaps basic identity (move from stackexchange)

The following question is moved from math stackexchange. It seems that this is not a popular question, but I really want to know the answer so I moved it to here. The question reads as follows.
We ...

**0**

votes

**0**answers

43 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$ and $e_1=i$ and $e_2=j$ and so on. I'm looking for an ...

**5**

votes

**3**answers

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

**2**

votes

**1**answer

293 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

**1**answer

123 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

**1**answer

537 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

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

**0**

votes

**0**answers

110 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

**1**answer

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

**1**

vote

**0**answers

119 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

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