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.

learn more… | top users | synonyms (1)

0
votes
1answer
20 views

Finding $|E|$, where $E$ is the Splitting Field of $x^8-1$ over a Field of $4$ Elements.

This is my attempt to find $\vert E \vert$, which is the order of the field $E$. If I am on the wrong track, please guide me to a technique that will work with more general fields and polynomials. We ...
1
vote
3answers
37 views

Find groups that contain elements $a$ and $b$ such that $|a|=|b|= 2$ and $|ab|=5$

Find groups that contain elements $a$ and $b$ such that $|a|=|b|= 2$ and $|ab|=5$ My thoughts: $|a|=|b|=2\implies a^2=e$ and $b^2=e$ I see that the group cannot be abelian as the order wont be ...
-1
votes
0answers
11 views

$ N_{1} $ , $ N_{2} $ are minimal normal subgroups of $ G $, $ G/N_{1}\cap N_{2} \cong G $?

Let $ G $ is a finite group and $ N_{1} $ , $ N_{2} $ are minimal normal subgroups of $ G $ that $ N_{1} \neq N_{2} $. Suppose $ G/N_{1} $ and $ G/N_{2} $ are supersolvable. Then $ G $ is ...
4
votes
0answers
33 views

What are super-translations?

There's been a lot of news lately about a possible solution to the black hole information paradox from a presentation given by Stephen Hawking to the KTH Royal Institute of Technology in Stockholm. ...
0
votes
2answers
36 views

How can I prove that $g\cdot H \cdot g^{-1}$ is also finite and has the same number of elements that $H$?

Suppose $G$ a group and $H$ is a finite subgroup of $G$ also $\forall g \in G$ the set $g\cdot H \cdot g^{-1}=\{ g\cdot h \cdot g^{-1} : h\in H\}$, is a subgroup of $G$. Prove that $g\cdot H ...
2
votes
1answer
63 views

How to prove that G is a cyclic Group? [duplicate]

Suppose $G$ is a finite Abelian group and, $\forall\ n\in \mathbb{N} $, there exist at most $n$ elements in $G$ which satisfy $x^n=1$. Prove $G$ is cyclic. Thanks for your help.
-1
votes
1answer
46 views

Let $p$ a prime number. Show that the polynomial $X^p-X-1 \in F_{p}[X]$ is irreducible [duplicate]

Let $p$ a prime number. Show that the polynomial $X^p-X-1 \in F_{p}[X]$ is irreducible using this hint: If $a$ is a root of $X^p-X-1$, show that $a^{p^{p}}=a$, who is the extension ...
0
votes
1answer
26 views

The sum of an isogeny and its dual for the Frobenius homeomorphism

This is from page 150 of Silverman's "The Arithmetic of Elliptic Curves". Any my only questions is: How you can conclude that $[a]=\phi+\hat{\phi}$? I tried to use the formula on page 85 which ...
4
votes
1answer
19 views

Diameter of unitary group.

Define a function$$N: \text{End}_\mathbb{C} \to \mathbb{R}_{\ge 0},\text{ }N(a) := \max_{\{v \in V\,:\, |v| = 1\}} |av|.$$ What is $$\max_{a, b \in U(V)} N(a - b),$$the "diameter" of the group ...
-1
votes
0answers
20 views

$ G $ is soluble, then every properties of $ G $ is inherited by $ G/N $ ? [on hold]

Let $ G $ be a finite group and $ G $ is soluble. Suppose $ N $ be a normal minimal subgroup of $ G $. Then every properties of $ G $ is inherited by $ G/N $ ?
16
votes
2answers
351 views

Is every axiom in the definition of a vector space necessary?

Definition: A vector space over a field $K$ consists of a set $V$ and two binary operations $+: V \times V \to V$ and $\cdot: K \times V \to V$ satisfying the following axioms: ...
-6
votes
2answers
89 views

Prove $R$ is a finite ring [on hold]

