The abstract-algebra tag has no wiki summary.

**0**

votes

**0**answers

119 views

### On X-s-permutable subgroups of a finite group

I want to prove Lemma 2.1(1) in the paper On X-s-Permutable Subgroups of a Finite Group by Min Bang SU, Yang Ming LI. It is on the web.
This is my proof.
.
Since $H$ is $X−s−$permutable in $G$, then ...

**1**

vote

**1**answer

200 views

### why evry p group of infinity order is not simple?

why every p group of infinity order is not simple?

**2**

votes

**1**answer

273 views

### Noether Normalization in $\mathbb{C}[[x_1,…,x_n]]$

Hello everyone,
though I am quite sure my question is not on a research level, I am a bit helpless as of where to ask it. I posted it on math.stackexchange here, but there has been no answer helping ...

**5**

votes

**1**answer

399 views

### Left ideals vs right ideals

By default, let all algebras be complex and unital. I am concerned with the non-commutative algebras. I am wondering if the following might be true (at least for some classes of algebras, like ...

**1**

vote

**2**answers

294 views

### submonoids of Z_n

Anyone knows how to describe explicitly the submonoids of Z_n, regarded as a multiplicative
monoid?

**0**

votes

**1**answer

297 views

### Group of divisibility

We know that the necessary condition for any partially ordered group to be a group of divisibility is that the group must be a directed group. What is the sufficient condtion for partially ordered ...

**1**

vote

**1**answer

368 views

### Integrally closed

Is there any idea to prove that $F + xk[[x]]$ is not integrally closed when the field $k$ is a proper extension of the field $F.$

**-1**

votes

**1**answer

800 views

### 1895 Math Trip problem on primitive roots of unity

How to prove that if $\theta _1,\theta _2,\theta _3$ be the arguments of the primitive roots of unity, $\sum \cos p\theta = 0$ when $p$ is a positive integer less than $\dfrac {n} {abc\ldots k}$, ...

**1**

vote

**1**answer

170 views

### Ring of a Spectral Space

It is said, as far as I can tell that an arbitrary spectral space, i.e. a space that is $T_0$, sober and quasi-compact whose collection of quasi-compact open sets forms a basis and is closed under ...

**9**

votes

**1**answer

344 views

### Given a rational number a/b does there exist a finite group G and an automorphism f s.t. f maps exactly a/b elements of G to their own inverses?

I was helping a friend prepare for his intro abstract final and he mentioned the professor had once asked the question name a group and an automorphism that takes 3/4 of the elements of the group to ...

**0**

votes

**1**answer

386 views

### Weak algebraic structures

The following question can be thought as a sequel of this one.
Here I'm looking for a big list of example of weak algebraic structures: here weak means that the structure (i.e. operations) need not ...

**2**

votes

**1**answer

524 views

### Dedekind Spectra

Is there a class of ring spectra that corresponds to and/or extends the class of Dedekind rings from traditional algebra? Is there a notion of "ring of integers" of a ring spectrum? Additionally, is ...

**1**

vote

**0**answers

914 views

### Textbook suggestion for advanced algebra? [closed]

After having a solid year long undergraduate course in abstract algebra, I'm interested in learning algebra at a more advanced level, especially in the context of category theory.
I've done some ...

**5**

votes

**0**answers

277 views

### Can any group be realized as the multiplicative group of a ring? [duplicate]

Possible Duplicate:
Ring with Z as its group of units?
Given a group $G$, does there always exist a ring $R$ such that $R^\times \cong G$? I feel like this isn't true but that's just a hunch. ...

**7**

votes

**2**answers

720 views

### Virtual algebraic calculation within proofs

It seems to me that the undergraduates I teach have particular difficulty with proofs that involve reasoning about algebraic calculations that arise only theoretically. Since I have in mind doing ...

**2**

votes

**0**answers

170 views

### Idea behind choosing $\small f(x)$ as $c^{s}x^{p-1} \frac{[\theta(x)]^{p}}{(p-1)!}$ in the proof that $\pi$ is transcendental.

I am going through the article at this link, where the author proves that: "$\pi$ is $\text{transcendental}$ over $\mathbb{Q}$". Although, I understand the proof, I have some doubts.
At page $6$, ...

**3**

votes

**2**answers

380 views

### Double orthogonal complement of a finite module

Crossposted from math.stackexchange since I'm not getting any answer.
Let $W$ be the finite $\mathbb{Z}$-module obtained from $\mathbb{Z}_q^n$ with addition componentwise where $\mathbb{Z}_q$ is the ...

**9**

votes

**2**answers

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

**1**

vote

**1**answer

254 views

### Defect groups and subgroups

I have asked this question on Stack Exchange but had no response; it's been bugging me for a few days. I am struggling to see how to apply Mackey's theorem to prove a certain Lemma in Local ...

**5**

votes

**2**answers

1k views

### Example of an infinite abelian but non-cyclic group whose automorphism group is cyclic.

Can anyone give me an example of:
An infinite abelian but non-cyclic group whose automorphism group is cyclic.

**10**

votes

**1**answer

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

**4**

votes

**2**answers

4k views

### An image of the hierarchy of algebraic structures

Hello! Does anybody know an image of a graph featuring the hierarchy of algebraic structures? Something rather complete.
So far I've found similar images describing the hierarchies of ...

**2**

votes

**3**answers

548 views

### Are these Two Definitions of Quadratic Form (Algebraic, Topological) Related to Each Other?

Hi, All:
I am trying to see if there is a nice relation between two different definitions of quadratic form q; a topological definition $q_T$, and an algebraic definition $q_A$, and, if there is, how ...

**1**

vote

**2**answers

414 views

### Difference between orthogonal form and seminormal form

Frequently in the literature on Hecke algebras for the symmetric group and their generalisations, one encounters references to Young's seminormal form and Young's orthogonal form. I have a good ...

**0**

votes

**3**answers

2k views

### Suggestions for a good abstract algebra book [closed]

i am early undergraduate looking for a good textbook gor algebra, i don't want a too wordy book@@

**7**

votes

**2**answers

2k views

### fgf = f, gfg = g, fg not necessarily identity, what was that called?

A very simple question, I just totally forgot how it was called, and google is not helping.
There's a pair of functions $f:X\to Y$, $g:Y\to X$.
$fgf = f$, $gfg = g$, but $fg$ and $gf$ don't need to ...

**0**

votes

**2**answers

293 views

### Aut(G) acting transitively on a finite group [closed]

How Aut(G) acting transitively on a finite group G^* can lead G to be elementary abelian group? G^*=G-{1}.

**0**

votes

**1**answer

405 views

### Number of ideals in primary decomposition

Dear friends,
I have the following question:
Let K be an algebraic number field and [K:Q]=n. Let O_K be a full ring of integers of K.
Assume that O \subset O_K is a subring such that rank of O over Z ...

**0**

votes

**1**answer

562 views

### Groups GLn(F) and PSLn(F)

As J.S.Rose noted in his book "A Course on Group Theory" : There is a section of GLn(F) which is isomorphic to PSLn(F), n≥1, F is a field"?. I ask that "What can this section be?"

**3**

votes

**3**answers

555 views

### About solvable groups

Is it possible for a group (non-simple and non-abelian) that solvability of all of its proper subgroups leads the whole group to be solvable?

**0**

votes

**2**answers

210 views

### The X-series (for groups)

It goes without saying that the name in the title tentatively refers to a series whose name one does not know yet and probably in the future I may come with a post titled "The x-sequence" or "The ...

**1**

vote

**1**answer

353 views

### Unimodular column property

Hi, I know that if $R$ is a ring such that every projective $R$-module finitely generated is free then $R$ has the unimodular column property.
I would like to know if there is a ring $R$ that doesn't ...

**7**

votes

**1**answer

666 views

### Direct sum of injective modules over non-Noetherian rings

Hi. I know, by the Bass-Papp theorem, that if every direct sum of injective $R$-modules is injective then $R$ is Noetherian. I would like to know if there exists a direct sum of injective $R$-modules ...

**5**

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

**2**

votes

**2**answers

354 views

### Related to fractional ideals

$K$ a field, $A\subset K$ a subring, $M\subset K$ an $A$-submodule. Define
$$(A:_{K}M):= \lbrace s\in K|sM\subset A\rbrace$$
Then it is easy to see that
$$M\subset A\Longleftrightarrow A\subset ...

**6**

votes

**3**answers

840 views

### Does “finitely presented” mean “always finitely presented”, considered in general

I'm wondering about the question, "If we have a finitely presented __, is it necessarily finitely presented with respect to any finite generating set for it?" I know this is true for groups and for ...

**13**

votes

**4**answers

3k views

### Unique factorization domains

Let $c$ be an integer, not necessarily positive and $|c|$ not a square. Let $\mathbb{Z}[\sqrt{c}]$ be the set of complex numbers $$a+b\sqrt{c}, a, b\in \mathbb{Z},$$
which form a subring of the ring ...

**0**

votes

**1**answer

136 views

### Projectively splitting module

Is there a name for such class of modules $M$ such that $M\rightarrow N\rightarrow 0$ splits for every $N$ ?

**-1**

votes

**2**answers

551 views

### Unit ideal in non-commutative rings [closed]

In a non-commutative ring (with identity), is it possible for an element which does not possess left or right inverses to generate the entire ring? i.e. $(r)=R$, where (r) is the two-sided ideal ...

**0**

votes

**3**answers

1k views

### Union of two proper subgroups [closed]

When can a group be written as the set-theoretic union of its proper subgroups?

**3**

votes

**1**answer

1k views

### Bounds for zeros of polynomials with only real zeros

The formula in
http://de.wikipedia.org/wiki/Diskussion:Nullstelle#References
gives upper and lower bounds x1 and x2 for the roots of a polynomial all of whose roots are real.
Where can I find a ...

**14**

votes

**2**answers

2k views

### Does any textbook take this approach to the isomorphism theorems?

Below, I present an outline of a proof of the first isomorphism theorem for groups. This is how I usually think of the first isomorphism theorem for ______, but groups will get the points across. My ...

**5**

votes

**1**answer

332 views

### What is the Schouten bracket for the Chevalley-Eilenberg complex with coefficients in a nontrivial module?

Let $\mathfrak g$ be a Lie algebra. The Chevalley-Eilenberg complex is defined to be $\wedge^* \mathfrak g$ with differential $d\colon \wedge^* \mathfrak g\to \wedge^{*-1}\mathfrak g$ defined by ...

**8**

votes

**4**answers

633 views

### Groups and rings which are not sets

An algebraic structure such as a group, ring, field, etc. is usually defined to be a set with some operations satisfying certain properties. I am curious what, if anything, goes wrong when the ...

**14**

votes

**1**answer

785 views

### Is Dependent Choice equivalent to the statement that every PID is factorial?

In this question, it was asked if AC is needed in the proof of the well-known fact that every principal ideal domain is factorial. As KConrad and Joel David Hamkins have pointed out, only DC, the ...

**72**

votes

**18**answers

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

**2**

votes

**7**answers

2k views

### How to tell if two random polynomials are identical

Let t be a positive real number. Let P(x) and Q(x) be two random polynomials with integer coefficients. If P(t) = Q(t), then what is the probability that P(x) is not identical to Q(x)?
Will it make a ...

**4**

votes

**1**answer

1k views

### Non-trivial consequences of Baer's theorem and Lucchini's theorem in subnormality theory

There are a couple of beautiful results in finite group theory that look trivial, at least on a first glance, but require non-trivial facts to prove. I am basically interested in whether these results ...

**2**

votes

**2**answers

252 views

### Admissible finite groups

I want to know when an abelian group of even order is admissible (or has a complete map)? And when a nonabelian group of even order is admissible (or has a complete map)?
Thanks.

**2**

votes

**1**answer

535 views

### Rank of a linear combination of quadratic forms

Suppose we have a set of quadratic forms $Q_i (x_1, \dots, x_n)$ for $1 \leq i \leq k$ in $n$ variables, defined over $\mathbb{R}$. We suppose these are 'collectively nondegenerate' in the sense that ...