I The adjective "finite" applied to algebraic structures

AI Thread Summary
The term "finite" in algebraic structures typically refers to a set with a finite number of elements, but it can also denote finitely generated algebras, which can be misleading. The distinction between "finite" and "finitely generated" is crucial, as the former implies a finite set while the latter refers to a finite set of generators. Discussions around finite lattices and finite algebras raise questions about whether these terms imply finite sets or finite dimensions. The conversation highlights the need for clarity in definitions, particularly in the context of quotient algebras and lattice orders. Overall, the use of "finite" can vary significantly depending on the algebraic context.
Stephen Tashi
Science Advisor
Homework Helper
Education Advisor
Messages
7,864
Reaction score
1,602
TL;DR Summary
Are there many examples in algebra where the adjective "finite" (by itself) means "finitely generated" or "finite dimensional" or finite in some other sense than being a finite set?
The adjective "finite" applied to many algebraic structures (e.g. groups, fields) indicates a set with a finite number of elements. However, (as I understand it) "finite algebra" refers to a finitely generated algebra. Are there other examples where "finite" means finite in some respect but not necessarily finite as a set?
 
Mathematics news on Phys.org
Stephen Tashi said:
Summary:: Are there many examples in algebra where the adjective "finite" (by itself) means "finitely generated" or "finite dimensional" or finite in some other sense than being a finite set?

The adjective "finite" applied to many algebraic structures (e.g. groups, fields) indicates a set with a finite number of elements. However, (as I understand it) "finite algebra" refers to a finitely generated algebra. Are there other examples where "finite" means finite in some respect but not necessarily finite as a set?
I wouldn't call a finitely generated algebra just finite. This is misleading, as it could mean that the set of elements of the algebra is finite. There is a reason why it is called finitely generated, in which case the set of generators is finite. So in any case there is some finite set if we use this adjective, be it generators, basis elements, or the entire set.

Your question doesn't make much sense to me.
 
fresh_42 said:
Your question doesn't make much sense to me.

Look at https://en.wikipedia.org/wiki/Finite_lattice_representation_problem

The finite lattice representation problem asks whether the same is true for finite lattices and finite algebras.
Is a "finite algebra" a finite set?
 
I assume it should better be "finite dimensional" in both cases, lattice and algebra. But since I have never heard, nor do I have an imagination of a finite lattice, it could as well be finite sets. In that case it will inevitably imply a finite field.

The quotation 'Intervals in subgroup lattices of finite groups.' indicates finite sets. We have two different words, Gitter = lattice and Verband = lattice order. So it seems we are talking about lattice orders here. The question is thus whether such a (finite) lattice (order) can be written as a quotient algebra. Now as a quotient it could mean finite algebras or finite dimensional algebras, because the quotient is a set of equivalence classes and the word finite alone does not indicate what is canceled out. I assume, however, that actually finite algebras (finite set of elements) are meant, since otherwise we would say finite dimensional or finite generated. I would search for and look into the original paper in this case to be clear.
 
Seemingly by some mathematical coincidence, a hexagon of sides 2,2,7,7, 11, and 11 can be inscribed in a circle of radius 7. The other day I saw a math problem on line, which they said came from a Polish Olympiad, where you compute the length x of the 3rd side which is the same as the radius, so that the sides of length 2,x, and 11 are inscribed on the arc of a semi-circle. The law of cosines applied twice gives the answer for x of exactly 7, but the arithmetic is so complex that the...
Back
Top