The abstract-algebra tag has no wiki summary.

**1**

vote

**0**answers

23 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

172 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**

votes

**0**answers

34 views

### How to show Well Founded Induction false? [closed]

The abstract reduction system ({a,b,c,d},→) where the → is defined as:
http://i.stack.imgur.com/TS0Ud.png
Let Q be a monadic predicate on {a,b,c,d} such that Q(a) = Q(b) = false and Q(c) = Q(d) = ...

**1**

vote

**1**answer

55 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

428 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

31 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

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

**75**

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

**20**

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

311 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

182 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

226 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

262 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

212 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

117 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

137 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

81 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

234 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

265 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

70 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

146 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

276 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

37 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

311 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

268 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

119 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

519 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

205 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

107 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

130 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

114 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

95 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

**0**answers

173 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

**0**answers

178 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

**0**answers

198 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

**0**answers

90 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

**3**answers

176 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

**3**answers

274 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

**0**answers

54 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

**2**answers

601 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

**1**answer

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

**3**

votes

**1**answer

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

**13**

votes

**1**answer

393 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

**1**answer

312 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

**1**answer

410 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?
...

**6**

votes

**2**answers

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

**3**

votes

**2**answers

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