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
    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


    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.
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook