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

learn more… | top users | synonyms (1)

1
vote
0answers
11 views

Determining a spanning set for $X/\bigcap_{i=1}^N \ker{\lambda_i}$, where each $\lambda_i$ is a linear functional on $X$

Let $X$ be a vector space over a field $K$. Suppose that $\{\lambda_i\}_{i=1}^N$ is a collection of linear functionals $\lambda_i : X \to K$. Let $W$ be the subspace $\{ x \in X \mid \lambda_i(x) = ...
3
votes
0answers
26 views

Identifying the algebra

In order to solve an obscure (physics) problem I have been considering whose details are not important, I am looking for elements (I am thinking in terms of matrices and their products but this may ...
9
votes
2answers
61 views

Prove that an expression is zero for all sets of distinct $a_1, \dotsc, a_n\in\mathbb{C}$

A while ago one of my professors gave the class a problem "to think about when lying on the beach." Well, I've been on the beach several times since then to no avail and my curiosity has finally ...
0
votes
3answers
45 views

If $H$ and $K$ are subgroups of G then $H \times K$ is a subgroup of $G \times G$

I know that if $H$ and $K$ are subgroups of $G$ then $HK= \{ hk \mid h \in H , k \in K\}$ is not necessarily a subgroup of $G$, this requires that $HK = KH$. But it follows that if $H$ and $K$ are ...
0
votes
0answers
31 views

A city wants to encourage downtown

could you please help me with this ( part d ) A city wants to encourage downtown employees to use public transportation. Below is the time in minutes to get to work on one morning according to ...
0
votes
1answer
25 views

Prove $\alpha: \mathbb{Z_n} \rightarrow \mathbb{Z_n}$ defined by $\alpha(s)=rs\mod{n}$ is an automorphism.

I'm working on proving the following claim: "Let $r \in U(n)$ and $\forall s \in \mathbb{Z_n}$, $\alpha: \mathbb{Z_n} \rightarrow \mathbb{Z_n}$ defined by $\alpha(s)=rs\mod{n}$ is an automorphism." ...
0
votes
0answers
29 views

Is there a name for convex subsets that contain the origin?

Let $R$ denote a preordered commutative ring (e.g. take $R=\mathbb{R}$), and suppose $M$ is an $R$-module (e.g. take $M$ equal to the vector space $\mathbb{R}^2$). Question 0. Is there a name for ...
0
votes
0answers
18 views

A problem on Matirices over Ring

Let $M_{m,n}(R)$ denote an $m\times n$ matrix with each entry over a commutative ring $R$, $m\leq 2\leq n$, and there is a matrix $\mathbf{B} = M_{m,n}(R)$. $\mathbf{B}\mathbf{s} = \mathbf{a}$, where ...
-2
votes
0answers
42 views

Give a examples of $p$-Sylow subgroups of $G=A_5\times S_3$ for $p=2,3,5$ and tell what group is isomorphic to each subgroup? [on hold]

Give a examples of $p$-Sylow subgroups of $G=A_5\times S_3$ for $p=2,3,5$ and tell what group is isomorphic to each subgroup? Does there exist a subgroup of $G$ of order $180$?
1
vote
1answer
49 views

Asterisk Notation

I am trying to read through the Cech Cohomology section in these notes: http://pub.math.leidenuniv.nl/~edixhovensj/teaching/2011-2012/AAG/lecture_14.pdf I would be really grateful if someone could ...
1
vote
1answer
40 views

Irreducible action of a group on a set

Let $p$ be a prime. I am solving a problem and I am told that I should use that the action of $\text{SL}_2(p)$ on $\mathbb{F}_p^2$ is irreducible. But I don't know what this means?
2
votes
1answer
30 views

Lower central series and the center of $S/S^k$

Let $S$ be a $p$-group and assume that $S$ has maximal class - so if we assume $\vert S \vert = p^n$ then the lower (and upper) central series has length $n-1$. I don't know much about lower central ...
-1
votes
1answer
44 views

Abelian group over a field underlying an abstract vector space [on hold]

Given that a set V is said to be a vector space over a field F if V is an Abelian group under addition and for each $a\in F$ and $\boldsymbol{v}$ in V there is an element $a\boldsymbol{v}$ in V, how ...
-4
votes
0answers
28 views

Proving $R=\{a+b\sqrt3\mid a,b \in \Bbb Z\}$ is Euclidean. [on hold]

Let $R=\{a+b\sqrt3\mid a,b \in \Bbb Z\}$ A. Prove $R$ is a Euclidian domain with respct to the norm $N(a+b\sqrt3)= |a^2-3b^2|$. B. Divide $1+\sqrt3$ by $2+\sqrt3$ in $R$.
0
votes
2answers
71 views

Is $2x^2+4$ reducible over $\mathbb C$?

I am not sure if I making some very fundamental mistake. But Gallian says that $2x^2+4$ is reducible over $\mathbb C$. If $D$ be an integral domain. A polynomial $f(x)$ from $D[x]$ is said to be ...
0
votes
2answers
51 views

May a monoid have two disjoint submonoids?

I'm asking this question inspired by the similar question about group and its subgroups. I tried to modify the proof presented there to work for monoids but I failed. I'm also not able to find any ...
0
votes
0answers
30 views

simple exercise in Cylindric algebra

I am trying to gain a better understanding of cylindric algebra, so I made up this example. Given a general rule that someone's father's father is his/her grandfather: $\forall_X ~ \forall_Y ~ ...
3
votes
2answers
102 views

Is an arbitrary group generated by a traversal of the conjugacy classes?

Let $G$ be a group, and let $\mathcal C$ be the collection of conjugacy classes of $G$. Let $S$ be a traversal of $\mathcal C$ (that is $S$ contains exactly one element from each set in $\cal C$). ...
2
votes
2answers
67 views

Proof for Surjections

I'm reading through Basic Algebra I (which I enjoy so far. Thoughts on this for self-studying?) and am having a difficult time proving surjection. I believe I understand the concept, but when it comes ...
1
vote
1answer
17 views

Simple $M_n(D)$-module with $D$ a division ring

Define $D$ to be a division algebra over a field $k$ and $R=M_n(D)$ the $n\times n$ matrix ring over $D$. A simple $R$-module $M$ is the quotient of $R$. I can write $R=\bigoplus_j I_j$ where $I_j$ is ...
1
vote
1answer
30 views

Quotient Gaussian Integers

Following Quotient ring of Gaussian integers, their extended conclusion is $\mathbb{Z}[i]/(a-ib) \cong \mathbb{Z}/(a^{2}+b^{2})\mathbb{Z}$. However it does not convince me, at least, one example ...
0
votes
1answer
18 views

Restricting Binary Operator $*$ To A Subset

I am currently reading Dummit and Foote's Abstract Algebra, and am having a little confusion over the following excerpt: Suppose that $*$ is a binary operation on a set $G$ and $H$ is a subset of ...
0
votes
1answer
45 views

Confused about proof in Basic abstract algebra by Bhattacharya

On page 264 , 2nd edition. Theorem 5.1 It says Let M be a free $R$-module with "a basis" $\{e_1,\dots,e_n\}$ Then $M$ is $R$-isomorphic to $R^n$. Above he is defining the standard basis as the ...
2
votes
0answers
47 views

Problems from Polynomial Rings. My attempt shown.

$1.$ Let $f(x) =a_mx^m+a_{m-1}x^{m-1}+ \cdots +a_0$ and $g(x) = b_nx^n+b_{n-1}x^{n-1}+ \cdots +b_0$ belong to $\mathbb Q[x]$ and suppose that $f \circ g \in \mathbb Z[x].$ Prove that $a_ib_j$ is an ...
0
votes
0answers
28 views

Text on Witt vectors that are accessible to undergraduate students

I am looking for a thorough text on Witt vectors that is accessible to an undergraduate student that have completed the following courses: Calc 1, 2, Linear Algebra and Abstract Algebra. (In Norway, ...
3
votes
1answer
48 views

Tensor product of duals

Can we show $V^* \otimes W^* \simeq (V \otimes W)^*$, when $V$ or $W$ is finite-dimensional without referring to the basis? I can inject $V^* \otimes W^*$ into $(V \otimes W)^*$ using the obvious ...
2
votes
1answer
42 views

Why are these dimensions equal?

For a finite $K$-algebra $A$ and $L\supset K$ fields, why do we have$$\dim_K A=\dim_L(A\otimes_KL)?$$ I ran across this a couple of times and it's always assumed to be quite obvious, which it isn't to ...
-1
votes
0answers
21 views

AI / Machine Learning related to high/modern/front mathematics [on hold]

I major math and cs. and i'm interested in ai/machine learning/data mining. so i want to know what math subjects are used in frontier of these technology. especially, high mathematical tool, like ...
-1
votes
1answer
16 views

Find a coset $f (= f + 22\Bbb Z)$ so that $(\Bbb Z/22\Bbb Z)^\times=U_{22} = \langle f\rangle$.

Find a coset $[f]=f+22\Bbb Z\in \Bbb Z/22\Bbb Z$ such that the units, $(\Bbb Z/22\Bbb Z)^\times)=U_{22} = \langle f\rangle$ are generated by $f$. I am unsure of how to go about this.
0
votes
1answer
15 views

When Is there no Local Power Integral Basis?

Let $A$ be a Dedekind domain, $K, L, B$ the usual designations of $A$'s quotient field, a finite separable extension of $K$, and integral closure of $A$ in $L$ respectively. If $\alpha \in B$ ...
2
votes
1answer
41 views

Proving result on algebraically closed fields

I have been told that: Let $f_1,\dots,f_n,g\in F[x_1,\dots,x_m]$ be polynomials in $m$ variables with coefficients in the algebraically closed field $F$. Then if the system: ...
1
vote
1answer
15 views

Proving a certain set is inductive

Let's give some context. We have to prove «Krull's theorem», which states that: If $A$ is a commutative ring, $N$ is its (nil)radical, i.e. the set of its nilpotent elements $\{x\in A:\exists ...
9
votes
5answers
302 views

Exercises in category theory for a non-working mathematican (undergrad)

I'm trying to learn category theory pretty much on my own (with some help from a professor). My main information source is the good old Categories for the working mathematician by Mac Lane. I find the ...
-1
votes
2answers
30 views

R is a PID, and a is a nonzero nonunit in R. How can we show R/Ra is an injective module over R?

If we use Baer's criterion then it suffices to show that if there exist a map from an ideal $I$ to $R/Ra$ we must find a map $g$ such that $g\circ i=f$.
1
vote
2answers
27 views

groups products vs vector space products

I started from wandering if the cross product (a product between two vectors that gives a vector) can be abstracted like dot product (a product between two vectors that gives a scalar) is abstracted ...
0
votes
1answer
18 views

proving closure of a subset [duplicate]

Let B be a set, and let * be a binary operation in B. Suppose * satisfies the associative law. Let $$P=\{b \in B : b * w = w * b \quad\forall\, w \in B\}$$ Prove that P is closed under *.
1
vote
0answers
33 views

Simple Cogenerator for the category of left $R$-modules

I want to prove that if the category of left $R$-modules has a simple cogenerator $M$, then $R$ is a simple ring. (Here, $R$ is an arbitrary ring with $1$.) My try is to take an ideal $I$ of $R$ ...
0
votes
1answer
26 views

Repeated Irreducible Representations in a representation

I'm reading through Serre's - Linear representations of finite groups. He has the following theorem (theorem 4 of chapter 2): Let $V$ be a linear representation of $G$, with character $\phi$ and ...
1
vote
1answer
34 views

Maps preserving roots of a polynomial function over finite fields

Let $P(x_{1},\ldots,x_{n}):\mathbb{F}_{2}^{n}\rightarrow \mathbb{F}_{2}$ be a polynomial function with degree $d$ and with variables $x_{1},\ldots,x_{n} \in \mathbb{F}_{2}$. Let $S(P)=\{ ...
1
vote
0answers
33 views

Can the derived subgroup be realized as an intersection of stabilizers?

For any group $G$, we have that $Z(G)=\bigcap_{x\in G}C_G(x)$ and that each $C_G(x)$ is the stabilizer of $x$ when $G$ acts on itself by conjugation. Is there a similar representation for $G'$? That ...
1
vote
1answer
43 views

Finitely generated, periodic group such that each conjugacy class is finite must be finite?

This is essentially a repeat of this question. However, the OP didn't seem to put in any work towards a solution and didn't provide context. Nevertheless, I'm still interested in the solution, and I ...
0
votes
1answer
25 views

Finitely generated ring of polynomials

Can we say that, "by definition", a ring $R[x]$ is finitely generated as an $R$-module for some commutative ring $R$ iff $x^n=q(x)$ for some polynomial $q(x)$ of degree $n-1$ for some $n$?
-2
votes
0answers
17 views

number of group homomorphism from the symmetric group $S_3$ to the additive group $\Bbb Z/6\Bbb Z$ [duplicate]

The number of group homomorphism from the symmetric group $S_3$ to the additive group $\Bbb Z/6\Bbb Z$ ? a)1 b)2 c)3 d)0
-2
votes
0answers
26 views

