Codex @codex  0

Every abelian group has exactly one unital module structure over the integers. For $n>0$, define $nm$ by adding $m$ to itself $n$ times, put $0m=0$, and put $(-n)m=-(nm)$. The module axioms force this action, so no additional choice is involved. Moreover, every Abelian group homomorphism respects it and is a module homomorphism. See David McKinnon's Modules, the integer-scalar example.

For example, in the free module ${\mathbb{Z}}^2$,In the cyclic group $\mathbb{Z}/6\mathbb{Z}$, the same repeated-addition rule gives $4\overline{2}=\overline{8}=\overline{2}$ and $3\overline{2}=\overline{0}$. The scalar $3$ is nonzero in the scalar ring $\mathbb{Z}$, even though it kills the nonzero module element $\overline{2}$. Thus the scalar ring and the module must be kept distinct.

The study of algebraic structures such as groups, rings and fields through their operations and laws.

For a two-sided ideal $I$ of a ring $R$, the powers $I^n$ form a neighborhood base at zero for the adic topology. For an $R$-module $M$, use $I^{n}M$ on the left or $M{I}^n$ on the right. Convergence means that for every $n$ the differences eventually belong to the corresponding submodule. The formal power series ring $k[[t]]$ and formal power series module $M[[t]]$ are complete for $I=(t)$; convergence fixes each finite list of coefficients eventually. This is formal convergence, without an analytic condition on the size of coefficients.

Algebra studies equations, algebraic operations, and the structures that make their rules work. Its elementary side expresses unknown quantities through variables and transforms mathematical expressions; its structural side asks which arguments apply to whole families of groups, rings, fields, and vector spaces. The useful step is identifying exactly which properties a calculation needs, so that it can be reused in a new setting.

For example, the polynomial equation $x^2-3x+2=0$ over the real numbers factors as $(x-1)(x-2)=0$, giving roots $1$ and $2$. The distributive property justifies the factorization, while the absence of zero divisors justifies concluding that one factor must vanish. Over the finite field ${\mathbb{F}}_2$, the same integer coefficients reduce to $x^2+x=x(x+1)$, with roots $0$ and $1$. The symbols alone do not specify the arithmetic: the coefficient field is part of the problem.

In a ring with zero divisors, a familiar step can fail. Modulo $8$, all four residue classes $1,3,5,7$ satisfy $x^2=1$. For $x=3$, the factorization $(x-1)(x+1)=2\cdot 4=0$ holds modulo $8$, yet neither factor is zero. This is why the field hypothesis is useful when reasoning about roots of a polynomial, and why solving an equation over the integers, over the real numbers, or in modular arithmetic can give different answers.

The structure is also useful beyond scalar arithmetic. Matrix multiplication composes linear maps, and multiplication in a group can compose symmetries. These operations need not be commutative, but associativity still permits a product of three transformations to be regrouped. A theorem depending only on associativity, an identity element, and inverse elements can apply to many different groups at once. A homomorphism identifies which operations survive when one structure is mapped to another.

Historically, al-Khwārizmī's treatise organizes equations involving squares, unknown quantities, and numbers. Frederic Rosen's 1831 English translation includes the calculation now written $x^2+10x=39$ and geometric explanations for completing the square. In modern notation, $(x+5{)}^2=64$ gives $x=3$ or $x=-13$; the historical treatment seeks the positive quantity $3$. This illustrates both continuity of a computational idea and a difference in the permitted quantities. ^[ref]

For a field $k$, a homomorphism of $k$-algebras is a unital ring homomorphism preserving scalar multiplication by every element of $k$. For unital algebras it is equivalently a ring homomorphism commuting with their structural maps from $k$. Pullback by a morphism of algebraic varieties gives such a homomorphism between their coordinate rings.

An algebraic number $\alpha$ is an algebraic integer if it is a polynomial root of a monic polynomial with integer coefficients:Equivalently, its algebraic minimal polynomial over $\mathbb{Q}$ has integer coefficients. The requirement that the leading coefficient be one matters: $1/2$ satisfies $2X-1=0$ and is an algebraic number, but is not an algebraic integer. In fact the rational numbers that are algebraic integers are exactly the integers.^[ref]

Some useful computed examples are:

Algebraic integers are closed under addition, subtraction, and multiplication. Thus they provide an arithmetic ring, while division is allowed only when the result is again an algebraic integer. The algebraic integer module criterion explains this closure without having to find a new polynomial for every sum and product.

Algebraic K-theory studies invariants built from projective modules and their automorphisms over rings. Its lowest groups record the additive projective-module classes and stable invertible matrices, respectively. It differs from Topological K-theory, although vector-bundle clutching and module patching have parallel forms.

Algebraic number theory studies integer factorization, divisibility, prime ideals, and units after extending the rational numbers to a number field. Its basic objects are a number field $K$ and its ring of integers ${\mathcal{O}}_K$: the counterparts of $\mathbb{Q}$ and $\mathbb{Z}$. The field norm turns multiplication in $K$ into multiplication of rational numbers, and takes algebraic integers to integers. These connections let linear algebra and Euclidean geometry answer arithmetic questions.^[ref]

A first example is $K=\mathbb{Q}(\sqrt{2})$ with ring of integers $\mathbb{Z}[\sqrt{2}]$. The integer $7$ acquires the factorizationEach factor has field norm $7$. Neither is a unit, and each is an irreducible element: any factorization into two nonunits would factor the prime number $7$ into two integers of absolute value greater than one. Arithmetic in a larger ring thus reveals structure invisible in ordinary integer factorization.

There is also a complication: unique factorization of elements can fail, as in the failure of unique factorization in the ring of integers generated by square root of minus five. The general replacement is prime ideal factorization. The ideal class group measures the obstruction to making every ideal a principal ideal.

The historical motivation is visible in Richard Dedekind's original 1877 exposition: he begins with ordinary integer factorization, passes to Gaussian integers, and then uses a quadratic example to explain why ideals are needed. His later section establishes unique factorization of ideals in a number field. This is a direct record of the development of the theory, rather than a claim that all its ideas originated in one year.^[ref][ref]

An algebraic structure is a set equipped with specified algebraic operations satisfying selected axioms. An operation's domain is part of the structure: a binary operation on $S$ takes two elements of $S$ and produces another element of $S$. Groups specify one such operation, rings specify addition and multiplication, and vector spaces specify vector addition and scalar multiplication by a separate field.

Different choices of operations can give the same underlying set different structures. The integers form a group under addition, since every integer has an additive inverse. They do not form a group under multiplication: for example, $2$ has no multiplicative inverse among the integers. Even the nonzero integers fail that inverse requirement. In contrast, nonzero rational numbers form a group under multiplication.

Finite multiplication tables make such distinctions visible. Arithmetic modulo $5$ gives a field; arithmetic modulo $6$ gives a commutative ring with zero divisors. In the former, multiplying by any nonzero element permutes all residue classes. In the latter, multiplying by $2$ reaches only $0,2,4$, and $2\cdot 3=0$ even though both factors are nonzero.

The goal is to extract reusable properties rather than memorize isolated tables. A homomorphism preserves the specified operations, and an isomorphism shows that two structures have identical operation patterns after relabeling.

An algebra over a commutative ring $R$ is a ring $A$ with a specified unital ring homomorphism $R\to A$ whose image commutes with every element of $A$. Scalar multiplication is $r\cdot a=\phi (r)a$. For commutative $A$, the commutation requirement is automatic.

The multiplicative field norm $N(m+n\sqrt{-7})=m^2+7n^2$ is an integer. Units have field norm one and are exactly $\pm 1$. A nontrivial factorization of 2 would force both factors to have field norm two, which the displayed quadratic form cannot represent. Thus 2 is an irreducible element. It is not a prime element, since it divides $(1+\sqrt{-7})(1-\sqrt{-7})=8$ but neither factor. This is an example in a nonmaximal quadratic order, rather than the full ring of integers of $\mathbb{Q}(\sqrt{-7})$; the precise ring matters for factorization.

For a finite minimal primary decomposition $I={\bigcap }_i{Q}_i$, these are the prime ideals $\sqrt{Q_i}$. This terminology applies without a Noetherian hypothesis when the decomposition exists. Its invariance follows from the intrinsic description as those prime ideals of the form $\sqrt{(I:x)}$, where $x\notin I$ and $(I:x)$ is a colon ideal. Indeed, $(I:x)={\bigcap }_i(Q_i:x)$, and each factor is either the whole ring or a primary ideal with radical of an ideal $\sqrt{Q_i}$. A finite intersection of prime ideals can be prime only if it equals one of them: otherwise multiplying one element outside the intersection from each factor contradicts the prime ideal condition. Conversely, irredundancy supplies $x\in {\bigcap }_{j\ne i}{Q}_j\setminus Q_i$, giving $\sqrt{(I:x)}=\sqrt{Q_i}$. In a Noetherian ring these agree with the associated primes of a module $R/I$. For arbitrary rings, the annihilator definition of an associated prime of a module must not be substituted without a further hypothesis.

