Misplaced Pages

In abstract algebra, particularly ring theory, maximal common divisors are an abstraction of the number theory concept of greatest common divisor (GCD). This definition is slightly more general than GCDs, and may exist in rings in which GCDs do not. Halter-Koch (1998) provides the following definition.

${\displaystyle d\in H}$ is a maximal common divisor of a subset, ${\displaystyle B\subset H}$ , if the following criteria are met:

1. ${\displaystyle d|b}$ for all ${\displaystyle b\in B}$
2. Suppose ${\displaystyle c\in H}$, ${\displaystyle d|c}$ and ${\displaystyle c|b}$ for all ${\displaystyle b\in B}$. Then ${\displaystyle c\simeq d}$.

References

1. Halter-Koch, Franz (1998). Ideal systems. Marcel Dekker. ISBN 0-8247-0186-0.

This abstract algebra-related article is a stub. You can help Misplaced Pages by expanding it.

• v
• t
• e

• Abstract algebra
• Abstract algebra stubs