Tagged Questions

Abstract algebra is the study of algebraic objects. Some of the more common algebraic objects are groups, rings, fields, vector spaces, modules, among other topics.

82 views

96 views

Is $\pi^\pi$ algebraic over $\mathbb{Q}(\pi)$?

Is $\pi^\pi$ algebraic over $\mathbb{Q}(\pi)$? I have a feeling that it's a rather easy question, but since my understanding of field extensions is only superficial I really can't handle this ...
45 views

Properties of Short Exact Sequences

Some of the work I have been doing lately is heavily dependent on chasing commutative diagrams so I have been brushing up on short exact sequences since I was not familiar with them. For the most part ...
37 views

$\mathbb{T}\text{-Alg(Set)}$ is complete and cocomplete.

Let $\mathbb{T}$ be a finitary algebraic theory and $\mathbb{T}\text{-Alg(Set)}$ be the category of finite-product-preserving functors $\mathbb{T} \rightarrow \text{Set}$. It is written in my ...
53 views
+100

Growth of the characters of finite permutation groups in the number of symbols

I have the following questions. When can the characters of the irreducible representations of the elements of a finite permutation group increase exponentially in the number of the symbols the ...
26 views

Is the tensor algebra functor a strong monoidal functor?

Let $K$ be a commutative ring. Is it true that $T(V \oplus W) \cong T(V) \otimes_K T(W)$ as $K$-algebras for any $K$-modules $V$ and $W$? The reason I ask is that I have heard it mentioned (I don't ...
56 views

2k views

Amazing isomorphisms [closed]

Just as a recreational topic, what group/ring/other algebraic structure isomorphisms you know that seem unusual, or downright unintuitive? Are there such structures which we don't yet know whether ...
50 views

why the algebra $A = k[x]/(x^n)$ has finite representation type? [closed]

Suppose that $k$ is algebraically closed. Then why the algebra $A = k[x]/(x^n)$ has finite representation type? please clarify the answer.
55 views

Is $\pi e$ irrational? [duplicate]

During our ongoing research, we need to prove that $\pi e<\lceil \pi e\rceil$. Is $\pi e$ irrational? How to prove it? Thanks- mike
66 views

Isomorphism between a quotient of a polynomial ring and a polynomial ring [on hold]

I'm going to show that $\mathbb{K}[x,y,z]/(y^2-xz)$ is not isomorphic to any polynomial ring. I'll be grateful of someone brings a hint to show this result. Thank you.
24 views

Question about $\mathbb{Z}^2 \otimes \text{sym}^2\mathbb{Z}^3$.

I am confused about the set $\mathbb{Z}^2 \otimes \text{sym}^2\mathbb{Z}^3$... Could someone please explain me why this corresponds to the set of pairs of symmetric $3$ by $3$ matrices? Thank you!
39 views

To prove: The intersection of all normal subgroups of finite index of a free group is trivial.

Let $S$ be a set, $G$ its free group and $\mathcal{N}$ the set of normal $N \leq G$ such that $[G:N] \leq \infty$. Prove that $$\bigcap_{N \in \mathcal{N}} N \ = \ \{ e\}$$ I know how free ...
34 views

42 views

Group of order $pq$ with $p<q$ prime has $q-1$ elements of order $q$

If $p<q$ are primes and $G$ is a group of order $pq$, then $G$ has exactly $q-1$ elements of order $q$. My attempt was: Use Sylow theorem to show that $G$ has only one subgroup of order $q$, so ...
11 views

How the symmetryis related to lie groups? what are the applications? [closed]

lie groups and it's applications are required.Also how symmetrical examples fitted in that?
27 views

must this extension of a DVR be unramified?

Let $A$ be a normal domain, and $P$ a height 1 prime, then $A_P$ is a DVR. Let $K$ be the fraction field of $A_P$, and let $L$ be a finite Galois extension of $K$ of degree $e$, let $B$ be the ...
64 views

Showing that two quotient rings are isomorphic

Is $\mathbb{Q}[x]/(x^2-x-1)$ isomorphic to $\mathbb{Q}[x]/(x^2-5)?$ My guess is yes. I am trying to find an isomorphism between the two. Universal Property of Quotient certainly helps. I am thinking ...
63 views

What is $\mathbb{F}_p(\sqrt{X})\otimes_{\mathbb{F}_p(X)} \mathbb{F}_p(\sqrt{X})$?

I am trying to understand what $\mathbb{F}_p(\sqrt{X})\otimes_{\mathbb{F}_p (X)} \mathbb{F}_p(\sqrt{X})$ is. $\mathbb{F}_p(\sqrt{X})$ is the field of rational functions in $\sqrt{X}$. What is it ...
487 views

How to understand “tensor” in commutative algebra?

Tensor is sure an important concept in commutative algebra, but the definition is kind of abstract, so is there any way to understand it which is easier? Thanks advance! The definition I see is the ...
32 views

does algebra over algebraically closed field has isomorphism classes of irreducible modules?

Let $F$ be an algebraically closed field and $M$ be an F-algebra. Which are the conditions that make $M$ has finitely many isomorphism classes of irreducible $M$-modules?
33 views

Counting maximal subgroups in a finite $p$-group

Let $G$ be a finite $p$-group. I want to show that if the number of maximal subgroups is strictly less than $p+1$ then $G$ is cyclic. This may not be true, but if the number of maximal subgroups is ...
25 views

Show that $\mathbb{C}\otimes_\mathbb{R}\mathbb{C}\simeq \mathbb{C}\times\mathbb{C}$ [duplicate]

Show that $\mathbb{Q}(\sqrt{2})\otimes_{\mathbb{Q}}\mathbb{Q}(\sqrt{3})\simeq\mathbb{Q}(\sqrt{2},\sqrt{3})$ and $\mathbb{C}\otimes_\mathbb{R}\mathbb{C}\simeq \mathbb{C}\times\mathbb{C}$ I approached ...
37 views

Is there an infinite field F with char(F)=p and not algebraically closed field?

Is there an infinite field F with characteristic of the field $F$ is $p$ (p is prime) and not algebraically closed field ?
35 views

Sifting algorithm for group generated by a set. [closed]

On page 38 of "Lecture Notes in Computer Science" by Christoph M. Hoffmann, there is an algorithm (ALGORITHM 2). I have some confusions. The algorithm needs to go to all column element indexed by ...
73 views

$\mathbb Z$ basis of the module $\mathbb Z [\zeta]$

Given an $n$-th root of unity $\zeta$, consider the $\mathbb Z$-module $M := \mathbb Z[\zeta]$. Does this module have a special name? Does a basis exist for every $n$? And if so, is there an ...