Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Subgroups in universal algebra

  1. Mar 3, 2009 #1
    Hi,
    how can one define the concept of subgroup in universal algebra? is it possible at all?

    The problem is that in universal algebra the concept of group is defined by assigning to the inverse element and to the identity element, respectively an unary-operator and a nullary-operator.

    I am not able to use the same trick to describe a subgroup.
    Any ideas?
     
  2. jcsd
  3. Mar 3, 2009 #2

    Hurkyl

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    You define a subalgebras in exactly the same way you would do it for the familiar examples (e.g. groups): a subalgebra of A is nothing more than a subset S that is closed under all of the algebra operations.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Subgroups in universal algebra
  1. Universal algebra? (Replies: 1)

Loading...