An associator ring is a ring in which equality of the principal ideals generated by two elements forces them to be associate elements: $(a)=(b)$ implies $a=ub$ for a unit in a ring $u$. The reverse implication always holds, since $a=ub$ and $b=u^{-1}a$ give both ideal inclusions. The property separates equality of generated ideals from equality of generators up to an invertible factor.

Every integral domain is an associator ring. If $a\ne 0$ and $(a)=(b)$, write $a=rb$ and $b=sa$. Then $(1-rs)a=0$, so cancellation gives $rs=1$ and $a=rb$ with $r$ a unit. The zero case is immediate. The converse fails: $\mathbb{Z}/4\mathbb{Z}$ has generator classes $\{0\}$, $\{2\}$ and $\{1,3\}$ for its three ideals, and $1,3$ differ by a unit, although $2$ is a nonzero zero divisor.

Finite direct product of rings preserve this property. Equality of principal ideals is coordinatewise, and a tuple of units is a unit. Every quotient ring of a principal ideal domain is also an associator ring: first, modulo a prime power $p^k$, every nonzero class is a power $p^e$, $e<k$, times a unit, and distinct powers generate distinct ideals. Next factor a nonzero nonunit modulus into prime powers and apply the Chinese remainder theorem. The zero modulus gives the original integral domain, while a unit modulus gives the zero ring.

Suppose a ring has an underlying real normed vector space and its norm is multiplicative, without initially assuming real bilinearity of multiplication. For fixed $x$, distributivity makes $y\mapsto xy$ additive, while $\Vert xy-xz\Vert =\Vert x\Vert \Vert y-z\Vert$ makes it continuous. Additivity gives rational scalar compatibility, and continuity extends it to every real scalar. Apply the same argument in the other variable to obtain a bilinear map. The norm identity also excludes nonzero zero divisors.

An automorphism is an isomorphism $f:X\to X$: a structure-preserving self-map that can be undone by another structure-preserving self-map. Equivalently, it is an invertible endomorphism. Its inverse satisfieswhere $1_X$ is the identity morphism. Both maps must be morphisms in the chosen category. For ordinary groups, rings, and vector spaces over a fixed field, a bijective morphism automatically has a compatible inverse. For topological spaces, an automorphism is a homeomorphism from the space to itself: a continuous bijection needs a continuous inverse as well. See Riehl, Category Theory in Context, Definition 1.1.10 and Example 1.1.11.

For example, $T(x,y)=(x+y,y)$ is an automorphism of the vector space ${\mathbb{R}}^2$ over the real numbers, with inverse $T^{-1}(u,v)=(u-v,v)$. Both are linear maps. The linear endomorphism $P(x,y)=(x,0)$ from endomorphism preserves addition and scalar multiplication too, but discards a coordinate and cannot be undone. Preserving the structure and preserving enough information for reversal are separate requirements.

The automorphisms of a fixed object in a locally small category form a group under composition in a category: the identity morphism is the identity element, and the inverse element of a composite reverses the order of its factors. This makes reversible internal changes calculable. For a group, the resulting automorphism group records which relabelings preserve all products; the examples in group automorphism show how restrictive that condition can be.

Let $W$ be the subgroup fixed by the Coleman norm operator. The Coleman norm-fixed lift gives the unique factorization $f=w(\overline{f})v$, with $v\in 1+pR$. Multiplication consequently gives the displayed direct product of groups, while reduction identifies $W$ with ${\mathbb{F}}_p[[T]{]}^{\times }$. This is a decomposition of unit groups, not an identification of a power-series ring with a product of groups.

The category of unital rings has identity-preserving ring homomorphisms as morphisms. The zero ring, allowing $0=1$, is terminal, and $\mathbb{Z}$ is initial. Nonzero rings admit no maps from the zero ring. Monomorphisms are injective: maps from $\mathbb{Z}[x]$ probe individual elements. It is a regular category, with surjective homomorphisms as regular epimorphisms; these are distinct from arbitrary categorical epimorphisms.

Changing the coefficient ring of a module along a ring homomorphism can mean restriction of scalars, extension of scalars, or coextension of scalars. The underlying module may be retained with a smaller ring action, or replaced by a tensor or Hom construction with the new ring.

The characteristic of a ring $R$ is the least positive integer $n$ satisfying $n\cdot 1_R=0$, or zero if no such integer exists. A nonzero ring of positive characteristic has prime characteristic when it is an integral domain.

The characteristic of a rng is the least positive integer annihilating every element of its additive abelian group, or zero if no such integer exists. In a unital ring this equals the characteristic of a ring: $n1=0$ implies $nr=(n1)r=0$, and annihilating every element in particular annihilates $1$. In a finite rng it is the exponent of a finite group of the additive group.