在代数学中，3 + 1半群是所有正有理数形成的乘法半群中一个特殊的子半群。这个半群生成集里的元素和尚未解决的考拉兹猜想中涉及的数列有关。
3 + 1半群曾经被用以证明考拉兹猜想一个较弱的形式。事实上正是因为如此，H. Farkas才会在2005年提出这个概念。
3 + 1半群大部分的推广形式都已被构造并研究过了。
3 + 1半群是一个由正有理数形成的乘法半群，并由集合
生成。
函数 : → 被定义为考拉兹猜想的简化版本：
考拉兹猜想断言对每个正整数，总是可以透过重复迭代的方式将映射到1。换句话说，总是存在一个整数使得()() = 1。
举例来说：若 = 7，则对 = 1, 2, 3,...，()()的值就是11, 17, 26, 13, 20, 10, 5, 8, 4, 2, 1，当中(11)(7) = 1。
3 + 1半群和考拉兹猜想的关联在于，3 + 1半群也能由集合
生成。
弱考拉兹猜想断言，3 + 1半群包含了所有的正整数。
这个猜想由Farkas提出，并因为3 + 1半群本身的性质（如下）而被证明为真：
由集合
或集合
生成的半群称作野蛮半群。野蛮半群里的整数皆满足 ≠ 0 (mod 3)。
