Ring Examples (Abstract Algebra)

Sdílet
Vložit
  • čas přidán 8. 07. 2017
  • Rings are one of the key structures in Abstract Algebra. In this video we give lots of examples of rings: infinite rings, finite rings, commutative rings, noncommutative rings and more!
    Be sure to subscribe so you don't miss new lessons from Socratica:
    bit.ly/1ixuu9W
    ♦♦♦♦♦♦♦♦♦♦
    We recommend the following textbooks:
    Dummit & Foote, Abstract Algebra 3rd Edition
    amzn.to/2oOBd5S
    Milne, Algebra Course Notes (available free online)
    www.jmilne.org/math/CourseNote...
    ♦♦♦♦♦♦♦♦♦♦
    Ways to support our channel:
    ► Join our Patreon : / socratica
    ► Make a one-time PayPal donation: www.paypal.me/socratica
    ► We also accept Bitcoin @ 1EttYyGwJmpy9bLY2UcmEqMJuBfaZ1HdG9
    Thank you!
    ♦♦♦♦♦♦♦♦♦♦
    Connect with us!
    Facebook: / socraticastudios
    Instagram: / socraticastudios
    Twitter: / socratica
    ♦♦♦♦♦♦♦♦♦♦
    Teaching​ ​Assistant:​ ​​ ​Liliana​ ​de​ ​Castro
    Written​ ​&​ ​Directed​ ​by​ ​Michael​ ​Harrison
    Produced​ ​by​ ​Kimberly​ ​Hatch​ ​Harrison
    ♦♦♦♦♦♦♦♦♦♦