Suppose that $R$ is a ring and $D(R)$ is the set of all elements $x\in R$ such that there exist $b,c\neq 0$ with $xb=cx=0$. Prove that if $1<|D(R)|<\infty$ then $|R|<\infty$. ($|S|<\infty$ ...
2
votes
0answers
20 views

Border rank of tensors

Can anyone help me find the rank and border rank of the following tensor: \begin{align} T=a_{11}\otimes b_{11}\otimes c_{11}+a_{12}\otimes b_{21}\otimes c_{11}+a_{11}\otimes b_{12}\otimes c_{12}\\ ...
7
votes
0answers
32 views

$|G:H|=p^n$ means $O_p(H)\leq O_p(G)$?

Let $H\leq G$ (finite group) and $|G:H|=p^n$, ($p$ is a prime number) prove that: $$O_p(H)\leq O_p(G)$$ note: $O_p(G)$ defined as the intersection of all Sylow-$p$ groups in $G$ I try to prove ...
0
votes
0answers
25 views

what is the minimal condition for two elements to create same field extension?

Given a field $K\subset E$, with $\alpha,\beta\in E$, such that $K(\alpha)=K(\beta)$. What can we then say about $\alpha$ and $\beta$? If the extension is finite, then $\alpha$ is a linear ...
2
votes
1answer
25 views

$U(\mathbb{C}^n)$, $SU(\mathbb{C}^n)$ connected subsets of $M_n(\mathbb{C})$?

As the title suggests, is $U(\mathbb{C}^n)$ a connected subset of $M_n(\mathbb{C})$? How about $SU(\mathbb{C}^n)$?
0
votes
0answers
19 views

Strassen's Laser Method Technique AND Tensors in matrix multiplication algorithms

I understand the first algorithm presented by Strassen in 1968, for fast matrix multiplication. This was the first improvement to the naive approach of multiplying matrices. Thereafter, he went on to ...
4
votes
0answers
29 views

Irreducibility of $p(x)$ implies that of $p(x+c)$ only when taken over a field?

$R$ is a ring and $R[x]$ is the polynomial ring over $R$ . $c$ is any fixed element of $R$ . Then the map $f(x)\mapsto f(x+c)$ is an isomorphism from $R[x]$ to itself. Now ...
0
votes
1answer
14 views

Proving that an adjacency transposition is the product of odd number of adjacencies.

A transposition in $S_n$ of the form $(i \ i + 1)$ is called an adjacency. I am trying to prove that, Given $i ∈ \{1, . . . , n − 1\}$, if $i < j$, the transposition $(i \ j)$ is a product of an ...
2
votes
0answers
35 views

Find $\operatorname{min}(\omega\sqrt{2},\mathbb{Q})$ [duplicate]

Let $\omega$ be a primitive third root of unity with $K=\mathbb{Q}(\omega,\sqrt{2})$. Find $\operatorname{min}(\omega\sqrt{2},\mathbb{Q})$ Could anyone tell me how to find this? and generally which ...
1
vote
0answers
38 views

I need the paper “ J. Zhang, A note on finite groups satisfying the permutizer condition, Sci. Bull. 31 (1986) 363–365” [on hold]

I need this paper " J. Zhang, A note on finite groups satisfying the permutizer condition, Sci. Bull. 31 (1986) 363–365", But i not found. Who can help me to find this paper ?
0
votes
1answer
30 views

Irreducibility of a polynomial

Given that $\mathbb F$ is a field and $\mathbb F[x]$ is the polynomial ring over $\mathbb F$. $\ \ $If the polynomial $a_{0}+a_{1}x+a_{2}x^{2}+......a_{n}x^{n}$ is irreducible over ...
3
votes
2answers
55 views

Is it possible to embed $\mathbb Z^n$ inside $ \mathbb Z^m$ as a $\mathbb Z$-module for $m < n$?

Is it possible to embed $\mathbb Z^n$ inside $ \mathbb Z^m$ as a $ \mathbb Z$-module for $m < n$ ? I think it's not possible. It might be a easy problem for some of you, but I really don't ...
0
votes
1answer
36 views

an example of a normal group that is not abelian

Can anyone please tell me an example of a normal group that is not abelian? I read that in a normal group every left coset is equal to right coset.
1
vote
2answers
33 views

finite vs infinite set function composition

If there is a set $X$ which is finite with $f : X \rightarrow X$ and $g: X \rightarrow X$, then $f \circ g = 1_X$ iff $g \circ f = 1_X$. How is it true for finite sets? I'm not too sure, but the ...
0
votes
1answer
32 views

An example to prove that all cosets do not form a group

I read that only cosets (G/H) such that H is a normal subgroup form a factor group. Can anyone tell me an example of a case where cosets do not form a group ?
0
votes
3answers
64 views

Find the subgroup of $GL(2,\mathbb{C})$ generated by two matrices $A$ and $B$.

Find the subgroup of $GL(2,\mathbb{C})$ generated by the matrices $A$ and $B$, where $A=\begin{pmatrix} 1 & 0\\ 0 & i \end{pmatrix}$ and $B=\begin{pmatrix} 0 & 1\\ -1 & 0 ...
0
votes
1answer
40 views

How to find all homomorphism $\delta :V_4 \to \mathbb{C}^{*}$.

How to find all homomorphism $\delta :V_4 \to \mathbb{C}^{*}$. Where $V_4$ is Kleins 4 group and $\mathbb{C}^{*}$ is multiplicative group of nonzero complex numbers.
1
vote
0answers
33 views

What is the relation between $\mathcal{G}_{12}, \mathcal{G}_{23}, \mathcal{G}_{13}$?

please help me to find this. Suppose that the number of group homomorphism from the group $G_1$ to $G_2$ is $\mathcal{G}_{12}$, from $G_2$ to $G_3$ it is $\mathcal{G}_{23}$ and from $G_1$ to $G_3$ ...
2
votes
1answer
12 views

Induced coaction on a vector space.

Let $H$ be a Hopf algebra and let $V$ be an $H$-module. Then we have an action $H \times V \to V$ given by $(h, v) \mapsto h.v$. This action induces an $H$-action on the dual vector space $V^*$ of $V$ ...
2
votes
1answer
49 views

Intuition for Burnside's Lemma (aka Cauchy-Frobenius Lemma)

Here is the theorem: Lemma: Let a group $G$ act on a set $S$. Define $\text{Fix}(g)$ as the set of all elements in $S$ fixed by $g$ under this group action. Then the number of distinct orbits of ...
0
votes
1answer
47 views

Let $F$ be the set of all functions of the form $f: t\to \sum_{k=1}^n a_k \cos(kt)+b_k \sin(kt)$. Is $F$ an integral domain? Is it a field?

Let $F$ be the set of all functions $f$ from $\mathbb{R}$ to itself of the form $$f: t\to \sum_{k=1}^n a_k \cos(kt)+b_k \sin(kt)$$ where $a_k$ and $b_k$ are real numbers and $n$ is a natural ...
-1
votes
0answers
52 views

Ideals in Algebra [on hold]

Is there any geometric interpretation of ideals in algebra (like for instance one can intuitively imagine co-sets in terms of affine subspaces of a vector space)? Are there any instances in fields ...
9
votes
3answers
56 views

Smallest example of a group that is not isomorphic to a cyclic group, a direct product of cyclic groups or a semi direct product of cyclic groups.

What is the smallest example of a group that is not isomorphic to a cyclic group, a direct product of cyclic groups or a semi-direct product of cyclic groups? So finite abelian groups are ruled ...
4
votes
1answer
48 views

$O_{2n}(\mathbb{R}) \cap GL_{n}(\mathbb{C})=U(n)$

During a lecture of a Lie Algebras yesterday, the professor of the class stated the following fact without proof $O_{2n}(\mathbb{R}) \cap GL_{n}(\mathbb{C})=U(n)$ Note that we are viewing ...
0
votes
4answers
40 views

Prove by definition that $(x,2)\subset\mathbb Z[x]$ is a maximal ideal

When the polynomial ring $\mathbb{Z}[x]$ is quotiented by the ideal $(2,x)$ we get a field as $\mathbb{Z}[x]/(x,2)\cong\mathbb{Z}/(2)\cong\mathbb{Z}_{2}$ which is a field. But I ...
2
votes
1answer
25 views

Generator operator of $v$?

Let $\text{U}_+$ be an associative $\mathbb{C}$-algebra with two generators $E$, $H$, and one defining relation $HE - EH = 2E$. Let $M$ be an $\text{U}_+$-module. If $v \in M$ is a nonzero eigenvector ...
4
votes
1answer
50 views

Irreducible Subrepresentations of representation of $\operatorname{GL}_{3}(\mathbb{F}_q)$

For a character $\zeta$ of $\mathbb{F}_q^*$, we can construct the representation $\zeta \otimes \zeta \otimes \zeta$ of the diagonal subgroup $L$ of $\operatorname{GL}_{3}(\mathbb{F}_q)$, in the ...
0
votes
0answers
17 views

Generalized Associative Property (Proof Verification)

I am really confused about Associative property and Generalized associative property. I am not sure of my proof, and I have a feeling that it is not correct. Would be happy if someone can tell me what ...
1
vote
0answers
26 views

What do we call collections of subsets of a monoid that satisfy these axioms?

Consider a monoid $M$ and a semiring $S$. Then there's an $S$-algebra freely generated by the monoid $M$, which can be described explicitly as the set of all finitely supported functions $S \leftarrow ...
0
votes
2answers
56 views

Prove that $\mathbb{Z}[i]$ consists precisely of the elements of $\mathbb{Q}(i)$ which satisfy $x^2 + ax + b=0$, $a,b \in \mathbb{Z}$

I was reading Neurkich's "Algebraic Number Theory" and there was a proof in it that makes no sense. Proposition 1.5: $\mathbb{Z}[i]$ consists precisely of the elements of the extension field ...
1
vote
1answer
47 views

minimal polynamial of $i\sqrt{5}+\sqrt{2} \in C$

Find the minimal polynamial of $i\sqrt{5}+\sqrt{2}\in C$ over rational numbers. My solution is; Say $\alpha=i\sqrt{5}+\sqrt{2}$ $(\alpha-\sqrt{2})^2=(i\sqrt{5})^2$ $\alpha^2-2\sqrt{2}\alpha=-5$ ...
2
votes
2answers
35 views

Deducing factorization over $\mathbb{F}_p$ from factorization over $\mathbb{Q}$

I want to show rigorously that factorization over algebraic extensions of $\mathbb{Q}$ automatically yields a corresponding factorization over $\mathbb{F}_p.$ Consider for example the polynomial ...
0
votes
1answer
36 views

Find elements $x,y$ where $x\ne \pm1$ and $y\ne \pm 1$ in the field $\mathbb{Q}(\sqrt{5})$ satisfying $xy=19$.

Find elements $x,y$ where $x\ne \pm1$ and $y\ne \pm 1$ in the field $\mathbb{Q}(\sqrt{5})$ satisfying $xy=19$. I'm lost as to what to do. Any solutions or hints are greatly appreciated.
1
vote
0answers
39 views

How to find the number of solution of $x^n=1$ in the group $S_n$?

Suppose that $S_n$, the symmetric group of order $n!$ is given and for given $m\in \mathbb N$ fixed, we are to find the number of solutions to $\theta^m=e, \theta\in S_n$. Can someone tell me or give ...
0
votes
0answers
21 views

What is a conjugate weight?

The authors here write that the longest element of the Weyl group is $$w_{\max} = - id$$ except for $E_6$, $A_r$ and $D_r$ with $r$ even. There they write that $w_{\max}$ acts on a weight $\lambda$ ...
1
vote
0answers
35 views

On the number of group homomorphisms from $S_n$ to $S_m$

I was studying the number of group homomorphisms from $S_n$ to $S_m$ with $n\geq m\geq 7$ in this article. I have some difficulty in understanding. First of all, why such condition is given $n\geq ...
2
votes
1answer
45 views

Are all rings $\mathbb{Z}$-modules?

In my course of associative algebra we covered modules and an excercise involved showing that every ring $R$ can also be viewed as an $R$-module. This was straightforward enough. Is it also true that ...
0
votes
0answers
9 views

Inference of an identity in Grassmann algebra.

I am reading Herbert Federer's book called "Geometric Measure Theory", in chapter one of Grassmann algebra, on pages 36-37, he says that for $f$ being an endomorphism of a finite dimensional inner ...
-1
votes
1answer
63 views

define two functions whose compositions are equal to identity

Let B be the set $B = \{1,2,....n\}$ where n is a positive integer. Let C be the set of all bitstrings of length n and let Z be the set of all functions from B to $\{0,1\}$. How do I find the two ...