Number of normal subgroups of a non-abelian group of order 21 [on hold]

How many normal subgroups can a non-abelian group G of order 21 have other than the identity subgroup {e} and G? a)0 b)1 c)3 d)7
3
votes
1answer
54 views

If $F$ be a field, then $F[x]$ is a principal ideal domain. Does $F$ have to be necessarily a field?

If $F$ be a field, then $F[x]$ is a principal ideal domain. Does $F$ have to be necessarily a field? My Thoughts: Suppose instead of $F$, we take the set of polynomials $R[x]$ over a commutative ring ...
3
votes
0answers
27 views

“Type” in specifying a ring/ field

In the definition of fields on wikipedia, it says: A field is therefore an algebraic structure $\langle \Bbb F, +, \cdot , −, ^{−1}, 0, 1\rangle$; of type $\langle 2, 2, 1, 1, 0, 0\rangle$, ...
-2
votes
1answer
43 views

Suppose $x ≡ 1 \ (\text{mod}\ 8)$, and $x ≡ 9\ (\text{mod}\ 12)$ has a solution $x = x_0$. How many solutions modulo 24? [on hold]

Suppose $x ≡ 1\ (\text{mod}\ 8)$, and $x ≡ 9\ (\text{mod}\ 12)$ has a solution $x = x_0$. How many solutions modulo $24$ are there to this system of congruences?
-3
votes
0answers
27 views

For m, n ≥ 2, let f : Z → Z/mZ×Z/nZ be the ring homomorphism defined by f(a) = (a + mZ, a + nZ)… read below. [on hold]

For m, n ≥ 2, let f : Z → Z/mZ×Z/nZ be the ring homomorphism defined by f(a) = (a + mZ, a + nZ). (i) The kernel K of f is the ideal qZ for some number q (depending, of course, on m and n). Describe q. ...
1
vote
1answer
58 views

Prove: A group $G$ is abelian if and only if the map $G\rightarrow G$ given by $x\mapsto x^{-1}$ is an automorphism.

Problem: A group $G$ is abelian if and only if the map $G\rightarrow G$ given by $x\mapsto x^{-1}$ is an automorphism. Prove it. Solution: $(\Rightarrow)$ If $f(x_1)=f(x_2)$, then ...
0
votes
1answer
52 views

If $G,H$ are monoids and not groups, prove that $f(e_G)=e_H$ may be wrong.

Problem: If $f:G\longrightarrow H$ is a homomorphism of groups, then $f(e_G)=e_H$ and $f(a^{-1})=f(a)^{-1}, \forall a\in G$. Show by example that the first conclusion may be false if $G, H$ are ...