Komentáře • 251

  • @Socratica
    @Socratica  Před 2 lety +27

    Sign up to our email list to be notified when we release more Abstract Algebra content: snu.socratica.com/abstract-algebra

    • @naman4067
      @naman4067 Před 2 lety +1

      I wanted to dislike due to bad joke but video is soo good I can't

    • @lolo6795
      @lolo6795 Před 10 měsíci +4

      @@naman4067 : clever jokes are for clever people, sorry for u.

  • @welovfree
    @welovfree Před 7 lety +657

    Thumb up if you want Socractica to do a playlist on: Number Theory, Topology, Linear Algebra ...etc

  • @digitsdigitsdigits808
    @digitsdigitsdigits808 Před 7 lety +316

    "This poor ring is having an identity crisis."
    You and me both, even-numbered matrix. You and me both.

  • @omgopet
    @omgopet Před 4 lety +68

    Come for the algebra lesson, stay for the puns. The delivery is amazing on both.

  • @swanhtet1
    @swanhtet1 Před 5 lety +47

    In this "Fellowship of the Ring" you are my lady Gandalf.

  • @yogitasingh0704
    @yogitasingh0704 Před 6 lety +87

    An example of finite non-commutative ring is a finite MATRIX.
    And the way of teaching is really very wonderful, I have learnt Group Theory from your videos in my previous college semester and now in this semester, you are again making it very easy to learn Ring Theory.
    🙏🙏
    Thanks a lot SOCRATICA🙏 for giving us an excellent teacher🙏....
    Best wishes from INDIA....🙏

    • @scowell
      @scowell Před 4 lety +3

      Now it's time for Crypto 101! Enjoy.

    • @atulit
      @atulit Před 3 lety

      same here after two years, a night before test

    • @nandy1002
      @nandy1002 Před 3 lety +2

      well if we say a finite ring with no identity and non-commutative then we can say finite even integer matrix is a ring for that

    • @Yami-bf6je
      @Yami-bf6je Před rokem

      Hey i see you r an indian may i ask which college r u in

  • @fmagarik
    @fmagarik Před 7 lety +61

    If you liked it then you should have put a group on it, such that it is abellian under addition, a monoid under multiplication and the distributive property holds

  • @__alex.grae__
    @__alex.grae__ Před 3 lety +11

    Love the video. One note from a German speaker: “Zahl” is number (singular), “Zahlen” is numbers (plural), “zahlen” is pay/paying (verb).

    • @toasteduranium
      @toasteduranium Před rokem +2

      How do the latter two differ? Capitalization only? Or pronunciation as well?

    • @__alex.grae__
      @__alex.grae__ Před rokem +1

      "Zahlen" (numbers) and "zahlen" (to pay) are pronounced the same but keep in mind that German language will heavily conjugate verbs - English does not so much.
      Ich zahle,
      du zahlst,
      er/sie/es zahlt,
      wir zahlen,
      ihr zahlt,
      sie zahlen.

  • @Imakilla4567
    @Imakilla4567 Před 6 lety +122

    Literally laughed out loud when she said: "This poor ring is having an identity crisis". Think I've been studying too long...

  • @sayy_gaarr
    @sayy_gaarr Před 4 lety +8

    That smirk at the end made my day!!! She was trying so hard not to laugh.

  • @samcollins2108
    @samcollins2108 Před 7 lety +7

    I loved this topic. I didn't know that rings existed in abstract algebra until now. I hope to see much move videos!

  • @sheepphic
    @sheepphic Před 6 lety +1

    These are some of my favourite math videos! I've always wanted to learn abstract algebra, but it was always just a jumble of notation. Thanks for making these great videos to help people learn.

  • @bablidas7236
    @bablidas7236 Před 3 lety +7

    I never can forget the way u helped me.. These videos r really meant a lot to me... Thank u.

  • @Omnifarious0
    @Omnifarious0 Před 4 lety +2

    Your bad puns, so carefully and thoughtfully delivered are amazing. I couldn't do better myself, and that's saying something (specifically, that I couldn't do better myself).

  • @rcarnes3
    @rcarnes3 Před 6 lety +3

    Yep. I'm now a Patreon contributor. Excellent presentation.

  • @amansingh-ww2qc
    @amansingh-ww2qc Před 3 lety +2

    Amazing , with these small powerful videos filled with concept I learn everything

  • @escobasingracia962
    @escobasingracia962 Před 7 lety

    I love all this videos. This is the kind of math that I really enjoy and it's explained in an excellent way.

  • @oldPrince22
    @oldPrince22 Před 2 lety +4

    How to construct a finite non-comm ring.
    If one uses the trick introduced in the video, one can take all 2 by 2 matrices whose entries only be 1 or 0. And addition/multiplication all usual matrix operations but under mod 2.
    Then (01,00)(01,10)=(10,00) but (01,10)(01,00)=(00,01) hence non-comm.
    Finite is obvious because we have 4 entries and each entry can be either 0 or 1 thus #

  • @tinahayward1604
    @tinahayward1604 Před 2 lety +2

    This was fantastic! Thank you so much!!!! I think you may save me this semester

  • @Fematika
    @Fematika Před 7 lety +53

    Do the n x n matrices mod(n), meaning ((a mod(n), b mod(n)), (c mod(n), d mod(n))), with all of the usual operations, though each element is now mod(n).

    • @Fematika
      @Fematika Před 7 lety +9

      For a non commutative, finite ring.

    • @hutchisblind
      @hutchisblind Před 7 lety +4

      Yes.

    • @greghmn
      @greghmn Před 5 lety +1

      By that token, you can also come up with a non-commutative finite rng (my way of notating the lack of mult id), like nxn matrices with entries that are elements of xZ/yZ, where x divides y, x

    • @Sam-py9qq
      @Sam-py9qq Před 4 lety

      If anyone finds it unclear, this ring is finite because it contains (only) the matrices with elements ∊ ℤ (mod n), and closed because the elements of any product or sum thereof reduce to ℤ (mod n). Specifically, the order of this ring (in the "size of set" sense) is n^(n·n) since there are n variants for every n·n position ⇒ n^(n·n) total variants.

  • @zaidnadeem4918
    @zaidnadeem4918 Před 4 lety +3

    MASHALLAH.
    THE WAY OF TEACHING IS VERY GOOD.
    👍👍👍👍
    MAY ALLAH BLESS YOU

  • @Lacerda038
    @Lacerda038 Před 5 lety +1

    Muito bom! Continue com essas lições! Obrigado!

  • @cuntyclown
    @cuntyclown Před rokem +1

    Ma'am you are an icon and a legend. Thank you !!

  • @sujitmohanty1
    @sujitmohanty1 Před 6 lety

    Indeed fantastic series!

  • @Fematika
    @Fematika Před 7 lety

    Love this series!

  • @roadtofitness4208
    @roadtofitness4208 Před 6 lety +10

    Mam your vedios are very helpful
    Thanx a lot mam
    Lots of well wishes from india

  • @ashishswami7188
    @ashishswami7188 Před 7 lety

    your videos are absolutely fabulous..

  • @muh.khairulamtsal1635
    @muh.khairulamtsal1635 Před rokem +1

    just found this channel, really intersting and decent way of teaching
    love ur video sm

    • @Socratica
      @Socratica  Před rokem

      We're so glad you've found us! 💜🦉

  • @kunslipper
    @kunslipper Před 6 lety +1

    Thank you so much.

  • @chandrakalachauhan470
    @chandrakalachauhan470 Před 2 lety

    Incredible, way of teaching
    Thankyou so much

  • @MatematicasNuevoLeon
    @MatematicasNuevoLeon Před 7 lety

    Beautiful videos. One cannot avoid falling in love with math.

  • @victoralejadromc
    @victoralejadromc Před 2 lety

    Great videos!

  • @MdShahid-fx2iw
    @MdShahid-fx2iw Před 4 lety

    Your lecture is so helpful mam!

  • @hectorblandin1027
    @hectorblandin1027 Před rokem

    Love your content !

  • @jeannymath6349
    @jeannymath6349 Před 6 lety

    very helpful. Thank you

  • @tauamatuatabuanaba3125
    @tauamatuatabuanaba3125 Před 9 měsíci

    Don't worry I have already joined the fellowship of the Ring😆 since childhood, thank you for your wonderful explanation...

  • @kingprogramming
    @kingprogramming Před 5 lety

    Great video!!!

  • @humletnobel7792
    @humletnobel7792 Před 9 měsíci

    What a brilliant explaining 😊

  • @Khazam1992
    @Khazam1992 Před 5 lety +7

    I like how the background theme song changed when you start introducing the fields :)

  • @IjazKhan-fm4si
    @IjazKhan-fm4si Před 3 lety

    Great work

  • @Belmogaming6002
    @Belmogaming6002 Před 4 lety

    Thank you for best in world classes 😃

  • @zahidrafiq2943
    @zahidrafiq2943 Před 3 lety

    Lec are so simple every one can understand easily thank u for making videos

  • @eringreene9482
    @eringreene9482 Před 4 lety +11

    Example of a finite noncommutative ring, maybe The set of 2x2 Matrices where the entries are from The integers mod n (Z/nZ)

    • @javiervera6318
      @javiervera6318 Před 4 lety

      That has identity Since 1 belongs to Z/nZ. So te matrix with 1 in the diagonal belongs to that set

    • @johnb1391
      @johnb1391 Před 4 lety

      ​ Javier Vera What about the zero matrix? It's determinant is zero so it does not have an inverse matrix (so no identity since A^-1 does not exist).

    • @dkprasad100
      @dkprasad100 Před 4 lety +3

      that answer is correct. That ring is denoted by M[Zn] which has finite number of elements and non-commutative under matrix multiplication. It is Abelian under matrix addition and thus a ring.

    • @eringreene9482
      @eringreene9482 Před 4 lety +1

      John B remember that in a ring, there doesn’t neccesarily need to be multiplicative inverses.

  • @Headon2580
    @Headon2580 Před 5 měsíci

    your teaching technique is so good i like it .thanks❤❤❤❤👍👍

  • @radhaballavnandi3155
    @radhaballavnandi3155 Před 4 lety

    your lectures are amazing maa'm

  • @ACZ29
    @ACZ29 Před 7 lety

    it's awsome explanation mam......

  • @JoelBondurant
    @JoelBondurant Před 7 lety +44

    I paypaled $20, ♥💕 your content.

    • @Socratica
      @Socratica  Před 7 lety +14

      Oh my goodness, thank you so much, Joel!! We're so glad you enjoy our videos, and are very humbled by your support. :)

  • @seroujghazarian6343
    @seroujghazarian6343 Před rokem

    N->regular set
    Z->(commutative) ring
    Q->field
    R->field
    C->field

  • @muzafarhussain6878
    @muzafarhussain6878 Před 4 lety

    One of my best teacher ..Socratica .
    Love from pakistan .. keeping it up ,so that we learn easly ..🇵🇰🇵🇰

  • @whatupnosy6994
    @whatupnosy6994 Před 3 lety

    A matrix describing vectors on a spherical surface is a ring of finite mod n elements. There, I am now a member of the Fellowship Of The Ring

  • @theultimatereductionist7592

    6:27 Wedderburn's Theorem: there are no finite noncommutative division rings (rings all of whose nonzero elements have multiplicative inverses). But finite noncommutative non-division rings: matrices over a Z/n with n composite might work.

    • @theultimatereductionist7592
      @theultimatereductionist7592 Před 5 lety +2

      Don't even need n to be composite. The 16-member ring of all 2-by-2 matrices over Z/2 is noncommutative:
      M = 1 in all entries except 0 in (1,2)
      N = 1 in all entries except 0 in (2,1)
      MN = 1 in all entries except 0 in (2,2)
      NM =1 in all entries except 0 in (1,1)
      The 4 matrices with 0s in all entries except 1 in one entry have no inverse.

  • @desalewtefera1128
    @desalewtefera1128 Před 6 lety

    Really nice

  • @kavithamicheal9821
    @kavithamicheal9821 Před 5 lety

    Really it's understandable. Tq mam.

  • @karthikkrishnan6717
    @karthikkrishnan6717 Před 2 lety

    Nice one

  • @objective_truth
    @objective_truth Před 4 lety +1

    In fact, every ring is a group, and every field is a ring. A ring is a group with an additional operation, where the second operation is associative and the distributive properties make the two operations "compatible".
    A field is a ring such that the second operation also satisfies all the group properties (after throwing out the additive identity); i.e. it has multiplicative inverses, multiplicative identity, and is commutative.
    In mathematics, a ring is one of the fundamental algebraic structures used in abstract algebra. It consists of a set equipped with two binary operations that generalize the arithmetic operations of addition and multiplication. Through this generalization, theorems from arithmetic are extended to non-numerical objects such as polynomials, series, matrices and functions.
    A ring is an abelian group with a second binary operation that is associative, is distributive over the abelian group operation, and has an identity element (this last property is not required by some authors, see § Notes on the definition). By extension from the integers, the abelian group operation is called addition and the second binary operation is called multiplication.

  • @macmos1
    @macmos1 Před 6 lety +3

    The quotient group Z/nZ should be Z/nZ = { [0], [1], [2],..., [n-1] }, where [a] = a + nZ is an equivalence class.

  • @oneandonly66
    @oneandonly66 Před 6 lety

    thank u very much mam ...

  • @ATD909
    @ATD909 Před 4 lety

    This video is well done I’m studying for my math teacher’s exam in California that I’m taking in 12 hours

  • @ujjalboro5127
    @ujjalboro5127 Před 3 lety

    I CAN LEARN ABSTRACT ALGEBRA ONLY FROM SOCRATICA. THANK YOU SO MUCH SOCRATICA.

    • @Socratica
      @Socratica  Před 3 lety

      We're so glad you're watching with us!! It really inspires us to make more videos when we hear that we're helping. 💜🦉

  • @naveenbabu3689
    @naveenbabu3689 Před 6 lety

    Very useful

  • @ilguerrierodragone129
    @ilguerrierodragone129 Před 7 měsíci

    Proud to join the fellowship of the ring

  • @abdullahtrabulsiah3603

    Thank you

  • @theflaggeddragon9472
    @theflaggeddragon9472 Před 7 lety

    Can you please do more videos on congruence arithmetic including the euclidean algorithm?

  • @valor36az
    @valor36az Před 4 lety

    So many questions I had explained in under 8 minutes

  • @LocNguyenCrypto
    @LocNguyenCrypto Před 6 lety +1

    So, we need a finite set of elements and matrix. We can limited a set by using { module, char, int, etc in computer science, other set }
    Is there a way for not using matrix?

  • @ronycb7168
    @ronycb7168 Před rokem

    Like the shirt like nice color hoping to see some division ring examples too cuz vector spaces right ▶️

  • @elizabethcornell5745
    @elizabethcornell5745 Před 6 lety +1

    I love you too much u just saved me

  • @sartajmuzafer9636
    @sartajmuzafer9636 Před 2 lety +1

    Wonderful.. ❤️❤️❤️

  • @nolanhauck9390
    @nolanhauck9390 Před 2 lety

    Good video

  • @tommaybe7854
    @tommaybe7854 Před 4 lety +2

    identity crisis
    fellowship of the rings
    P.S.: I love you so much for excavating the fun in math.

  • @riyaagrawal269
    @riyaagrawal269 Před 6 lety

    reallyy mam.. u r suprb..😄😄..

  • @ericdew2021
    @ericdew2021 Před 4 lety +1

    "...join the fellowship of the ring..." Aaaughhh! Math joke! Math joke! Got a chuckle out of me, though so kudos.

  • @elnurazhalieva1262
    @elnurazhalieva1262 Před 5 lety +15

    Hmm, finite noncommutative ring? What about ring of matrices whose elements are from set Z/nZ?

    • @ZiggyNorton
      @ZiggyNorton Před 5 lety +5

      That's what I believe as well.
      Since matrices are non-commutative, regardless of the entries, they will be non-commutative.
      Since the integers mod n is finite, there is a finite number of matrices with entries from this set.

    • @elnurazhalieva1262
      @elnurazhalieva1262 Před 5 lety +2

      @@ZiggyNorton Yeah, absolutely

    • @chetanpatidar3900
      @chetanpatidar3900 Před 3 lety

      Yes that's right

    • @llhammer3075
      @llhammer3075 Před 3 lety

      you've blown my mind

  • @jean-francoistremblay7744

    Just for the fellowship of the ring, I give 2 thumbs up!!!!

  • @cameronspalding9792
    @cameronspalding9792 Před 3 lety

    An example of a finite non commutative ring is the set of matrices with elements in Z3

  • @naman.sharma1
    @naman.sharma1 Před 4 lety

    I learned all about algebra and what my Ma'am wants to tell.
    Thanks

  • @nowornever5598
    @nowornever5598 Před 5 lety

    Thanks

  • @brouqtv6388
    @brouqtv6388 Před 5 lety

    Fantastic

  • @BareClause
    @BareClause Před 3 lety

    A ring is an abelian group and a monoid such that the monoid operation distributes over the group operation

  • @MrBroybros
    @MrBroybros Před 7 lety

    I just hit rings and then this shows up! I'm good with that! :D

  • @aoungorayaa7459
    @aoungorayaa7459 Před 5 lety

    thanx for giving knowledge. from which country you belong kindly tell me i really impress from your lectures

  • @claytonbenignus4688
    @claytonbenignus4688 Před 4 lety

    You are the Abstract Algebra I wish I had in 1974. The “man” I had could and did make anything boring while kindling resentment for himself and his subject.

  • @hamadurrehman493
    @hamadurrehman493 Před 4 lety

    Q1.every non zero commmutative ring R cotains maximal ideal
    Q2.Show that a ring R is the zero ring i.e R={0} ⇔ 1=0

  • @geogeo14000
    @geogeo14000 Před 3 lety

    Great video as always, but a ring A can existe without identity element "1_A" ? because when I read the definitions given on french website and in my french course, the present of 1_A an identity element is required, same for sub-rings

  • @riyaagrawal269
    @riyaagrawal269 Před 6 lety

    really mam...😄 u r suprb..😄😄👌👌👌👌

  • @sreejaps2428
    @sreejaps2428 Před 6 lety

    Mam pls make a video on ideal rings

  • @saurabhsingh-ow7ue
    @saurabhsingh-ow7ue Před 3 lety

    thank you madam...........

  • @kavitha.s3863
    @kavitha.s3863 Před 3 lety

    Awesome mam

  • @noellundstrom7447
    @noellundstrom7447 Před 6 lety

    My answer for the final question would be a ring consisting of the 2x2 matrices where all the elements of the matrix are the integers mod n. The ring would be commutative under addition from the definition of a matrix and because the integers mod n also being commutative. And of course matrix multiplication is non-commutative. Am I right?

  • @MrityunjaySinghVictor
    @MrityunjaySinghVictor Před 4 lety

    A non commutative finite ring is set of matriex whoes elements is from Z/nZ ( for every n is element of Z)

  • @nymphaea96
    @nymphaea96 Před 3 lety

    The music just adds to the abstraction of this field of math..

  • @marklusala8397
    @marklusala8397 Před 3 lety

    Thanks for the video, How can i find the inverse of (1,2) over the ring R = Z5?

  • @antoniovieira388
    @antoniovieira388 Před 6 měsíci

    Estou de queixo caido com voce Liliana Castro !!!!!!

  • @sotosmath6284
    @sotosmath6284 Před 4 lety

    in the integers mod 3 consider the matrix A= ( 1 2 and B=(1 1 then A times B is not the same as B times A
    0 2) 1 1)

  • @theultimatereductionist7592

    5:59 The ADDITIVE structure of rings is a group: an abelian group, specifically. But, don't say rings, in general, are a subset of all groups.
    In general the multiplicative structure on rings is not a group.

    • @AhmedIsam
      @AhmedIsam Před 5 lety

      Rings by definition come with elements that form a group. So, yes, any ring is a group under addition.

  • @SuperStingray
    @SuperStingray Před 6 lety

    Unit quaternions with integer coefficients.

  • @worldboy9684
    @worldboy9684 Před 2 lety

    Thanks!

    • @worldboy9684
      @worldboy9684 Před 2 lety

      Thanks for introducing me to abstract algebra, loving it, its great :D

    • @Socratica
      @Socratica  Před 2 lety

      Oh my goodness, THANK YOU so much for your kind support! We're so glad you're enjoying learning about AA - it's really our fondest hope to help people enjoy learning more. 💜🦉

  • @Stafford674
    @Stafford674 Před 4 lety

    Once we have established the definitions of various types of ring, is there anything else that can be said about them. Do all commutative finite rings have some property in common. If so, what is it? If not, what is the point of all this?

  • @ajayganta4778
    @ajayganta4778 Před 6 lety +1

    madam please send a video on ideals

  • @bonbonpony
    @bonbonpony Před 4 lety

    05:12 Can you talk some more about those ideals? I don't see them being introduced anywhere on this playlist.
    06:46 Dying inside a little bit when reading that from the prompter there, eh? :)
    OK, I guess that the 2×2 matrices with coefficients being integers mod n is the non-commutative finite ring we're looking for?