用C语言判断数组是否为等价关系，若是等价关系，则求商集，商集的方法：商集是由等价类组成的集合。R是等价关系时把不同等价类分行打印出来。

在C语言中，由于其基本语法限制，我们不能直接处理抽象的等价关系（如等价类和商集）。等价关系的处理更适合于更高级的语言，特别是那些支持泛型编程和抽象数据类型的语言。但是，我们可以模拟一种简单的情况，例如检查两个数组元素是否相等，然后根据这个“等价”关系来分组打印。

这里我们可以创建一个函数，遍历数组并确定每个元素是否与其它元素相等（即元素间的“等价关系”），然后将相同的元素放在同一组（视为一个等价类）。不过，请注意，这只是一个简化版的例子，因为真正的等价关系可能会更复杂，涉及到数组的多项性质。

#include <stdio.h>
#include <stdbool.h>

typedef struct {
    bool* elements;
    size_t size;
} ElementGroup;

ElementGroup* create_group(size_t size) {
    ElementGroup* group = malloc(sizeof(ElementGroup));
    group->elements = malloc(size * sizeof(bool));
    group->size = size;
    for (size_t i = 0; i < size; i++) {
        group->elements[i] = false;
    }
    return group;
}

void add_to_group(ElementGroup* group, int element) {
    for (size_t i = 0; i < group->size; i++) {
        if (!group->elements[i]) {
            group->elements[i] = true;
            break;
        }
    }
}

bool are_equivalent(const int a, const int b) {
    return a == b;
}

void print_equivalence_classes(const ElementGroup* groups, size_t count) {
    for (size_t i = 0; i < count; i++) {
        if (groups[i].elements[i]) {
            printf("等价类 %d: \n", i);
            for (size_t j = 0; j < groups[i].size; j++) {
                if (groups[i].elements[j]) {
                    printf("%d ", j);
                }
            }
            printf("\n");
        }
    }
}

int main() {
    int arr[] = {1, 2, 3, 4, 5, 5, 6, 7, 8, 8};
    size_t n = sizeof(arr) / sizeof(arr[0]);

    ElementGroup* groups = create_group(n);

    for (size_t i = 0; i < n; i++) {
        for (size_t j = i + 1; j < n; j++) {
            if (are_equivalent(arr[i], arr[j])) {
                add_to_group(groups, arr[i]);
            }
        }
    }

    print_equivalence_classes(groups, n / sizeof(arr[0]));

    free(groups->elements);
    free(groups);
    return 0;
}

在这个例子中，我们首先创建了一个`ElementGroup`结构来存储等价类。然后遍历数组，如果发现两个元素相等，就将第一个元素添加到相应的等价类。最后，我们打印出每个等价类的元素。

请注意，这是一个非常基础的实现，对于复杂的等价关系或大型数组，可能需要更高效的算法来计算商集。此外，这个例子仅适用于数组元素，如果关系更抽象，你需要调整`are_equivalent`函数以适应实际情况。