The tag has no wiki summary.

learn more… | top users | synonyms

5
votes
1answer
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
0answers
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
1answer
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
2answers
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
7answers
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
1answer
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
2answers
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
2answers
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
3answers
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
2answers
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
1answer
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
1answer
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
1answer
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
2answers
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
13answers
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
4answers
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
0answers
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
2answers
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
1answer
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
2answers
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
1answer
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
0answers
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
2answers
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
18answers
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
9answers
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
2answers
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
0answers
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
1answer
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
1answer
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
5answers
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
1answer
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
1answer
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
2answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
3answers
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
2answers
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 ...