Hi,(adsbygoogle = window.adsbygoogle || []).push({});

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?

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Subgroups in universal algebra

**Physics Forums | Science Articles, Homework Help, Discussion**