Abstract algebra Definition and 458 Threads

  1. E

    I Questions about non existence of GCDs vs (coimages, cokernels)

    The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states...
  2. E

    I Dfns group action & group, written in terms of the other

    Below in the quoted passage is expressing the definition of group action in terms of the definition of a group and vice versa. Can someone check if it there any mistakes please. I had helped with one of the LLMs. I always want to know for the two definitions, if one can be written in terms of...
  3. E

    I Equivalent definitons for primitive polynomials

    ##\textbf{Definition 1:}## Let ##R## be an UFD. A nonzero polynomial in ##R[x]## is said to be ##\textbf{primitive}## if the only constants that divides it are the units in ##R##. ##\textbf{Definition 2:}## Let ##R## be an UFD. Hence highest common factors of finite subsets of ##R## exists...
  4. E

    I Clarifications needed for an exercise in Hungerford's abstract algebra

    Let ##R## be a UFD. If ##a\mid bc## and ##1_R## is a gcd of ##a## and ##b,## prove that ##a\mid c.## Solution: Let ##\text{gcd}(a,b)=1_R##, then ##(a,b)\sim 1_R.## Then there exists ##x,y\in R## so that ##ax+by=1_R##. So ##c(ax+by)=c## for some ##c\in R.## Since ##a\mid bc,## implies...
  5. E

    I Trouble with a passage in Zariski & Samuel's Commutative algebra text

    Questions For the two passages in the Background below highlighted in bold, I am having trouble figuring how the maps are defined. I understand that we have commutative ring ##R## admitting a total quotient ring ##F##, a, subset ##M\subset R## which is also a regular multiplicative system. A...
  6. E

    I Question about "A Group Epimorphism is Surjective"

    The following is from the paper "A Group Epimorphism is Surjective" by C.E. Linderholm Background Note: where it says the function from ##A/H## to ##A/H##, should it not be ##H/A## to ##H/A?## Questions There are some points about the above proof I am not clear on. I understand that...
  7. E

    I Meaning of the notations: ##\mathbb{Z}[\frac{1}{a}]##

    The following is taken from Abstract Algebra: A First Course by Stephen Lovett Background Exercise Let ##D=\{2^a 3^b\mid a,b,\mathbb{N}\}## as a subset of ##\mathbb{Z}##. Prove that ##D^{-1}\mathbb{Z}## is isomorphic to ##\mathbb{Z}[\frac{1}{6}]## even though ##D\neq\{1,6,6^2,\ldots\}##...
  8. E

    I Localizing single variable quotient polynomial ring at a prime ideal

    Background I have questions about localizing the following quotient polynomial ring ##R=\frac{\mathbb{Z}[x]}{(x^2+1)(x^5+11x^2+3)}## at the prime ideal ##M=(x^5+11x^2+3)## Question: For the question above, my attempted solution is as follows: Let ##I=((x^2+1)(x^5+11x^2+3))## and let ##S##...
  9. E

    I ##(A/\mathfrak{a})_{\mathfrak{p}/\mathfrak{a}}## and its isomorphism?

    I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to...
  10. E

    I Correct constructed example of Abelian Monoid?

    The following question is taken from ##\textit{Arrows, Structures and Functors the categorical imperative}## by Arbib and Manes. ##\color{Red}{Questions:}## Is the follow a correct concrete example for the coproduct of ##\textbf{Abm},## (category of abelian monoid) by modifying notations as...
  11. E

    I Meaning of ##\coprod_{x\in\mathrm{Spec}R}R/\mathfrak{p}_x##

    The following is taken from a chapter from Algebraic geometry and commutative algebra by S Bosch Background and ##\mathrm{Spec}R=\{\mathfrak{p}\subset R:\mathfrak{p}\text{ prime ideal in }R\}##. For reference, I included a screenshot of the typed out quoted passage above below: Questions...
  12. E

    I Definition of minimal ideal using symbolic logic notation

    The Definitions below are taken from the following books: Fundamentals of abstract algebra by: Malik, Morderson, Sen Rings, Modules and Algebras by: Adamson First Course in Module Theory by: Keating Basic Abstract Algebra by: Bhattacharya, Jain Nagpaul How to Prove it by Dan Velleman...
  13. E

    I How do we distinguish two different notations for cokernel and coimage?

    This post is a further clarification of this post here; Notation questions about kernel, cokernel, image and coimage In that post, I asked about notations related difficulties about cokernel, coimage, image, kernel. I did some more research, and I am more clear on how to articulate what I am...
  14. E

    I Meaning of "identify" & variations in different math context

    The following are taken from Lectures on Algebra by Shreeram Shankar Abhyankar Commutative Algebra Volume 2 By Oscar Zariski, Pierre Samuel Abstract Algebra An Introduction by Thomas Hungerford Concepts in Abstract Algebra by Charles Lanski Background Questions The passages quoted...
  15. E

    I Meaning of "passage to the quotient"?

    The following are taken from Locally Compact Groups by Markus Stroppel Commutative Algebra Volume 1 By Oscar Zariski, Pierre Samuel Introduction to the Algebraic Geometry and Algebraic Groups Volume 39 by Michel Demazure Basic Algebra by Anthony Knapp General Topology by J. Dixmier...
  16. E

    I Localising a non integral domain at a prime

    The two screenshots below are taken from the book Fundamentals of Modern Algebra A global Perspective by: Robert G Underwood Screenshot 1 Screenshot 2 The two screenshots above concerns localizing a non integral domain at a prime; in the second screen shot, the example given is ##(Z_6)_3##...
  17. E

    I Determining isomorphism for ##\frac{R}{(a, b)}##

    The screenshots below are taken from the two books Algebra: Chapter 0 by: Paolo Aluffi and Abstract Algebra A comprehensive Introduction by Lawrence and Zorzitto. The first two screenshots are from Aluffi's text, while the last four are from Lawrence and Zorzitto. Screenshot 1 Screenshot 2...
  18. E

    I Trouble understanding an online solution to an exercise in Dummit & Foote

    ##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that...
  19. E

    I Proof of ##\cap_{i\in \cup F}A_i=\cap_{x\in F}(\cap_{i\in X}A_i)##?

    The screenshots below are taken from the 2nd editon of the book How to Prove it A structured approach By: Daniel Velleman and and 3rd edition of the book's solution manual. (Page 5) The question on page 4 exercise 5b corresponds to the solution in page 5 exercise 6b Page 1 Page 2 Page 3...
  20. E

    I How to show ##p(x)=g(x)x\pm 1\in\Bbb{Q}[x]## is irreducible in ##\Bbb{Q}_{\Bbb{Z}}[x]##?

    Background Notation: ##\Bbb{Q}_{\Bbb{Z}}[x]=\Bbb{Z}+x\Bbb{Q}[x]## Assumed exercises: (1)(a) Prove that the only units in ##\Bbb{Q}_{\Bbb{Z}}[x]## are ##1## and ##-1##. (b) If ##f(x)\in \Bbb{Q}_{\Bbb{Z}}[x]##, show that the only associates are ##f(x)## and ##-f(x)##. (2)(a) If ##p## is...
  21. C

    Number of factors of a polynomial in F_2

    This is a pattern I noticed when playing around with Mathematica. Is there any way to rigorously prove this? I was not able to find any literature concerning the number of factors in a finite field, especially because this is called a "pentanomial" in said literatures. These don't have much...
  22. E

    I Proving inequality about dimension of quotient vector spaces

    The following are from Froberg's "Introduction to Grobner bases" , and Hungerford's undergraduate "Abstract Algebra" text, and also a continuation of this...
  23. Infrared

    Challenge Math Challenge Thread (October 2023)

    The Math challenge threads have returned! Rules: 1. You may use google to look for anything except the actual problems themselves (or very close relatives). 2. Do not cite theorems that trivialize the problem you're solving. 3. Do not solve problems that are way below your level. Some problems...
  24. Codezero

    I Modeling Asteroid Rotation Using Quaternions: Seeking Guidance on Init

    Hello everyone, I am an International Baccalaureate (IB) student working on my extended essay, which is a mandated 4,000-word research paper. My chosen topic is Quaternions, a mathematical concept I find highly intriguing. The primary aim of my paper is to model the rotation of an asteroid...
  25. I

    What is meant by compex dimension? (Abstract algebra)

    picture since the text is a little hard to read i have no problem showing this is a vector space, but what is meant by complex dimention? Is it just the number on independant complex numbers, so n?
  26. M

    I Algebra Homomorphisms as Subsets of the Cartesian Product

    Let ## \varphi \subseteq A \times B; \psi \subseteq B \times C ##. Then ## \varphi \circ \psi = \left \{ (a, c)| \exists b: (a,b) \in \varphi, (b,c) \in \psi \right \} \subseteq A \times C##. Task: Let ##\varphi## and ##\psi## are subalgebras of algebras ##A \times B## and ##B \times C##...
  27. chwala

    I Understanding the operation in ##(\mathbb{z_6})^{*}##

    ...Out of interest am trying to go through the attached notes, My interest is on the highlighted, i know that in ##\mathbb{z}/\mathbb{6z}## under multiplication we shall have: ##1*1=1## ##5*5=1## am assuming that how they have the ##(\mathbb{z}/\mathbb{6z})^{*}={1,5}## is that correct...
  28. S

    B Can the Diagram in the Article Be Interpreted as Commutative?

    I'm used to seeing commutative diagrams where the vertices are mathematical objects and the edges (arrows) are mappings between them. Can the diagram ( from the interesting article https://people.reed.edu/~jerry/332/25jordan.pdf ) in the attached photo be interpreted that way? In the...
  29. A

    I What is the size of the quotient group L/pZ^m?

    Hello, I have a question that I would like to ask here. Let ##L = \left\{ x \in \mathbb{Z}^m : Ax = 0 \text{ mod } p \right\}##, where ##A \in \mathbb{Z}_p^{n \times m}##, ##rank(A) = n##, ## m \geq n## and ##Ax = 0## has ##p^{m-n}## solutions, why is then ##|L/p\mathbb{Z}^m| = p^{m-n}##? I...
  30. H

    I Is the Order of an Automorphism in a Field with Characteristic p Equal to p?

    Please, I have a question about automorphism: Let ##\mathbb{K}## be a field, if ##\operatorname{char}(\mathbb{K})=p ##, then the order of automorphism ##\phi## is ##p##, i.e. ##\phi^p=\operatorname{id}##, where ##i d## is identity map. Is that right? please, if yes, how we can prove it, and...
  31. PragmaticYak

    Fixed point free automorphism of order 2

    I did not use the hint for this problem. Here is my attempt at a proof: Proof: Note first that ##σ(σ(x)) = x## for all ##x \in G##. Then ##σ^{-1}(σ(σ(x))) = σ(x) = σ^{-1}(x) = σ(x^{-1})##. Now consider ##σ(gh)## for ##g, h \in G##. We have that ##σ(gh) = σ((gh)^{-1}) = σ(h^{-1}g^{-1})##...
  32. A

    What benefits can this site offer to increase knowledge and understanding?

    Hi all, It is nice to be a member in this site! Hope it will be beneficial and add to my knowledge and understanding.
  33. J

    I Show ##sup\{a \in \mathbb{Q}: a^2 \leq 3\} = \sqrt{3}##

    I would wish to receive verification for my proof that ##sup\{a \in \mathbb{Q}: a^2 \leq 3\} = \sqrt{3}##. • It is easy to verify that ##A = \{a \in \mathbb{Q}: a^2 \leq 3\} \neq \varnothing##. For instance, ##1 \in \mathbb{Q}, 1^2 \leq 3## whence ##1 \in A##. • We claim that ##\sqrt{3}## is an...
  34. P

    Book recommendations: Abstract Algebra for self-study

    Hello, I am looking for one or more books in combination for self-study of abstract algebra. Desirable would be a good structure of the book with good examples of sentences and definitions. Of course, exercise problems should not be missing. I am now almost tending to buy the Algebra 0 book by...
  35. P

    A Proof of the inequality of a reduced basis

    I would like to show that a LLL-reduced basis satisfies the following property (Reference): My Idea: I also have a first approach for the part ##dist(H,b_i) \leq || b_i ||## of the inequality, which I want to present here based on a picture, which is used to explain my thought: So based...
  36. P

    I How Does the Successive Minima of a Lattice Compare to Basis Vectors?

    Hello, I've been thinking a bit about the definition of the ##i##-th successive minima of a lattice (denoted with ##\lambda_i(\Lambda)##), and I would argue that the ##i##-th successive minimum is at most as large as the largest lattice basis vector ##b_i##. More formally...
  37. malawi_glenn

    Other Collection of Free Online Math Books and Lecture Notes (part 1)

    School starts soon, and I know students are looking to get their textbooks at bargain prices 🤑 Inspired by this thread I thought that I could share some of my findings of 100% legally free textbooks and lecture notes in mathematics and mathematical physics (mostly focused on geometry) (some of...
  38. D

    I Irreducible polynomials and prime elements

    let p∈Z a prime how can I show that p is a prime element of Z[√3] if and only if the polynomial x^2−3 is irreducible in Fp[x]? ideas or everything is well accepted :)
  39. N

    MHB Abstract algebra: i need examples of ...

    please offer me examples of: a) 3 vector spaces over the same field; and b) the same vector space over 3 fields.
  40. K

    What is the geometric approach to mathematical research?

    I read this article History of James Clerk Maxwell and it talks about Maxwell and Dirac also at some point. It is said that Maxwell thought geometrically, and also Dirac said he thought of de Sitter Space geometrically. They say their approach to mathematics is geometric. I see this mentioned...
  41. V

    A Equivalence Relation to define the tensor product of Hilbert spaces

    I'm following this video on how to establish an equivalence relation to define the tensor product space of Hilbert spaces: ##\mathcal{H1} \otimes\mathcal{H2}={T}\big/{\sim}## The definition for the equivalence relation is given in the lecture vidoe as ##(\sum_{j=1}^{J}c_j\psi_j...
  42. EchoRush

    I This would be a false statement, correct?

    I believe that I am correct, the following statement here must be FALSE, right? It has to be false because A union B is like the two entire circles of the Venn diagram and that cannot be a subset of the intersection area, right? Now if this statement was flipped, then it would be true?
  43. C

    MHB Either or statement from Abstract Algebra Book

    Dear Everyone, What are the strategies from proving a either-or statements? Is there a way for me to write an either-or statement into a standard if-then statements? For example, this exercise is from Dummit and Foote Abstract Algebra 2nd, "Let $x$ be a nilpotent element of the commutative...
  44. J

    Courses Which Abstract Algebra Sequence is Best for Aspiring High Energy Physicists?

    My university offers two different two-semester sequences for learning abstract algebra, and I can't decide which one would be better for me, a physics major. Here are the two sequences and their course descriptions, copied and pasted from the university website: Algebra 1: Theory of groups...
  45. Prof. 27

    Finding Cosets of subgroup <(3,2,1)> of G = S3

    Homework Statement Find all cosets of the subgroup H in the group G given below. What is the index (G : H)? H = <(3,2,1)>, G = S3 Homework EquationsThe Attempt at a Solution I will leave out the initial (1,2,3) part of the permutation. We have S3 =...
  46. T

    I Compatibility of Physics and Abstract Algebra

    One of the last classes I'm taking before finishing my degrees as an undergraduate is abstract algebra. My professor uses the textbook 'Contemporary Abstract Algebra' by Joseph Gallian. The book isn't written terribly nor is the teacher a poor one, but I just find this subject so...
  47. S

    How can I prove that these relations are bijective maps?

    <Moderator's note: Moved from a technical forum and thus no template. Also re-edited: Please use ## instead of $$.> If ##R_{1}## and ##R_{2}## are relations on a set S with ##R_{1};R_{2}=I=R_{2};R_{1}##. Then ##R_{1}## and ##R_{2}## are bijective maps ##R_{1};R_{2}## is a composition of two...
  48. W

    I Polynomial Ideals: Struggling with Ring Ideals

    This time my struggle is with ring ideals. Book still won't provide examples, so I'm again trying to come up with some of my own. I figured {0,2} might fit the definition as an ideal of ##\mathbb{Z/4Z}## since it is an additive subgroup and ##\forall x \in I, \forall r \in R: x\cdot r, r\cdot x...
  49. W

    I Understanding Quotient Groups in Abstract Algebra

    So I'm just beginning to study abstract algebra and I'm not sure I grasp the definition of a quotient group, I believe it probably has to do with the book providing little to no examples. In trying to come up with my own examples, I imagined the following: Consider the Klein four group, if we...
  50. Math Amateur

    MHB Solves Theorem 3.2.19 in Bland's Abstract Algebra

    I am reading The Basics of Abstract Algebra by Paul E. Bland ... I am focused on Section 3.2 Subrings, Ideals and Factor Rings ... ... I need help with another aspect of the proof of Theorem 3.2.19 ... ... Theorem 3.2.19 and its proof reads as follows...
Back
Top